0.20 c
0.20 c Parsing xml file
0.20 c domains............... 0.03
0.20 c variables............. 0.11
0.20 c predicates............ 0
0.20 c constraints........... 1.88
2.06 c Allocating memory
2.06 c
2.06 c time limit = -1
2.06 c heuristic = dom/wdeg
2.06 c restart policy = Geometric increment
2.06 c restart base = 1533
2.06 c restart factor = 1.33
2.06 c
2.06 c Solving
2.06 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-209885-1168194764 -o ROOT/results/node55/solver-209885-1168194764 -C 1800 -M 900 /tmp/evaluation/209885-1168194764/tramontane/bin/solver /tmp/evaluation/209885-1168194764/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.93 1.99 1.99 2/73 18162
/proc/meminfo: memFree=1379088/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=540 CPUtime=0
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 167874750 552960 26 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 6849316 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 135 26 21 92 0 18 0
[startup+0.1029 s]
/proc/loadavg: 1.93 1.99 1.99 2/73 18162
/proc/meminfo: memFree=1379088/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=60788 CPUtime=0.08
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 6159 0 0 0 6 2 0 0 18 0 1 0 167874750 62246912 6127 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 7339761 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 15197 6127 694 92 0 13541 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 60788
[startup+0.510937 s]
/proc/loadavg: 1.93 1.99 1.99 2/73 18162
/proc/meminfo: memFree=1379088/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=108496 CPUtime=0.49
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 11201 0 0 0 45 4 0 0 22 0 1 0 167874750 111099904 11169 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4159381251 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 27124 11169 709 92 0 25468 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 108496
[startup+1.33201 s]
/proc/loadavg: 1.93 1.99 1.99 3/73 18162
/proc/meminfo: memFree=1333904/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=112520 CPUtime=1.31
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 12229 0 0 0 126 5 0 0 25 0 1 0 167874750 115220480 12197 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4159425124 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 28130 12197 709 92 0 26474 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 112520
[startup+2.96917 s]
/proc/loadavg: 1.93 1.99 1.99 3/73 18162
/proc/meminfo: memFree=1318160/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127356 CPUtime=2.93
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15892 0 0 0 286 7 0 0 25 0 1 0 167874750 130412544 15860 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709365 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31839 15860 719 92 0 30183 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 127356
[startup+6.25249 s]
/proc/loadavg: 1.94 1.99 1.99 3/73 18162
/proc/meminfo: memFree=1318160/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127356 CPUtime=6.19
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15892 0 0 0 612 7 0 0 25 0 1 0 167874750 130412544 15860 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637192 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31839 15860 719 92 0 30183 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 127356
[startup+12.7111 s]
/proc/loadavg: 1.94 1.99 1.99 3/73 18162
/proc/meminfo: memFree=1318288/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127356 CPUtime=12.6
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15892 0 0 0 1253 7 0 0 25 0 1 0 167874750 130412544 15860 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708976 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31839 15860 719 92 0 30183 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 127356
[startup+25.5264 s]
/proc/loadavg: 1.95 1.99 1.99 3/73 18162
/proc/meminfo: memFree=1318352/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127356 CPUtime=25.32
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15892 0 0 0 2525 7 0 0 25 0 1 0 167874750 130412544 15860 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722070 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31839 15860 719 92 0 30183 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 127356
[startup+51.1678 s]
/proc/loadavg: 1.97 1.99 1.99 3/73 18162
/proc/meminfo: memFree=1318352/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127356 CPUtime=50.77
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15892 0 0 0 5070 7 0 0 25 0 1 0 167874750 130412544 15860 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31839 15860 719 92 0 30183 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 127356
[startup+102.44 s]
/proc/loadavg: 1.98 1.99 1.99 3/73 18162
/proc/meminfo: memFree=1318416/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127364 CPUtime=101.66
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15894 0 0 0 10159 7 0 0 25 0 1 0 167874750 130420736 15862 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31841 15862 719 92 0 30185 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 127364
[startup+162.442 s]
/proc/loadavg: 2.05 2.00 2.00 3/73 18162
/proc/meminfo: memFree=1318416/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=161.22
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 16115 7 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708977 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 161.22
Current children cumulated vsize (KiB) 127392
[startup+222.445 s]
/proc/loadavg: 2.02 2.00 2.00 3/73 18162
/proc/meminfo: memFree=1318352/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=220.78
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 22070 8 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 220.78
Current children cumulated vsize (KiB) 127392
[startup+282.449 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18162
/proc/meminfo: memFree=1318416/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=280.34
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 28026 8 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 280.34
Current children cumulated vsize (KiB) 127392
[startup+342.548 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18162
/proc/meminfo: memFree=1318352/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=339.98
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 33990 8 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 339.98
Current children cumulated vsize (KiB) 127392
[startup+402.554 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18162
/proc/meminfo: memFree=1318352/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=399.63
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 39955 8 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 399.63
Current children cumulated vsize (KiB) 127392
[startup+462.658 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 18237
/proc/meminfo: memFree=1308216/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=459.52
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 45942 10 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 459.52
Current children cumulated vsize (KiB) 127392
[startup+522.71 s]
/proc/loadavg: 1.97 1.98 1.99 3/82 18237
/proc/meminfo: memFree=1308488/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=519.52
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 51941 11 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727445 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 519.52
Current children cumulated vsize (KiB) 127392
[startup+582.798 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 18237
/proc/meminfo: memFree=1308424/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=579.56
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 57945 11 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710482 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 579.56
Current children cumulated vsize (KiB) 127392
[startup+642.829 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 18237
/proc/meminfo: memFree=1274760/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=639.52
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 63941 11 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709358 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 639.52
Current children cumulated vsize (KiB) 127392
[startup+702.885 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 18237
/proc/meminfo: memFree=1274696/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=699.52
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 69941 11 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711762 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 699.52
Current children cumulated vsize (KiB) 127392
[startup+762.92 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 18237
/proc/meminfo: memFree=1274696/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=759.51
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 75940 11 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711750 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 759.51
Current children cumulated vsize (KiB) 127392
[startup+822.959 s]
/proc/loadavg: 2.08 2.01 2.00 4/82 18237
/proc/meminfo: memFree=1274696/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127392 CPUtime=819.49
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15901 0 0 0 81938 11 0 0 25 0 1 0 167874750 130449408 15869 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31848 15869 719 92 0 30192 0
Current children cumulated CPU time (s) 819.49
Current children cumulated vsize (KiB) 127392
[startup+882.977 s]
/proc/loadavg: 2.03 2.01 2.00 5/82 18237
/proc/meminfo: memFree=1274696/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127396 CPUtime=879.44
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15902 0 0 0 87933 11 0 0 25 0 1 0 167874750 130453504 15870 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722070 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31849 15870 719 92 0 30193 0
Current children cumulated CPU time (s) 879.44
Current children cumulated vsize (KiB) 127396
[startup+943.055 s]
/proc/loadavg: 2.13 2.03 2.01 3/82 18237
/proc/meminfo: memFree=1274696/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127396 CPUtime=939.48
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15902 0 0 0 93937 11 0 0 25 0 1 0 167874750 130453504 15870 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31849 15870 719 92 0 30193 0
Current children cumulated CPU time (s) 939.48
Current children cumulated vsize (KiB) 127396
[startup+1003.16 s]
/proc/loadavg: 1.52 1.88 1.96 2/65 18251
/proc/meminfo: memFree=1430680/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127396 CPUtime=999.54
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15902 0 0 0 99943 11 0 0 25 0 1 0 167874750 130453504 15870 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708976 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31849 15870 719 92 0 30193 0
Current children cumulated CPU time (s) 999.54
Current children cumulated vsize (KiB) 127396
[startup+1063.19 s]
/proc/loadavg: 1.20 1.73 1.90 2/65 18251
/proc/meminfo: memFree=1430744/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127396 CPUtime=1059.55
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15902 0 0 0 105944 11 0 0 25 0 1 0 167874750 130453504 15870 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31849 15870 719 92 0 30193 0
Current children cumulated CPU time (s) 1059.55
Current children cumulated vsize (KiB) 127396
[startup+1123.22 s]
/proc/loadavg: 1.07 1.60 1.84 2/65 18251
/proc/meminfo: memFree=1430808/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127396 CPUtime=1119.57
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15902 0 0 0 111946 11 0 0 25 0 1 0 167874750 130453504 15870 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709356 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31849 15870 719 92 0 30193 0
Current children cumulated CPU time (s) 1119.57
Current children cumulated vsize (KiB) 127396
[startup+1183.25 s]
/proc/loadavg: 1.02 1.48 1.78 2/65 18251
/proc/meminfo: memFree=1430872/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127400 CPUtime=1179.59
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15903 0 0 0 117947 12 0 0 25 0 1 0 167874750 130457600 15871 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31850 15871 719 92 0 30194 0
Current children cumulated CPU time (s) 1179.59
Current children cumulated vsize (KiB) 127400
[startup+1243.28 s]
/proc/loadavg: 1.01 1.39 1.73 2/65 18251
/proc/meminfo: memFree=1430872/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127408 CPUtime=1239.61
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15905 0 0 0 123949 12 0 0 25 0 1 0 167874750 130465792 15873 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711264 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31852 15873 719 92 0 30196 0
Current children cumulated CPU time (s) 1239.61
Current children cumulated vsize (KiB) 127408
[startup+1303.31 s]
/proc/loadavg: 1.00 1.32 1.68 2/65 18251
/proc/meminfo: memFree=1430880/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127408 CPUtime=1299.62
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15905 0 0 0 129950 12 0 0 25 0 1 0 167874750 130465792 15873 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31852 15873 719 92 0 30196 0
Current children cumulated CPU time (s) 1299.62
Current children cumulated vsize (KiB) 127408
[startup+1363.34 s]
/proc/loadavg: 1.00 1.26 1.64 2/65 18251
/proc/meminfo: memFree=1430816/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127408 CPUtime=1359.63
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15905 0 0 0 135951 12 0 0 25 0 1 0 167874750 130465792 15873 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710304 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31852 15873 719 92 0 30196 0
Current children cumulated CPU time (s) 1359.63
Current children cumulated vsize (KiB) 127408
[startup+1423.37 s]
/proc/loadavg: 1.00 1.20 1.59 2/65 18251
/proc/meminfo: memFree=1430816/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127408 CPUtime=1419.65
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15905 0 0 0 141953 12 0 0 25 0 1 0 167874750 130465792 15873 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711306 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31852 15873 719 92 0 30196 0
Current children cumulated CPU time (s) 1419.65
Current children cumulated vsize (KiB) 127408
[startup+1483.4 s]
/proc/loadavg: 1.03 1.18 1.56 2/65 18251
/proc/meminfo: memFree=1430880/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127408 CPUtime=1479.66
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15905 0 0 0 147954 12 0 0 25 0 1 0 167874750 130465792 15873 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31852 15873 719 92 0 30196 0
Current children cumulated CPU time (s) 1479.66
Current children cumulated vsize (KiB) 127408
[startup+1543.43 s]
/proc/loadavg: 1.01 1.15 1.52 2/65 18251
/proc/meminfo: memFree=1430880/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127408 CPUtime=1539.69
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15905 0 0 0 153956 13 0 0 25 0 1 0 167874750 130465792 15873 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31852 15873 719 92 0 30196 0
Current children cumulated CPU time (s) 1539.69
Current children cumulated vsize (KiB) 127408
[startup+1603.46 s]
/proc/loadavg: 1.00 1.12 1.49 2/65 18251
/proc/meminfo: memFree=1430880/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127408 CPUtime=1599.7
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15905 0 0 0 159957 13 0 0 25 0 1 0 167874750 130465792 15873 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31852 15873 719 92 0 30196 0
Current children cumulated CPU time (s) 1599.7
Current children cumulated vsize (KiB) 127408
[startup+1663.5 s]
/proc/loadavg: 1.03 1.11 1.46 2/65 18251
/proc/meminfo: memFree=1430816/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127408 CPUtime=1659.72
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15905 0 0 0 165959 13 0 0 25 0 1 0 167874750 130465792 15873 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31852 15873 719 92 0 30196 0
Current children cumulated CPU time (s) 1659.72
Current children cumulated vsize (KiB) 127408
[startup+1723.55 s]
/proc/loadavg: 1.01 1.08 1.43 2/71 18359
/proc/meminfo: memFree=1429552/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127408 CPUtime=1719.74
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15905 0 0 0 171958 16 0 0 25 0 1 0 167874750 130465792 15873 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637125 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31852 15873 719 92 0 30196 0
Current children cumulated CPU time (s) 1719.74
Current children cumulated vsize (KiB) 127408
[startup+1783.61 s]
/proc/loadavg: 1.00 1.07 1.40 2/71 18425
/proc/meminfo: memFree=1429488/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127408 CPUtime=1779.79
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15905 0 0 0 177956 23 0 0 25 0 1 0 167874750 130465792 15873 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134638398 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31852 15873 719 92 0 30196 0
Current children cumulated CPU time (s) 1779.79
Current children cumulated vsize (KiB) 127408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.9 s]
/proc/loadavg: 1.00 1.06 1.39 2/65 18449
/proc/meminfo: memFree=1430432/2055920 swapFree=4192812/4192956
[pid=18161] ppid=18159 vsize=127416 CPUtime=1800.09
/proc/18161/stat : 18161 (solver) R 18159 18161 16888 0 -1 4194304 15907 0 0 0 179985 24 0 0 25 0 1 0 167874750 130473984 15875 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711303 0 0 4096 0 0 0 0 17 0 0 0
/proc/18161/statm: 31854 15875 719 92 0 30198 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 127416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.14
CPU time (s): 1800.11
CPU user time (s): 1799.85
CPU system time (s): 0.252961
CPU usage (%): 99.7764
Max. virtual memory (cumulated for all children) (KiB): 127416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.252961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15907
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= 11862
runsolver used 1.78373 s user time and 4.94025 s system time
The end
Begin job on node55 on Sun Jan 7 18:32:45 UTC 2007
IDJOB= 209885
IDBENCH= 4566
FILE ID= node55/209885-1168194764
PBS_JOBID= 3479389
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp26/fapp26-2300-5.xml
COMMAND LINE= /tmp/evaluation/209885-1168194764/tramontane/bin/solver /tmp/evaluation/209885-1168194764/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-209885-1168194764 -o ROOT/results/node55/solver-209885-1168194764 -C 1800 -M 900 /tmp/evaluation/209885-1168194764/tramontane/bin/solver /tmp/evaluation/209885-1168194764/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 219b34a2cd7d0c1a3e6251956ba3a433
RANDOM SEED= 784461520
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.218
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.218
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: 1379504 kB
Buffers: 37624 kB
Cached: 460340 kB
SwapCached: 0 kB
Active: 247508 kB
Inactive: 371856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1379504 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6332 kB
Writeback: 0 kB
Mapped: 135000 kB
Slab: 42068 kB
Committed_AS: 3719280 kB
PageTables: 2036 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= 66552 MiB
End job on node55 on Sun Jan 7 19:02:49 UTC 2007