runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-235472-1168337923 -o ROOT/results/node23/solver-235472-1168337923 -C 1800 -M 900 /tmp/evaluation/235472-1168337923/solver2 /tmp/evaluation/235472-1168337923/unknown 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.00 1.07 1.45 4/78 30888
/proc/meminfo: memFree=1032896/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0
/proc/30887/stat : 30887 (solver2) R 30885 30887 28776 0 -1 4194304 313 190 0 0 0 0 0 0 19 0 1 0 182186822 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487829093 0 0 4100 65536 0 0 0 17 1 0 0
/proc/30887/statm: 1338 241 202 169 0 49 0
[startup+0.103643 s]
/proc/loadavg: 1.00 1.07 1.45 4/78 30888
/proc/meminfo: memFree=1032896/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.02
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 376 2246 0 0 0 0 1 1 16 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5352
[startup+0.511723 s]
/proc/loadavg: 1.00 1.07 1.45 4/78 30888
/proc/meminfo: memFree=1032896/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.02
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 376 2246 0 0 0 0 1 1 16 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5352
[startup+1.33288 s]
/proc/loadavg: 1.00 1.06 1.44 2/79 30901
/proc/meminfo: memFree=1024056/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=0.65
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1841 0 0 0 55 10 0 0 23 0 1 0 182186888 10002432 1815 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1815 136 64 0 1757 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 15120
[startup+2.97519 s]
/proc/loadavg: 1.00 1.06 1.44 2/79 30901
/proc/meminfo: memFree=1023672/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=2.29
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1841 0 0 0 219 10 0 0 25 0 1 0 182186888 10002432 1815 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154402731 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1815 136 64 0 1757 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 15120
[startup+6.25183 s]
/proc/loadavg: 1.00 1.06 1.44 2/79 30901
/proc/meminfo: memFree=1023880/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=5.56
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1841 0 0 0 546 10 0 0 25 0 1 0 182186888 10002432 1815 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154481574 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1815 136 64 0 1757 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 15120
[startup+12.7141 s]
/proc/loadavg: 1.00 1.06 1.44 2/79 30901
/proc/meminfo: memFree=1023896/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=12.02
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1841 0 0 0 1192 10 0 0 25 0 1 0 182186888 10002432 1815 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134555352 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1815 136 64 0 1757 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15120
[startup+25.5246 s]
/proc/loadavg: 1.00 1.06 1.43 2/79 30901
/proc/meminfo: memFree=1024032/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=24.83
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1842 0 0 0 2473 10 0 0 25 0 1 0 182186888 10002432 1816 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154403733 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1816 136 64 0 1757 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15120
[startup+51.1525 s]
/proc/loadavg: 1.00 1.05 1.42 2/79 30901
/proc/meminfo: memFree=1024288/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=50.44
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1842 0 0 0 5033 11 0 0 25 0 1 0 182186888 10002432 1816 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154405178 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1816 136 64 0 1757 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15120
[startup+102.401 s]
/proc/loadavg: 1.00 1.04 1.39 2/79 30903
/proc/meminfo: memFree=1024352/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=101.66
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1842 0 0 0 10155 11 0 0 25 0 1 0 182186888 10002432 1816 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154402581 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1816 136 64 0 1757 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 15120
[startup+162.467 s]
/proc/loadavg: 1.00 1.03 1.36 2/79 30903
/proc/meminfo: memFree=1024352/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=161.71
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1843 0 0 0 16160 11 0 0 25 0 1 0 182186888 10002432 1817 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154399670 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1817 136 64 0 1757 0
Current children cumulated CPU time (s) 162.36
Current children cumulated vsize (KiB) 15120
[startup+222.535 s]
/proc/loadavg: 1.00 1.02 1.34 2/79 30903
/proc/meminfo: memFree=1024416/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=221.75
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1843 0 0 0 22164 11 0 0 25 0 1 0 182186888 10002432 1817 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134555379 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1817 136 64 0 1757 0
Current children cumulated CPU time (s) 222.4
Current children cumulated vsize (KiB) 15120
[startup+282.609 s]
/proc/loadavg: 1.00 1.02 1.32 2/79 30903
/proc/meminfo: memFree=1024352/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=281.81
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1843 0 0 0 28170 11 0 0 25 0 1 0 182186888 10002432 1817 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154405401 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1817 136 64 0 1757 0
Current children cumulated CPU time (s) 282.46
Current children cumulated vsize (KiB) 15120
[startup+342.674 s]
/proc/loadavg: 1.00 1.01 1.29 2/79 30903
/proc/meminfo: memFree=1024288/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=341.85
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1843 0 0 0 34174 11 0 0 25 0 1 0 182186888 10002432 1817 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154398516 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1817 136 64 0 1757 0
Current children cumulated CPU time (s) 342.5
Current children cumulated vsize (KiB) 15120
[startup+402.741 s]
/proc/loadavg: 1.00 1.01 1.27 2/79 30903
/proc/meminfo: memFree=1024288/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=401.89
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1843 0 0 0 40178 11 0 0 25 0 1 0 182186888 10002432 1817 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154400788 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1817 136 64 0 1757 0
Current children cumulated CPU time (s) 402.54
Current children cumulated vsize (KiB) 15120
[startup+462.808 s]
/proc/loadavg: 1.00 1.00 1.25 2/79 30903
/proc/meminfo: memFree=1024224/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=461.95
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1843 0 0 0 46183 12 0 0 25 0 1 0 182186888 10002432 1817 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154461392 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1817 136 64 0 1757 0
Current children cumulated CPU time (s) 462.6
Current children cumulated vsize (KiB) 15120
[startup+522.873 s]
/proc/loadavg: 1.00 1.00 1.24 2/79 30903
/proc/meminfo: memFree=1024096/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=521.99
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 52187 12 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554175 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 522.64
################
# More data... #
################
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1062.4
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 106225 15 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1063.05
Current children cumulated vsize (KiB) 15120
[startup+1123.53 s]
/proc/loadavg: 1.00 1.00 1.11 2/79 30903
/proc/meminfo: memFree=1023840/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1122.44
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 112229 15 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554163 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1123.09
Current children cumulated vsize (KiB) 15120
[startup+1183.6 s]
/proc/loadavg: 1.03 1.01 1.10 2/79 30903
/proc/meminfo: memFree=1023840/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1182.49
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 118233 16 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154411484 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1183.14
Current children cumulated vsize (KiB) 15120
[startup+1243.67 s]
/proc/loadavg: 1.01 1.01 1.09 2/79 30903
/proc/meminfo: memFree=1023776/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1242.54
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 124238 16 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1243.19
Current children cumulated vsize (KiB) 15120
[startup+1303.74 s]
/proc/loadavg: 1.00 1.00 1.08 2/79 30903
/proc/meminfo: memFree=1023776/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1302.59
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 130242 17 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554274 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1303.24
Current children cumulated vsize (KiB) 15120
[startup+1363.81 s]
/proc/loadavg: 1.00 1.00 1.08 2/79 30903
/proc/meminfo: memFree=1023776/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1362.63
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 136246 17 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1363.28
Current children cumulated vsize (KiB) 15120
[startup+1423.87 s]
/proc/loadavg: 1.00 1.00 1.07 2/79 30903
/proc/meminfo: memFree=1023712/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1422.68
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 142250 18 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154440609 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1423.33
Current children cumulated vsize (KiB) 15120
[startup+1483.95 s]
/proc/loadavg: 1.00 1.00 1.07 2/79 30903
/proc/meminfo: memFree=1023648/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1482.73
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 148255 18 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154436256 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1483.38
Current children cumulated vsize (KiB) 15120
[startup+1544.01 s]
/proc/loadavg: 1.00 1.00 1.06 2/79 30903
/proc/meminfo: memFree=1023648/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1542.78
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 154259 19 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549728 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1543.43
Current children cumulated vsize (KiB) 15120
[startup+1604.07 s]
/proc/loadavg: 1.00 1.00 1.06 2/79 30903
/proc/meminfo: memFree=1023648/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1602.82
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 160263 19 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134516864 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1603.47
Current children cumulated vsize (KiB) 15120
[startup+1664.15 s]
/proc/loadavg: 1.00 1.00 1.05 2/79 30903
/proc/meminfo: memFree=1023584/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1662.87
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 166268 19 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154457261 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1663.52
Current children cumulated vsize (KiB) 15120
[startup+1724.22 s]
/proc/loadavg: 1.00 1.00 1.04 2/79 30903
/proc/meminfo: memFree=1023584/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1722.92
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 172272 20 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1723.57
Current children cumulated vsize (KiB) 15120
[startup+1784.28 s]
/proc/loadavg: 1.05 1.01 1.04 2/79 30903
/proc/meminfo: memFree=1023584/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1782.96
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 178276 20 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4154399681 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (KiB) 15120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.69 s]
/proc/loadavg: 1.04 1.01 1.04 2/79 30903
/proc/meminfo: memFree=1023584/2055920 swapFree=4191880/4192956
[pid=30887] ppid=30885 vsize=5352 CPUtime=0.65
/proc/30887/stat : 30887 (solver2) S 30885 30887 28776 0 -1 4194304 397 5580 0 0 0 0 24 41 15 0 1 0 182186822 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30887/statm: 1338 242 203 169 0 49 0
[pid=30901] ppid=30887 vsize=9768 CPUtime=1799.37
/proc/30901/stat : 30901 (standalone) R 30887 30887 28776 0 -1 4194304 1871 0 0 0 179917 20 0 0 25 0 1 0 182186888 10002432 1845 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554178 0 0 4096 0 0 0 0 17 1 0 0
/proc/30901/statm: 2442 1845 137 64 0 1757 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 15120
Sending SIGTERM to process tree (bottom up)
Child status: 143
Real time (s): 1800.7
CPU time (s): 1800.05
CPU user time (s): 1799.41
CPU system time (s): 0.631903
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 15120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.631903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7861
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= 100
involuntary context switches= 36591
runsolver used 1.85472 s user time and 4.54331 s system time
The end
Begin job on node23 on Tue Jan 9 10:18:44 UTC 2007
IDJOB= 235472
IDBENCH= 6771
FILE ID= node23/235472-1168337923
PBS_JOBID= 3503367
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-95-3.xml
COMMAND LINE= /tmp/evaluation/235472-1168337923/solver2 /tmp/evaluation/235472-1168337923/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-235472-1168337923 -o ROOT/results/node23/solver-235472-1168337923 -C 1800 -M 900 /tmp/evaluation/235472-1168337923/solver2 /tmp/evaluation/235472-1168337923/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 7e3c51f50cd71b0d303f8f9ddad103ec
RANDOM SEED= 944163806
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1033312 kB
Buffers: 32496 kB
Cached: 881620 kB
SwapCached: 280 kB
Active: 240980 kB
Inactive: 728280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1033312 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 10204 kB
Writeback: 0 kB
Mapped: 72832 kB
Slab: 38792 kB
Committed_AS: 3795000 kB
PageTables: 1916 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66552 MiB
End job on node23 on Tue Jan 9 10:48:45 UTC 2007