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/201007051233/aspcud-paranoid-1.0/small1.cudf.cudf_set.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/cudf_set/small1.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/small1.cudf.cudf_set.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: 1.00 1.01 1.00 5/33 9829 /proc/meminfo: memFree=871316/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4672 CPUtime=0.01 /proc/9829/stat : 9829 (python) R 9828 9829 3447 769 3447 4202496 1056 0 0 0 0 1 0 0 25 0 1 0 527551200 4784128 816 1283457024 134512640 135539072 4290393776 18446744073709551615 134725301 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/9829/statm: 1168 816 388 251 0 435 0 [startup+0.126732 s] /proc/loadavg: 1.00 1.01 1.00 5/33 9829 /proc/meminfo: memFree=871316/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) R 9828 9829 3447 769 3447 4202496 1167 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4158747040 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4712 [startup+0.206744 s] /proc/loadavg: 1.00 1.01 1.00 5/33 9829 /proc/meminfo: memFree=871316/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4712 [startup+0.306754 s] /proc/loadavg: 1.00 1.01 1.00 5/33 9829 /proc/meminfo: memFree=871316/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4712 [startup+0.706832 s] /proc/loadavg: 1.00 1.01 1.00 5/33 9829 /proc/meminfo: memFree=871316/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4712 [startup+1.50701 s] /proc/loadavg: 1.00 1.01 1.00 2/37 9834 /proc/meminfo: memFree=869184/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 [pid=9832] ppid=9829 vsize=2380 CPUtime=0 /proc/9832/stat : 9832 (sh) S 9829 9829 3447 769 3447 4194304 443 0 0 0 0 0 0 0 25 0 1 0 527551208 2437120 251 1283457024 134512640 135191968 4294804160 18446744073709551615 4158835102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9832/statm: 595 251 214 166 0 27 0 [pid=9833] ppid=9832 vsize=3088 CPUtime=1.43 /proc/9833/stat : 9833 (bingo) R 9832 9829 3447 769 3447 4202496 607 0 0 0 143 0 0 0 25 0 1 0 527551208 3162112 507 1283457024 134512640 136195415 4291465264 18446744073709551615 134631415 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9833/statm: 772 507 220 411 0 359 0 [pid=9834] ppid=9832 vsize=2128 CPUtime=0 /proc/9834/stat : 9834 (clasp) S 9832 9829 3447 769 3447 4202496 363 0 0 0 0 0 0 0 25 0 1 0 527551212 2179072 270 1283457024 134512640 136080129 4291758160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9834/statm: 532 270 147 383 0 147 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 12308 [startup+3.10733 s] /proc/loadavg: 1.00 1.01 1.00 2/37 9834 /proc/meminfo: memFree=869060/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 [pid=9832] ppid=9829 vsize=2380 CPUtime=0 /proc/9832/stat : 9832 (sh) S 9829 9829 3447 769 3447 4194304 443 0 0 0 0 0 0 0 25 0 1 0 527551208 2437120 251 1283457024 134512640 135191968 4294804160 18446744073709551615 4158835102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9832/statm: 595 251 214 166 0 27 0 [pid=9833] ppid=9832 vsize=3088 CPUtime=3.03 /proc/9833/stat : 9833 (bingo) R 9832 9829 3447 769 3447 4202496 607 0 0 0 303 0 0 0 25 0 1 0 527551208 3162112 507 1283457024 134512640 136195415 4291465264 18446744073709551615 134780527 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9833/statm: 772 507 220 411 0 359 0 [pid=9834] ppid=9832 vsize=2128 CPUtime=0 /proc/9834/stat : 9834 (clasp) S 9832 9829 3447 769 3447 4202496 363 0 0 0 0 0 0 0 25 0 1 0 527551212 2179072 270 1283457024 134512640 136080129 4291758160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9834/statm: 532 270 147 383 0 147 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 12308 [startup+6.30816 s] /proc/loadavg: 1.00 1.01 1.00 2/37 9834 /proc/meminfo: memFree=869060/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 [pid=9832] ppid=9829 vsize=2380 CPUtime=0 /proc/9832/stat : 9832 (sh) S 9829 9829 3447 769 3447 4194304 443 0 0 0 0 0 0 0 25 0 1 0 527551208 2437120 251 1283457024 134512640 135191968 4294804160 18446744073709551615 4158835102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9832/statm: 595 251 214 166 0 27 0 [pid=9833] ppid=9832 vsize=3088 CPUtime=6.23 /proc/9833/stat : 9833 (bingo) R 9832 9829 3447 769 3447 4202496 607 0 0 0 623 0 0 0 25 0 1 0 527551208 3162112 507 1283457024 134512640 136195415 4291465264 18446744073709551615 134631518 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9833/statm: 772 507 220 411 0 359 0 [pid=9834] ppid=9832 vsize=2128 CPUtime=0 /proc/9834/stat : 9834 (clasp) S 9832 9829 3447 769 3447 4202496 363 0 0 0 0 0 0 0 25 0 1 0 527551212 2179072 270 1283457024 134512640 136080129 4291758160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9834/statm: 532 270 147 383 0 147 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 12308 [startup+12.7098 s] /proc/loadavg: 1.00 1.01 1.00 2/37 9834 /proc/meminfo: memFree=868936/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 [pid=9832] ppid=9829 vsize=2380 CPUtime=0 /proc/9832/stat : 9832 (sh) S 9829 9829 3447 769 3447 4194304 443 0 0 0 0 0 0 0 25 0 1 0 527551208 2437120 251 1283457024 134512640 135191968 4294804160 18446744073709551615 4158835102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9832/statm: 595 251 214 166 0 27 0 [pid=9833] ppid=9832 vsize=3088 CPUtime=12.63 /proc/9833/stat : 9833 (bingo) R 9832 9829 3447 769 3447 4202496 608 0 0 0 1263 0 0 0 25 0 1 0 527551208 3162112 508 1283457024 134512640 136195415 4291465264 18446744073709551615 135604611 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9833/statm: 772 508 220 411 0 359 0 [pid=9834] ppid=9832 vsize=2128 CPUtime=0 /proc/9834/stat : 9834 (clasp) S 9832 9829 3447 769 3447 4202496 371 0 0 0 0 0 0 0 18 0 1 0 527551212 2179072 278 1283457024 134512640 136080129 4291758160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9834/statm: 532 278 147 383 0 147 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 12308 Solver just ended. Dumping a history of the last processes samples [startup+12.8098 s] /proc/loadavg: 1.00 1.01 1.00 2/37 9834 /proc/meminfo: memFree=868936/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 [pid=9832] ppid=9829 vsize=2380 CPUtime=0 /proc/9832/stat : 9832 (sh) S 9829 9829 3447 769 3447 4194304 443 0 0 0 0 0 0 0 25 0 1 0 527551208 2437120 251 1283457024 134512640 135191968 4294804160 18446744073709551615 4158835102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9832/statm: 595 251 214 166 0 27 0 [pid=9833] ppid=9832 vsize=3088 CPUtime=12.73 /proc/9833/stat : 9833 (bingo) R 9832 9829 3447 769 3447 4202496 608 0 0 0 1273 0 0 0 25 0 1 0 527551208 3162112 508 1283457024 134512640 136195415 4291465264 18446744073709551615 135604601 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9833/statm: 772 508 220 411 0 359 0 [pid=9834] ppid=9832 vsize=2128 CPUtime=0 /proc/9834/stat : 9834 (clasp) S 9832 9829 3447 769 3447 4202496 371 0 0 0 0 0 0 0 18 0 1 0 527551212 2179072 278 1283457024 134512640 136080129 4291758160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9834/statm: 532 278 147 383 0 147 0 Current children cumulated CPU time (s) 12.8 Current children cumulated vsize (KiB) 12308 [startup+16.0106 s] /proc/loadavg: 1.00 1.00 1.00 2/37 9834 /proc/meminfo: memFree=868936/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 [pid=9832] ppid=9829 vsize=2380 CPUtime=0 /proc/9832/stat : 9832 (sh) S 9829 9829 3447 769 3447 4194304 443 0 0 0 0 0 0 0 25 0 1 0 527551208 2437120 251 1283457024 134512640 135191968 4294804160 18446744073709551615 4158835102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9832/statm: 595 251 214 166 0 27 0 [pid=9833] ppid=9832 vsize=3088 CPUtime=15.91 /proc/9833/stat : 9833 (bingo) R 9832 9829 3447 769 3447 4202496 609 0 0 0 1591 0 0 0 25 0 1 0 527551208 3162112 509 1283457024 134512640 136195415 4291465264 18446744073709551615 134787391 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9833/statm: 772 509 220 411 0 359 0 [pid=9834] ppid=9832 vsize=2128 CPUtime=0 /proc/9834/stat : 9834 (clasp) S 9832 9829 3447 769 3447 4202496 371 0 0 0 0 0 0 0 18 0 1 0 527551212 2179072 278 1283457024 134512640 136080129 4291758160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9834/statm: 532 278 147 383 0 147 0 Current children cumulated CPU time (s) 15.98 Current children cumulated vsize (KiB) 12308 [startup+16.8107 s] /proc/loadavg: 1.00 1.00 1.00 2/37 9834 /proc/meminfo: memFree=868936/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 [pid=9832] ppid=9829 vsize=2380 CPUtime=0 /proc/9832/stat : 9832 (sh) S 9829 9829 3447 769 3447 4194304 443 0 0 0 0 0 0 0 25 0 1 0 527551208 2437120 251 1283457024 134512640 135191968 4294804160 18446744073709551615 4158835102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9832/statm: 595 251 214 166 0 27 0 [pid=9833] ppid=9832 vsize=3088 CPUtime=16.71 /proc/9833/stat : 9833 (bingo) R 9832 9829 3447 769 3447 4202496 609 0 0 0 1671 0 0 0 25 0 1 0 527551208 3162112 509 1283457024 134512640 136195415 4291465264 18446744073709551615 134787360 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9833/statm: 772 509 220 411 0 359 0 [pid=9834] ppid=9832 vsize=2128 CPUtime=0 /proc/9834/stat : 9834 (clasp) S 9832 9829 3447 769 3447 4202496 371 0 0 0 0 0 0 0 18 0 1 0 527551212 2179072 278 1283457024 134512640 136080129 4291758160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9834/statm: 532 278 147 383 0 147 0 Current children cumulated CPU time (s) 16.78 Current children cumulated vsize (KiB) 12308 [startup+17.2108 s] /proc/loadavg: 1.00 1.00 1.00 2/37 9834 /proc/meminfo: memFree=868936/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 [pid=9832] ppid=9829 vsize=2380 CPUtime=0 /proc/9832/stat : 9832 (sh) S 9829 9829 3447 769 3447 4194304 443 0 0 0 0 0 0 0 25 0 1 0 527551208 2437120 251 1283457024 134512640 135191968 4294804160 18446744073709551615 4158835102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9832/statm: 595 251 214 166 0 27 0 [pid=9833] ppid=9832 vsize=3088 CPUtime=17.11 /proc/9833/stat : 9833 (bingo) R 9832 9829 3447 769 3447 4202496 614 0 0 0 1711 0 0 0 25 0 1 0 527551208 3162112 514 1283457024 134512640 136195415 4291465264 18446744073709551615 134780473 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9833/statm: 772 514 220 411 0 359 0 [pid=9834] ppid=9832 vsize=2268 CPUtime=0 /proc/9834/stat : 9834 (clasp) S 9832 9829 3447 769 3447 4202496 386 0 0 0 0 0 0 0 18 0 1 0 527551212 2322432 293 1283457024 134512640 136080129 4291758160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9834/statm: 567 293 147 383 0 182 0 Current children cumulated CPU time (s) 17.18 Current children cumulated vsize (KiB) 12448 [startup+17.4108 s] /proc/loadavg: 1.00 1.00 1.00 2/37 9834 /proc/meminfo: memFree=868936/1048576 swapFree=2094612/2097144 [pid=9829] ppid=9828 vsize=4712 CPUtime=0.07 /proc/9829/stat : 9829 (python) S 9828 9829 3447 769 3447 4202496 1218 871 0 0 0 1 4 2 25 0 1 0 527551200 4825088 837 1283457024 134512640 135539072 4290393776 18446744073709551615 4159685550 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9829/statm: 1178 837 402 251 0 436 0 [pid=9832] ppid=9829 vsize=2380 CPUtime=17.24 /proc/9832/stat : 9832 (sh) S 9829 9829 3447 769 3447 4194304 443 2370 0 0 0 0 1724 0 18 0 1 0 527551208 2437120 251 1283457024 134512640 135191968 4294804160 18446744073709551615 4158835102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9832/statm: 595 251 214 166 0 27 0 [pid=9834] ppid=9832 vsize=3512 CPUtime=0.07 /proc/9834/stat : 9834 (clasp) R 9832 9829 3447 769 3447 4202496 751 0 0 0 6 1 0 0 18 0 1 0 527551212 3596288 658 1283457024 134512640 136080129 4291758160 18446744073709551615 134848614 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/9834/statm: 878 658 190 383 0 493 0 Current children cumulated CPU time (s) 17.38 Current children cumulated vsize (KiB) 10604 Child status: 0 Real time (s): 17.4391 CPU time (s): 17.4171 CPU user time (s): 17.3611 CPU system time (s): 0.056003 CPU usage (%): 99.8737 Max. virtual memory (cumulated for all children) (KiB): 15828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.3611 system time used= 0.056003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6611 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= 47 involuntary context switches= 331 runsolver used 0 second user time and 0 second system time The end