0.20 c
0.20 c Parsing xml file
0.20 c domains............... 0
0.20 c variables............. 0
0.20 c predicates............ 0
0.20 c constraints........... 0.31
0.34 c Allocating memory
0.34 c
0.34 c time limit = -1
0.34 c heuristic = dom/wdeg
0.34 c restart policy = No restart
0.34 c
0.34 c Solving
0.34 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-215139-1168233557 -o ROOT/results/node61/solver-215139-1168233557 -C 1800 -M 900 /tmp/evaluation/215139-1168233557/mistral/bin/solver /tmp/evaluation/215139-1168233557/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.24 2.06 1.91 5/84 28201
/proc/meminfo: memFree=1703504/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=540 CPUtime=0
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 171753817 552960 26 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 10384164 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 135 26 21 92 0 18 0
[startup+0.103335 s]
/proc/loadavg: 2.24 2.06 1.91 5/84 28201
/proc/meminfo: memFree=1703504/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=7568 CPUtime=0.09
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 965 0 0 0 9 0 0 0 18 0 1 0 171753817 7749632 933 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4158036509 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 1892 933 701 92 0 236 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7568
[startup+0.511411 s]
/proc/loadavg: 2.24 2.06 1.91 5/84 28201
/proc/meminfo: memFree=1703504/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=0.49
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 49 0 0 0 22 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637595 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 12048
[startup+1.33256 s]
/proc/loadavg: 2.24 2.06 1.91 3/84 28201
/proc/meminfo: memFree=1697872/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1.3
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 130 0 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637573 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 12048
[startup+2.97484 s]
/proc/loadavg: 2.24 2.06 1.91 3/84 28201
/proc/meminfo: memFree=1697872/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=2.93
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 293 0 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710162 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 12048
[startup+6.25442 s]
/proc/loadavg: 2.22 2.06 1.91 3/84 28201
/proc/meminfo: memFree=1697616/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=6.19
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 619 0 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812547 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 12048
[startup+12.7306 s]
/proc/loadavg: 2.36 2.09 1.92 3/84 28201
/proc/meminfo: memFree=1697616/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=12.56
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 1256 0 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637305 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 12048
[startup+25.5558 s]
/proc/loadavg: 2.28 2.09 1.92 3/84 28201
/proc/meminfo: memFree=1697552/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=25.28
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 2528 0 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637600 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 12048
[startup+51.224 s]
/proc/loadavg: 2.18 2.08 1.92 3/84 28201
/proc/meminfo: memFree=1697040/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=50.68
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 5068 0 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637573 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 12048
[startup+102.5 s]
/proc/loadavg: 2.35 2.14 1.95 3/84 28201
/proc/meminfo: memFree=1696016/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=101.5
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 10150 0 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637159 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 12048
[startup+162.539 s]
/proc/loadavg: 2.16 2.13 1.95 3/84 28201
/proc/meminfo: memFree=1694544/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=161.19
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 16118 1 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637267 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 12048
[startup+222.639 s]
/proc/loadavg: 2.22 2.15 1.97 3/84 28201
/proc/meminfo: memFree=1693456/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=220.9
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 22089 1 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637600 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 220.9
Current children cumulated vsize (KiB) 12048
[startup+282.731 s]
/proc/loadavg: 2.24 2.15 1.98 3/84 28201
/proc/meminfo: memFree=1691984/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=280.5
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 28049 1 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637573 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 280.5
Current children cumulated vsize (KiB) 12048
[startup+342.761 s]
/proc/loadavg: 2.09 2.12 1.98 3/84 28201
/proc/meminfo: memFree=1690128/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=339.87
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 33986 1 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637678 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 339.87
Current children cumulated vsize (KiB) 12048
[startup+402.795 s]
/proc/loadavg: 2.03 2.10 1.98 3/84 28201
/proc/meminfo: memFree=1689424/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=399.24
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 39923 1 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708954 0 0 4096 0 0 0 0 17 1 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 399.24
Current children cumulated vsize (KiB) 12048
[startup+462.858 s]
/proc/loadavg: 2.01 2.08 1.98 7/84 28201
/proc/meminfo: memFree=1688400/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=458.79
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 45878 1 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 458.79
Current children cumulated vsize (KiB) 12048
[startup+522.898 s]
/proc/loadavg: 2.00 2.06 1.98 3/84 28201
/proc/meminfo: memFree=1687888/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=518.73
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 51872 1 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637537 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 518.73
Current children cumulated vsize (KiB) 12048
[startup+582.996 s]
/proc/loadavg: 2.15 2.10 2.00 3/81 28276
/proc/meminfo: memFree=1767136/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=578.74
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 57872 2 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812677 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 578.74
Current children cumulated vsize (KiB) 12048
[startup+643 s]
/proc/loadavg: 2.05 2.08 2.00 3/81 28276
/proc/meminfo: memFree=1767264/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=638.68
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 63866 2 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 638.68
Current children cumulated vsize (KiB) 12048
[startup+703.077 s]
/proc/loadavg: 2.02 2.06 2.00 3/81 28276
/proc/meminfo: memFree=1767264/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=698.7
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 69868 2 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812677 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 698.7
Current children cumulated vsize (KiB) 12048
[startup+763.15 s]
/proc/loadavg: 2.05 2.06 2.00 3/81 28276
/proc/meminfo: memFree=1767200/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=758.7
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 75868 2 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 758.7
Current children cumulated vsize (KiB) 12048
[startup+823.223 s]
/proc/loadavg: 2.02 2.05 2.00 3/81 28276
/proc/meminfo: memFree=1767200/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=818.71
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 81869 2 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637595 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 818.71
Current children cumulated vsize (KiB) 12048
[startup+883.263 s]
/proc/loadavg: 2.00 2.04 2.00 3/81 28276
/proc/meminfo: memFree=1767200/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=878.69
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 87867 2 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637617 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 878.69
Current children cumulated vsize (KiB) 12048
[startup+943.339 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 28276
/proc/meminfo: memFree=1767136/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=938.7
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 93867 3 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812691 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 938.7
Current children cumulated vsize (KiB) 12048
[startup+1003.35 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 28276
/proc/meminfo: memFree=1767136/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=998.64
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 99861 3 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637579 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 998.64
Current children cumulated vsize (KiB) 12048
[startup+1063.37 s]
/proc/loadavg: 2.07 2.03 2.00 3/81 28276
/proc/meminfo: memFree=1767072/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1058.61
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 105858 3 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812672 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1058.61
Current children cumulated vsize (KiB) 12048
[startup+1123.47 s]
/proc/loadavg: 2.06 2.04 2.00 3/81 28276
/proc/meminfo: memFree=1767072/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1118.63
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 111860 3 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637712 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1118.63
Current children cumulated vsize (KiB) 12048
[startup+1183.48 s]
/proc/loadavg: 2.07 2.04 2.00 3/81 28276
/proc/meminfo: memFree=1767008/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1178.58
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 117855 3 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722042 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1178.58
Current children cumulated vsize (KiB) 12048
[startup+1243.52 s]
/proc/loadavg: 2.02 2.03 2.00 3/81 28276
/proc/meminfo: memFree=1767008/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1238.58
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 123855 3 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812672 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1238.58
Current children cumulated vsize (KiB) 12048
[startup+1303.54 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 28276
/proc/meminfo: memFree=1767008/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1298.51
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 129848 3 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637546 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1298.51
Current children cumulated vsize (KiB) 12048
[startup+1363.64 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 28276
/proc/meminfo: memFree=1767008/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1358.55
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 135852 3 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637822 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1358.55
Current children cumulated vsize (KiB) 12048
[startup+1423.64 s]
/proc/loadavg: 2.05 2.03 2.00 3/81 28276
/proc/meminfo: memFree=1766944/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1418.49
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 141846 3 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637608 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1418.49
Current children cumulated vsize (KiB) 12048
[startup+1483.71 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 28276
/proc/meminfo: memFree=1766944/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1478.49
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 147846 3 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637293 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1478.49
Current children cumulated vsize (KiB) 12048
[startup+1543.79 s]
/proc/loadavg: 2.04 2.03 2.00 3/81 28276
/proc/meminfo: memFree=1766880/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1538.53
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 153849 4 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727388 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1538.53
Current children cumulated vsize (KiB) 12048
[startup+1603.86 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 28276
/proc/meminfo: memFree=1766880/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1598.53
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 159849 4 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637585 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1598.53
Current children cumulated vsize (KiB) 12048
[startup+1663.93 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 28276
/proc/meminfo: memFree=1766880/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1658.53
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 165849 4 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812554 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1658.53
Current children cumulated vsize (KiB) 12048
[startup+1724 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 28276
/proc/meminfo: memFree=1766880/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1718.54
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 171850 4 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637573 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1718.54
Current children cumulated vsize (KiB) 12048
[startup+1784.07 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 28276
/proc/meminfo: memFree=1766816/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1778.54
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 177850 4 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637818 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1778.54
Current children cumulated vsize (KiB) 12048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 28276
/proc/meminfo: memFree=1766816/2055920 swapFree=4192812/4192956
[pid=28200] ppid=28198 vsize=12048 CPUtime=1800.07
/proc/28200/stat : 28200 (solver) R 28198 28200 27384 0 -1 4194304 2114 0 0 0 180003 4 0 0 25 0 1 0 171753817 12337152 2082 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637287 0 0 4096 0 0 0 0 17 0 0 0
/proc/28200/statm: 3012 2082 716 92 0 1356 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 12048
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.63
CPU time (s): 1800.08
CPU user time (s): 1800.04
CPU system time (s): 0.047992
CPU usage (%): 99.6929
Max. virtual memory (cumulated for all children) (KiB): 12048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.047992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2114
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= 20462
runsolver used 1.80672 s user time and 5.04323 s system time
The end
Begin job on node61 on Mon Jan 8 05:19:20 UTC 2007
IDJOB= 215139
IDBENCH= 4978
FILE ID= node61/215139-1168233557
PBS_JOBID= 3481387
Free space on /tmp= 66515 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32c3.xml
COMMAND LINE= /tmp/evaluation/215139-1168233557/mistral/bin/solver /tmp/evaluation/215139-1168233557/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-215139-1168233557 -o ROOT/results/node61/solver-215139-1168233557 -C 1800 -M 900 /tmp/evaluation/215139-1168233557/mistral/bin/solver /tmp/evaluation/215139-1168233557/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= dd966be8001f816dd63643010dafbe63
RANDOM SEED= 310377567
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.259
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.259
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: 1703984 kB
Buffers: 38196 kB
Cached: 124528 kB
SwapCached: 0 kB
Active: 217216 kB
Inactive: 77144 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1703984 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3668 kB
Writeback: 0 kB
Mapped: 152320 kB
Slab: 42880 kB
Committed_AS: 4517392 kB
PageTables: 2020 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= 66515 MiB
End job on node61 on Mon Jan 8 05:49:27 UTC 2007