runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-239533-1168367024 -o ROOT/results/node1/solver-239533-1168367024 -C 1800 -M 900 /tmp/evaluation/239533-1168367024/solve /tmp/evaluation/239533-1168367024/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.87 1.99 1.92 3/94 6162
/proc/meminfo: memFree=1756760/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=880 CPUtime=0
/proc/6161/stat : 6161 (solve) R 6159 6161 6057 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 185098590 901120 25 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259350656277 0 0 4096 0 0 0 0 17 1 0 0
/proc/6161/statm: 220 25 18 169 0 8 0
[startup+0.102845 s]
/proc/loadavg: 1.87 1.99 1.92 3/94 6162
/proc/meminfo: memFree=1756760/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.511897 s]
/proc/loadavg: 1.87 1.99 1.92 3/94 6162
/proc/meminfo: memFree=1756760/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33999 s]
/proc/loadavg: 1.87 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1731720/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=30672 CPUtime=1.31
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 7175 0 0 0 128 3 0 0 25 0 1 0 185098591 31408128 7134 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684809 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 7668 7134 241 197 0 6908 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 38624
[startup+2.98519 s]
/proc/loadavg: 1.87 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1716104/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=50900 CPUtime=2.96
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 12241 0 0 0 290 6 0 0 25 0 1 0 185098591 52121600 12200 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684588 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 12725 12200 241 197 0 11965 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 58852
[startup+6.26457 s]
/proc/loadavg: 1.88 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1691976/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=68520 CPUtime=6.21
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 16654 0 0 0 614 7 0 0 25 0 1 0 185098591 70164480 16612 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684572 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 17130 16612 242 197 0 16370 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 76472
[startup+12.7483 s]
/proc/loadavg: 1.89 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1685960/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=73188 CPUtime=12.66
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 17813 0 0 0 1258 8 0 0 25 0 1 0 185098591 74944512 17771 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 18297 17771 242 197 0 17537 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 81140
[startup+25.5848 s]
/proc/loadavg: 1.91 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1686088/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=73188 CPUtime=25.45
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 17813 0 0 0 2536 9 0 0 25 0 1 0 185098591 74944512 17771 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 18297 17771 242 197 0 17537 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 81140
[startup+51.2788 s]
/proc/loadavg: 1.94 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1686152/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=73188 CPUtime=51.02
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 17813 0 0 0 5093 9 0 0 25 0 1 0 185098591 74944512 17771 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684809 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 18297 17771 242 197 0 17537 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 81140
[startup+102.565 s]
/proc/loadavg: 1.97 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1686152/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=73188 CPUtime=102.06
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 17813 0 0 0 10197 9 0 0 25 0 1 0 185098591 74944512 17771 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 18297 17771 242 197 0 17537 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 81140
[startup+162.589 s]
/proc/loadavg: 1.99 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1681608/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=77700 CPUtime=161.81
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 67974 0 0 0 16144 37 0 0 25 0 1 0 185098591 79564800 18908 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19425 18908 243 197 0 18665 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 85652
[startup+222.612 s]
/proc/loadavg: 1.99 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1681032/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=221.54
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 213257 0 0 0 22038 116 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134807883 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 221.54
Current children cumulated vsize (KiB) 86124
[startup+282.639 s]
/proc/loadavg: 1.99 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1680968/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=281.29
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 355350 0 0 0 27934 195 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134751704 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 281.29
Current children cumulated vsize (KiB) 86124
[startup+342.668 s]
/proc/loadavg: 1.99 1.99 1.92 3/96 6165
/proc/meminfo: memFree=1680904/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=341.04
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 495145 0 0 0 33833 271 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684022 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 341.04
Current children cumulated vsize (KiB) 86124
[startup+402.696 s]
################
# More data... #
################
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1237.22
Current children cumulated vsize (KiB) 86124
[startup+1303.09 s]
/proc/loadavg: 2.11 2.03 1.94 3/96 6165
/proc/meminfo: memFree=1680264/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=1296.97
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 2780506 0 0 0 128161 1536 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134865228 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1296.97
Current children cumulated vsize (KiB) 86124
[startup+1363.12 s]
/proc/loadavg: 2.04 2.02 1.94 3/96 6165
/proc/meminfo: memFree=1680264/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=1356.71
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 2924897 0 0 0 134057 1614 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1356.71
Current children cumulated vsize (KiB) 86124
[startup+1423.15 s]
/proc/loadavg: 2.01 2.02 1.94 4/96 6165
/proc/meminfo: memFree=1680328/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=1416.45
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 3069671 0 0 0 139951 1694 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134746277 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1416.45
Current children cumulated vsize (KiB) 86124
[startup+1483.17 s]
/proc/loadavg: 2.04 2.03 1.94 3/96 6165
/proc/meminfo: memFree=1680136/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=1476.19
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 3213296 0 0 0 145846 1773 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684091 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1476.19
Current children cumulated vsize (KiB) 86124
[startup+1543.2 s]
/proc/loadavg: 2.06 2.03 1.95 3/96 6165
/proc/meminfo: memFree=1680136/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=1535.94
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 3357304 0 0 0 151742 1852 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1535.94
Current children cumulated vsize (KiB) 86124
[startup+1603.22 s]
/proc/loadavg: 2.02 2.03 1.95 3/96 6165
/proc/meminfo: memFree=1680072/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=1595.68
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 3502461 0 0 0 157637 1931 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683822 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1595.68
Current children cumulated vsize (KiB) 86124
[startup+1663.25 s]
/proc/loadavg: 2.00 2.02 1.95 3/96 6165
/proc/meminfo: memFree=1680008/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=1655.42
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 3646086 0 0 0 163531 2011 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134904029 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1655.42
Current children cumulated vsize (KiB) 86124
[startup+1723.28 s]
/proc/loadavg: 2.04 2.03 1.95 4/96 6165
/proc/meminfo: memFree=1679944/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=1715.16
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 3788179 0 0 0 169426 2090 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683822 0 0 4096 130 0 0 0 17 1 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1715.16
Current children cumulated vsize (KiB) 86124
[startup+1783.3 s]
/proc/loadavg: 1.98 2.02 1.95 3/90 6257
/proc/meminfo: memFree=1699256/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=1774.93
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 3930272 0 0 0 175324 2169 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683822 0 0 4096 130 0 0 0 17 0 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1774.93
Current children cumulated vsize (KiB) 86124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.38 s]
/proc/loadavg: 1.99 2.02 1.95 3/90 6257
/proc/meminfo: memFree=1698880/2055920 swapFree=4165612/4192956
[pid=6161] ppid=6159 vsize=5352 CPUtime=0
/proc/6161/stat : 6161 (solve) S 6159 6161 6057 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 185098590 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6161/statm: 1338 229 192 169 0 49 0
[pid=6164] ppid=6161 vsize=78172 CPUtime=1800
/proc/6164/stat : 6164 (xlisp) R 6161 6161 6057 0 -1 4194304 3993084 0 0 0 177798 2202 0 0 25 0 1 0 185098591 80048128 19034 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 0 0 0
/proc/6164/statm: 19543 19034 243 197 0 18783 0
[pid=6165] ppid=6161 vsize=2600 CPUtime=0
/proc/6165/stat : 6165 (sed) S 6161 6161 6057 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 185098591 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 259353444434 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6165/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 86124
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 6161 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=4999
CPU time returned by wait4() is 0.005998
while last known CPU time is 1800
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1808.39
CPU time (s): 1800
CPU user time (s): 1777.98
CPU system time (s): 22.02
CPU usage (%): 99.536
Max. virtual memory (cumulated for all children) (KiB): 86124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637
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= 21
involuntary context switches= 5
runsolver used 2.14267 s user time and 5.86611 s system time
The end
Begin job on node1 on Tue Jan 9 18:23:44 UTC 2007
IDJOB= 239533
IDBENCH= 7065
FILE ID= node1/239533-1168367024
PBS_JOBID= 3503795
Free space on /tmp= 66512 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-25/qwh-25-235-1_ext.xml
COMMAND LINE= /tmp/evaluation/239533-1168367024/solve /tmp/evaluation/239533-1168367024/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-239533-1168367024 -o ROOT/results/node1/conversion-239533-1168367024 -C 600 -M 900 /tmp/evaluation/239533-1168367024/conversion /tmp/evaluation/239533-1168367024/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-239533-1168367024 -o ROOT/results/node1/solver-239533-1168367024 -C 1800 -M 900 /tmp/evaluation/239533-1168367024/solve /tmp/evaluation/239533-1168367024/unknown 1800
META MD5SUM SOLVER= 91bbaf997669a18b91ccd2f734d8d9ca
MD5SUM BENCH= 04ca90f9348e47b73eee2591fa349832
RANDOM SEED= 483953614
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.234
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.234
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: 1757240 kB
Buffers: 32560 kB
Cached: 140720 kB
SwapCached: 4064 kB
Active: 161852 kB
Inactive: 79184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1757240 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 4264 kB
Writeback: 0 kB
Mapped: 84888 kB
Slab: 42228 kB
Committed_AS: 5976984 kB
PageTables: 2476 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= 66512 MiB
End job on node1 on Tue Jan 9 18:53:57 UTC 2007