runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/rand08759d.cudf.easy.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/easy//rand08759d.cudf /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/rand08759d.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.93 0.29 0.10 5/34 24333 /proc/meminfo: memFree=588492/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=3312 CPUtime=0 /proc/24333/stat : 24333 (aspcud-trendy-1) R 24332 24333 24102 769 24102 4202496 511 0 0 0 0 0 0 0 25 0 1 0 524930262 3391488 408 1283457024 134512640 135539072 4288619776 18446744073709551615 135271475 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/24333/statm: 828 408 270 251 0 129 0 [startup+0.193013 s] /proc/loadavg: 0.93 0.29 0.10 5/34 24333 /proc/meminfo: memFree=588492/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4596 CPUtime=0.02 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524930262 4706304 840 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+0.213008 s] /proc/loadavg: 0.93 0.29 0.10 5/34 24333 /proc/meminfo: memFree=588492/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4596 CPUtime=0.02 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524930262 4706304 840 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+0.313048 s] /proc/loadavg: 0.93 0.29 0.10 5/34 24333 /proc/meminfo: memFree=588492/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4596 CPUtime=0.02 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524930262 4706304 840 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+0.713136 s] /proc/loadavg: 0.93 0.29 0.10 5/34 24333 /proc/meminfo: memFree=588492/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4596 CPUtime=0.02 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524930262 4706304 840 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+1.51336 s] /proc/loadavg: 0.93 0.30 0.10 2/36 24335 /proc/meminfo: memFree=577100/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4596 CPUtime=0.02 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524930262 4706304 840 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1149 840 401 251 0 407 0 [pid=24335] ppid=24333 vsize=15400 CPUtime=1.49 /proc/24335/stat : 24335 (cudf2lp) R 24333 24333 24102 769 24102 4202496 3727 0 0 0 149 0 0 0 25 0 1 0 524930264 15769600 3522 1283457024 134512640 135993029 4289914480 18446744073709551615 134566525 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24335/statm: 3850 3522 110 362 0 3432 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 19996 [startup+3.11383 s] /proc/loadavg: 0.93 0.30 0.10 2/36 24335 /proc/meminfo: memFree=567552/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4596 CPUtime=0.02 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524930262 4706304 840 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1149 840 401 251 0 407 0 [pid=24335] ppid=24333 vsize=29420 CPUtime=3.09 /proc/24335/stat : 24335 (cudf2lp) R 24333 24333 24102 769 24102 4202496 7167 0 0 0 309 0 0 0 25 0 1 0 524930264 30126080 6962 1283457024 134512640 135993029 4289914480 18446744073709551615 134566678 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24335/statm: 7355 6962 110 362 0 6937 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 34016 [startup+6.30738 s] /proc/loadavg: 1.02 0.33 0.11 3/37 24337 /proc/meminfo: memFree=570396/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4596 CPUtime=5.3 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1218 17983 0 0 2 0 452 76 18 0 1 0 524930262 4706304 843 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1149 843 404 251 0 407 0 [pid=24336] ppid=24333 vsize=30420 CPUtime=0.87 /proc/24336/stat : 24336 (bingo) R 24333 24333 24102 769 24102 4202496 9987 0 0 0 83 4 0 0 25 0 1 0 524930793 31150080 5980 1283457024 134512640 136195415 4291469328 18446744073709551615 135663438 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24336/statm: 7605 5980 205 411 0 7192 0 [pid=24337] ppid=24333 vsize=22692 CPUtime=0.11 /proc/24337/stat : 24337 (clasp) R 24333 24333 24102 769 24102 4202496 6493 0 0 0 4 7 0 0 21 0 1 0 524930796 23236608 5265 1283457024 134512640 136080129 4294453968 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24337/statm: 5673 5265 144 383 0 5288 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 57708 [startup+12.7097 s] /proc/loadavg: 1.02 0.34 0.11 2/37 24337 /proc/meminfo: memFree=195172/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4596 CPUtime=5.3 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1218 17983 0 0 2 0 452 76 18 0 1 0 524930262 4706304 843 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1149 843 404 251 0 407 0 [pid=24336] ppid=24333 vsize=0 CPUtime=6.27 /proc/24336/stat : 24336 (bingo) Z 24333 24333 24102 769 24102 4202508 111877 0 0 0 571 56 0 0 25 0 1 0 524930793 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24336/statm: 0 0 0 0 0 0 0 [pid=24337] ppid=24333 vsize=106688 CPUtime=1.11 /proc/24337/stat : 24337 (clasp) R 24333 24333 24102 769 24102 4202496 29837 0 0 0 92 19 0 0 18 0 1 0 524930796 109248512 25784 1283457024 134512640 136080129 4294453968 18446744073709551615 134906441 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24337/statm: 26672 25784 158 383 0 26287 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 111284 [startup+25.5101 s] /proc/loadavg: 1.01 0.36 0.12 2/40 24343 /proc/meminfo: memFree=440280/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4724 CPUtime=16.06 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1424 175798 0 0 2 0 1442 162 18 0 1 0 524930262 4837376 860 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1181 860 404 251 0 439 0 [pid=24342] ppid=24333 vsize=0 CPUtime=6.2 /proc/24342/stat : 24342 (bingo) Z 24333 24333 24102 769 24102 4202508 112414 0 0 0 576 44 0 0 25 0 1 0 524931878 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24342/statm: 0 0 0 0 0 0 0 [pid=24343] ppid=24333 vsize=133800 CPUtime=2.8 /proc/24343/stat : 24343 (clasp) R 24333 24333 24102 769 24102 4202496 46080 0 0 0 267 13 0 0 21 0 1 0 524931879 137011200 32800 1283457024 134512640 136080129 4289160640 18446744073709551615 135320150 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24343/statm: 33450 32800 183 383 0 33065 0 Current children cumulated CPU time (s) 25.06 Current children cumulated vsize (KiB) 138524 Solver just ended. Dumping a history of the last processes samples [startup+25.6102 s] /proc/loadavg: 1.01 0.36 0.12 2/40 24343 /proc/meminfo: memFree=440280/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4724 CPUtime=16.06 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1424 175798 0 0 2 0 1442 162 18 0 1 0 524930262 4837376 860 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1181 860 404 251 0 439 0 [pid=24342] ppid=24333 vsize=0 CPUtime=6.2 /proc/24342/stat : 24342 (bingo) Z 24333 24333 24102 769 24102 4202508 112414 0 0 0 576 44 0 0 25 0 1 0 524931878 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24342/statm: 0 0 0 0 0 0 0 [pid=24343] ppid=24333 vsize=133800 CPUtime=2.9 /proc/24343/stat : 24343 (clasp) R 24333 24333 24102 769 24102 4202496 46084 0 0 0 277 13 0 0 21 0 1 0 524931879 137011200 32804 1283457024 134512640 136080129 4289160640 18446744073709551615 134786042 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24343/statm: 33450 32804 183 383 0 33065 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 138524 [startup+38.404 s] /proc/loadavg: 1.01 0.39 0.14 2/40 24345 /proc/meminfo: memFree=421060/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4724 CPUtime=37.41 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1825 493524 0 0 2 1 3445 293 18 0 1 0 524930262 4837376 860 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1181 860 404 251 0 439 0 Current children cumulated CPU time (s) 37.41 Current children cumulated vsize (KiB) 4724 [startup+44.8056 s] /proc/loadavg: 1.01 0.40 0.14 2/40 24347 /proc/meminfo: memFree=165116/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4724 CPUtime=37.41 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1825 493524 0 0 2 1 3445 293 18 0 1 0 524930262 4837376 860 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1181 860 404 251 0 439 0 [pid=24346] ppid=24333 vsize=477548 CPUtime=5.93 /proc/24346/stat : 24346 (bingo) R 24333 24333 24102 769 24102 4202496 111881 0 0 0 561 32 0 0 25 0 1 0 524934059 489009152 90476 1283457024 134512640 136195415 4291776608 18446744073709551615 135586819 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24346/statm: 119387 90476 220 411 0 118974 0 [pid=24347] ppid=24333 vsize=98384 CPUtime=0.86 /proc/24347/stat : 24347 (clasp) S 24333 24333 24102 769 24102 4202496 27288 0 0 0 77 9 0 0 18 0 1 0 524934062 100745216 23967 1283457024 134512640 136080129 4294142576 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/24347/statm: 24596 23967 149 383 0 24211 0 Current children cumulated CPU time (s) 44.2 Current children cumulated vsize (KiB) 580656 [startup+48.0064 s] /proc/loadavg: 1.01 0.41 0.14 2/40 24347 /proc/meminfo: memFree=395888/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4724 CPUtime=37.41 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1825 493524 0 0 2 1 3445 293 18 0 1 0 524930262 4837376 860 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1181 860 404 251 0 439 0 [pid=24346] ppid=24333 vsize=0 CPUtime=6.66 /proc/24346/stat : 24346 (bingo) Z 24333 24333 24102 769 24102 4202508 113733 0 0 0 628 38 0 0 25 0 1 0 524934059 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24346/statm: 0 0 0 0 0 0 0 [pid=24347] ppid=24333 vsize=134796 CPUtime=3.28 /proc/24347/stat : 24347 (clasp) R 24333 24333 24102 769 24102 4202496 46131 0 0 0 312 16 0 0 22 0 1 0 524934062 138031104 33021 1283457024 134512640 136080129 4294142576 18446744073709551615 134716389 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24347/statm: 33699 33021 188 383 0 33314 0 Current children cumulated CPU time (s) 47.35 Current children cumulated vsize (KiB) 139520 [startup+49.6068 s] /proc/loadavg: 1.01 0.41 0.14 2/40 24347 /proc/meminfo: memFree=402088/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4724 CPUtime=37.41 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1825 493524 0 0 2 1 3445 293 18 0 1 0 524930262 4837376 860 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1181 860 404 251 0 439 0 [pid=24346] ppid=24333 vsize=0 CPUtime=6.66 /proc/24346/stat : 24346 (bingo) Z 24333 24333 24102 769 24102 4202508 113733 0 0 0 628 38 0 0 25 0 1 0 524934059 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24346/statm: 0 0 0 0 0 0 0 [pid=24347] ppid=24333 vsize=125732 CPUtime=4.88 /proc/24347/stat : 24347 (clasp) R 24333 24333 24102 769 24102 4202496 46202 0 0 0 472 16 0 0 25 0 1 0 524934062 128749568 30869 1283457024 134512640 136080129 4294142576 18446744073709551615 134809484 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24347/statm: 31433 30869 193 383 0 31048 0 Current children cumulated CPU time (s) 48.95 Current children cumulated vsize (KiB) 130456 [startup+50.0069 s] /proc/loadavg: 1.01 0.41 0.14 2/40 24347 /proc/meminfo: memFree=402088/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4724 CPUtime=37.41 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1825 493524 0 0 2 1 3445 293 18 0 1 0 524930262 4837376 860 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1181 860 404 251 0 439 0 [pid=24346] ppid=24333 vsize=0 CPUtime=6.66 /proc/24346/stat : 24346 (bingo) Z 24333 24333 24102 769 24102 4202508 113733 0 0 0 628 38 0 0 25 0 1 0 524934059 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24346/statm: 0 0 0 0 0 0 0 [pid=24347] ppid=24333 vsize=125732 CPUtime=5.28 /proc/24347/stat : 24347 (clasp) R 24333 24333 24102 769 24102 4202496 46202 0 0 0 512 16 0 0 25 0 1 0 524934062 128749568 30869 1283457024 134512640 136080129 4294142576 18446744073709551615 134809511 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24347/statm: 31433 30869 193 383 0 31048 0 Current children cumulated CPU time (s) 49.35 Current children cumulated vsize (KiB) 130456 [startup+50.4073 s] /proc/loadavg: 1.01 0.41 0.14 2/40 24347 /proc/meminfo: memFree=402088/1048576 swapFree=2095456/2097144 [pid=24333] ppid=24332 vsize=4724 CPUtime=37.41 /proc/24333/stat : 24333 (aspcud-trendy-1) S 24332 24333 24102 769 24102 4202496 1825 493524 0 0 2 1 3445 293 18 0 1 0 524930262 4837376 860 1283457024 134512640 135539072 4288619776 18446744073709551615 4159759278 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24333/statm: 1181 860 404 251 0 439 0 [pid=24346] ppid=24333 vsize=0 CPUtime=6.66 /proc/24346/stat : 24346 (bingo) Z 24333 24333 24102 769 24102 4202508 113733 0 0 0 628 38 0 0 25 0 1 0 524934059 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24346/statm: 0 0 0 0 0 0 0 [pid=24347] ppid=24333 vsize=94436 CPUtime=5.68 /proc/24347/stat : 24347 (clasp) R 24333 24333 24102 769 24102 4202496 46212 0 0 0 550 18 0 0 25 0 1 0 524934062 96702464 15209 1283457024 134512640 136080129 4294142576 18446744073709551615 135703614 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24347/statm: 23609 15209 203 383 0 23224 0 Current children cumulated CPU time (s) 49.75 Current children cumulated vsize (KiB) 99160 Child status: 0 Real time (s): 50.473 CPU time (s): 49.8471 CPU user time (s): 46.2949 CPU system time (s): 3.55222 CPU usage (%): 98.76 Max. virtual memory (cumulated for all children) (KiB): 589356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.2949 system time used= 3.55222 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 656637 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14512 involuntary context switches= 16911 runsolver used 0 second user time and 0 second system time The end