0.11 c
0.11 c Parsing xml file
0.11 c domains............... 0.02
0.11 c variables............. 0
0.11 c predicates............ 0
0.11 c constraints........... 0.55
0.60 c Allocating memory
0.60 c
0.60 c time limit = -1
0.60 c heuristic = dom/wdeg
0.60 c restart policy = Geometric increment
0.60 c restart base = 266
0.60 c restart factor = 1.33
0.60 c
0.60 c Solving
0.60 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-233329-1168325390 -o ROOT/results/node2/solver-233329-1168325390 -C 1800 -M 900 /tmp/evaluation/233329-1168325390/tramontane/bin/solver /tmp/evaluation/233329-1168325390/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: 1.92 1.97 1.91 5/93 7167
/proc/meminfo: memFree=1200528/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=540 CPUtime=0
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 180934710 552960 26 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 10535716 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 135 26 21 92 0 18 0
[startup+0.103471 s]
/proc/loadavg: 1.92 1.97 1.91 5/93 7167
/proc/meminfo: memFree=1200528/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=9432 CPUtime=0.09
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 1441 0 0 0 9 0 0 0 19 0 1 0 180934710 9658368 1409 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 10671754 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 2358 1409 707 92 0 702 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9432
[startup+0.511544 s]
/proc/loadavg: 1.92 1.97 1.91 5/93 7167
/proc/meminfo: memFree=1200528/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=11280 CPUtime=0.49
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 1885 0 0 0 49 0 0 0 23 0 1 0 180934710 11550720 1853 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 4159433779 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 2820 1853 707 92 0 1164 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 11280
[startup+1.3337 s]
/proc/loadavg: 1.92 1.97 1.91 3/93 7167
/proc/meminfo: memFree=1168272/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38780 CPUtime=1.3
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8789 0 0 0 126 4 0 0 25 0 1 0 180934710 39710720 8757 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9695 8757 719 92 0 8039 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 38780
[startup+2.98848 s]
/proc/loadavg: 1.92 1.97 1.91 3/93 7167
/proc/meminfo: memFree=1168272/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38780 CPUtime=2.94
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8789 0 0 0 290 4 0 0 25 0 1 0 180934710 39710720 8757 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9695 8757 719 92 0 8039 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 38780
[startup+6.27307 s]
/proc/loadavg: 1.93 1.97 1.91 3/93 7167
/proc/meminfo: memFree=1168080/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38780 CPUtime=6.2
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8789 0 0 0 615 5 0 0 25 0 1 0 180934710 39710720 8757 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134793168 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9695 8757 719 92 0 8039 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 38780
[startup+12.7628 s]
/proc/loadavg: 1.93 1.97 1.91 3/93 7167
/proc/meminfo: memFree=1168080/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38784 CPUtime=12.63
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8790 0 0 0 1258 5 0 0 25 0 1 0 180934710 39714816 8758 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134790143 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9696 8758 719 92 0 8040 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 38784
[startup+25.6216 s]
/proc/loadavg: 1.95 1.97 1.91 3/93 7167
/proc/meminfo: memFree=1168208/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38792 CPUtime=25.37
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8792 0 0 0 2532 5 0 0 25 0 1 0 180934710 39723008 8760 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9698 8760 719 92 0 8042 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 38792
[startup+51.2459 s]
/proc/loadavg: 1.96 1.97 1.91 3/93 7167
/proc/meminfo: memFree=1168272/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38800 CPUtime=50.76
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8794 0 0 0 5071 5 0 0 25 0 1 0 180934710 39731200 8762 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134790393 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9700 8762 719 92 0 8044 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 38800
[startup+102.477 s]
/proc/loadavg: 1.98 1.97 1.91 3/93 7167
/proc/meminfo: memFree=1168336/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38824 CPUtime=101.52
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8800 0 0 0 10146 6 0 0 25 0 1 0 180934710 39755776 8768 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646763 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9706 8768 719 92 0 8050 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 38824
[startup+162.561 s]
/proc/loadavg: 1.99 1.97 1.91 3/93 7167
/proc/meminfo: memFree=1168336/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38832 CPUtime=161.07
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8802 0 0 0 16101 6 0 0 25 0 1 0 180934710 39763968 8770 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646824 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9708 8770 719 92 0 8052 0
Current children cumulated CPU time (s) 161.07
Current children cumulated vsize (KiB) 38832
[startup+222.644 s]
/proc/loadavg: 1.99 1.97 1.91 3/93 7167
/proc/meminfo: memFree=1168336/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38832 CPUtime=220.61
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8802 0 0 0 22054 7 0 0 25 0 1 0 180934710 39763968 8770 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 11002844 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9708 8770 719 92 0 8052 0
Current children cumulated CPU time (s) 220.61
Current children cumulated vsize (KiB) 38832
[startup+282.699 s]
/proc/loadavg: 1.99 1.97 1.91 4/93 7167
/proc/meminfo: memFree=1168272/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38832 CPUtime=280.14
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8802 0 0 0 28007 7 0 0 25 0 1 0 180934710 39763968 8770 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727392 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9708 8770 719 92 0 8052 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 38832
[startup+342.723 s]
/proc/loadavg: 1.99 1.97 1.91 3/93 7167
/proc/meminfo: memFree=1168272/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38832 CPUtime=339.65
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8802 0 0 0 33957 8 0 0 25 0 1 0 180934710 39763968 8770 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727373 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9708 8770 719 92 0 8052 0
Current children cumulated CPU time (s) 339.65
Current children cumulated vsize (KiB) 38832
[startup+402.804 s]
/proc/loadavg: 2.10 2.00 1.93 3/93 7167
/proc/meminfo: memFree=1144720/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38832 CPUtime=399.19
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8802 0 0 0 39911 8 0 0 25 0 1 0 180934710 39763968 8770 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727423 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9708 8770 719 92 0 8052 0
Current children cumulated CPU time (s) 399.19
Current children cumulated vsize (KiB) 38832
[startup+462.804 s]
/proc/loadavg: 2.03 2.00 1.93 3/93 7167
/proc/meminfo: memFree=1144656/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38832 CPUtime=458.65
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8802 0 0 0 45856 9 0 0 25 0 1 0 180934710 39763968 8770 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134793066 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9708 8770 719 92 0 8052 0
Current children cumulated CPU time (s) 458.65
Current children cumulated vsize (KiB) 38832
[startup+522.843 s]
/proc/loadavg: 2.09 2.02 1.93 3/93 7167
/proc/meminfo: memFree=1144656/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38832 CPUtime=518.18
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8802 0 0 0 51808 10 0 0 25 0 1 0 180934710 39763968 8770 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9708 8770 719 92 0 8052 0
Current children cumulated CPU time (s) 518.18
Current children cumulated vsize (KiB) 38832
[startup+582.875 s]
/proc/loadavg: 2.03 2.01 1.93 3/93 7167
/proc/meminfo: memFree=1144656/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=577.67
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 57757 10 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792272 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 577.67
Current children cumulated vsize (KiB) 38852
[startup+642.889 s]
/proc/loadavg: 2.01 2.00 1.93 3/93 7167
/proc/meminfo: memFree=1144592/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=637.15
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 63704 11 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134785579 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 637.15
Current children cumulated vsize (KiB) 38852
[startup+702.938 s]
/proc/loadavg: 2.00 2.00 1.93 3/99 7285
/proc/meminfo: memFree=1143256/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=696.56
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 69644 12 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646763 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 696.56
Current children cumulated vsize (KiB) 38852
[startup+762.995 s]
/proc/loadavg: 2.05 2.01 1.94 4/99 7345
/proc/meminfo: memFree=1143200/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=756
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 75588 12 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 756
Current children cumulated vsize (KiB) 38852
[startup+823.012 s]
/proc/loadavg: 2.02 2.01 1.94 3/93 7365
/proc/meminfo: memFree=1144272/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=815.45
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 81533 12 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 815.45
Current children cumulated vsize (KiB) 38852
[startup+883.034 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 7365
/proc/meminfo: memFree=1144272/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=874.94
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 87481 13 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134647151 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 874.94
Current children cumulated vsize (KiB) 38852
[startup+943.068 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 7365
/proc/meminfo: memFree=1144272/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=934.45
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 93431 14 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134799411 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 934.45
Current children cumulated vsize (KiB) 38852
[startup+1003.11 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 7365
/proc/meminfo: memFree=1144272/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=993.95
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 99381 14 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792901 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 993.95
Current children cumulated vsize (KiB) 38852
[startup+1063.11 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 7365
/proc/meminfo: memFree=1144336/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1053.41
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 105326 15 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1053.41
Current children cumulated vsize (KiB) 38852
[startup+1123.12 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 7365
/proc/meminfo: memFree=1144336/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1112.86
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 111271 15 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727414 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1112.86
Current children cumulated vsize (KiB) 38852
[startup+1183.21 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 7365
/proc/meminfo: memFree=1144336/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1172.4
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 117224 16 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1172.4
Current children cumulated vsize (KiB) 38852
[startup+1243.22 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 7365
/proc/meminfo: memFree=1144336/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1231.87
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 123170 17 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1231.87
Current children cumulated vsize (KiB) 38852
[startup+1303.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 7365
/proc/meminfo: memFree=1144400/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1291.4
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 129123 17 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1291.4
Current children cumulated vsize (KiB) 38852
[startup+1363.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 7593
/proc/meminfo: memFree=1544584/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1351.18
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 135099 19 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1351.18
Current children cumulated vsize (KiB) 38852
[startup+1423.46 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 7593
/proc/meminfo: memFree=1544776/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1411.18
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 141099 19 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727404 0 0 4096 0 0 0 0 17 0 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1411.18
Current children cumulated vsize (KiB) 38852
[startup+1483.53 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 7593
/proc/meminfo: memFree=1544712/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1471.17
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 147097 20 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 0 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1471.17
Current children cumulated vsize (KiB) 38852
[startup+1543.6 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 7593
/proc/meminfo: memFree=1544712/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1531.18
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 153098 20 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792391 0 0 4096 0 0 0 0 17 0 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1531.18
Current children cumulated vsize (KiB) 38852
[startup+1603.66 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 7593
/proc/meminfo: memFree=1544776/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1591.19
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 159099 20 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134708406 0 0 4096 0 0 0 0 17 0 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1591.19
Current children cumulated vsize (KiB) 38852
[startup+1663.73 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 7593
/proc/meminfo: memFree=1544712/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1651.17
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 165097 20 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1651.17
Current children cumulated vsize (KiB) 38852
[startup+1723.8 s]
/proc/loadavg: 2.07 2.02 1.94 3/86 7593
/proc/meminfo: memFree=1544776/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1711.19
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 171099 20 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134715056 0 0 4096 0 0 0 0 17 0 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1711.19
Current children cumulated vsize (KiB) 38852
[startup+1783.87 s]
/proc/loadavg: 2.03 2.01 1.94 3/86 7595
/proc/meminfo: memFree=1544584/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1771.19
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 177099 20 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646757 0 0 4096 0 0 0 0 17 0 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1771.19
Current children cumulated vsize (KiB) 38852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.78 s]
/proc/loadavg: 2.02 2.01 1.94 4/86 7595
/proc/meminfo: memFree=1544584/2055920 swapFree=4191880/4192956
[pid=7166] ppid=7164 vsize=38852 CPUtime=1800.06
/proc/7166/stat : 7166 (solver) R 7164 7166 1069 0 -1 4194304 8807 0 0 0 179986 20 0 0 25 0 1 0 180934710 39784448 8775 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646763 0 0 4096 0 0 0 0 17 0 0 0
/proc/7166/statm: 9713 8775 719 92 0 8057 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 38852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.79
CPU time (s): 1800.08
CPU user time (s): 1799.87
CPU system time (s): 0.211967
CPU usage (%): 99.299
Max. virtual memory (cumulated for all children) (KiB): 38852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.211967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8807
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= 74071
runsolver used 1.9837 s user time and 5.2612 s system time
The end
Begin job on node2 on Tue Jan 9 06:49:51 UTC 2007
IDJOB= 233329
IDBENCH= 6593
FILE ID= node2/233329-1168325390
PBS_JOBID= 3502694
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-6.xml
COMMAND LINE= /tmp/evaluation/233329-1168325390/tramontane/bin/solver /tmp/evaluation/233329-1168325390/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-233329-1168325390 -o ROOT/results/node2/solver-233329-1168325390 -C 1800 -M 900 /tmp/evaluation/233329-1168325390/tramontane/bin/solver /tmp/evaluation/233329-1168325390/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 4323238ba4bd95d86b69074f31564b40
RANDOM SEED= 414439781
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.259
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 : 5931.00
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.259
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: 1201008 kB
Buffers: 73472 kB
Cached: 280856 kB
SwapCached: 292 kB
Active: 669620 kB
Inactive: 131668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1201008 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4012 kB
Writeback: 0 kB
Mapped: 475268 kB
Slab: 37496 kB
Committed_AS: 5664756 kB
PageTables: 3184 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= 66529 MiB
End job on node2 on Tue Jan 9 07:20:04 UTC 2007