0.18 c
0.18 c Parsing xml file
0.18 c domains............... 0
0.18 c variables............. 0.11
0.29 c predicates............ 0.13
0.42 c constraints........... 0.79
1.21 c Allocating memory
1.21 c
1.21 c time limit = -1
1.21 c heuristic = dom/wdeg
1.21 c restart policy = No restart
1.21 c
1.21 c Solving
1.21 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-211544-1168209895 -o ROOT/results/node29/solver-211544-1168209895 -C 1800 -M 900 /tmp/evaluation/211544-1168209895/mistral/bin/solver /tmp/evaluation/211544-1168209895/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 2.01 2.06 4/94 11563
/proc/meminfo: memFree=769248/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=4504 CPUtime=0
/proc/11562/stat : 11562 (solver) D 11560 11562 11101 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 169383701 4612096 27 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4133895 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/11562/statm: 1126 27 21 92 0 19 0
[startup+0.103586 s]
/proc/loadavg: 1.92 2.01 2.06 4/94 11563
/proc/meminfo: memFree=769248/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=6792 CPUtime=0.01
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 478 0 10 0 0 1 0 0 18 0 1 0 169383701 6955008 466 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4134076 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 1698 468 410 92 0 30 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6792
[startup+0.514613 s]
/proc/loadavg: 1.92 2.01 2.06 4/94 11563
/proc/meminfo: memFree=769248/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=9092 CPUtime=0.34
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 1338 0 27 0 32 2 0 0 20 0 1 0 169383701 9310208 1333 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4159433771 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 2273 1333 708 92 0 617 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 9092
[startup+1.33566 s]
/proc/loadavg: 1.92 2.01 2.06 4/94 11563
/proc/meminfo: memFree=760672/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=33432 CPUtime=1.16
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 7408 0 27 0 112 4 0 0 25 0 1 0 169383701 34234368 7403 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4564603 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 8358 7404 718 92 0 6702 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 33432
[startup+2.97276 s]
/proc/loadavg: 1.92 2.01 2.06 3/94 11563
/proc/meminfo: memFree=728480/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=2.78
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 273 5 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812831 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 42280
[startup+6.25197 s]
/proc/loadavg: 1.93 2.01 2.06 3/94 11563
/proc/meminfo: memFree=728288/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=6.05
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 600 5 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 42280
[startup+12.7144 s]
/proc/loadavg: 1.93 2.01 2.06 3/94 11563
/proc/meminfo: memFree=728352/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=12.48
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 1243 5 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710450 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 42280
[startup+25.5252 s]
/proc/loadavg: 2.01 2.03 2.07 3/94 11563
/proc/meminfo: memFree=684192/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=25.22
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 2516 6 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 42280
[startup+51.1548 s]
/proc/loadavg: 2.01 2.02 2.07 3/94 11563
/proc/meminfo: memFree=684192/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=50.74
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 5068 6 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 42280
[startup+102.416 s]
/proc/loadavg: 2.00 2.02 2.06 3/94 11563
/proc/meminfo: memFree=639904/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=101.75
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 10169 6 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710474 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 42280
[startup+162.494 s]
/proc/loadavg: 2.00 2.01 2.05 3/94 11563
/proc/meminfo: memFree=595616/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=161.51
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 16145 6 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710112 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 161.51
Current children cumulated vsize (KiB) 42280
[startup+222.568 s]
/proc/loadavg: 2.00 2.01 2.05 3/94 11563
/proc/meminfo: memFree=551264/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=221.29
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 22123 6 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 221.29
Current children cumulated vsize (KiB) 42280
[startup+282.656 s]
/proc/loadavg: 1.94 1.99 2.04 3/94 11636
/proc/meminfo: memFree=941160/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=281.15
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 28107 8 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 42280
[startup+342.749 s]
/proc/loadavg: 1.97 1.99 2.03 3/94 11636
/proc/meminfo: memFree=941160/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=341.19
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 34110 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 341.19
Current children cumulated vsize (KiB) 42280
[startup+402.839 s]
/proc/loadavg: 1.99 1.99 2.03 3/94 11636
/proc/meminfo: memFree=941160/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=401.22
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 40113 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 401.22
Current children cumulated vsize (KiB) 42280
[startup+462.854 s]
/proc/loadavg: 1.99 1.99 2.02 3/94 11636
/proc/meminfo: memFree=941096/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=461.19
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 46110 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 461.19
Current children cumulated vsize (KiB) 42280
[startup+522.917 s]
/proc/loadavg: 1.99 1.99 2.01 3/94 11636
/proc/meminfo: memFree=941032/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=521.18
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 52109 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710113 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 521.18
Current children cumulated vsize (KiB) 42280
[startup+583.002 s]
/proc/loadavg: 1.99 1.99 2.01 3/94 11636
/proc/meminfo: memFree=940968/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=581.22
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 58113 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710483 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 581.22
Current children cumulated vsize (KiB) 42280
[startup+643.081 s]
/proc/loadavg: 2.04 2.00 2.01 3/94 11636
/proc/meminfo: memFree=940968/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=641.25
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 64116 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710138 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 641.25
Current children cumulated vsize (KiB) 42280
[startup+703.167 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 11636
/proc/meminfo: memFree=940904/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=701.26
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 70117 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 701.26
Current children cumulated vsize (KiB) 42280
[startup+763.246 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 11636
/proc/meminfo: memFree=940840/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=761.3
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 76121 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710474 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 761.3
Current children cumulated vsize (KiB) 42280
[startup+823.317 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 11636
/proc/meminfo: memFree=940776/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=821.31
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 82122 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 821.31
Current children cumulated vsize (KiB) 42280
[startup+883.407 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 11636
/proc/meminfo: memFree=940648/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=881.33
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 88124 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710113 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 881.33
Current children cumulated vsize (KiB) 42280
[startup+943.485 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 11636
/proc/meminfo: memFree=940520/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=941.36
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 94127 9 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710135 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 941.36
Current children cumulated vsize (KiB) 42280
[startup+1003.58 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11772
/proc/meminfo: memFree=938776/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1001.35
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 100121 14 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1001.35
Current children cumulated vsize (KiB) 42280
[startup+1063.62 s]
/proc/loadavg: 2.08 2.02 2.01 3/94 11834
/proc/meminfo: memFree=939744/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1061.3
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 106112 18 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1061.3
Current children cumulated vsize (KiB) 42280
[startup+1123.7 s]
/proc/loadavg: 2.03 2.01 2.00 4/94 11834
/proc/meminfo: memFree=939752/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1121.33
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 112115 18 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1121.33
Current children cumulated vsize (KiB) 42280
[startup+1183.78 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 11834
/proc/meminfo: memFree=939752/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1181.37
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 118118 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1181.37
Current children cumulated vsize (KiB) 42280
[startup+1243.86 s]
/proc/loadavg: 2.14 2.03 2.01 3/94 11834
/proc/meminfo: memFree=939688/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1241.37
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 124118 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708944 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1241.37
Current children cumulated vsize (KiB) 42280
[startup+1303.94 s]
/proc/loadavg: 2.05 2.02 2.00 3/94 11834
/proc/meminfo: memFree=939560/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1301.4
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 130121 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710148 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1301.4
Current children cumulated vsize (KiB) 42280
[startup+1364.01 s]
/proc/loadavg: 2.02 2.02 2.00 3/94 11834
/proc/meminfo: memFree=939560/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1361.44
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 136125 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710479 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1361.44
Current children cumulated vsize (KiB) 42280
[startup+1424.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 11834
/proc/meminfo: memFree=939496/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1421.44
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 142125 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710458 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1421.44
Current children cumulated vsize (KiB) 42280
[startup+1484.18 s]
/proc/loadavg: 2.04 2.02 2.00 3/94 11834
/proc/meminfo: memFree=939432/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1481.47
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 148128 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708944 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1481.47
Current children cumulated vsize (KiB) 42280
[startup+1544.27 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 11834
/proc/meminfo: memFree=939368/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1541.51
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 154132 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708950 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 42280
[startup+1604.35 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 11834
/proc/meminfo: memFree=939240/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1601.51
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 160132 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710450 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1601.51
Current children cumulated vsize (KiB) 42280
[startup+1664.42 s]
/proc/loadavg: 2.07 2.03 2.01 3/94 11834
/proc/meminfo: memFree=939240/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1661.53
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 166134 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710479 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 42280
[startup+1724.51 s]
/proc/loadavg: 2.08 2.04 2.01 3/94 11834
/proc/meminfo: memFree=939112/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1721.58
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 172139 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 42280
[startup+1784.6 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 11834
/proc/meminfo: memFree=939048/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1781.59
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 178140 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 42280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.05 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 11834
/proc/meminfo: memFree=939048/2055920 swapFree=4191880/4192956
[pid=11562] ppid=11560 vsize=42280 CPUtime=1800.04
/proc/11562/stat : 11562 (solver) R 11560 11562 11101 0 -1 4194304 9628 0 27 0 179985 19 0 0 25 0 1 0 169383701 43294720 9623 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722041 0 0 4096 0 0 0 0 17 0 0 0
/proc/11562/statm: 10570 9623 721 92 0 8914 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 42280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.06
CPU time (s): 1800.06
CPU user time (s): 1799.86
CPU system time (s): 0.204968
CPU usage (%): 99.8334
Max. virtual memory (cumulated for all children) (KiB): 42280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9628
page faults= 27
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 21486
runsolver used 1.9527 s user time and 5.2352 s system time
The end
Begin job on node29 on Sun Jan 7 22:44:56 UTC 2007
IDJOB= 211544
IDBENCH= 4702
FILE ID= node29/211544-1168209895
PBS_JOBID= 3480824
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-pp08a.xml
COMMAND LINE= /tmp/evaluation/211544-1168209895/mistral/bin/solver /tmp/evaluation/211544-1168209895/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-211544-1168209895 -o ROOT/results/node29/solver-211544-1168209895 -C 1800 -M 900 /tmp/evaluation/211544-1168209895/mistral/bin/solver /tmp/evaluation/211544-1168209895/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 7ce5775b9db19a910e13d13c7eac3088
RANDOM SEED= 826464373
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.241
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.241
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: 769664 kB
Buffers: 2240 kB
Cached: 654308 kB
SwapCached: 264 kB
Active: 707320 kB
Inactive: 525960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 769664 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3516 kB
Writeback: 0 kB
Mapped: 603216 kB
Slab: 36420 kB
Committed_AS: 4274288 kB
PageTables: 3504 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= 66542 MiB
End job on node29 on Sun Jan 7 23:14:59 UTC 2007