runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-282830-1169323154 -o ROOT/results/node59/solver-282830-1169323154 -C 2400 -M 900 /tmp/evaluation/282830-1169323154/solver.sh /tmp/evaluation/282830-1169323154/unknown
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 0.92 0.99 1.21 5/69 25636
/proc/meminfo: memFree=1393968/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=8616 CPUtime=0
/proc/25635/stat : 25635 (solver.sh) R 25632 25635 25487 0 -1 4194304 329 0 0 0 0 0 0 0 16 0 1 0 280713325 8822784 273 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051228659 0 2 4096 73728 0 0 0 17 1 0 0
/proc/25635/statm: 2163 279 207 79 0 156 0
[startup+0.10367 s]
/proc/loadavg: 0.92 0.99 1.21 5/69 25636
/proc/meminfo: memFree=1393968/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+0.51171 s]
/proc/loadavg: 0.92 0.99 1.21 5/69 25636
/proc/meminfo: memFree=1393968/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+1.3328 s]
/proc/loadavg: 0.92 0.99 1.21 3/77 25674
/proc/meminfo: memFree=1391328/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=1336 CPUtime=0
/proc/25668/stat : 25668 (toolbarBtd) S 25635 25635 25487 0 -1 0 137 0 0 0 0 0 0 0 22 0 1 0 280713329 1368064 111 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134820461 0 65536 4102 0 18446744071563356171 0 0 17 0 0 0
/proc/25668/statm: 334 111 59 160 0 170 0
[pid=25670] ppid=25668 vsize=1112 CPUtime=1.27
/proc/25670/stat : 25670 (narycsp) R 25668 25635 25487 0 -1 4194304 428 0 0 0 127 0 0 0 25 0 1 0 280713330 1138688 152 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134540890 0 0 4096 512 0 0 0 17 0 0 0
/proc/25670/statm: 278 152 112 211 0 47 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 50000
[startup+2.97598 s]
/proc/loadavg: 0.92 0.99 1.21 3/77 25674
/proc/meminfo: memFree=1391328/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=1336 CPUtime=0
/proc/25668/stat : 25668 (toolbarBtd) S 25635 25635 25487 0 -1 0 137 0 0 0 0 0 0 0 22 0 1 0 280713329 1368064 111 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134820461 0 65536 4102 0 18446744071563356171 0 0 17 0 0 0
/proc/25668/statm: 334 111 59 160 0 170 0
[pid=25670] ppid=25668 vsize=1112 CPUtime=2.91
/proc/25670/stat : 25670 (narycsp) R 25668 25635 25487 0 -1 4194304 428 0 0 0 291 0 0 0 25 0 1 0 280713330 1138688 152 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134528240 0 0 4096 512 0 0 0 17 0 0 0
/proc/25670/statm: 278 152 112 211 0 47 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 50000
[startup+6.26134 s]
/proc/loadavg: 1.01 1.00 1.21 3/75 25676
/proc/meminfo: memFree=1340792/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=6.17
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 288 5 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134589880 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 102916
[startup+12.7271 s]
/proc/loadavg: 1.09 1.02 1.21 3/75 25676
/proc/meminfo: memFree=1340872/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=12.61
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 932 5 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134591388 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 102916
[startup+25.5365 s]
/proc/loadavg: 1.29 1.07 1.23 3/75 25676
/proc/meminfo: memFree=1341064/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=25.37
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 2208 5 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134591153 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 102916
[startup+51.1743 s]
/proc/loadavg: 1.53 1.14 1.25 3/75 25676
/proc/meminfo: memFree=1341128/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=50.9
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 4761 5 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134563231 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 102916
[startup+102.445 s]
/proc/loadavg: 1.87 1.29 1.29 3/75 25676
/proc/meminfo: memFree=1341192/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=101.99
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 9869 6 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134687268 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 102916
[startup+162.456 s]
/proc/loadavg: 1.95 1.41 1.33 3/81 25844
/proc/meminfo: memFree=1339840/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=161.57
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 15827 6 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134563173 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 161.58
Current children cumulated vsize (KiB) 102916
[startup+222.457 s]
/proc/loadavg: 1.98 1.52 1.37 3/75 25874
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=221.28
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 21798 6 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134591111 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 221.29
Current children cumulated vsize (KiB) 102916
[startup+282.548 s]
/proc/loadavg: 1.99 1.60 1.40 3/75 25874
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=281.14
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 27784 6 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134580592 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 102916
[startup+342.637 s]
/proc/loadavg: 2.03 1.69 1.45 3/75 25874
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=341
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 33770 6 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134560798 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 341.01
Current children cumulated vsize (KiB) 102916
[startup+402.725 s]
/proc/loadavg: 2.01 1.75 1.48 3/75 25874
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=400.87
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 39757 6 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134559721 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 400.88
Current children cumulated vsize (KiB) 102916
[startup+462.819 s]
/proc/loadavg: 2.00 1.79 1.51 3/75 25874
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=55364 CPUtime=460.72
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12690 822 0 0 45742 6 324 0 25 0 1 0 280713329 56692736 12637 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574758 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 13841 12637 81 160 0 13677 0
Current children cumulated CPU time (s) 460.73
Current children cumulated vsize (KiB) 102916
[startup+522.907 s]
/proc/loadavg: 2.00 1.82 1.54 3/75 25874
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.84 3/75 25876
/proc/meminfo: memFree=1341000/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=1717.85
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 171455 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134578920 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 1717.86
Current children cumulated vsize (KiB) 107016
[startup+1784.84 s]
/proc/loadavg: 2.00 2.00 1.85 3/75 25876
/proc/meminfo: memFree=1341000/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=1777.71
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 177441 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134562284 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 1777.72
Current children cumulated vsize (KiB) 107016
[startup+1844.93 s]
/proc/loadavg: 2.00 2.00 1.86 3/75 25876
/proc/meminfo: memFree=1341000/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=1837.56
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 183426 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134563167 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 1837.57
Current children cumulated vsize (KiB) 107016
[startup+1905.02 s]
/proc/loadavg: 2.04 2.01 1.87 3/75 25876
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=1897.43
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 189413 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134514372 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 1897.44
Current children cumulated vsize (KiB) 107016
[startup+1965.12 s]
/proc/loadavg: 2.01 2.01 1.87 3/75 25876
/proc/meminfo: memFree=1341000/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=1957.29
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 195399 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134563231 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 1957.3
Current children cumulated vsize (KiB) 107016
[startup+2025.21 s]
/proc/loadavg: 2.00 2.00 1.88 3/75 25876
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=2017.15
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 201385 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134578913 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 2017.16
Current children cumulated vsize (KiB) 107016
[startup+2085.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/75 25876
/proc/meminfo: memFree=1341000/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=2077.01
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 207371 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134563231 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 2077.02
Current children cumulated vsize (KiB) 107016
[startup+2145.39 s]
/proc/loadavg: 2.00 2.00 1.89 3/75 25876
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=2136.88
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 213358 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134563167 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 2136.89
Current children cumulated vsize (KiB) 107016
[startup+2205.48 s]
/proc/loadavg: 2.00 2.00 1.90 3/75 25876
/proc/meminfo: memFree=1341000/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=2196.74
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 219344 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134563385 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 2196.75
Current children cumulated vsize (KiB) 107016
[startup+2265.57 s]
/proc/loadavg: 2.00 2.00 1.90 3/75 25876
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=2256.61
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 225331 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134591361 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 2256.62
Current children cumulated vsize (KiB) 107016
[startup+2325.67 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 25876
/proc/meminfo: memFree=1341000/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=2316.47
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 231317 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134589878 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 2316.48
Current children cumulated vsize (KiB) 107016
[startup+2385.76 s]
/proc/loadavg: 2.08 2.02 1.91 3/75 25876
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=2376.34
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 237304 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134594229 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 2376.35
Current children cumulated vsize (KiB) 107016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2409.55 s]
/proc/loadavg: 2.05 2.01 1.91 3/75 25876
/proc/meminfo: memFree=1340936/2055920 swapFree=4192680/4192956
[pid=25635] ppid=25632 vsize=47552 CPUtime=0.01
/proc/25635/stat : 25635 (solver.sh) S 25632 25635 25487 0 -1 4194304 846 2113 0 0 0 0 0 1 22 0 1 0 280713325 48693248 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25635/statm: 11888 361 246 79 0 217 0
[pid=25668] ppid=25635 vsize=59464 CPUtime=2400.04
/proc/25668/stat : 25668 (toolbarBtd) R 25635 25635 25487 0 -1 0 12691 822 0 0 239674 6 324 0 25 0 1 0 280713329 60891136 12638 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134573748 0 0 4096 2 0 0 0 17 1 0 0
/proc/25668/statm: 14866 12638 81 160 0 14702 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 107016
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=4999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=23996
CPU time returned by wait4() is 0.028995
while last known CPU time is 2400.05
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2409.56
CPU time (s): 2400.05
CPU user time (s): 2399.98
CPU system time (s): 0.07
CPU usage (%): 99.6052
Max. virtual memory (cumulated for all children) (KiB): 107016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.004999
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2959
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= 44
involuntary context switches= 20
runsolver used 2.42863 s user time and 6.16406 s system time
The end
Begin job on node59 on Sat Jan 20 19:59:14 UTC 2007
IDJOB= 282830
IDBENCH= 12896
IDSOLVER= 72
FILE ID= node59/282830-1169323154
PBS_JOBID= 3610443
Free space on /tmp= 66559 MiB
SOLVER NAME= Toolbar_BTD 2007-01-12
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/spot5/spot5-404_ext.xml
COMMAND LINE= /tmp/evaluation/282830-1169323154/solver.sh /tmp/evaluation/282830-1169323154/unknown
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-282830-1169323154 -o ROOT/results/node59/conversion-282830-1169323154 -C 600 -M 900 /tmp/evaluation/282830-1169323154/translate /tmp/evaluation/282830-1169323154/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-282830-1169323154 -o ROOT/results/node59/solver-282830-1169323154 -C 2400 -M 900 /tmp/evaluation/282830-1169323154/solver.sh /tmp/evaluation/282830-1169323154/unknown
META MD5SUM SOLVER= f75ee5e830002fa98429bd59d9dcbc78
MD5SUM BENCH= 0d5de45d929292e4d96958ae6536703d
RANDOM SEED= 595102805
TIME LIMIT= 2400 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.239
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.239
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: 1394584 kB
Buffers: 50428 kB
Cached: 514924 kB
SwapCached: 0 kB
Active: 133840 kB
Inactive: 451532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1394584 kB
SwapTotal: 4192956 kB
SwapFree: 4192680 kB
Dirty: 5964 kB
Writeback: 0 kB
Mapped: 30224 kB
Slab: 61600 kB
Committed_AS: 5661468 kB
PageTables: 1696 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= 66559 MiB
End job on node59 on Sat Jan 20 20:39:24 UTC 2007