runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-239134-1168364441 -o ROOT/results/node55/solver-239134-1168364441 -C 1800 -M 900 /tmp/evaluation/239134-1168364441/solve /tmp/evaluation/239134-1168364441/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: 2.04 1.99 1.84 3/76 25637
/proc/meminfo: memFree=1678504/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 280 0 0 0 0 0 0 0 21 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25637] ppid=25635 vsize=5352 CPUtime=0
/proc/25637/stat : 25637 (solve) R 25635 25635 25261 0 -1 4194368 18 0 0 0 0 0 0 0 24 0 1 0 184842733 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761609511 0 0 4096 0 0 0 0 17 1 0 0
/proc/25637/statm: 1338 229 192 169 0 49 0
[startup+0.103571 s]
/proc/loadavg: 2.04 1.99 1.84 3/76 25637
/proc/meminfo: memFree=1678504/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.511615 s]
/proc/loadavg: 2.04 1.99 1.84 3/76 25637
/proc/meminfo: memFree=1678504/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.3327 s]
/proc/loadavg: 2.04 1.99 1.84 3/77 25639
/proc/meminfo: memFree=1653984/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=30692 CPUtime=1.31
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 7182 0 0 0 126 5 0 0 25 0 1 0 184842733 31428608 7141 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683949 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 7673 7141 241 197 0 6913 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 38644
[startup+2.96986 s]
/proc/loadavg: 2.04 1.99 1.84 3/77 25639
/proc/meminfo: memFree=1639776/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=49272 CPUtime=2.92
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 11832 0 0 0 285 7 0 0 25 0 1 0 184842733 50454528 11791 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134927612 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 12318 11791 241 197 0 11558 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 57224
[startup+6.26718 s]
/proc/loadavg: 2.03 1.99 1.84 3/77 25639
/proc/meminfo: memFree=1613024/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=70548 CPUtime=6.19
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 17153 0 0 0 608 11 0 0 25 0 1 0 184842733 72241152 17111 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683862 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 17637 17111 242 197 0 16877 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 78500
[startup+12.7328 s]
/proc/loadavg: 2.03 1.99 1.84 3/77 25639
/proc/meminfo: memFree=1604712/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=76472 CPUtime=12.59
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 18641 0 0 0 1248 11 0 0 25 0 1 0 184842733 78307328 18599 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 19118 18599 242 197 0 18358 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 84424
[startup+25.5941 s]
/proc/loadavg: 2.02 1.99 1.84 3/77 25639
/proc/meminfo: memFree=1604776/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=76472 CPUtime=25.34
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 18641 0 0 0 2522 12 0 0 25 0 1 0 184842733 78307328 18599 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 19118 18599 242 197 0 18358 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 84424
[startup+51.2909 s]
/proc/loadavg: 2.01 1.99 1.84 3/77 25639
/proc/meminfo: memFree=1604840/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=76472 CPUtime=50.8
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 18641 0 0 0 5068 12 0 0 25 0 1 0 184842733 78307328 18599 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 19118 18599 242 197 0 18358 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 84424
[startup+102.584 s]
/proc/loadavg: 2.00 1.99 1.85 3/77 25639
/proc/meminfo: memFree=1604904/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=76472 CPUtime=101.63
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 18641 0 0 0 10151 12 0 0 25 0 1 0 184842733 78307328 18599 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684809 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 19118 18599 242 197 0 18358 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 84424
[startup+162.61 s]
/proc/loadavg: 2.00 1.99 1.85 3/77 25639
/proc/meminfo: memFree=1601000/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=76472 CPUtime=161.11
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 18641 0 0 0 16098 13 0 0 25 0 1 0 184842733 78307328 18599 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684588 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 19118 18599 242 197 0 18358 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 161.11
Current children cumulated vsize (KiB) 84424
[startup+222.64 s]
/proc/loadavg: 2.00 1.99 1.86 3/77 25639
/proc/meminfo: memFree=1596712/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=220.6
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 127090 0 0 0 21982 78 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684091 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 220.6
Current children cumulated vsize (KiB) 89248
[startup+282.675 s]
/proc/loadavg: 2.00 1.99 1.87 3/77 25639
/proc/meminfo: memFree=1596648/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=280.09
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 261523 0 0 0 27854 155 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (KiB) 89248
[startup+342.71 s]
/proc/loadavg: 2.00 1.99 1.87 3/77 25639
/proc/meminfo: memFree=1596648/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=339.58
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 395956 0 0 0 33723 235 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 339.58
################
# More data... #
################
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1231.74
Current children cumulated vsize (KiB) 89248
[startup+1303.25 s]
/proc/loadavg: 2.08 2.02 1.92 3/83 25813
/proc/meminfo: memFree=1593648/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=1291.13
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 2530032 0 0 0 127596 1517 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684084 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1291.13
Current children cumulated vsize (KiB) 89248
[startup+1363.29 s]
/proc/loadavg: 2.03 2.01 1.92 3/77 25837
/proc/meminfo: memFree=1596200/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=1350.6
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 2665614 0 0 0 133461 1599 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684809 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1350.6
Current children cumulated vsize (KiB) 89248
[startup+1423.32 s]
/proc/loadavg: 2.08 2.02 1.93 3/77 25837
/proc/meminfo: memFree=1594792/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=1410.08
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 2801962 0 0 0 139330 1678 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683927 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1410.08
Current children cumulated vsize (KiB) 89248
[startup+1483.36 s]
/proc/loadavg: 2.03 2.02 1.93 3/77 25837
/proc/meminfo: memFree=1594792/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=1469.57
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 2937161 0 0 0 145199 1758 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1469.57
Current children cumulated vsize (KiB) 89248
[startup+1543.39 s]
/proc/loadavg: 2.01 2.01 1.93 3/77 25837
/proc/meminfo: memFree=1594792/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=1529.06
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 3072743 0 0 0 151067 1839 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684072 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1529.06
Current children cumulated vsize (KiB) 89248
[startup+1603.43 s]
/proc/loadavg: 2.00 2.00 1.93 3/77 25837
/proc/meminfo: memFree=1594920/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=1588.56
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 3204112 0 0 0 156937 1919 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684084 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1588.56
Current children cumulated vsize (KiB) 89248
[startup+1663.47 s]
/proc/loadavg: 2.00 2.00 1.93 3/77 25837
/proc/meminfo: memFree=1594920/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=1648.05
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 3335098 0 0 0 162809 1996 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683877 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1648.05
Current children cumulated vsize (KiB) 89248
[startup+1723.5 s]
/proc/loadavg: 2.06 2.01 1.93 3/77 25837
/proc/meminfo: memFree=1594920/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=1707.53
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 3466084 0 0 0 168677 2076 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134746277 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1707.53
Current children cumulated vsize (KiB) 89248
[startup+1783.53 s]
/proc/loadavg: 2.02 2.01 1.93 3/77 25837
/proc/meminfo: memFree=1595304/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=1767.01
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 3596687 0 0 0 174548 2153 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 1 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1767.01
Current children cumulated vsize (KiB) 89248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.63 s]
/proc/loadavg: 1.96 1.99 1.93 3/75 26067
/proc/meminfo: memFree=1660344/2055920 swapFree=4192192/4192956
[pid=25635] ppid=25633 vsize=5352 CPUtime=0
/proc/25635/stat : 25635 (solve) S 25633 25635 25261 0 -1 4194304 315 174 0 0 0 0 0 0 22 0 1 0 184842732 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25635/statm: 1338 229 192 169 0 49 0
[pid=25638] ppid=25635 vsize=81296 CPUtime=1800.03
/proc/25638/stat : 25638 (xlisp) R 25635 25635 25261 0 -1 4194304 3675202 0 0 0 177807 2196 0 0 25 0 1 0 184842733 83247104 19808 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684091 0 0 4096 130 0 0 0 17 0 0 0
/proc/25638/statm: 20324 19808 243 197 0 19564 0
[pid=25639] ppid=25635 vsize=2600 CPUtime=0
/proc/25639/stat : 25639 (sed) S 25635 25635 25261 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 184842734 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 248761778258 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/25639/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 89248
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 25635 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=3999
CPU time returned by wait4() is 0.005998
while last known CPU time is 1800.03
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1816.64
CPU time (s): 1800.03
CPU user time (s): 1778.07
CPU system time (s): 21.96
CPU usage (%): 99.0858
Max. virtual memory (cumulated for all children) (KiB): 89248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0.003999
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= 19
involuntary context switches= 5
runsolver used 2.10368 s user time and 5.9501 s system time
The end
Begin job on node55 on Tue Jan 9 17:40:41 UTC 2007
IDJOB= 239134
IDBENCH= 7044
FILE ID= node55/239134-1168364441
PBS_JOBID= 3504019
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-25/qcp-25-264-6_ext.xml
COMMAND LINE= /tmp/evaluation/239134-1168364441/solve /tmp/evaluation/239134-1168364441/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node55/convwatcher-239134-1168364441 -o ROOT/results/node55/conversion-239134-1168364441 -C 600 -M 900 /tmp/evaluation/239134-1168364441/conversion /tmp/evaluation/239134-1168364441/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-239134-1168364441 -o ROOT/results/node55/solver-239134-1168364441 -C 1800 -M 900 /tmp/evaluation/239134-1168364441/solve /tmp/evaluation/239134-1168364441/unknown 1800
META MD5SUM SOLVER= 91bbaf997669a18b91ccd2f734d8d9ca
MD5SUM BENCH= 6134e63841a066b7553ca1992ea71e86
RANDOM SEED= 967277524
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.218
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 : 5931.00
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.218
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: 1679184 kB
Buffers: 32164 kB
Cached: 194212 kB
SwapCached: 268 kB
Active: 194764 kB
Inactive: 125864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1679184 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 5708 kB
Writeback: 0 kB
Mapped: 104748 kB
Slab: 41540 kB
Committed_AS: 4227432 kB
PageTables: 1888 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= 66558 MiB
End job on node55 on Tue Jan 9 18:11:01 UTC 2007