0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0
0.01 c variables............. 0
0.01 c predicates............ 0
0.01 c constraints........... 0.09
0.10 c Allocating memory
0.10 c
0.10 c time limit = -1
0.10 c heuristic = dom/wdeg
0.10 c restart policy = Geometric increment
0.10 c restart base = 6
0.10 c restart factor = 1.33
0.10 c
0.10 c Solving
0.10 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-197981-1168126562 -o ROOT/results/node76/solver-197981-1168126562 -C 1800 -M 900 /tmp/evaluation/197981-1168126562/tramontane/bin/solver /tmp/evaluation/197981-1168126562/unknown.xml -res geom -f 3 -v 1
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: 0.83 0.91 0.98 4/70 12228
/proc/meminfo: memFree=1569704/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=6800 CPUtime=0
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 398 0 0 0 0 0 0 0 19 0 1 0 161053701 6963200 379 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4821224 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 1700 380 356 92 0 30 0
[startup+0.10677 s]
/proc/loadavg: 0.83 0.91 0.98 4/70 12228
/proc/meminfo: memFree=1569704/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=8908 CPUtime=0.09
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1293 0 0 0 9 0 0 0 19 0 1 0 161053701 9121792 1262 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 5253109 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2227 1263 713 92 0 570 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8908
[startup+0.514847 s]
/proc/loadavg: 0.83 0.91 0.98 4/70 12228
/proc/meminfo: memFree=1569704/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=0.5
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 50 0 0 0 24 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134651179 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9700
[startup+1.33701 s]
/proc/loadavg: 0.83 0.91 0.98 2/70 12228
/proc/meminfo: memFree=1566504/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1.32
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 132 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134716336 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9700
[startup+2.97333 s]
/proc/loadavg: 0.83 0.91 0.98 2/70 12228
/proc/meminfo: memFree=1566408/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=2.96
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 296 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134651335 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 9700
[startup+6.25097 s]
/proc/loadavg: 0.84 0.91 0.98 2/70 12228
/proc/meminfo: memFree=1566408/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=6.23
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 623 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134715082 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 9700
[startup+12.7032 s]
/proc/loadavg: 0.85 0.91 0.98 2/70 12228
/proc/meminfo: memFree=1566472/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=12.68
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 1268 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 5285553 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9700
[startup+25.6038 s]
/proc/loadavg: 0.87 0.91 0.98 2/70 12228
/proc/meminfo: memFree=1566536/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=25.58
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 2558 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792904 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 9700
[startup+51.2088 s]
/proc/loadavg: 0.92 0.92 0.98 2/70 12228
/proc/meminfo: memFree=1566664/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=51.17
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 5117 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708415 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 9700
[startup+102.415 s]
/proc/loadavg: 0.96 0.93 0.98 2/70 12228
/proc/meminfo: memFree=1566664/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=102.36
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 10236 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792904 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 9700
[startup+162.426 s]
/proc/loadavg: 0.98 0.94 0.98 2/70 12228
/proc/meminfo: memFree=1566672/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=162.35
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 16235 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785587 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 162.35
Current children cumulated vsize (KiB) 9700
[startup+222.435 s]
/proc/loadavg: 0.99 0.95 0.98 2/70 12228
/proc/meminfo: memFree=1566672/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=222.33
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 22233 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790178 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 9700
[startup+282.443 s]
/proc/loadavg: 0.99 0.95 0.98 2/70 12228
/proc/meminfo: memFree=1566608/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=282.32
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 28232 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790420 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 9700
[startup+342.452 s]
/proc/loadavg: 0.99 0.96 0.98 2/70 12228
/proc/meminfo: memFree=1566544/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=342.31
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 34231 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708400 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 9700
[startup+402.465 s]
/proc/loadavg: 0.99 0.96 0.98 2/70 12228
/proc/meminfo: memFree=1566544/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=402.3
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 40230 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134715101 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 9700
[startup+462.473 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566544/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=462.28
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 46228 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785064 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 9700
[startup+522.483 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566544/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=522.27
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 52227 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 9700
[startup+582.499 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566544/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=582.26
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 58226 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134795105 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 9700
[startup+642.51 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566480/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=642.25
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 64225 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134715056 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 9700
[startup+702.521 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566480/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=702.24
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 70224 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708415 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 9700
[startup+762.529 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566480/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=762.23
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 76223 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134651188 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 762.23
Current children cumulated vsize (KiB) 9700
[startup+822.54 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566480/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=822.22
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 82222 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134795099 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 822.22
Current children cumulated vsize (KiB) 9700
[startup+882.551 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566416/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=882.2
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 88220 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134651196 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 882.2
Current children cumulated vsize (KiB) 9700
[startup+942.561 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566416/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=942.19
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 94219 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134651188 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 942.19
Current children cumulated vsize (KiB) 9700
[startup+1002.57 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566352/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1002.18
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 100218 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134651179 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1002.18
Current children cumulated vsize (KiB) 9700
[startup+1062.58 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566352/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1062.17
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 106217 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134715274 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1062.17
Current children cumulated vsize (KiB) 9700
[startup+1122.59 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566352/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1122.15
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 112215 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792897 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1122.15
Current children cumulated vsize (KiB) 9700
[startup+1182.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566352/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1182.14
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 118214 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708400 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1182.14
Current children cumulated vsize (KiB) 9700
[startup+1242.61 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566288/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1242.13
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 124213 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792894 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1242.13
Current children cumulated vsize (KiB) 9700
[startup+1302.62 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566288/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1302.12
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 130212 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792883 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1302.12
Current children cumulated vsize (KiB) 9700
[startup+1362.63 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566224/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1362.1
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 136210 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134795105 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1362.1
Current children cumulated vsize (KiB) 9700
[startup+1422.64 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566224/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1422.09
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 142209 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722272 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1422.09
Current children cumulated vsize (KiB) 9700
[startup+1482.65 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12228
/proc/meminfo: memFree=1566224/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1482.08
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 148208 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 9700
[startup+1542.68 s]
/proc/loadavg: 0.99 0.97 0.98 2/76 12370
/proc/meminfo: memFree=1564832/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1542.03
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 154203 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785000 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 9700
[startup+1602.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12426
/proc/meminfo: memFree=1565840/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1602.02
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 160202 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708400 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 9700
[startup+1662.72 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12426
/proc/meminfo: memFree=1565904/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1662.01
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 166201 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790181 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 9700
[startup+1722.74 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12426
/proc/meminfo: memFree=1565968/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1722
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 172200 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134793190 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 9700
[startup+1782.75 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12426
/proc/meminfo: memFree=1565968/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1781.98
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 178198 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134643002 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 9700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.77 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 12426
/proc/meminfo: memFree=1565968/2055888 swapFree=4095388/4096564
[pid=12227] ppid=12225 vsize=9700 CPUtime=1800
/proc/12227/stat : 12227 (solver) R 12225 12227 11588 0 -1 4194304 1527 0 0 0 180000 0 0 0 25 0 1 0 161053701 9932800 1496 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134715276 0 0 4096 0 0 0 0 17 1 0 0
/proc/12227/statm: 2425 1496 718 92 0 768 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.78
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.008998
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 9700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1527
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= 11
involuntary context switches= 4872
runsolver used 1.50777 s user time and 3.38149 s system time
The end
Begin job on node76 on Sat Jan 6 23:36:04 UTC 2007
IDJOB= 197981
IDBENCH= 3526
FILE ID= node76/197981-1168126562
PBS_JOBID= 3477678
Free space on /tmp= 66640 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-67-11-a4.xml
COMMAND LINE= /tmp/evaluation/197981-1168126562/tramontane/bin/solver /tmp/evaluation/197981-1168126562/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-197981-1168126562 -o ROOT/results/node76/solver-197981-1168126562 -C 1800 -M 900 /tmp/evaluation/197981-1168126562/tramontane/bin/solver /tmp/evaluation/197981-1168126562/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= c6e220e6af1aeef3c7ef15ce910420b7
RANDOM SEED= 328284693
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1570120 kB
Buffers: 39792 kB
Cached: 379584 kB
SwapCached: 456 kB
Active: 224676 kB
Inactive: 211872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1570120 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 3224 kB
Writeback: 0 kB
Mapped: 24252 kB
Slab: 35588 kB
Committed_AS: 5952876 kB
PageTables: 1424 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66640 MiB
End job on node76 on Sun Jan 7 00:06:07 UTC 2007