0.10 c
0.10 c Parsing xml file
0.10 c domains............... 0.02
0.10 c variables............. 0
0.10 c predicates............ 0
0.10 c constraints........... 0.17
0.21 c Allocating memory
0.21 c
0.21 c time limit = -1
0.21 c heuristic = dom/wdeg
0.21 c restart policy = No restart
0.21 c
0.21 c Solving
0.21 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-207390-1168181554 -o ROOT/results/node75/solver-207390-1168181554 -C 1800 -M 900 /tmp/evaluation/207390-1168181554/mistral/bin/solver /tmp/evaluation/207390-1168181554/unknown.xml -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.28 2.12 1.97 5/81 25844
/proc/meminfo: memFree=1623416/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=540 CPUtime=0
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 166554902 552960 26 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 6734628 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 135 26 21 92 0 18 0
[startup+0.10458 s]
/proc/loadavg: 2.28 2.12 1.97 5/81 25844
/proc/meminfo: memFree=1623416/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=18532 CPUtime=0.09
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 1994 0 0 0 9 0 0 0 19 0 1 0 166554902 18976768 1962 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 7223244 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4633 1962 708 92 0 2977 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18532
[startup+0.51262 s]
/proc/loadavg: 2.28 2.12 1.97 5/81 25844
/proc/meminfo: memFree=1623416/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=0.49
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 49 0 0 0 24 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711233 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 19988
[startup+1.33272 s]
/proc/loadavg: 2.28 2.12 1.97 4/81 25844
/proc/meminfo: memFree=1612600/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=1.3
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 130 0 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 19988
[startup+2.96991 s]
/proc/loadavg: 2.28 2.12 1.97 3/81 25844
/proc/meminfo: memFree=1610040/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=2.93
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 293 0 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 19988
[startup+6.17229 s]
/proc/loadavg: 2.26 2.12 1.97 3/81 25844
/proc/meminfo: memFree=1594104/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=6.1
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 610 0 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637083 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 19988
[startup+12.6341 s]
/proc/loadavg: 2.24 2.11 1.97 3/81 25844
/proc/meminfo: memFree=1583176/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=12.48
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 1248 0 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711712 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 19988
[startup+25.4506 s]
/proc/loadavg: 2.18 2.11 1.97 3/81 25844
/proc/meminfo: memFree=1560840/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=25.21
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 2520 1 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710458 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 19988
[startup+51.121 s]
/proc/loadavg: 2.12 2.10 1.97 3/81 25844
/proc/meminfo: memFree=1520328/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=50.65
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 5064 1 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 19988
[startup+102.376 s]
/proc/loadavg: 2.13 2.11 1.98 3/81 25844
/proc/meminfo: memFree=1467016/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=101.42
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 10141 1 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 19988
[startup+162.378 s]
/proc/loadavg: 2.12 2.10 1.98 3/81 25844
/proc/meminfo: memFree=1396168/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=160.9
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 16089 1 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 19988
[startup+222.474 s]
/proc/loadavg: 2.11 2.10 1.99 3/81 25844
/proc/meminfo: memFree=1337032/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=220.45
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 22044 1 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637056 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 19988
[startup+282.572 s]
/proc/loadavg: 2.08 2.09 2.00 3/81 25844
/proc/meminfo: memFree=1301704/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=280.01
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 27999 2 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812962 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (KiB) 19988
[startup+342.665 s]
/proc/loadavg: 2.03 2.07 2.00 3/81 25844
/proc/meminfo: memFree=1257096/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=339.57
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 33955 2 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637057 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 339.57
Current children cumulated vsize (KiB) 19988
[startup+402.763 s]
/proc/loadavg: 2.01 2.06 2.00 3/81 25844
/proc/meminfo: memFree=1224648/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=399.14
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 39912 2 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637840 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 399.14
Current children cumulated vsize (KiB) 19988
[startup+462.777 s]
/proc/loadavg: 2.00 2.04 2.00 3/81 25844
/proc/meminfo: memFree=1197896/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19988 CPUtime=458.58
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2357 0 0 0 45856 2 0 0 25 0 1 0 166554902 20467712 2325 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4997 2325 717 92 0 3341 0
Current children cumulated CPU time (s) 458.58
Current children cumulated vsize (KiB) 19988
[startup+522.813 s]
/proc/loadavg: 2.11 2.06 2.00 3/87 25926
/proc/meminfo: memFree=1160120/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=19996 CPUtime=517.98
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2359 0 0 0 51794 4 0 0 25 0 1 0 166554902 20475904 2327 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722041 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 4999 2327 717 92 0 3343 0
Current children cumulated CPU time (s) 517.98
Current children cumulated vsize (KiB) 19996
[startup+582.887 s]
/proc/loadavg: 2.04 2.05 2.00 3/87 26012
/proc/meminfo: memFree=1127320/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20024 CPUtime=577.41
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2366 0 0 0 57732 9 0 0 25 0 1 0 166554902 20504576 2334 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711712 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 5006 2334 717 92 0 3350 0
Current children cumulated CPU time (s) 577.41
Current children cumulated vsize (KiB) 20024
[startup+642.917 s]
/proc/loadavg: 2.01 2.04 2.00 3/81 26042
/proc/meminfo: memFree=1100552/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=636.82
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 63671 11 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710272 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 636.82
Current children cumulated vsize (KiB) 20028
[startup+703.016 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 26042
/proc/meminfo: memFree=1071048/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=696.4
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 69629 11 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711393 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 696.4
Current children cumulated vsize (KiB) 20028
[startup+763.027 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 26042
/proc/meminfo: memFree=1053320/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=755.89
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 75578 11 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709332 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 755.89
Current children cumulated vsize (KiB) 20028
[startup+823.121 s]
/proc/loadavg: 2.06 2.03 2.00 3/81 26042
/proc/meminfo: memFree=1040968/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=815.43
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 81532 11 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711713 0 0 4096 0 0 0 0 17 0 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 815.43
Current children cumulated vsize (KiB) 20028
[startup+883.128 s]
/proc/loadavg: 1.99 2.02 2.00 2/65 26056
/proc/meminfo: memFree=1757000/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=874.91
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 87480 11 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711072 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 874.91
Current children cumulated vsize (KiB) 20028
[startup+943.148 s]
/proc/loadavg: 1.39 1.85 1.94 2/65 26056
/proc/meminfo: memFree=1757216/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=934.92
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 93481 11 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711763 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 934.92
Current children cumulated vsize (KiB) 20028
[startup+1003.16 s]
/proc/loadavg: 1.14 1.69 1.88 2/65 26056
/proc/meminfo: memFree=1757344/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=994.92
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 99481 11 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708954 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 994.92
Current children cumulated vsize (KiB) 20028
[startup+1063.18 s]
/proc/loadavg: 1.05 1.55 1.81 2/65 26056
/proc/meminfo: memFree=1757344/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1054.92
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 105481 11 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812968 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1054.92
Current children cumulated vsize (KiB) 20028
[startup+1123.2 s]
/proc/loadavg: 1.02 1.45 1.76 2/65 26056
/proc/meminfo: memFree=1757344/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1114.93
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 111481 12 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1114.93
Current children cumulated vsize (KiB) 20028
[startup+1183.22 s]
/proc/loadavg: 1.06 1.39 1.72 2/65 26056
/proc/meminfo: memFree=1757280/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1174.93
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 117481 12 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710313 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1174.93
Current children cumulated vsize (KiB) 20028
[startup+1243.23 s]
/proc/loadavg: 1.02 1.31 1.67 2/65 26056
/proc/meminfo: memFree=1757280/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1234.92
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 123480 12 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1234.92
Current children cumulated vsize (KiB) 20028
[startup+1303.25 s]
/proc/loadavg: 1.00 1.25 1.62 2/65 26056
/proc/meminfo: memFree=1757280/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1294.93
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 129481 12 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1294.93
Current children cumulated vsize (KiB) 20028
[startup+1363.27 s]
/proc/loadavg: 1.00 1.20 1.58 2/65 26056
/proc/meminfo: memFree=1757216/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1354.93
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 135481 12 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1354.93
Current children cumulated vsize (KiB) 20028
[startup+1423.29 s]
/proc/loadavg: 1.00 1.16 1.54 2/65 26056
/proc/meminfo: memFree=1757280/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1414.93
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 141480 13 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1414.93
Current children cumulated vsize (KiB) 20028
[startup+1483.3 s]
/proc/loadavg: 1.00 1.13 1.51 2/65 26056
/proc/meminfo: memFree=1757216/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1474.93
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 147480 13 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1474.93
Current children cumulated vsize (KiB) 20028
[startup+1543.32 s]
/proc/loadavg: 1.00 1.10 1.47 2/65 26056
/proc/meminfo: memFree=1757216/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1534.93
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 153480 13 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1534.93
Current children cumulated vsize (KiB) 20028
[startup+1603.34 s]
/proc/loadavg: 1.00 1.08 1.44 2/65 26058
/proc/meminfo: memFree=1757088/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1594.93
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 159480 13 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1594.93
Current children cumulated vsize (KiB) 20028
[startup+1663.35 s]
/proc/loadavg: 1.00 1.07 1.41 2/65 26058
/proc/meminfo: memFree=1757088/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1654.93
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 165480 13 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1654.93
Current children cumulated vsize (KiB) 20028
[startup+1723.37 s]
/proc/loadavg: 1.04 1.06 1.39 2/65 26058
/proc/meminfo: memFree=1757088/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1714.94
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 171481 13 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1714.94
Current children cumulated vsize (KiB) 20028
[startup+1783.4 s]
/proc/loadavg: 1.01 1.05 1.36 2/65 26058
/proc/meminfo: memFree=1757088/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1774.94
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 177481 13 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709326 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1774.94
Current children cumulated vsize (KiB) 20028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.49 s]
/proc/loadavg: 1.01 1.04 1.35 2/65 26058
/proc/meminfo: memFree=1757152/2055920 swapFree=4184496/4192956
[pid=25843] ppid=25841 vsize=20028 CPUtime=1800.03
/proc/25843/stat : 25843 (solver) R 25841 25843 24985 0 -1 4194304 2367 0 0 0 179990 13 0 0 25 0 1 0 166554902 20508672 2335 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637236 0 0 4096 0 0 0 0 17 1 0 0
/proc/25843/statm: 5007 2335 717 92 0 3351 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 20028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.5
CPU time (s): 1800.04
CPU user time (s): 1799.9
CPU system time (s): 0.136979
CPU usage (%): 99.5325
Max. virtual memory (cumulated for all children) (KiB): 20028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 35480
runsolver used 1.39979 s user time and 4.46532 s system time
The end
Begin job on node75 on Sun Jan 7 14:52:35 UTC 2007
IDJOB= 207390
IDBENCH= 4287
FILE ID= node75/207390-1168181554
PBS_JOBID= 3479131
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test02/test02-0250-6.xml
COMMAND LINE= /tmp/evaluation/207390-1168181554/mistral/bin/solver /tmp/evaluation/207390-1168181554/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-207390-1168181554 -o ROOT/results/node75/solver-207390-1168181554 -C 1800 -M 900 /tmp/evaluation/207390-1168181554/mistral/bin/solver /tmp/evaluation/207390-1168181554/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 9e5d3dab65c76b98c7c2483edeec1715
RANDOM SEED= 913528352
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 : 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.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1623960 kB
Buffers: 51208 kB
Cached: 177856 kB
SwapCached: 2680 kB
Active: 222596 kB
Inactive: 152332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1623960 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 7224 kB
Writeback: 0 kB
Mapped: 160856 kB
Slab: 41944 kB
Committed_AS: 4324772 kB
PageTables: 2160 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= 66556 MiB
End job on node75 on Sun Jan 7 15:22:44 UTC 2007