runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-239106-1168364030 -o ROOT/results/node61/solver-239106-1168364030 -C 1800 -M 900 /tmp/evaluation/239106-1168364030/solver2 /tmp/evaluation/239106-1168364030/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.45 1.84 1.95 4/70 27145
/proc/meminfo: memFree=1822152/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=0
/proc/27144/stat : 27144 (solver2) R 27141 27144 25760 0 -1 4194304 313 190 0 0 0 0 0 0 19 0 1 0 184801004 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406507167 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/27144/statm: 1338 241 202 169 0 49 0
[pid=27148] ppid=27144 vsize=5352 CPUtime=0
/proc/27148/stat : 27148 (solver2) R 27144 27144 25760 0 -1 4194368 21 0 0 0 0 0 0 0 21 0 1 0 184801005 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406507815 0 0 4096 0 0 0 0 17 1 0 0
/proc/27148/statm: 1338 242 203 169 0 49 0
[startup+0.103625 s]
/proc/loadavg: 1.45 1.84 1.95 4/70 27145
/proc/meminfo: memFree=1822152/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=0
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 353 334 0 0 0 0 0 0 19 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.511701 s]
/proc/loadavg: 1.45 1.84 1.95 4/70 27145
/proc/meminfo: memFree=1822152/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=0.09
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 376 2351 0 0 0 0 7 2 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5352
[startup+1.33284 s]
/proc/loadavg: 1.45 1.84 1.95 3/75 27172
/proc/meminfo: memFree=1772832/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=0.09
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 376 2351 0 0 0 0 7 2 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27171] ppid=27144 vsize=21972 CPUtime=1.2
/proc/27171/stat : 27171 (bordewijk) R 27144 27144 25760 0 -1 4194304 5649 0 0 0 62 58 0 0 25 0 1 0 184801016 22499328 4945 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27171/statm: 5493 4945 217 97 0 4774 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 27324
[startup+2.97614 s]
/proc/loadavg: 1.45 1.84 1.95 3/75 27174
/proc/meminfo: memFree=1802336/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9056 CPUtime=1.4
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1834 0 0 0 124 16 0 0 25 0 1 0 184801161 9273344 1667 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519662 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2264 1667 138 64 0 1579 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 14408
[startup+6.25971 s]
/proc/loadavg: 1.49 1.85 1.95 3/75 27174
/proc/meminfo: memFree=1802336/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9056 CPUtime=4.67
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1835 0 0 0 451 16 0 0 25 0 1 0 184801161 9273344 1668 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519655 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2264 1668 138 64 0 1579 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 14408
[startup+12.7308 s]
/proc/loadavg: 1.53 1.85 1.95 3/75 27174
/proc/meminfo: memFree=1802544/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9056 CPUtime=11.14
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1836 0 0 0 1098 16 0 0 25 0 1 0 184801161 9273344 1669 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2264 1669 138 64 0 1579 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14408
[startup+25.5641 s]
/proc/loadavg: 1.60 1.85 1.95 3/75 27174
/proc/meminfo: memFree=1802736/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=23.97
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 2381 16 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 14412
[startup+51.2376 s]
/proc/loadavg: 1.76 1.86 1.95 3/75 27174
/proc/meminfo: memFree=1802992/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=49.63
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 4947 16 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134557688 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 14412
[startup+102.465 s]
/proc/loadavg: 2.01 1.91 1.96 3/75 27174
/proc/meminfo: memFree=1803120/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=100.84
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 10068 16 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549715 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 14412
[startup+162.522 s]
/proc/loadavg: 2.06 1.94 1.96 3/75 27174
/proc/meminfo: memFree=1803120/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=160.88
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 16072 16 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134550327 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 162.42
Current children cumulated vsize (KiB) 14412
[startup+222.585 s]
/proc/loadavg: 2.02 1.95 1.96 3/75 27174
/proc/meminfo: memFree=1803056/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=220.92
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 22076 16 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519655 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 222.46
Current children cumulated vsize (KiB) 14412
[startup+282.644 s]
/proc/loadavg: 2.01 1.95 1.96 3/75 27174
/proc/meminfo: memFree=1803056/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=280.96
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 28080 16 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134552188 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 282.5
Current children cumulated vsize (KiB) 14412
[startup+342.713 s]
/proc/loadavg: 2.00 1.96 1.96 3/75 27174
/proc/meminfo: memFree=1803056/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=341.01
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 34085 16 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 342.55
Current children cumulated vsize (KiB) 14412
[startup+402.77 s]
/proc/loadavg: 2.00 1.96 1.96 3/75 27174
/proc/meminfo: memFree=1803056/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=401.05
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 40089 16 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519664 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 402.59
Current children cumulated vsize (KiB) 14412
[startup+462.842 s]
/proc/loadavg: 2.04 1.98 1.97 3/75 27174
/proc/meminfo: memFree=1803056/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=461.1
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 46094 16 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549733 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 462.64
Current children cumulated vsize (KiB) 14412
[startup+522.909 s]
/proc/loadavg: 2.01 1.98 1.97 3/75 27174
/proc/meminfo: memFree=1803056/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=521.15
################
# More data... #
################
/proc/loadavg: 2.03 2.01 1.99 3/75 27174
/proc/meminfo: memFree=1802864/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1121.63
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 112146 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134548957 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1123.17
Current children cumulated vsize (KiB) 14412
[startup+1183.65 s]
/proc/loadavg: 2.01 2.00 1.99 3/75 27174
/proc/meminfo: memFree=1802864/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1181.68
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 118151 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1183.22
Current children cumulated vsize (KiB) 14412
[startup+1243.72 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 27174
/proc/meminfo: memFree=1802864/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1241.73
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 124156 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519664 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1243.27
Current children cumulated vsize (KiB) 14412
[startup+1303.79 s]
/proc/loadavg: 2.00 2.00 1.99 4/75 27174
/proc/meminfo: memFree=1802864/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1301.78
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 130161 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519662 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1303.32
Current children cumulated vsize (KiB) 14412
[startup+1363.84 s]
/proc/loadavg: 2.08 2.02 1.99 3/75 27174
/proc/meminfo: memFree=1802800/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1361.81
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 136164 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519689 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1363.35
Current children cumulated vsize (KiB) 14412
[startup+1423.91 s]
/proc/loadavg: 2.03 2.01 1.99 3/75 27174
/proc/meminfo: memFree=1802800/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1421.85
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 142168 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549720 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1423.39
Current children cumulated vsize (KiB) 14412
[startup+1483.99 s]
/proc/loadavg: 2.01 2.00 1.99 3/75 27174
/proc/meminfo: memFree=1802736/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1481.91
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 148174 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4155674558 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1483.45
Current children cumulated vsize (KiB) 14412
[startup+1544.05 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 27174
/proc/meminfo: memFree=1802736/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1541.96
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 154179 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134516831 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1543.5
Current children cumulated vsize (KiB) 14412
[startup+1604.11 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 27174
/proc/meminfo: memFree=1802736/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1602
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 160183 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519655 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1603.54
Current children cumulated vsize (KiB) 14412
[startup+1664.19 s]
/proc/loadavg: 2.06 2.02 2.00 4/81 27298
/proc/meminfo: memFree=1801152/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1661.92
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 166175 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134528505 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1663.46
Current children cumulated vsize (KiB) 14412
[startup+1724.26 s]
/proc/loadavg: 2.02 2.01 2.00 3/75 27372
/proc/meminfo: memFree=1802160/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1721.89
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 172172 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549733 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1723.43
Current children cumulated vsize (KiB) 14412
[startup+1784.33 s]
/proc/loadavg: 2.05 2.02 2.00 3/75 27372
/proc/meminfo: memFree=1802160/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1781.94
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 178177 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519674 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1783.48
Current children cumulated vsize (KiB) 14412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.86 s]
/proc/loadavg: 2.04 2.02 2.00 3/75 27372
/proc/meminfo: memFree=1802160/2055920 swapFree=4192812/4192956
[pid=27144] ppid=27141 vsize=5352 CPUtime=1.54
/proc/27144/stat : 27144 (solver2) S 27141 27144 25760 0 -1 4194304 397 8000 0 0 0 0 71 83 16 0 1 0 184801004 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27144/statm: 1338 242 203 169 0 49 0
[pid=27174] ppid=27144 vsize=9060 CPUtime=1798.47
/proc/27174/stat : 27174 (standalone) R 27144 27144 25760 0 -1 4194304 1838 0 0 0 179830 17 0 0 25 0 1 0 184801161 9277440 1671 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134516817 0 0 4096 0 0 0 0 17 1 0 0
/proc/27174/statm: 2265 1671 138 64 0 1580 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 14412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 27144 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=716891 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=832873
CPU time returned by wait4() is 1.54976
while last known CPU time is 1800.01
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1800.88
CPU time (s): 1800.01
CPU user time (s): 1799.01
CPU system time (s): 1
CPU usage (%): 99.9517
Max. virtual memory (cumulated for all children) (KiB): 27324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.716891
system time used= 0.832873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8397
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= 184
involuntary context switches= 191
runsolver used 1.83772 s user time and 5.08623 s system time
The end
Begin job on node61 on Tue Jan 9 17:33:52 UTC 2007
IDJOB= 239106
IDBENCH= 7040
FILE ID= node61/239106-1168364030
PBS_JOBID= 3504031
Free space on /tmp= 66500 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-25/qcp-25-264-1_ext.xml
COMMAND LINE= /tmp/evaluation/239106-1168364030/solver2 /tmp/evaluation/239106-1168364030/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-239106-1168364030 -o ROOT/results/node61/solver-239106-1168364030 -C 1800 -M 900 /tmp/evaluation/239106-1168364030/solver2 /tmp/evaluation/239106-1168364030/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 6da7049e947d87cbb0f89c14dfc9bf39
RANDOM SEED= 962911329
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.259
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.259
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: 1822904 kB
Buffers: 16672 kB
Cached: 146664 kB
SwapCached: 0 kB
Active: 138960 kB
Inactive: 44536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1822904 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 23112 kB
Writeback: 0 kB
Mapped: 30292 kB
Slab: 35204 kB
Committed_AS: 4198512 kB
PageTables: 1588 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= 66493 MiB
End job on node61 on Tue Jan 9 18:03:53 UTC 2007