0.08 c
0.08 c Parsing xml file
0.08 c domains............... 0.02
0.08 c variables............. 0
0.08 c predicates............ 0
0.08 c constraints........... 0.27
0.32 c Allocating memory
0.32 c
0.32 c time limit = -1
0.32 c heuristic = dom/wdeg
0.32 c restart policy = Geometric increment
0.32 c restart base = 266
0.32 c restart factor = 1.33
0.32 c
0.32 c Solving
0.32 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-232530-1168323017 -o ROOT/results/node76/solver-232530-1168323017 -C 1800 -M 900 /tmp/evaluation/232530-1168323017/tramontane/bin/solver /tmp/evaluation/232530-1168323017/unknown.xml -res geom -f 3 -v 1
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.77 0.93 0.98 5/86 21886
/proc/meminfo: memFree=1451312/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=18544 CPUtime=0
/proc/21885/stat : 21885 (runsolver) R 21883 21885 21567 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 180698892 18989056 278 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 206843737111 0 0 4096 24578 0 0 0 17 0 0 0
/proc/21885/statm: 4636 278 243 17 0 2626 0
[startup+0.103135 s]
/proc/loadavg: 0.77 0.93 0.98 5/86 21886
/proc/meminfo: memFree=1451312/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=10000 CPUtime=0.08
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 1576 0 0 0 8 0 0 0 18 0 1 0 180698892 10240000 1545 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 5253163 0 0 4096 0 0 0 0 17 0 0 0
/proc/21885/statm: 2500 1545 706 92 0 843 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10000
[startup+0.511228 s]
/proc/loadavg: 0.77 0.93 0.98 5/86 21886
/proc/meminfo: memFree=1451312/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43840 CPUtime=0.49
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10055 0 0 0 45 4 0 0 21 0 1 0 180698892 44892160 10024 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 0 0 0
/proc/21885/statm: 10960 10024 719 92 0 9303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 43840
[startup+1.33238 s]
/proc/loadavg: 0.77 0.93 0.98 3/86 21894
/proc/meminfo: memFree=1411568/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43844 CPUtime=1.31
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10056 0 0 0 127 4 0 0 25 0 1 0 180698892 44896256 10025 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134802971 0 0 4096 0 0 0 0 17 0 0 0
/proc/21885/statm: 10961 10025 719 92 0 9304 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 43844
[startup+2.97571 s]
/proc/loadavg: 0.77 0.93 0.98 3/86 21894
/proc/meminfo: memFree=1389936/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43848 CPUtime=2.94
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10057 0 0 0 290 4 0 0 25 0 1 0 180698892 44900352 10026 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/21885/statm: 10962 10026 719 92 0 9305 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 43848
[startup+6.25334 s]
/proc/loadavg: 0.87 0.95 0.98 3/86 21894
/proc/meminfo: memFree=1325744/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43848 CPUtime=6.2
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10057 0 0 0 616 4 0 0 25 0 1 0 180698892 44900352 10026 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792879 0 0 4096 0 0 0 0 17 0 0 0
/proc/21885/statm: 10962 10026 719 92 0 9305 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 43848
[startup+12.7156 s]
/proc/loadavg: 1.04 0.99 0.99 3/79 21895
/proc/meminfo: memFree=1168432/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43848 CPUtime=12.64
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10057 0 0 0 1259 5 0 0 25 0 1 0 180698892 44900352 10026 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134802944 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10962 10026 719 92 0 9305 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 43848
[startup+25.5321 s]
/proc/loadavg: 1.56 1.10 1.03 3/79 21895
/proc/meminfo: memFree=709432/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43848 CPUtime=25.35
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10057 0 0 0 2528 7 0 0 25 0 1 0 180698892 44900352 10026 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792219 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10962 10026 719 92 0 9305 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 43848
[startup+51.1671 s]
/proc/loadavg: 2.23 1.30 1.10 3/79 21895
/proc/meminfo: memFree=712632/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43848 CPUtime=50.87
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10057 0 0 0 5077 10 0 0 25 0 1 0 180698892 44900352 10026 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646900 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10962 10026 719 92 0 9305 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 43848
[startup+102.427 s]
/proc/loadavg: 2.10 1.40 1.14 3/79 21895
/proc/meminfo: memFree=716088/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43856 CPUtime=101.8
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10059 0 0 0 10170 10 0 0 25 0 1 0 180698892 44908544 10028 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134793508 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10964 10028 719 92 0 9307 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 43856
[startup+162.509 s]
/proc/loadavg: 2.04 1.51 1.19 3/79 21895
/proc/meminfo: memFree=716152/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43856 CPUtime=161.64
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10059 0 0 0 16154 10 0 0 25 0 1 0 180698892 44908544 10028 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10964 10028 719 92 0 9307 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 43856
[startup+222.585 s]
/proc/loadavg: 2.01 1.60 1.24 3/79 21895
/proc/meminfo: memFree=716152/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43864 CPUtime=221.48
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10061 0 0 0 22138 10 0 0 25 0 1 0 180698892 44916736 10030 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10966 10030 719 92 0 9309 0
Current children cumulated CPU time (s) 221.48
Current children cumulated vsize (KiB) 43864
[startup+282.657 s]
/proc/loadavg: 2.04 1.68 1.29 3/79 21895
/proc/meminfo: memFree=716216/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43872 CPUtime=281.32
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10063 0 0 0 28122 10 0 0 25 0 1 0 180698892 44924928 10032 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10968 10032 719 92 0 9311 0
Current children cumulated CPU time (s) 281.32
Current children cumulated vsize (KiB) 43872
[startup+342.726 s]
/proc/loadavg: 2.01 1.74 1.33 3/79 21895
/proc/meminfo: memFree=716224/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43872 CPUtime=341.16
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10063 0 0 0 34106 10 0 0 25 0 1 0 180698892 44924928 10032 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10968 10032 719 92 0 9311 0
Current children cumulated CPU time (s) 341.16
Current children cumulated vsize (KiB) 43872
[startup+402.807 s]
/proc/loadavg: 2.00 1.78 1.37 3/79 21895
/proc/meminfo: memFree=716224/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43872 CPUtime=401
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10063 0 0 0 40090 10 0 0 25 0 1 0 180698892 44924928 10032 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 5285564 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10968 10032 719 92 0 9311 0
Current children cumulated CPU time (s) 401
Current children cumulated vsize (KiB) 43872
[startup+462.885 s]
/proc/loadavg: 2.00 1.82 1.41 3/79 21895
/proc/meminfo: memFree=716224/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43872 CPUtime=460.85
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10063 0 0 0 46075 10 0 0 25 0 1 0 180698892 44924928 10032 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792894 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10968 10032 719 92 0 9311 0
Current children cumulated CPU time (s) 460.85
Current children cumulated vsize (KiB) 43872
[startup+522.956 s]
/proc/loadavg: 2.00 1.85 1.44 3/79 21895
/proc/meminfo: memFree=716224/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43872 CPUtime=520.69
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10063 0 0 0 52059 10 0 0 25 0 1 0 180698892 44924928 10032 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10968 10032 719 92 0 9311 0
Current children cumulated CPU time (s) 520.69
Current children cumulated vsize (KiB) 43872
[startup+583.032 s]
/proc/loadavg: 2.00 1.88 1.48 3/79 21897
/proc/meminfo: memFree=716160/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43872 CPUtime=580.53
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10063 0 0 0 58043 10 0 0 25 0 1 0 180698892 44924928 10032 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10968 10032 719 92 0 9311 0
Current children cumulated CPU time (s) 580.53
Current children cumulated vsize (KiB) 43872
[startup+643.112 s]
/proc/loadavg: 2.00 1.89 1.51 3/79 21897
/proc/meminfo: memFree=716160/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=640.37
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 64027 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792355 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 640.37
Current children cumulated vsize (KiB) 43880
[startup+703.18 s]
/proc/loadavg: 2.06 1.93 1.54 4/79 21897
/proc/meminfo: memFree=716224/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=700.21
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 70011 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646879 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 700.21
Current children cumulated vsize (KiB) 43880
[startup+763.253 s]
/proc/loadavg: 2.02 1.94 1.56 3/79 21897
/proc/meminfo: memFree=716160/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=760.05
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 75995 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646976 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 760.05
Current children cumulated vsize (KiB) 43880
[startup+823.33 s]
/proc/loadavg: 2.00 1.95 1.59 3/79 21897
/proc/meminfo: memFree=716160/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=819.89
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 81979 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 819.89
Current children cumulated vsize (KiB) 43880
[startup+883.407 s]
/proc/loadavg: 2.00 1.95 1.61 3/79 21897
/proc/meminfo: memFree=716160/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=879.73
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 87963 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 5285540 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 879.73
Current children cumulated vsize (KiB) 43880
[startup+943.482 s]
/proc/loadavg: 2.00 1.96 1.64 3/79 21897
/proc/meminfo: memFree=716160/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=939.58
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 93948 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134715293 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 939.58
Current children cumulated vsize (KiB) 43880
[startup+1003.56 s]
/proc/loadavg: 2.06 1.98 1.66 3/79 21897
/proc/meminfo: memFree=716032/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=999.42
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 99932 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708410 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 999.42
Current children cumulated vsize (KiB) 43880
[startup+1063.64 s]
/proc/loadavg: 2.02 1.98 1.68 3/79 21897
/proc/meminfo: memFree=716032/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1059.26
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 105916 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134799423 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1059.26
Current children cumulated vsize (KiB) 43880
[startup+1123.72 s]
/proc/loadavg: 2.05 1.99 1.70 3/79 21897
/proc/meminfo: memFree=715968/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1119.11
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 111901 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727404 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1119.11
Current children cumulated vsize (KiB) 43880
[startup+1183.79 s]
/proc/loadavg: 2.02 1.99 1.72 3/79 21897
/proc/meminfo: memFree=715904/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1178.95
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 117885 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134795105 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1178.95
Current children cumulated vsize (KiB) 43880
[startup+1243.87 s]
/proc/loadavg: 2.00 1.99 1.73 3/79 21897
/proc/meminfo: memFree=715904/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1238.79
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 123869 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785683 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1238.79
Current children cumulated vsize (KiB) 43880
[startup+1303.94 s]
/proc/loadavg: 2.00 1.99 1.74 3/79 21897
/proc/meminfo: memFree=715840/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1298.63
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 129853 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134795096 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1298.63
Current children cumulated vsize (KiB) 43880
[startup+1364.01 s]
/proc/loadavg: 2.00 1.99 1.76 3/79 21897
/proc/meminfo: memFree=715776/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1358.46
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 135836 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1358.46
Current children cumulated vsize (KiB) 43880
[startup+1424.08 s]
/proc/loadavg: 2.00 1.99 1.77 3/79 21897
/proc/meminfo: memFree=715712/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1418.3
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 141820 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792884 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1418.3
Current children cumulated vsize (KiB) 43880
[startup+1484.16 s]
/proc/loadavg: 2.00 1.99 1.78 3/79 21897
/proc/meminfo: memFree=715712/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1478.14
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 147804 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785589 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1478.14
Current children cumulated vsize (KiB) 43880
[startup+1544.23 s]
/proc/loadavg: 2.00 1.99 1.79 3/79 21897
/proc/meminfo: memFree=715712/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1537.99
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 153789 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790178 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1537.99
Current children cumulated vsize (KiB) 43880
[startup+1604.31 s]
/proc/loadavg: 2.00 1.99 1.80 3/79 21897
/proc/meminfo: memFree=715648/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1597.83
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 159773 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134715101 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1597.83
Current children cumulated vsize (KiB) 43880
[startup+1664.39 s]
/proc/loadavg: 2.07 2.01 1.82 3/79 21897
/proc/meminfo: memFree=715648/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1657.67
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 165757 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792312 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1657.67
Current children cumulated vsize (KiB) 43880
[startup+1724.46 s]
/proc/loadavg: 2.02 2.00 1.83 3/79 21897
/proc/meminfo: memFree=715648/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1717.51
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 171741 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1717.51
Current children cumulated vsize (KiB) 43880
[startup+1784.54 s]
/proc/loadavg: 2.01 2.00 1.83 4/79 21897
/proc/meminfo: memFree=715584/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1777.35
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 177725 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792231 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1777.35
Current children cumulated vsize (KiB) 43880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.29 s]
/proc/loadavg: 2.00 2.00 1.83 3/79 21897
/proc/meminfo: memFree=715584/2055888 swapFree=4095388/4096564
[pid=21885] ppid=21883 vsize=43880 CPUtime=1800.02
/proc/21885/stat : 21885 (solver) R 21883 21885 21567 0 -1 4194304 10065 0 0 0 179992 10 0 0 25 0 1 0 180698892 44933120 10034 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134792909 0 0 4096 0 0 0 0 17 1 0 0
/proc/21885/statm: 10970 10034 719 92 0 9313 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 43880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.31
CPU time (s): 1800.04
CPU user time (s): 1799.93
CPU system time (s): 0.116982
CPU usage (%): 99.5981
Max. virtual memory (cumulated for all children) (KiB): 43880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10065
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= 21383
runsolver used 1.77073 s user time and 4.65229 s system time
The end
Begin job on node76 on Tue Jan 9 06:10:18 UTC 2007
IDJOB= 232530
IDBENCH= 6527
FILE ID= node76/232530-1168323017
PBS_JOBID= 3502905
Free space on /tmp= 66644 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-100-9.xml
COMMAND LINE= /tmp/evaluation/232530-1168323017/tramontane/bin/solver /tmp/evaluation/232530-1168323017/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-232530-1168323017 -o ROOT/results/node76/solver-232530-1168323017 -C 1800 -M 900 /tmp/evaluation/232530-1168323017/tramontane/bin/solver /tmp/evaluation/232530-1168323017/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 91932e4ef8cded4303c916cfa6c5bf70
RANDOM SEED= 738566594
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.254
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 6006.17
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.254
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1454864 kB
Buffers: 78296 kB
Cached: 402648 kB
SwapCached: 428 kB
Active: 203816 kB
Inactive: 325648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1454864 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 5128 kB
Writeback: 0 kB
Mapped: 64744 kB
Slab: 57196 kB
Committed_AS: 6997304 kB
PageTables: 1928 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66644 MiB
End job on node76 on Tue Jan 9 06:40:29 UTC 2007