runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-194792-1168106499 -o ROOT/results/node56/solver-194792-1168106499 -C 1800 -M 900 /tmp/evaluation/194792-1168106499/solve /tmp/evaluation/194792-1168106499/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.86 1.97 1.87 5/80 17483
/proc/meminfo: memFree=1563168/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 280 0 0 0 0 0 0 0 18 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17484] ppid=17482 vsize=0 CPUtime=0
/proc/17484/stat : 17484 (cp) R 17482 17482 16860 0 -1 4194308 174 0 0 0 0 0 0 0 19 0 1 0 159049180 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/17484/statm: 0 0 0 0 0 0 0
[startup+0.104084 s]
/proc/loadavg: 1.86 1.97 1.87 5/80 17483
/proc/meminfo: memFree=1563168/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.516127 s]
/proc/loadavg: 1.86 1.97 1.87 5/80 17483
/proc/meminfo: memFree=1563168/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.34421 s]
/proc/loadavg: 1.86 1.97 1.87 3/82 17486
/proc/meminfo: memFree=1558096/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7812 CPUtime=1.32
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1464 0 0 0 131 1 0 0 25 0 1 0 159049180 7999488 1422 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1953 1422 243 197 0 1193 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 15764
[startup+2.98137 s]
/proc/loadavg: 1.86 1.97 1.87 3/82 17488
/proc/meminfo: memFree=1558032/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=2.94
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1479 0 0 0 293 1 0 0 25 0 1 0 159049180 8105984 1437 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684675 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1437 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 15868
[startup+6.26069 s]
/proc/loadavg: 1.87 1.97 1.87 3/82 17490
/proc/meminfo: memFree=1558032/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=6.19
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1479 0 0 0 617 2 0 0 25 0 1 0 159049180 8105984 1437 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134879609 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1437 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 15868
[startup+12.7403 s]
/proc/loadavg: 1.88 1.97 1.87 3/82 17494
/proc/meminfo: memFree=1558032/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=12.6
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1479 0 0 0 1257 3 0 0 25 0 1 0 159049180 8105984 1437 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134878626 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1437 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 15868
[startup+25.5766 s]
/proc/loadavg: 1.91 1.97 1.87 3/82 17508
/proc/meminfo: memFree=1558032/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=25.3
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1479 0 0 0 2524 6 0 0 25 0 1 0 159049180 8105984 1437 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134878391 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1437 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 15868
[startup+51.2511 s]
/proc/loadavg: 1.94 1.97 1.87 3/76 17540
/proc/meminfo: memFree=1559232/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=50.73
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1479 0 0 0 5062 11 0 0 25 0 1 0 159049180 8105984 1437 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684268 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1437 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 15868
[startup+102.491 s]
/proc/loadavg: 1.97 1.97 1.87 3/76 17540
/proc/meminfo: memFree=1559232/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=101.56
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1479 0 0 0 10142 14 0 0 25 0 1 0 159049180 8105984 1437 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134884159 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1437 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 15868
[startup+162.565 s]
/proc/loadavg: 1.99 1.97 1.88 3/76 17540
/proc/meminfo: memFree=1559232/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=161.16
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1479 0 0 0 16097 19 0 0 25 0 1 0 159049180 8105984 1437 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134865228 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1437 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 161.16
Current children cumulated vsize (KiB) 15868
[startup+222.636 s]
/proc/loadavg: 1.99 1.97 1.89 3/76 17540
/proc/meminfo: memFree=1559360/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=220.73
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1479 0 0 0 22050 23 0 0 25 0 1 0 159049180 8105984 1437 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134746350 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1437 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 220.73
Current children cumulated vsize (KiB) 15868
[startup+282.709 s]
/proc/loadavg: 1.99 1.97 1.89 3/76 17540
/proc/meminfo: memFree=1559360/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=280.32
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1479 0 0 0 28005 27 0 0 25 0 1 0 159049180 8105984 1437 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684106 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1437 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 280.32
Current children cumulated vsize (KiB) 15868
[startup+342.784 s]
/proc/loadavg: 1.99 1.97 1.90 3/76 17540
/proc/meminfo: memFree=1559360/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=339.9
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1479 0 0 0 33957 33 0 0 25 0 1 0 159049180 8105984 1437 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134876870 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1437 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 339.9
################
# More data... #
################
[startup+1243.87 s]
/proc/loadavg: 2.00 2.00 1.93 3/77 17543
/proc/meminfo: memFree=1559160/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1233.55
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 123264 91 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134807883 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1233.55
Current children cumulated vsize (KiB) 15868
[startup+1303.94 s]
/proc/loadavg: 2.00 2.00 1.93 3/77 17543
/proc/meminfo: memFree=1559160/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1293.09
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 129214 95 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1293.09
Current children cumulated vsize (KiB) 15868
[startup+1364.01 s]
/proc/loadavg: 2.00 2.00 1.93 3/78 17544
/proc/meminfo: memFree=1559152/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1352.67
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 135166 101 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134865228 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1352.67
Current children cumulated vsize (KiB) 15868
[startup+1424.08 s]
/proc/loadavg: 2.04 2.01 1.93 3/78 17544
/proc/meminfo: memFree=1559152/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1412.25
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 141120 105 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134877035 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1412.25
Current children cumulated vsize (KiB) 15868
[startup+1484.15 s]
/proc/loadavg: 2.01 2.01 1.93 3/78 17544
/proc/meminfo: memFree=1559152/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1471.8
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 147071 109 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134746277 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1471.8
Current children cumulated vsize (KiB) 15868
[startup+1544.22 s]
/proc/loadavg: 2.00 2.00 1.93 3/78 17544
/proc/meminfo: memFree=1559152/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1531.38
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 153024 114 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134878641 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1531.38
Current children cumulated vsize (KiB) 15868
[startup+1604.29 s]
/proc/loadavg: 2.00 2.00 1.93 3/78 17544
/proc/meminfo: memFree=1559152/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1590.95
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 158977 118 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684924 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1590.95
Current children cumulated vsize (KiB) 15868
[startup+1664.37 s]
/proc/loadavg: 2.00 2.00 1.93 3/78 17544
/proc/meminfo: memFree=1559152/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1650.5
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 164928 122 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684803 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1650.5
Current children cumulated vsize (KiB) 15868
[startup+1724.44 s]
/proc/loadavg: 2.00 2.00 1.93 3/78 17544
/proc/meminfo: memFree=1559152/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1710.08
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 170880 128 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134884112 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1710.08
Current children cumulated vsize (KiB) 15868
[startup+1784.51 s]
/proc/loadavg: 2.00 2.00 1.93 3/78 17544
/proc/meminfo: memFree=1559152/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1769.65
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 176833 132 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684091 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1769.65
Current children cumulated vsize (KiB) 15868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.12 s]
/proc/loadavg: 2.00 2.00 1.93 3/77 17637
/proc/meminfo: memFree=1575208/2055920 swapFree=4184772/4192956
[pid=17482] ppid=17480 vsize=5352 CPUtime=0
/proc/17482/stat : 17482 (solve) S 17480 17482 16860 0 -1 4194304 315 174 0 0 0 0 0 0 17 0 1 0 159049179 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17482/statm: 1338 229 192 169 0 49 0
[pid=17485] ppid=17482 vsize=7916 CPUtime=1800.05
/proc/17485/stat : 17485 (xlisp) R 17482 17482 16860 0 -1 4194304 1482 0 0 0 179870 135 0 0 25 0 1 0 159049180 8105984 1440 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134882525 0 0 4096 130 0 0 0 17 0 0 0
/proc/17485/statm: 1979 1440 243 197 0 1219 0
[pid=17486] ppid=17482 vsize=2600 CPUtime=0
/proc/17486/stat : 17486 (sed) S 17482 17482 16860 0 -1 4194304 148 0 0 0 0 0 0 0 16 0 1 0 159049180 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 253307355218 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17486/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 15868
Sending SIGTERM to process tree (bottom up)
Child status: 143
Real time (s): 1815.13
CPU time (s): 1800.07
CPU user time (s): 1798.7
CPU system time (s): 1.36079
CPU usage (%): 99.1701
Max. virtual memory (cumulated for all children) (KiB): 15868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.36079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2135
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= 37
involuntary context switches= 38858
runsolver used 1.73074 s user time and 4.75128 s system time
The end
Begin job on node56 on Sat Jan 6 18:01:39 UTC 2007
IDJOB= 194792
IDBENCH= 3233
FILE ID= node56/194792-1168106499
PBS_JOBID= 3477318
Free space on /tmp= 66520 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-17_ext.xml
COMMAND LINE= /tmp/evaluation/194792-1168106499/solve /tmp/evaluation/194792-1168106499/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node56/convwatcher-194792-1168106499 -o ROOT/results/node56/conversion-194792-1168106499 -C 600 -M 900 /tmp/evaluation/194792-1168106499/conversion /tmp/evaluation/194792-1168106499/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-194792-1168106499 -o ROOT/results/node56/solver-194792-1168106499 -C 1800 -M 900 /tmp/evaluation/194792-1168106499/solve /tmp/evaluation/194792-1168106499/unknown 1800
META MD5SUM SOLVER= 91bbaf997669a18b91ccd2f734d8d9ca
MD5SUM BENCH= 0bbf7460ef2d59facffae8119cd866c8
RANDOM SEED= 861610045
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.232
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.232
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: 1563648 kB
Buffers: 39336 kB
Cached: 347972 kB
SwapCached: 2060 kB
Active: 120164 kB
Inactive: 304012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1563648 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 3752 kB
Writeback: 0 kB
Mapped: 45472 kB
Slab: 52956 kB
Committed_AS: 2997684 kB
PageTables: 2108 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= 66520 MiB
End job on node56 on Sat Jan 6 18:32:06 UTC 2007