0.21 c
0.21 c Parsing xml file
0.21 c domains............... 0
0.21 c variables............. 0.02
0.21 c predicates............ 0
0.21 c constraints........... 0.13
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/node13/watcher-210411-1168197854 -o ROOT/results/node13/solver-210411-1168197854 -C 1800 -M 900 /tmp/evaluation/210411-1168197854/mistral/bin/solver /tmp/evaluation/210411-1168197854/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.51 1.12 1.05 5/95 17070
/proc/meminfo: memFree=1406200/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=540 CPUtime=0
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 168180405 552960 26 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 11879204 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 135 26 21 92 0 18 0
[startup+0.10396 s]
/proc/loadavg: 1.51 1.12 1.05 5/95 17070
/proc/meminfo: memFree=1406200/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=8636 CPUtime=0.09
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 1252 0 0 0 9 0 0 0 18 0 1 0 168180405 8843264 1220 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134564995 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 2159 1220 710 92 0 503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8636
[startup+0.512014 s]
/proc/loadavg: 1.51 1.12 1.05 5/95 17070
/proc/meminfo: memFree=1406200/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=0.49
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 49 0 0 0 22 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13932
[startup+1.33312 s]
/proc/loadavg: 1.51 1.12 1.05 3/95 17070
/proc/meminfo: memFree=1398264/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1.3
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 130 0 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792835 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 13932
[startup+2.97034 s]
/proc/loadavg: 1.51 1.12 1.05 3/95 17070
/proc/meminfo: memFree=1397944/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=2.92
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 292 0 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134784944 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 13932
[startup+6.25978 s]
/proc/loadavg: 1.55 1.14 1.05 3/95 17070
/proc/meminfo: memFree=1397176/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=6.19
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 619 0 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134793138 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 13932
[startup+12.7276 s]
/proc/loadavg: 1.59 1.15 1.06 3/95 17070
/proc/meminfo: memFree=1395448/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=12.59
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 1259 0 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134790361 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 13932
[startup+25.5444 s]
/proc/loadavg: 1.68 1.19 1.07 3/95 17070
/proc/meminfo: memFree=1391288/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=25.29
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 2529 0 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 13932
[startup+51.1888 s]
/proc/loadavg: 1.79 1.26 1.10 3/95 17070
/proc/meminfo: memFree=1385656/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=50.7
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 5069 1 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637361 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 13932
[startup+102.395 s]
/proc/loadavg: 1.91 1.37 1.14 3/95 17070
/proc/meminfo: memFree=1345592/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=101.44
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 10143 1 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 13932
[startup+162.45 s]
/proc/loadavg: 1.96 1.48 1.19 3/95 17070
/proc/meminfo: memFree=1345592/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=160.95
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 16093 2 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 13932
[startup+222.51 s]
/proc/loadavg: 1.98 1.57 1.24 3/95 17070
/proc/meminfo: memFree=1345528/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=220.46
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 22044 2 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 220.46
Current children cumulated vsize (KiB) 13932
[startup+282.604 s]
/proc/loadavg: 2.06 1.66 1.29 3/95 17070
/proc/meminfo: memFree=1345528/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=280.01
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 27998 3 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727362 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (KiB) 13932
[startup+342.622 s]
/proc/loadavg: 2.02 1.72 1.33 3/95 17070
/proc/meminfo: memFree=1345528/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=339.47
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 33944 3 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134790118 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 339.47
Current children cumulated vsize (KiB) 13932
[startup+402.649 s]
/proc/loadavg: 2.01 1.77 1.37 3/95 17070
/proc/meminfo: memFree=1345464/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=398.95
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 39891 4 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 398.95
Current children cumulated vsize (KiB) 13932
[startup+462.657 s]
/proc/loadavg: 2.05 1.83 1.41 3/95 17070
/proc/meminfo: memFree=1303288/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=458.41
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 45837 4 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 458.41
Current children cumulated vsize (KiB) 13932
[startup+522.731 s]
/proc/loadavg: 2.09 1.87 1.45 4/95 17070
/proc/meminfo: memFree=1303224/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=517.93
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 51789 4 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727371 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 517.93
Current children cumulated vsize (KiB) 13932
[startup+582.808 s]
/proc/loadavg: 2.10 1.92 1.49 3/95 17070
/proc/meminfo: memFree=1303160/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=577.46
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 57741 5 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785511 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 577.46
Current children cumulated vsize (KiB) 13932
[startup+642.887 s]
/proc/loadavg: 2.03 1.93 1.52 4/95 17070
/proc/meminfo: memFree=1303160/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=636.99
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 63694 5 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 636.99
Current children cumulated vsize (KiB) 13932
[startup+702.951 s]
/proc/loadavg: 2.01 1.94 1.55 3/95 17070
/proc/meminfo: memFree=1303160/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=696.51
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 69645 6 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 696.51
Current children cumulated vsize (KiB) 13932
[startup+762.955 s]
/proc/loadavg: 2.00 1.95 1.57 3/95 17070
/proc/meminfo: memFree=1303096/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=755.96
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 75590 6 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 755.96
Current children cumulated vsize (KiB) 13932
[startup+822.986 s]
/proc/loadavg: 2.21 2.02 1.62 3/95 17070
/proc/meminfo: memFree=1303096/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=815.45
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 81538 7 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134795073 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 815.45
Current children cumulated vsize (KiB) 13932
[startup+883.006 s]
/proc/loadavg: 2.08 2.01 1.64 3/95 17070
/proc/meminfo: memFree=1303096/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=874.91
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 87484 7 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 874.91
Current children cumulated vsize (KiB) 13932
[startup+943.021 s]
/proc/loadavg: 2.10 2.02 1.66 3/95 17070
/proc/meminfo: memFree=1303032/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=934.38
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 93430 8 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727341 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 934.38
Current children cumulated vsize (KiB) 13932
[startup+1003.08 s]
/proc/loadavg: 2.03 2.02 1.68 4/95 17070
/proc/meminfo: memFree=1265080/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=993.88
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 99380 8 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 993.88
Current children cumulated vsize (KiB) 13932
[startup+1063.16 s]
/proc/loadavg: 2.01 2.01 1.70 5/95 17070
/proc/meminfo: memFree=1265080/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1053.41
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 105333 8 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727360 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1053.41
Current children cumulated vsize (KiB) 13932
[startup+1123.23 s]
/proc/loadavg: 2.00 2.00 1.72 3/95 17070
/proc/meminfo: memFree=1265016/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1112.94
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 111285 9 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727368 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1112.94
Current children cumulated vsize (KiB) 13932
[startup+1183.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/95 17070
/proc/meminfo: memFree=1265016/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1172.46
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 117236 10 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134793522 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1172.46
Current children cumulated vsize (KiB) 13932
[startup+1243.37 s]
/proc/loadavg: 2.00 2.00 1.74 3/95 17070
/proc/meminfo: memFree=1265016/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1231.97
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 123187 10 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727413 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1231.97
Current children cumulated vsize (KiB) 13932
[startup+1303.43 s]
/proc/loadavg: 2.00 2.00 1.76 4/95 17070
/proc/meminfo: memFree=1264952/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1291.49
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 129138 11 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1291.49
Current children cumulated vsize (KiB) 13932
[startup+1363.5 s]
/proc/loadavg: 2.08 2.03 1.78 3/95 17070
/proc/meminfo: memFree=1264952/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1351.01
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 135090 11 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1351.01
Current children cumulated vsize (KiB) 13932
[startup+1423.57 s]
/proc/loadavg: 2.03 2.02 1.79 3/95 17070
/proc/meminfo: memFree=1264888/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1410.52
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 141041 11 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 12346334 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1410.52
Current children cumulated vsize (KiB) 13932
[startup+1483.57 s]
/proc/loadavg: 2.01 2.02 1.80 3/95 17070
/proc/meminfo: memFree=1264888/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1469.98
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 146986 12 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134803072 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1469.98
Current children cumulated vsize (KiB) 13932
[startup+1543.6 s]
/proc/loadavg: 2.00 2.01 1.81 3/95 17070
/proc/meminfo: memFree=1264888/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1529.46
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 152934 12 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792975 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1529.46
Current children cumulated vsize (KiB) 13932
[startup+1603.63 s]
/proc/loadavg: 2.00 2.00 1.82 3/95 17070
/proc/meminfo: memFree=1264824/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1588.94
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 158881 13 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1588.94
Current children cumulated vsize (KiB) 13932
[startup+1663.64 s]
/proc/loadavg: 2.00 2.00 1.83 3/95 17070
/proc/meminfo: memFree=1264888/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1648.4
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 164827 13 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1648.4
Current children cumulated vsize (KiB) 13932
[startup+1723.71 s]
/proc/loadavg: 2.00 2.00 1.83 4/95 17070
/proc/meminfo: memFree=1226232/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1707.93
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 170779 14 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134650496 0 0 4096 0 0 0 0 17 1 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1707.93
Current children cumulated vsize (KiB) 13932
[startup+1783.78 s]
/proc/loadavg: 2.00 2.00 1.84 3/88 17135
/proc/meminfo: memFree=1431728/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1767.64
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 176749 15 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1767.64
Current children cumulated vsize (KiB) 13932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.2 s]
/proc/loadavg: 2.00 2.00 1.84 3/88 17135
/proc/meminfo: memFree=1430768/2055920 swapFree=4192812/4192956
[pid=17069] ppid=17067 vsize=13932 CPUtime=1800.01
/proc/17069/stat : 17069 (solver) R 17067 17069 16631 0 -1 4194304 2562 0 0 0 179986 15 0 0 25 0 1 0 168180405 14266368 2530 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/17069/statm: 3483 2530 721 92 0 1827 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1816.21
CPU time (s): 1800.03
CPU user time (s): 1799.87
CPU system time (s): 0.155976
CPU usage (%): 99.109
Max. virtual memory (cumulated for all children) (KiB): 13932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2562
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= 64660
runsolver used 2.23966 s user time and 5.79612 s system time
The end
Begin job on node13 on Sun Jan 7 19:24:14 UTC 2007
IDJOB= 210411
IDBENCH= 4617
FILE ID= node13/210411-1168197854
PBS_JOBID= 3480513
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-25-23.xml
COMMAND LINE= /tmp/evaluation/210411-1168197854/mistral/bin/solver /tmp/evaluation/210411-1168197854/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-210411-1168197854 -o ROOT/results/node13/solver-210411-1168197854 -C 1800 -M 900 /tmp/evaluation/210411-1168197854/mistral/bin/solver /tmp/evaluation/210411-1168197854/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= d1e2f3220fab5fbd5475193200eb5868
RANDOM SEED= 256415947
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.247
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.247
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: 1406616 kB
Buffers: 63196 kB
Cached: 405596 kB
SwapCached: 0 kB
Active: 239336 kB
Inactive: 329844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1406616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3220 kB
Writeback: 0 kB
Mapped: 128360 kB
Slab: 64532 kB
Committed_AS: 5001676 kB
PageTables: 2596 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= 66320 MiB
End job on node13 on Sun Jan 7 19:54:30 UTC 2007