0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0.02
0.03 c variables............. 0
0.04 c predicates............ 0
0.04 c constraints........... 0.29
0.34 c Allocating memory
0.34 c
0.34 c time limit = -1
0.34 c heuristic = dom/wdeg
0.34 c restart policy = Geometric increment
0.34 c restart base = 266
0.34 c restart factor = 1.33
0.34 c
0.34 c Solving
0.34 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-232594-1168323406 -o ROOT/results/node59/solver-232594-1168323406 -C 1800 -M 900 /tmp/evaluation/232594-1168323406/tramontane/bin/solver /tmp/evaluation/232594-1168323406/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: 2.06 2.04 1.88 2/74 18526
/proc/meminfo: memFree=1450416/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=540 CPUtime=0
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 41 0 0 0 0 0 0 0 25 0 1 0 180738620 552960 26 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 9286436 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 135 26 21 92 0 18 0
[startup+0.102624 s]
/proc/loadavg: 2.06 2.04 1.88 2/74 18526
/proc/meminfo: memFree=1450416/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=9992 CPUtime=0.08
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 1578 0 0 0 8 0 0 0 25 0 1 0 180738620 10231808 1546 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4158332402 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 2498 1546 707 92 0 842 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9992
[startup+0.510669 s]
/proc/loadavg: 2.06 2.04 1.88 2/74 18526
/proc/meminfo: memFree=1450416/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=43980 CPUtime=0.49
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10091 0 0 0 45 4 0 0 25 0 1 0 180738620 45035520 10059 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134715248 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 10995 10059 720 92 0 9339 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 43980
[startup+1.33176 s]
/proc/loadavg: 2.06 2.04 1.88 3/74 18526
/proc/meminfo: memFree=1412912/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=43984 CPUtime=1.31
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10092 0 0 0 127 4 0 0 25 0 1 0 180738620 45039616 10060 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 10996 10060 720 92 0 9340 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 43984
[startup+2.96894 s]
/proc/loadavg: 2.06 2.04 1.88 3/74 18526
/proc/meminfo: memFree=1412912/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=43984 CPUtime=2.93
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10092 0 0 0 289 4 0 0 25 0 1 0 180738620 45039616 10060 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646763 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 10996 10060 720 92 0 9340 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 43984
[startup+6.2553 s]
/proc/loadavg: 2.06 2.04 1.88 3/74 18526
/proc/meminfo: memFree=1412784/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=43988 CPUtime=6.19
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10093 0 0 0 615 4 0 0 25 0 1 0 180738620 45043712 10061 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134715281 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 10997 10061 720 92 0 9341 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 43988
[startup+12.724 s]
/proc/loadavg: 2.05 2.04 1.88 3/74 18526
/proc/meminfo: memFree=1412792/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=43988 CPUtime=12.61
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10093 0 0 0 1257 4 0 0 25 0 1 0 180738620 45043712 10061 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 10997 10061 720 92 0 9341 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 43988
[startup+25.5446 s]
/proc/loadavg: 2.04 2.04 1.89 3/74 18526
/proc/meminfo: memFree=1412856/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=43988 CPUtime=25.33
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10093 0 0 0 2529 4 0 0 25 0 1 0 180738620 45043712 10061 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792872 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 10997 10061 720 92 0 9341 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 43988
[startup+51.2045 s]
/proc/loadavg: 2.03 2.03 1.89 3/74 18526
/proc/meminfo: memFree=1412920/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=43988 CPUtime=50.77
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10093 0 0 0 5073 4 0 0 25 0 1 0 180738620 45043712 10061 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134795099 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 10997 10061 720 92 0 9341 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 43988
[startup+102.481 s]
/proc/loadavg: 2.08 2.04 1.90 3/74 18526
/proc/meminfo: memFree=1412920/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44000 CPUtime=101.66
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10096 0 0 0 10162 4 0 0 25 0 1 0 180738620 45056000 10064 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134642986 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11000 10064 720 92 0 9344 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 44000
[startup+162.581 s]
/proc/loadavg: 2.03 2.03 1.90 3/74 18528
/proc/meminfo: memFree=1412728/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44000 CPUtime=161.32
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10096 0 0 0 16128 4 0 0 25 0 1 0 180738620 45056000 10064 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792879 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11000 10064 720 92 0 9344 0
Current children cumulated CPU time (s) 161.32
Current children cumulated vsize (KiB) 44000
[startup+222.676 s]
/proc/loadavg: 2.01 2.02 1.91 3/74 18528
/proc/meminfo: memFree=1412792/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44000 CPUtime=220.95
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10096 0 0 0 22091 4 0 0 25 0 1 0 180738620 45056000 10064 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11000 10064 720 92 0 9344 0
Current children cumulated CPU time (s) 220.95
Current children cumulated vsize (KiB) 44000
[startup+282.689 s]
/proc/loadavg: 2.00 2.02 1.91 3/74 18528
/proc/meminfo: memFree=1412792/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44000 CPUtime=280.5
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10096 0 0 0 28045 5 0 0 25 0 1 0 180738620 45056000 10064 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134647095 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11000 10064 720 92 0 9344 0
Current children cumulated CPU time (s) 280.5
Current children cumulated vsize (KiB) 44000
[startup+342.783 s]
/proc/loadavg: 2.00 2.01 1.91 3/74 18528
/proc/meminfo: memFree=1412856/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=340.15
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 34010 5 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792887 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 340.15
Current children cumulated vsize (KiB) 44020
[startup+402.884 s]
/proc/loadavg: 2.00 2.01 1.91 3/74 18528
/proc/meminfo: memFree=1412856/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=399.79
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 39974 5 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 9753564 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 399.79
Current children cumulated vsize (KiB) 44020
[startup+462.891 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 18528
/proc/meminfo: memFree=1412920/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=459.32
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 45927 5 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790178 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 459.32
Current children cumulated vsize (KiB) 44020
[startup+522.987 s]
/proc/loadavg: 2.08 2.02 1.91 3/74 18528
/proc/meminfo: memFree=1412856/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=518.97
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 51892 5 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785595 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 518.97
Current children cumulated vsize (KiB) 44020
[startup+583.088 s]
/proc/loadavg: 2.03 2.01 1.91 3/74 18528
/proc/meminfo: memFree=1412856/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=578.61
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 57856 5 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792899 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 578.61
Current children cumulated vsize (KiB) 44020
[startup+643.097 s]
/proc/loadavg: 2.01 2.00 1.91 3/74 18528
/proc/meminfo: memFree=1412856/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=638.16
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 63811 5 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785589 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 638.16
Current children cumulated vsize (KiB) 44020
[startup+703.196 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 18528
/proc/meminfo: memFree=1412856/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=697.82
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 69776 6 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 697.82
Current children cumulated vsize (KiB) 44020
[startup+763.289 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 18528
/proc/meminfo: memFree=1412856/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=757.46
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 75740 6 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785579 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 757.46
Current children cumulated vsize (KiB) 44020
[startup+823.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 18528
/proc/meminfo: memFree=1412792/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=817
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 81694 6 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134799448 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 817
Current children cumulated vsize (KiB) 44020
[startup+883.404 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 18528
/proc/meminfo: memFree=1412792/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=876.65
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 87659 6 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790181 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 876.65
Current children cumulated vsize (KiB) 44020
[startup+943.404 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 18528
/proc/meminfo: memFree=1412792/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=936.22
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 93616 6 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792879 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 936.22
Current children cumulated vsize (KiB) 44020
[startup+1003.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 18528
/proc/meminfo: memFree=1412792/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=996.08
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 99602 6 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134793508 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 996.08
Current children cumulated vsize (KiB) 44020
[startup+1063.59 s]
/proc/loadavg: 2.03 2.01 1.92 3/74 18528
/proc/meminfo: memFree=1412792/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1055.95
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 105588 7 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1055.95
Current children cumulated vsize (KiB) 44020
[startup+1123.69 s]
/proc/loadavg: 2.01 2.01 1.92 3/74 18528
/proc/meminfo: memFree=1412728/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1115.82
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 111575 7 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1115.82
Current children cumulated vsize (KiB) 44020
[startup+1183.78 s]
/proc/loadavg: 2.00 2.00 1.92 3/74 18528
/proc/meminfo: memFree=1412728/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1175.68
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 117561 7 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134793070 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1175.68
Current children cumulated vsize (KiB) 44020
[startup+1243.88 s]
/proc/loadavg: 2.00 2.00 1.92 3/74 18528
/proc/meminfo: memFree=1412728/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1235.54
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 123547 7 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1235.54
Current children cumulated vsize (KiB) 44020
[startup+1303.98 s]
/proc/loadavg: 2.00 2.00 1.92 3/74 18528
/proc/meminfo: memFree=1412664/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1295.4
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 129533 7 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1295.4
Current children cumulated vsize (KiB) 44020
[startup+1364.08 s]
/proc/loadavg: 2.00 2.00 1.92 3/74 18528
/proc/meminfo: memFree=1412664/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1355.26
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 135519 7 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646837 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1355.26
Current children cumulated vsize (KiB) 44020
[startup+1424.18 s]
/proc/loadavg: 2.00 2.00 1.92 3/74 18528
/proc/meminfo: memFree=1412664/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1415.12
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 141505 7 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134793104 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1415.12
Current children cumulated vsize (KiB) 44020
[startup+1484.27 s]
/proc/loadavg: 2.00 2.00 1.92 3/74 18528
/proc/meminfo: memFree=1412664/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1474.98
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 147491 7 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1474.98
Current children cumulated vsize (KiB) 44020
[startup+1544.37 s]
/proc/loadavg: 2.00 2.00 1.92 3/74 18528
/proc/meminfo: memFree=1412600/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1534.85
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 153477 8 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792231 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1534.85
Current children cumulated vsize (KiB) 44020
[startup+1604.47 s]
/proc/loadavg: 2.03 2.01 1.93 3/74 18528
/proc/meminfo: memFree=1412600/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1594.71
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 159463 8 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785604 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1594.71
Current children cumulated vsize (KiB) 44020
[startup+1664.56 s]
/proc/loadavg: 2.01 2.01 1.93 3/74 18528
/proc/meminfo: memFree=1412600/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1654.58
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 165450 8 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134647132 0 0 4096 0 0 0 0 17 1 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1654.58
Current children cumulated vsize (KiB) 44020
[startup+1724.65 s]
/proc/loadavg: 1.96 1.99 1.92 3/74 18818
/proc/meminfo: memFree=1507968/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1714.58
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 171446 12 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727404 0 0 4096 0 0 0 0 17 0 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1714.58
Current children cumulated vsize (KiB) 44020
[startup+1784.74 s]
/proc/loadavg: 2.02 2.00 1.93 3/74 18818
/proc/meminfo: memFree=1508096/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1774.59
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 177447 12 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646964 0 0 4096 0 0 0 0 17 0 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1774.59
Current children cumulated vsize (KiB) 44020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.17 s]
/proc/loadavg: 2.01 2.00 1.93 3/74 18818
/proc/meminfo: memFree=1508096/2055920 swapFree=4192812/4192956
[pid=18525] ppid=18523 vsize=44020 CPUtime=1800.02
/proc/18525/stat : 18525 (solver) R 18523 18525 16831 0 -1 4194304 10101 0 0 0 179990 12 0 0 25 0 1 0 180738620 45076480 10069 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 0 0 0
/proc/18525/statm: 11005 10069 720 92 0 9349 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 44020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.18
CPU time (s): 1800.03
CPU user time (s): 1799.9
CPU system time (s): 0.13098
CPU usage (%): 99.4394
Max. virtual memory (cumulated for all children) (KiB): 44020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10101
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= 28475
runsolver used 1.72474 s user time and 4.91125 s system time
The end
Begin job on node59 on Tue Jan 9 06:16:47 UTC 2007
IDJOB= 232594
IDBENCH= 6536
FILE ID= node59/232594-1168323406
PBS_JOBID= 3502888
Free space on /tmp= 66530 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-100-1.xml
COMMAND LINE= /tmp/evaluation/232594-1168323406/tramontane/bin/solver /tmp/evaluation/232594-1168323406/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-232594-1168323406 -o ROOT/results/node59/solver-232594-1168323406 -C 1800 -M 900 /tmp/evaluation/232594-1168323406/tramontane/bin/solver /tmp/evaluation/232594-1168323406/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= ba049d07cf7bcaf39c8c70f63683dc9c
RANDOM SEED= 854688874
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.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: 1450896 kB
Buffers: 65564 kB
Cached: 366712 kB
SwapCached: 0 kB
Active: 295448 kB
Inactive: 252012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1450896 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3612 kB
Writeback: 0 kB
Mapped: 126452 kB
Slab: 42760 kB
Committed_AS: 3922484 kB
PageTables: 2044 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= 66555 MiB
End job on node59 on Tue Jan 9 06:46:57 UTC 2007