0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0
0.01 c variables............. 0
0.01 c predicates............ 0
0.01 c constraints........... 0.13
0.15 c Allocating memory
0.15 c
0.15 c time limit = -1
0.15 c heuristic = dom/wdeg
0.15 c restart policy = No restart
0.15 c
0.15 c Solving
0.15 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-198118-1168126924 -o ROOT/results/node4/solver-198118-1168126924 -C 1800 -M 900 /tmp/evaluation/198118-1168126924/mistral/bin/solver /tmp/evaluation/198118-1168126924/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.08 1.95 1.53 4/94 29910
/proc/meminfo: memFree=661120/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=6792 CPUtime=0
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 421 0 0 0 0 0 0 0 18 0 1 0 161088211 6955008 400 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 10559775 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 1698 402 363 92 0 30 0
[startup+0.108027 s]
/proc/loadavg: 2.08 1.95 1.53 4/94 29910
/proc/meminfo: memFree=661120/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=8104 CPUtime=0.1
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1094 0 0 0 10 0 0 0 18 0 1 0 161088211 8298496 1062 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2026 1062 706 92 0 370 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8104
[startup+0.516064 s]
/proc/loadavg: 2.08 1.95 1.53 4/94 29910
/proc/meminfo: memFree=661120/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11152 CPUtime=0.5
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1890 0 0 0 50 0 0 0 22 0 1 0 161088211 11419648 1858 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134799371 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2788 1858 718 92 0 1132 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 11152
[startup+1.33716 s]
/proc/loadavg: 2.08 1.95 1.53 3/94 29910
/proc/meminfo: memFree=656128/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11152 CPUtime=1.32
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1891 0 0 0 132 0 0 0 25 0 1 0 161088211 11419648 1859 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 11056092 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2788 1859 718 92 0 1132 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 11152
[startup+2.97429 s]
/proc/loadavg: 2.08 1.95 1.53 3/94 29910
/proc/meminfo: memFree=655360/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11152 CPUtime=2.96
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1891 0 0 0 295 1 0 0 25 0 1 0 161088211 11419648 1859 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134793515 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2788 1859 718 92 0 1132 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 11152
[startup+6.26561 s]
/proc/loadavg: 2.07 1.95 1.53 3/94 29910
/proc/meminfo: memFree=653440/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11152 CPUtime=6.25
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1891 0 0 0 624 1 0 0 25 0 1 0 161088211 11419648 1859 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134651156 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2788 1859 718 92 0 1132 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 11152
[startup+12.7478 s]
/proc/loadavg: 2.15 1.96 1.54 3/94 29910
/proc/meminfo: memFree=649600/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11152 CPUtime=12.73
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1891 0 0 0 1272 1 0 0 25 0 1 0 161088211 11419648 1859 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785555 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2788 1859 718 92 0 1132 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 11152
[startup+25.6055 s]
/proc/loadavg: 2.11 1.97 1.54 3/94 29910
/proc/meminfo: memFree=641792/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11152 CPUtime=25.58
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1891 0 0 0 2557 1 0 0 25 0 1 0 161088211 11419648 1859 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134715029 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2788 1859 718 92 0 1132 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 11152
[startup+51.2669 s]
/proc/loadavg: 2.15 1.98 1.56 3/94 29910
/proc/meminfo: memFree=626176/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11152 CPUtime=51.24
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1891 0 0 0 5122 2 0 0 25 0 1 0 161088211 11419648 1859 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2788 1859 718 92 0 1132 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 11152
[startup+102.554 s]
/proc/loadavg: 2.21 2.02 1.59 3/94 29910
/proc/meminfo: memFree=595008/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11152 CPUtime=102.5
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1891 0 0 0 10248 2 0 0 25 0 1 0 161088211 11419648 1859 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134651237 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2788 1859 718 92 0 1132 0
Current children cumulated CPU time (s) 102.5
Current children cumulated vsize (KiB) 11152
[startup+162.599 s]
/proc/loadavg: 2.24 2.06 1.63 3/94 29910
/proc/meminfo: memFree=559488/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=162.53
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 16250 3 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134715242 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 162.53
Current children cumulated vsize (KiB) 11156
[startup+222.642 s]
/proc/loadavg: 2.12 2.06 1.65 3/94 29910
/proc/meminfo: memFree=523520/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=222.55
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 22251 4 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134795073 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 222.55
Current children cumulated vsize (KiB) 11156
[startup+282.731 s]
/proc/loadavg: 2.11 2.06 1.68 3/94 29910
/proc/meminfo: memFree=486784/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=282.62
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 28257 5 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134715216 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 282.62
Current children cumulated vsize (KiB) 11156
[startup+342.775 s]
/proc/loadavg: 2.17 2.08 1.71 4/94 29918
/proc/meminfo: memFree=894912/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=342.65
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 34258 7 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134651297 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 342.65
Current children cumulated vsize (KiB) 11156
[startup+402.776 s]
/proc/loadavg: 2.19 2.11 1.74 4/94 29918
/proc/meminfo: memFree=459008/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=402.65
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 40257 8 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 402.65
Current children cumulated vsize (KiB) 11156
[startup+462.816 s]
/proc/loadavg: 2.07 2.08 1.75 3/94 29918
/proc/meminfo: memFree=458944/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=462.66
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 46258 8 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134784950 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 462.66
Current children cumulated vsize (KiB) 11156
[startup+522.849 s]
/proc/loadavg: 2.02 2.07 1.76 3/94 29918
/proc/meminfo: memFree=458816/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=522.68
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 52260 8 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708378 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 522.68
Current children cumulated vsize (KiB) 11156
[startup+582.916 s]
/proc/loadavg: 2.01 2.05 1.77 3/94 29918
/proc/meminfo: memFree=458752/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=582.73
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 58264 9 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134651147 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 582.73
Current children cumulated vsize (KiB) 11156
[startup+642.977 s]
/proc/loadavg: 2.06 2.06 1.79 3/94 29918
/proc/meminfo: memFree=458624/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=642.78
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 64269 9 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134795073 0 0 4096 0 0 0 0 17 1 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 642.78
Current children cumulated vsize (KiB) 11156
[startup+703.003 s]
/proc/loadavg: 2.02 2.04 1.80 3/88 29981
/proc/meminfo: memFree=1598128/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=702.56
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 70246 10 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 702.56
Current children cumulated vsize (KiB) 11156
[startup+763.027 s]
/proc/loadavg: 2.00 2.03 1.81 3/88 29981
/proc/meminfo: memFree=1594800/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=762.3
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 76220 10 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708368 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 11156
[startup+823.051 s]
/proc/loadavg: 2.00 2.02 1.82 3/88 29981
/proc/meminfo: memFree=1592560/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=822.02
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 82192 10 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 11056092 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 11156
[startup+883.072 s]
/proc/loadavg: 2.00 2.02 1.83 3/88 29981
/proc/meminfo: memFree=1591088/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=881.77
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 88166 11 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134784944 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 11156
[startup+943.097 s]
/proc/loadavg: 2.00 2.01 1.83 3/88 29981
/proc/meminfo: memFree=1589808/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=941.5
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 94139 11 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134793457 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 941.5
Current children cumulated vsize (KiB) 11156
[startup+1003.12 s]
/proc/loadavg: 2.00 2.01 1.84 3/88 29981
/proc/meminfo: memFree=1588720/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1001.21
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 100110 11 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1001.21
Current children cumulated vsize (KiB) 11156
[startup+1063.15 s]
/proc/loadavg: 2.00 2.00 1.84 3/88 29981
/proc/meminfo: memFree=1587632/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1060.96
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 106085 11 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792869 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1060.96
Current children cumulated vsize (KiB) 11156
[startup+1123.17 s]
/proc/loadavg: 2.00 2.00 1.85 3/88 29981
/proc/meminfo: memFree=1586736/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1120.7
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 112058 12 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134712820 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1120.7
Current children cumulated vsize (KiB) 11156
[startup+1183.22 s]
/proc/loadavg: 2.00 2.00 1.86 3/94 30125
/proc/meminfo: memFree=1584576/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1180.33
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 118012 21 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792852 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1180.33
Current children cumulated vsize (KiB) 11156
[startup+1243.26 s]
/proc/loadavg: 2.00 2.00 1.86 3/88 30179
/proc/meminfo: memFree=1585072/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1240.06
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 123974 32 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792847 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1240.06
Current children cumulated vsize (KiB) 11156
[startup+1303.29 s]
/proc/loadavg: 2.00 2.00 1.87 3/88 30179
/proc/meminfo: memFree=1583472/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1299.8
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 129948 32 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1299.8
Current children cumulated vsize (KiB) 11156
[startup+1363.31 s]
/proc/loadavg: 2.00 2.00 1.87 3/88 30179
/proc/meminfo: memFree=1582640/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1359.5
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 135918 32 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134651147 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1359.5
Current children cumulated vsize (KiB) 11156
[startup+1423.35 s]
/proc/loadavg: 2.00 2.00 1.88 3/88 30179
/proc/meminfo: memFree=1582128/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1419.24
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 141891 33 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792880 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1419.24
Current children cumulated vsize (KiB) 11156
[startup+1483.37 s]
/proc/loadavg: 2.00 2.00 1.89 3/88 30179
/proc/meminfo: memFree=1581616/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1478.98
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 147865 33 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134790530 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1478.98
Current children cumulated vsize (KiB) 11156
[startup+1543.4 s]
/proc/loadavg: 2.00 2.00 1.89 3/88 30179
/proc/meminfo: memFree=1580848/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1538.67
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 153834 33 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134651390 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1538.67
Current children cumulated vsize (KiB) 11156
[startup+1603.42 s]
/proc/loadavg: 2.07 2.02 1.90 3/88 30179
/proc/meminfo: memFree=1580592/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1598.41
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 159808 33 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134790414 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1598.41
Current children cumulated vsize (KiB) 11156
[startup+1663.45 s]
/proc/loadavg: 2.02 2.01 1.91 3/88 30179
/proc/meminfo: memFree=1580144/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1658.16
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 165783 33 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134651156 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1658.16
Current children cumulated vsize (KiB) 11156
[startup+1723.47 s]
/proc/loadavg: 2.01 2.00 1.91 3/88 30179
/proc/meminfo: memFree=1579120/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1717.85
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 171752 33 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792840 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1717.85
Current children cumulated vsize (KiB) 11156
[startup+1783.51 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 30179
/proc/meminfo: memFree=1578608/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1777.6
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 177726 34 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1777.6
Current children cumulated vsize (KiB) 11156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.08 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 30179
/proc/meminfo: memFree=1578544/2055920 swapFree=4182144/4192956
[pid=29909] ppid=29907 vsize=11156 CPUtime=1800.08
/proc/29909/stat : 29909 (solver) R 29907 29909 29665 0 -1 4194304 1892 0 0 0 179974 34 0 0 25 0 1 0 161088211 11423744 1860 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134651411 0 0 4096 0 0 0 0 17 0 0 0
/proc/29909/statm: 2789 1860 718 92 0 1133 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 11156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.09
CPU time (s): 1800.09
CPU user time (s): 1799.74
CPU system time (s): 0.344947
CPU usage (%): 99.6674
Max. virtual memory (cumulated for all children) (KiB): 11156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.344947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1892
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= 39052
runsolver used 1.92271 s user time and 5.22121 s system time
The end
Begin job on node4 on Sat Jan 6 23:42:05 UTC 2007
IDJOB= 198118
IDBENCH= 3535
FILE ID= node4/198118-1168126924
PBS_JOBID= 3477698
Free space on /tmp= 65987 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-70-12-a4.xml
COMMAND LINE= /tmp/evaluation/198118-1168126924/mistral/bin/solver /tmp/evaluation/198118-1168126924/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-198118-1168126924 -o ROOT/results/node4/solver-198118-1168126924 -C 1800 -M 900 /tmp/evaluation/198118-1168126924/mistral/bin/solver /tmp/evaluation/198118-1168126924/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 483ac62d54e72b858336bc42f0e6fa40
RANDOM SEED= 855891790
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.223
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.223
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: 662560 kB
Buffers: 20120 kB
Cached: 647148 kB
SwapCached: 2464 kB
Active: 862064 kB
Inactive: 470416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 662560 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 9248 kB
Writeback: 0 kB
Mapped: 682012 kB
Slab: 44248 kB
Committed_AS: 4684676 kB
PageTables: 3704 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= 66305 MiB
End job on node4 on Sun Jan 7 00:12:13 UTC 2007