runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094562-1215251882/watcher-1094562-1215251882 -o /tmp/evaluation-result-1094562-1215251882/solver-1094562-1215251882 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1094562-1215251882.xml -heu dyn -sac 3 -ds 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.49 2.30 2.11 4/94 16792
/proc/meminfo: memFree=1035600/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=5176 CPUtime=0
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 259662614 5300224 419 996147200 134512640 135239763 4294956192 18446744073709551615 7016061 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 1294 419 355 177 0 197 0
[startup+0.086617 s]
/proc/loadavg: 2.49 2.30 2.11 4/94 16792
/proc/meminfo: memFree=1035600/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=6628 CPUtime=0.08
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 839 0 0 0 8 0 0 0 18 0 1 0 259662614 6787072 805 996147200 134512640 135239763 4294956192 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 1657 805 355 177 0 560 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6628
[startup+0.101618 s]
/proc/loadavg: 2.49 2.30 2.11 4/94 16792
/proc/meminfo: memFree=1035600/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=6892 CPUtime=0.09
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 909 0 0 0 9 0 0 0 18 0 1 0 259662614 7057408 875 996147200 134512640 135239763 4294956192 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 1723 875 355 177 0 626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6892
[startup+0.30164 s]
/proc/loadavg: 2.49 2.30 2.11 4/94 16792
/proc/meminfo: memFree=1035600/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=10588 CPUtime=0.29
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 1873 0 0 0 29 0 0 0 19 0 1 0 259662614 10842112 1839 996147200 134512640 135239763 4294956192 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 2647 1840 355 177 0 1550 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10588
[startup+0.701679 s]
/proc/loadavg: 2.49 2.30 2.11 4/94 16792
/proc/meminfo: memFree=1035600/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=18304 CPUtime=0.69
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 3781 0 0 0 67 2 0 0 23 0 1 0 259662614 18743296 3747 996147200 134512640 135239763 4294956192 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 4576 3747 355 177 0 3479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18304
[startup+1.50177 s]
/proc/loadavg: 2.49 2.30 2.11 3/95 16793
/proc/meminfo: memFree=1016904/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=33544 CPUtime=1.48
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 7661 0 0 0 144 4 0 0 25 0 1 0 259662614 34349056 7627 996147200 134512640 135239763 4294956192 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 8386 7627 355 177 0 7289 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33544
[startup+3.10194 s]
/proc/loadavg: 2.49 2.30 2.11 3/95 16793
/proc/meminfo: memFree=994568/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=64216 CPUtime=3.07
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 15334 0 0 0 298 9 0 0 25 0 1 0 259662614 65757184 15300 996147200 134512640 135239763 4294956192 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 16054 15300 355 177 0 14957 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 64216
[startup+6.30128 s]
/proc/loadavg: 2.53 2.31 2.11 3/95 16793
/proc/meminfo: memFree=931336/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=126544 CPUtime=6.27
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 30810 0 0 0 607 20 0 0 25 0 1 0 259662614 129581056 30776 996147200 134512640 135239763 4294956192 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 31636 30776 355 177 0 30539 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 126544
[startup+12.703 s]
/proc/loadavg: 2.49 2.30 2.11 3/95 16793
/proc/meminfo: memFree=728712/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=12.66
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91276 0 0 0 1223 43 0 0 25 0 1 0 259662614 361869312 77255 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 88347 77255 392 177 0 87250 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 353388
[startup+25.5013 s]
/proc/loadavg: 2.38 2.29 2.11 3/95 16793
/proc/meminfo: memFree=728776/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=25.46
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 2502 44 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 353388
[startup+51.101 s]
/proc/loadavg: 2.25 2.26 2.10 3/95 16793
/proc/meminfo: memFree=727688/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=51.05
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 5061 44 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 353388
[startup+102.308 s]
/proc/loadavg: 2.11 2.22 2.09 3/95 16793
/proc/meminfo: memFree=728776/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=102.24
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 10180 44 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 353388
[startup+162.302 s]
/proc/loadavg: 2.68 2.33 2.13 4/85 16831
/proc/meminfo: memFree=656352/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=160.45
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 15997 48 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 160.45
Current children cumulated vsize (KiB) 353388
[startup+222.301 s]
/proc/loadavg: 2.28 2.29 2.13 3/85 16837
/proc/meminfo: memFree=622432/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=219.83
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 21935 48 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 219.83
Current children cumulated vsize (KiB) 353388
[startup+282.302 s]
/proc/loadavg: 2.37 2.29 2.14 3/84 16876
/proc/meminfo: memFree=767392/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=279.41
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 27890 51 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789128 0 0 4096 0 0 0 0 17 0 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 279.41
Current children cumulated vsize (KiB) 353388
[startup+342.301 s]
/proc/loadavg: 2.30 2.30 2.15 3/74 16916
/proc/meminfo: memFree=1009592/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=338.97
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 33845 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789318 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 338.97
Current children cumulated vsize (KiB) 353388
[startup+402.301 s]
/proc/loadavg: 2.11 2.24 2.14 3/74 16916
/proc/meminfo: memFree=1009464/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=398.47
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 39795 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 353388
[startup+462.302 s]
/proc/loadavg: 2.04 2.19 2.12 3/74 16916
/proc/meminfo: memFree=1009464/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=458.02
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 45750 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 135015456 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 458.02
Current children cumulated vsize (KiB) 353388
[startup+522.301 s]
/proc/loadavg: 2.01 2.16 2.11 3/74 16916
/proc/meminfo: memFree=1009464/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=517.57
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 51705 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 517.57
Current children cumulated vsize (KiB) 353388
[startup+582.302 s]
/proc/loadavg: 2.00 2.12 2.10 3/74 16916
/proc/meminfo: memFree=1009464/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=577.11
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 57659 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789141 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 577.11
Current children cumulated vsize (KiB) 353388
[startup+642.301 s]
/proc/loadavg: 2.00 2.10 2.09 3/74 16916
/proc/meminfo: memFree=1009472/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=636.66
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 63614 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 636.66
Current children cumulated vsize (KiB) 353388
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.04 2.07 3/74 16916
/proc/meminfo: memFree=1009344/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=874.85
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 87433 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 874.85
Current children cumulated vsize (KiB) 353388
[startup+942.302 s]
/proc/loadavg: 2.00 2.03 2.06 3/74 16916
/proc/meminfo: memFree=1009344/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=934.4
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 93388 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 934.4
Current children cumulated vsize (KiB) 353388
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/74 16916
/proc/meminfo: memFree=1009216/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=993.95
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 99343 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 993.95
Current children cumulated vsize (KiB) 353388
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/74 16916
/proc/meminfo: memFree=1009152/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1053.5
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 105298 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1053.5
Current children cumulated vsize (KiB) 353388
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/74 16916
/proc/meminfo: memFree=1009152/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1113.04
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 111252 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 135015470 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1113.04
Current children cumulated vsize (KiB) 353388
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/74 16916
/proc/meminfo: memFree=1009152/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1172.59
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 117207 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 135015470 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1172.59
Current children cumulated vsize (KiB) 353388
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/74 16916
/proc/meminfo: memFree=1009024/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1232.14
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 123162 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789093 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1232.14
Current children cumulated vsize (KiB) 353388
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/74 16916
/proc/meminfo: memFree=1008960/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1291.69
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 129117 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1291.69
Current children cumulated vsize (KiB) 353388
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/74 16916
/proc/meminfo: memFree=1008960/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1351.23
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 135071 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1351.23
Current children cumulated vsize (KiB) 353388
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 16916
/proc/meminfo: memFree=1008960/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1410.79
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 141027 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1410.79
Current children cumulated vsize (KiB) 353388
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 16916
/proc/meminfo: memFree=1008832/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1470.33
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 146981 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 135015491 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1470.33
Current children cumulated vsize (KiB) 353388
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16916
/proc/meminfo: memFree=1008640/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1529.88
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 152936 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1529.88
Current children cumulated vsize (KiB) 353388
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16916
/proc/meminfo: memFree=1008576/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1589.43
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 158891 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 135015486 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1589.43
Current children cumulated vsize (KiB) 353388
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16916
/proc/meminfo: memFree=1008576/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1648.98
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 164846 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789216 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1648.98
Current children cumulated vsize (KiB) 353388
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16916
/proc/meminfo: memFree=1008640/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1708.52
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 170800 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1708.52
Current children cumulated vsize (KiB) 353388
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16916
/proc/meminfo: memFree=1008576/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1768.07
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 176755 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 135015491 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1768.07
Current children cumulated vsize (KiB) 353388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16916
/proc/meminfo: memFree=1008576/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1800.03
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 179951 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 353388
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1814.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16916
/proc/meminfo: memFree=1008576/2055920 swapFree=4180672/4192956
[pid=16792] ppid=16790 vsize=353388 CPUtime=1800.03
/proc/16792/stat : 16792 (xsolve) R 16790 16792 14265 0 -1 4194304 91277 0 0 0 179951 52 0 0 25 0 1 0 259662614 361869312 77256 996147200 134512640 135239763 4294956192 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/16792/statm: 88347 77256 393 177 0 87250 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 353388
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1814.56
CPU time (s): 1800.09
CPU user time (s): 1799.51
CPU system time (s): 0.575912
CPU usage (%): 99.2026
Max. virtual memory (cumulated for all children) (KiB): 353388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.575912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91277
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= 8
involuntary context switches= 39421
runsolver used 1.77573 second user time and 4.97124 second system time
The end
Begin job on node82 at 2008-07-05 11:58:08
IDJOB=1094562
IDBENCH=58809
IDSOLVER=357
FILE ID=node82/1094562-1215251882
PBS_JOBID= 7881956
Free space on /tmp= 66332 MiB
SOLVER NAME= Mistral-option 1.314
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-13.xml
COMMAND LINE= HOME/xsolve BENCHNAME -heu dyn -sac 3 -ds 2
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094562-1215251882/watcher-1094562-1215251882 -o /tmp/evaluation-result-1094562-1215251882/solver-1094562-1215251882 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1094562-1215251882.xml -heu dyn -sac 3 -ds 2
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 1fb39a4daa7cf56fee64a58115f27025
RANDOM SEED=1665045866
node82.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1036080 kB
Buffers: 17656 kB
Cached: 358680 kB
SwapCached: 5892 kB
Active: 897800 kB
Inactive: 70320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1036080 kB
SwapTotal: 4192956 kB
SwapFree: 4180672 kB
Dirty: 71444 kB
Writeback: 0 kB
Mapped: 607952 kB
Slab: 35372 kB
Committed_AS: 1304872 kB
PageTables: 3220 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66356 MiB
End job on node82 at 2008-07-05 12:28:24