0.20 c
0.20 c Parsing xml file
0.20 c domains............... 0
0.20 c variables............. 0.16
0.20 c predicates............ 4.02
4.22 c constraints........... 5.44
9.71 c Allocating memory
9.71 c
9.71 c time limit = -1
9.71 c heuristic = dom/wdeg
9.71 c restart policy = No restart
9.71 c
9.71 c Solving
9.71 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-212500-1168220535 -o ROOT/results/node19/solver-212500-1168220535 -C 1800 -M 900 /tmp/evaluation/212500-1168220535/mistral/bin/solver /tmp/evaluation/212500-1168220535/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: 1.92 1.98 2.06 5/86 3026
/proc/meminfo: memFree=1859344/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=540 CPUtime=0
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 170448274 552960 26 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 7484196 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 135 26 21 92 0 18 0
[startup+0.104463 s]
/proc/loadavg: 1.92 1.98 2.06 5/86 3026
/proc/meminfo: memFree=1859344/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=8108 CPUtime=0.09
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 1102 0 0 0 9 0 0 0 18 0 1 0 170448274 8302592 1070 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4156455364 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 2027 1070 692 92 0 371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8108
[startup+0.516541 s]
/proc/loadavg: 1.92 1.98 2.06 5/86 3026
/proc/meminfo: memFree=1859344/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=9192 CPUtime=0.5
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 1372 0 0 0 50 0 0 0 22 0 1 0 170448274 9412608 1340 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4159425105 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 2298 1340 699 92 0 642 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9192
[startup+1.33769 s]
/proc/loadavg: 1.92 1.98 2.06 3/86 3026
/proc/meminfo: memFree=1846288/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=31444 CPUtime=1.31
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 6256 0 0 0 129 2 0 0 25 0 1 0 170448274 32198656 6224 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134573232 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 7861 6224 703 92 0 6205 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 31444
[startup+2.975 s]
/proc/loadavg: 1.92 1.98 2.06 3/86 3026
/proc/meminfo: memFree=1821840/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=47012 CPUtime=2.94
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 10058 0 0 0 290 4 0 0 25 0 1 0 170448274 48140288 10026 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4159425090 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 11753 10026 703 92 0 10097 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 47012
[startup+6.25662 s]
/proc/loadavg: 1.93 1.98 2.06 3/86 3026
/proc/meminfo: memFree=1811472/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=6.19
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12651 0 0 0 614 5 0 0 25 0 1 0 170448274 56848384 12619 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4159433776 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12619 708 92 0 12223 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 55516
[startup+12.7178 s]
/proc/loadavg: 1.94 1.98 2.06 3/86 3026
/proc/meminfo: memFree=1811472/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=12.61
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 1255 6 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 55516
[startup+25.5292 s]
/proc/loadavg: 1.95 1.98 2.06 3/86 3026
/proc/meminfo: memFree=1811536/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=25.32
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 2526 6 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637816 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 55516
[startup+51.1611 s]
/proc/loadavg: 1.96 1.98 2.05 3/86 3026
/proc/meminfo: memFree=1811600/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=50.76
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 5070 6 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637125 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 55516
[startup+102.411 s]
/proc/loadavg: 1.98 1.98 2.05 3/86 3026
/proc/meminfo: memFree=1811536/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=101.62
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 10156 6 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710130 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 55516
[startup+162.478 s]
/proc/loadavg: 1.99 1.98 2.04 3/86 3026
/proc/meminfo: memFree=1811472/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=161.24
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 16118 6 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722038 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 161.24
Current children cumulated vsize (KiB) 55516
[startup+222.542 s]
/proc/loadavg: 1.99 1.98 2.04 3/86 3026
/proc/meminfo: memFree=1811408/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=220.86
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 22079 7 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637816 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 220.86
Current children cumulated vsize (KiB) 55516
[startup+282.606 s]
/proc/loadavg: 1.99 1.98 2.03 3/86 3026
/proc/meminfo: memFree=1811408/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=280.47
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 28040 7 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 280.47
Current children cumulated vsize (KiB) 55516
[startup+342.668 s]
/proc/loadavg: 1.99 1.98 2.03 3/86 3026
/proc/meminfo: memFree=1811344/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=340.09
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 34002 7 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710132 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 340.09
Current children cumulated vsize (KiB) 55516
[startup+402.737 s]
/proc/loadavg: 1.99 1.98 2.02 3/86 3026
/proc/meminfo: memFree=1811280/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=399.7
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 39963 7 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710162 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 399.7
Current children cumulated vsize (KiB) 55516
[startup+462.805 s]
/proc/loadavg: 1.99 1.98 2.01 3/86 3026
/proc/meminfo: memFree=1811216/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=459.32
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 45925 7 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637145 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 459.32
Current children cumulated vsize (KiB) 55516
[startup+522.868 s]
/proc/loadavg: 1.99 1.98 2.01 3/86 3026
/proc/meminfo: memFree=1811088/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=518.94
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 51886 8 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 518.94
Current children cumulated vsize (KiB) 55516
[startup+582.934 s]
/proc/loadavg: 1.99 1.98 2.00 3/86 3026
/proc/meminfo: memFree=1811024/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=578.56
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 57848 8 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 578.56
Current children cumulated vsize (KiB) 55516
[startup+643.006 s]
/proc/loadavg: 1.99 1.98 2.00 3/86 3026
/proc/meminfo: memFree=1810960/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=638.18
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 63810 8 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710432 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 638.18
Current children cumulated vsize (KiB) 55516
[startup+703.073 s]
/proc/loadavg: 1.99 1.98 2.00 3/86 3026
/proc/meminfo: memFree=1810832/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=697.8
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 69772 8 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710452 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 697.8
Current children cumulated vsize (KiB) 55516
[startup+763.14 s]
/proc/loadavg: 1.99 1.98 2.00 3/86 3026
/proc/meminfo: memFree=1810832/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=757.41
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 75733 8 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710113 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 757.41
Current children cumulated vsize (KiB) 55516
[startup+823.207 s]
/proc/loadavg: 2.03 2.00 2.00 3/86 3026
/proc/meminfo: memFree=1810704/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=817.04
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 81695 9 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710113 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 817.04
Current children cumulated vsize (KiB) 55516
[startup+883.273 s]
/proc/loadavg: 2.01 2.00 2.00 3/86 3026
/proc/meminfo: memFree=1810640/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=876.65
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 87656 9 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710132 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 876.65
Current children cumulated vsize (KiB) 55516
[startup+943.342 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 3026
/proc/meminfo: memFree=1810512/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=936.27
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 93618 9 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710151 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 936.27
Current children cumulated vsize (KiB) 55516
[startup+1003.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 3026
/proc/meminfo: memFree=1810512/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=995.89
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 99580 9 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710112 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 995.89
Current children cumulated vsize (KiB) 55516
[startup+1063.48 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 3026
/proc/meminfo: memFree=1810384/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1055.52
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 105542 10 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710132 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1055.52
Current children cumulated vsize (KiB) 55516
[startup+1123.55 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 3026
/proc/meminfo: memFree=1810320/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1115.14
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 111504 10 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710112 0 0 4096 0 0 0 0 17 1 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1115.14
Current children cumulated vsize (KiB) 55516
[startup+1183.56 s]
/proc/loadavg: 1.97 1.98 1.99 3/99 3233
/proc/meminfo: memFree=1735952/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1174.98
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 117480 18 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1174.98
Current children cumulated vsize (KiB) 55516
[startup+1243.61 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 3281
/proc/meminfo: memFree=1737032/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1234.94
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 123474 20 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710138 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1234.94
Current children cumulated vsize (KiB) 55516
[startup+1303.61 s]
/proc/loadavg: 2.07 2.00 2.00 3/93 3281
/proc/meminfo: memFree=1737032/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1294.9
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 129469 21 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812831 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1294.9
Current children cumulated vsize (KiB) 55516
[startup+1363.72 s]
/proc/loadavg: 2.02 2.00 2.00 3/93 3281
/proc/meminfo: memFree=1737032/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1354.92
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 135471 21 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1354.92
Current children cumulated vsize (KiB) 55516
[startup+1423.72 s]
/proc/loadavg: 2.01 2.00 2.00 4/93 3281
/proc/meminfo: memFree=1736904/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1414.87
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 141466 21 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1414.87
Current children cumulated vsize (KiB) 55516
[startup+1483.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 3281
/proc/meminfo: memFree=1736776/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1474.9
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 147469 21 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710148 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1474.9
Current children cumulated vsize (KiB) 55516
[startup+1543.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 3281
/proc/meminfo: memFree=1736776/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1534.9
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 153469 21 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812816 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1534.9
Current children cumulated vsize (KiB) 55516
[startup+1603.98 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 3281
/proc/meminfo: memFree=1736648/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1594.93
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 159471 22 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1594.93
Current children cumulated vsize (KiB) 55516
[startup+1663.98 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 3281
/proc/meminfo: memFree=1736584/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1654.88
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 165466 22 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710127 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1654.88
Current children cumulated vsize (KiB) 55516
[startup+1723.99 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 3281
/proc/meminfo: memFree=1736520/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1714.81
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 171459 22 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1714.81
Current children cumulated vsize (KiB) 55516
[startup+1784.09 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 3281
/proc/meminfo: memFree=1736456/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1774.85
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 177463 22 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812959 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1774.85
Current children cumulated vsize (KiB) 55516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 3281
/proc/meminfo: memFree=1736456/2055920 swapFree=4171244/4192956
[pid=3025] ppid=3023 vsize=55516 CPUtime=1800.03
/proc/3025/stat : 3025 (solver) R 3023 3025 1952 0 -1 4194304 12669 0 0 0 179981 22 0 0 25 0 1 0 170448274 56848384 12637 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710113 0 0 4096 0 0 0 0 17 0 0 0
/proc/3025/statm: 13879 12637 721 92 0 12223 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 55516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.32
CPU time (s): 1800.05
CPU user time (s): 1799.82
CPU system time (s): 0.234964
CPU usage (%): 99.4878
Max. virtual memory (cumulated for all children) (KiB): 55516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.234964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12669
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= 49532
runsolver used 1.75473 s user time and 4.87826 s system time
The end
Begin job on node19 on Mon Jan 8 01:42:16 UTC 2007
IDJOB= 212500
IDBENCH= 4775
FILE ID= node19/212500-1168220535
PBS_JOBID= 3480640
Free space on /tmp= 66313 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-ran6x43.xml
COMMAND LINE= /tmp/evaluation/212500-1168220535/mistral/bin/solver /tmp/evaluation/212500-1168220535/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-212500-1168220535 -o ROOT/results/node19/solver-212500-1168220535 -C 1800 -M 900 /tmp/evaluation/212500-1168220535/mistral/bin/solver /tmp/evaluation/212500-1168220535/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 6aa6ff68770defe12b6640092ecb12fe
RANDOM SEED= 922279796
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.260
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.260
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: 1859824 kB
Buffers: 34356 kB
Cached: 70708 kB
SwapCached: 10264 kB
Active: 82140 kB
Inactive: 60580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1859824 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 3952 kB
Writeback: 0 kB
Mapped: 50196 kB
Slab: 38172 kB
Committed_AS: 4206420 kB
PageTables: 2336 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= 66314 MiB
End job on node19 on Mon Jan 8 02:12:26 UTC 2007