0.20 c
0.20 c Parsing xml file
0.20 c domains............... 0
0.20 c variables............. 0
0.20 c predicates............ 0
0.20 c constraints........... 0.06
0.20 c Allocating memory
0.20 c
0.20 c time limit = -1
0.20 c heuristic = dom/wdeg
0.20 c restart policy = Geometric increment
0.20 c restart base = 666
0.20 c restart factor = 1.33
0.20 c
0.20 c Solving
0.20 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-235280-1168336934 -o ROOT/results/node18/solver-235280-1168336934 -C 1800 -M 900 /tmp/evaluation/235280-1168336934/tramontane/bin/solver /tmp/evaluation/235280-1168336934/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
/proc/loadavg: 2.02 2.01 2.00 4/93 6259
/proc/meminfo: memFree=1469616/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=18540 CPUtime=0
/proc/6258/stat : 6258 (runsolver) R 6256 5081 5081 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 182088190 18984960 277 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 227848647410 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6258/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108275 s]
/proc/loadavg: 2.02 2.01 2.00 4/93 6259
/proc/meminfo: memFree=1469616/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12072 CPUtime=0.09
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2101 0 0 0 9 0 0 0 18 0 1 0 182088190 12361728 2069 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727404 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3018 2069 718 92 0 1362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12072
[startup+0.516303 s]
/proc/loadavg: 2.02 2.01 2.00 4/93 6259
/proc/meminfo: memFree=1469616/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12080 CPUtime=0.5
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2103 0 0 0 50 0 0 0 21 0 1 0 182088190 12369920 2071 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792894 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3020 2071 718 92 0 1364 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 12080
[startup+1.33838 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 6259
/proc/meminfo: memFree=1464112/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12080 CPUtime=1.31
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2103 0 0 0 131 0 0 0 25 0 1 0 182088190 12369920 2071 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134708400 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3020 2071 718 92 0 1364 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 12080
[startup+2.98154 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 6261
/proc/meminfo: memFree=1464112/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12080 CPUtime=2.94
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2103 0 0 0 294 0 0 0 25 0 1 0 182088190 12369920 2071 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727404 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3020 2071 718 92 0 1364 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 12080
[startup+6.26086 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 6263
/proc/meminfo: memFree=1463984/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12080 CPUtime=6.18
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2103 0 0 0 618 0 0 0 25 0 1 0 182088190 12369920 2071 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646900 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3020 2071 718 92 0 1364 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 12080
[startup+12.7265 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 6267
/proc/meminfo: memFree=1463984/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12080 CPUtime=12.59
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2103 0 0 0 1259 0 0 0 25 0 1 0 182088190 12369920 2071 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134799433 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3020 2071 718 92 0 1364 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 12080
[startup+25.5407 s]
/proc/loadavg: 2.01 2.01 2.00 3/87 6291
/proc/meminfo: memFree=1465120/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12084 CPUtime=25.26
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2104 0 0 0 2526 0 0 0 25 0 1 0 182088190 12374016 2072 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3021 2072 718 92 0 1365 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 12084
[startup+51.1742 s]
/proc/loadavg: 2.01 2.01 2.00 3/87 6291
/proc/meminfo: memFree=1465120/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=50.71
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 5070 1 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134790446 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 12088
[startup+102.432 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6291
/proc/meminfo: memFree=1465184/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=101.58
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 10157 1 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 12088
[startup+162.518 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6291
/proc/meminfo: memFree=1465184/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=161.21
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 16120 1 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727392 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 161.21
Current children cumulated vsize (KiB) 12088
[startup+222.526 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6291
/proc/meminfo: memFree=1465248/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=220.75
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 22073 2 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727420 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 220.75
Current children cumulated vsize (KiB) 12088
[startup+282.603 s]
/proc/loadavg: 2.04 2.01 2.00 3/87 6291
/proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=280.38
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 28036 2 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727423 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 280.38
Current children cumulated vsize (KiB) 12088
[startup+342.676 s]
/proc/loadavg: 2.01 2.01 2.00 3/87 6291
/proc/meminfo: memFree=1465248/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=340.01
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 33998 3 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646914 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (KiB) 12088
[startup+402.762 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6291
/proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=399.63
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 39960 3 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 399.63
Current children cumulated vsize (KiB) 12088
[startup+462.77 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6291
/proc/meminfo: memFree=1465248/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=459.15
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 45911 4 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 8328156 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 459.15
Current children cumulated vsize (KiB) 12088
[startup+522.849 s]
/proc/loadavg: 2.07 2.02 2.00 3/87 6291
/proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=518.77
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 51873 4 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727404 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 518.77
Current children cumulated vsize (KiB) 12088
[startup+582.924 s]
/proc/loadavg: 2.06 2.03 2.00 3/87 6291
/proc/meminfo: memFree=1465440/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=578.41
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 57836 5 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727373 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 578.41
Current children cumulated vsize (KiB) 12088
[startup+643.009 s]
/proc/loadavg: 2.02 2.02 2.00 3/87 6291
/proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=638.03
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 63798 5 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792897 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 638.03
Current children cumulated vsize (KiB) 12088
[startup+703.021 s]
/proc/loadavg: 2.01 2.01 2.00 3/87 6291
/proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12088 CPUtime=697.58
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2105 0 0 0 69752 6 0 0 25 0 1 0 182088190 12378112 2073 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 8328156 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3022 2073 718 92 0 1366 0
Current children cumulated CPU time (s) 697.58
Current children cumulated vsize (KiB) 12088
[startup+763.123 s]
/proc/loadavg: 2.00 2.01 2.00 3/87 6291
/proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=757.21
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 75715 6 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 757.21
Current children cumulated vsize (KiB) 12092
[startup+823.192 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6291
/proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=816.84
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 81677 7 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134799403 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 816.84
Current children cumulated vsize (KiB) 12092
[startup+883.266 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6291
/proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=876.46
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 87639 7 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134795105 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 876.46
Current children cumulated vsize (KiB) 12092
[startup+943.272 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6291
/proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=935.99
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 93591 8 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134712806 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 935.99
Current children cumulated vsize (KiB) 12092
[startup+1003.28 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6291
/proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=995.53
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 99544 9 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 995.53
Current children cumulated vsize (KiB) 12092
[startup+1063.36 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6293
/proc/meminfo: memFree=1465184/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1055.16
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 105507 9 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727386 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1055.16
Current children cumulated vsize (KiB) 12092
[startup+1123.43 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 6293
/proc/meminfo: memFree=1465184/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1114.79
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 111469 10 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792884 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1114.79
Current children cumulated vsize (KiB) 12092
[startup+1183.52 s]
/proc/loadavg: 2.06 2.02 2.00 3/87 6293
/proc/meminfo: memFree=1465248/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1174.42
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 117432 10 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1174.42
Current children cumulated vsize (KiB) 12092
[startup+1243.59 s]
/proc/loadavg: 2.02 2.01 2.00 3/87 6293
/proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1234.05
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 123394 11 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792887 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1234.05
Current children cumulated vsize (KiB) 12092
[startup+1303.66 s]
/proc/loadavg: 2.04 2.02 2.00 3/87 6293
/proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1293.67
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 129356 11 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134793067 0 0 4096 0 0 0 0 17 1 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1293.67
Current children cumulated vsize (KiB) 12092
[startup+1363.67 s]
/proc/loadavg: 2.22 2.06 2.01 4/94 6366
/proc/meminfo: memFree=1250480/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1353.32
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 135320 12 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727426 0 0 4096 0 0 0 0 17 0 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1353.32
Current children cumulated vsize (KiB) 12092
[startup+1423.7 s]
/proc/loadavg: 2.17 2.08 2.02 3/94 6366
/proc/meminfo: memFree=1079856/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1413.04
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 141291 13 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727392 0 0 4096 0 0 0 0 17 0 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1413.04
Current children cumulated vsize (KiB) 12092
[startup+1483.74 s]
/proc/loadavg: 2.29 2.12 2.03 3/94 6366
/proc/meminfo: memFree=986352/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1472.75
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 147262 13 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134715107 0 0 4096 0 0 0 0 17 0 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1472.75
Current children cumulated vsize (KiB) 12092
[startup+1543.78 s]
/proc/loadavg: 2.10 2.10 2.03 3/94 6366
/proc/meminfo: memFree=871344/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1532.45
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 153232 13 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727404 0 0 4096 0 0 0 0 17 0 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1532.45
Current children cumulated vsize (KiB) 12092
[startup+1603.8 s]
/proc/loadavg: 2.04 2.08 2.02 3/94 6366
/proc/meminfo: memFree=792816/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1592.16
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 159203 13 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 0 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1592.16
Current children cumulated vsize (KiB) 12092
[startup+1663.83 s]
/proc/loadavg: 2.08 2.09 2.03 4/94 6470
/proc/meminfo: memFree=1389920/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1651.9
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 165175 15 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1651.9
Current children cumulated vsize (KiB) 12092
[startup+1723.85 s]
/proc/loadavg: 2.03 2.07 2.02 3/94 6470
/proc/meminfo: memFree=1367656/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1711.85
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 171170 15 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1711.85
Current children cumulated vsize (KiB) 12092
[startup+1783.94 s]
/proc/loadavg: 2.01 2.05 2.02 4/94 6470
/proc/meminfo: memFree=1336232/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12092 CPUtime=1771.9
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2106 0 0 0 177175 15 0 0 25 0 1 0 182088190 12382208 2074 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 0 0 0
/proc/6258/statm: 3023 2074 718 92 0 1367 0
Current children cumulated CPU time (s) 1771.9
Current children cumulated vsize (KiB) 12092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.12 s]
/proc/loadavg: 2.00 2.05 2.01 3/94 6470
/proc/meminfo: memFree=1336232/2055920 swapFree=4192812/4192956
[pid=6258] ppid=6256 vsize=12120 CPUtime=1800.06
/proc/6258/stat : 6258 (solver) R 6256 6258 5081 0 -1 4194304 2113 0 0 0 179991 15 0 0 25 0 1 0 182088190 12410880 2081 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727434 0 0 4096 0 0 0 0 17 0 0 0
/proc/6258/statm: 3030 2081 718 92 0 1374 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 12120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.12
CPU time (s): 1800.08
CPU user time (s): 1799.92
CPU system time (s): 0.160975
CPU usage (%): 99.3352
Max. virtual memory (cumulated for all children) (KiB): 12120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2113
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= 10
involuntary context switches= 42062
runsolver used 1.89371 s user time and 5.19921 s system time
The end
Begin job on node18 on Tue Jan 9 10:02:15 UTC 2007
IDJOB= 235280
IDBENCH= 6755
FILE ID= node18/235280-1168336934
PBS_JOBID= 3503109
Free space on /tmp= 66539 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-95-1.xml
COMMAND LINE= /tmp/evaluation/235280-1168336934/tramontane/bin/solver /tmp/evaluation/235280-1168336934/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-235280-1168336934 -o ROOT/results/node18/solver-235280-1168336934 -C 1800 -M 900 /tmp/evaluation/235280-1168336934/tramontane/bin/solver /tmp/evaluation/235280-1168336934/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 3747bcbd4186ed212dd9be6f087c82b4
RANDOM SEED= 290297011
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.231
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.231
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: 1470032 kB
Buffers: 77672 kB
Cached: 376432 kB
SwapCached: 0 kB
Active: 228640 kB
Inactive: 294996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1470032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3124 kB
Writeback: 0 kB
Mapped: 90052 kB
Slab: 46888 kB
Committed_AS: 5563820 kB
PageTables: 2308 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= 66550 MiB
End job on node18 on Tue Jan 9 10:32:27 UTC 2007