runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680471-1277460169/watcher-2680471-1277460169 -o /tmp/evaluation-result-2680471-1277460169/solver-2680471-1277460169 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680471-1277460169.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 28061
/proc/meminfo: memFree=1844900/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=9200 CPUtime=0
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 456 0 0 0 0 0 0 0 18 0 1 0 87309136 9420800 374 1992294400 134512640 135752675 4294795600 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 2300 374 134 303 0 556 0

[startup+0.0364699 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 28061
/proc/meminfo: memFree=1844900/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=12004 CPUtime=0.03
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 1074 0 0 0 3 0 0 0 20 0 1 0 87309136 12292096 992 1992294400 134512640 135752675 4294795600 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 3001 993 175 303 0 1257 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12004

[startup+0.100475 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 28061
/proc/meminfo: memFree=1844900/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=16124 CPUtime=0.09
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 2226 0 0 0 9 0 0 0 20 0 1 0 87309136 16510976 2065 1992294400 134512640 135752675 4294795600 18446744073709551615 135162482 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 4031 2065 264 303 0 2287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16124

[startup+0.300494 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 28061
/proc/meminfo: memFree=1844900/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=23856 CPUtime=0.29
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 4234 0 0 0 28 1 0 0 20 0 1 0 87309136 24428544 3959 1992294400 134512640 135752675 4294795600 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 5964 3959 542 303 0 4220 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23856

[startup+0.700536 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 28061
/proc/meminfo: memFree=1844900/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=28168 CPUtime=0.69
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 5873 0 0 0 67 2 0 0 21 0 1 0 87309136 28844032 5598 1992294400 134512640 135752675 4294795600 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 7042 5598 1111 303 0 5298 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28168

[startup+1.50062 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28062
/proc/meminfo: memFree=1823688/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=48256 CPUtime=1.49
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 12871 0 0 0 144 5 0 0 23 0 1 0 87309136 49414144 10932 1992294400 134512640 135752675 4294795600 18446744073709551615 134523912 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 12064 10932 141 303 0 11759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48256

[startup+3.10078 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28062
/proc/meminfo: memFree=1800996/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=48520 CPUtime=3.09
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 12929 0 0 0 302 7 0 0 25 0 1 0 87309136 49684480 10990 1992294400 134512640 135752675 4294795600 18446744073709551615 134524592 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 12130 10990 141 303 0 11825 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48520

[startup+6.30111 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28062
/proc/meminfo: memFree=1805832/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=42584 CPUtime=6.29
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 13018 0 0 0 614 15 0 0 25 0 1 0 87309136 43606016 9606 1992294400 134512640 135752675 4294795600 18446744073709551615 134611492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 10646 9606 144 303 0 10341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42584

[startup+12.7008 s]
/proc/loadavg: 1.07 1.00 0.92 2/107 28064
/proc/meminfo: memFree=1805956/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=42584 CPUtime=12.69
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 13019 0 0 0 1253 16 0 0 25 0 1 0 87309136 43606016 9607 1992294400 134512640 135752675 4294795600 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 10646 9607 145 303 0 10341 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42584

[startup+25.5011 s]
/proc/loadavg: 1.06 1.00 0.92 2/107 28064
/proc/meminfo: memFree=1806080/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=42584 CPUtime=25.49
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 13019 0 0 0 2532 17 0 0 25 0 1 0 87309136 43606016 9607 1992294400 134512640 135752675 4294795600 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 10646 9607 145 303 0 10341 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42584

[startup+51.1007 s]
/proc/loadavg: 1.04 1.00 0.92 2/107 28064
/proc/meminfo: memFree=1806080/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=42584 CPUtime=51.08
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 13019 0 0 0 5088 20 0 0 25 0 1 0 87309136 43606016 9607 1992294400 134512640 135752675 4294795600 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 10646 9607 145 303 0 10341 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42584

[startup+102.308 s]
/proc/loadavg: 1.06 1.01 0.93 2/107 28066
/proc/meminfo: memFree=1805956/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=42584 CPUtime=102.28
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 13019 0 0 0 10202 26 0 0 25 0 1 0 87309136 43606016 9607 1992294400 134512640 135752675 4294795600 18446744073709551615 134616042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 10646 9607 145 303 0 10341 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 42584

[startup+162.301 s]
/proc/loadavg: 1.06 1.02 0.93 2/107 28068
/proc/meminfo: memFree=1805956/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=42584 CPUtime=162.25
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 13019 0 0 0 16195 30 0 0 25 0 1 0 87309136 43606016 9607 1992294400 134512640 135752675 4294795600 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 10646 9607 145 303 0 10341 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 42584

[startup+222.301 s]
/proc/loadavg: 1.05 1.03 0.94 2/107 28068
/proc/meminfo: memFree=1788844/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=60764 CPUtime=222.23
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 69471 0 0 0 22165 58 0 0 25 0 1 0 87309136 62222336 13869 1992294400 134512640 135752675 4294795600 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 15191 13869 146 303 0 14886 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 60764

[startup+282.301 s]
/proc/loadavg: 1.13 1.05 0.95 2/107 28070
/proc/meminfo: memFree=1788844/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=60764 CPUtime=282.22
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 69471 0 0 0 28161 61 0 0 25 0 1 0 87309136 62222336 13869 1992294400 134512640 135752675 4294795600 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 15191 13869 146 303 0 14886 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 60764

[startup+342.3 s]
/proc/loadavg: 1.12 1.06 0.95 2/107 28072
/proc/meminfo: memFree=1788720/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=60764 CPUtime=342.2
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 69471 0 0 0 34155 65 0 0 25 0 1 0 87309136 62222336 13869 1992294400 134512640 135752675 4294795600 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 15191 13869 146 303 0 14886 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 60764

[startup+402.3 s]
/proc/loadavg: 1.16 1.08 0.96 2/107 28074
/proc/meminfo: memFree=1788224/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=61932 CPUtime=402.19
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 69756 0 0 0 40153 66 0 0 25 0 1 0 87309136 63418368 14154 1992294400 134512640 135752675 4294795600 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 15483 14154 146 303 0 15178 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 61932

[startup+462.3 s]
/proc/loadavg: 1.06 1.06 0.96 2/107 28076
/proc/meminfo: memFree=1787108/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=62920 CPUtime=462.17
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 70030 0 0 0 46150 67 0 0 25 0 1 0 87309136 64430080 14428 1992294400 134512640 135752675 4294795600 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 15730 14428 146 303 0 15425 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 62920

[startup+522.301 s]
/proc/loadavg: 1.02 1.05 0.96 2/107 28076
/proc/meminfo: memFree=1784752/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=65232 CPUtime=522.16
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 70603 0 0 0 52148 68 0 0 25 0 1 0 87309136 66797568 15001 1992294400 134512640 135752675 4294795600 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 16308 15001 146 303 0 16003 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 65232

[startup+582.301 s]
/proc/loadavg: 1.00 1.03 0.96 2/107 28078
/proc/meminfo: memFree=1769252/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=80556 CPUtime=582.14
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 74437 0 0 0 58130 84 0 0 25 0 1 0 87309136 82489344 18835 1992294400 134512640 135752675 4294795600 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 20139 18835 146 303 0 19834 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 80556

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 0.96 2/107 28080
/proc/meminfo: memFree=1753504/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=96380 CPUtime=642.13
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 78385 0 0 0 64117 96 0 0 25 0 1 0 87309136 98693120 22783 1992294400 134512640 135752675 4294795600 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 24095 22783 146 303 0 23790 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 96380

[startup+702.301 s]

################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28086
/proc/meminfo: memFree=1702044/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=147544 CPUtime=882.06
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 91169 0 0 0 88052 154 0 0 25 0 1 0 87309136 151085056 35567 1992294400 134512640 135752675 4294795600 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 36886 35567 146 303 0 36581 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 147544

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28088
/proc/meminfo: memFree=1692744/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=156976 CPUtime=942.05
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 93533 0 0 0 94045 160 0 0 25 0 1 0 87309136 160743424 37931 1992294400 134512640 135752675 4294795600 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 39244 37931 146 303 0 38939 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 156976

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28090
/proc/meminfo: memFree=1687536/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=162012 CPUtime=1002.03
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 94783 0 0 0 100036 167 0 0 25 0 1 0 87309136 165900288 39181 1992294400 134512640 135752675 4294795600 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 40503 39181 146 303 0 40198 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 162012

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28092
/proc/meminfo: memFree=1686048/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=163544 CPUtime=1062.02
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 95151 0 0 0 106034 168 0 0 25 0 1 0 87309136 167469056 39549 1992294400 134512640 135752675 4294795600 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 40886 39549 146 303 0 40581 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 163544

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28092
/proc/meminfo: memFree=1678980/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=170520 CPUtime=1122.01
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 96928 0 0 0 112023 178 0 0 25 0 1 0 87309136 174612480 41326 1992294400 134512640 135752675 4294795600 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 42630 41326 146 303 0 42325 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 170520

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28094
/proc/meminfo: memFree=1664472/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=184940 CPUtime=1181.98
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 100532 0 0 0 118009 189 0 0 25 0 1 0 87309136 189378560 44930 1992294400 134512640 135752675 4294795600 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 46235 44930 146 303 0 45930 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 184940

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28096
/proc/meminfo: memFree=1657156/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=192028 CPUtime=1241.97
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 102301 0 0 0 123999 198 0 0 25 0 1 0 87309136 196636672 46699 1992294400 134512640 135752675 4294795600 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 48007 46699 146 303 0 47702 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 192028

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28098
/proc/meminfo: memFree=1652196/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=196964 CPUtime=1301.96
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 103538 0 0 0 129991 205 0 0 25 0 1 0 87309136 201691136 47936 1992294400 134512640 135752675 4294795600 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 49241 47936 146 303 0 48936 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 196964

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28100
/proc/meminfo: memFree=1645252/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=203940 CPUtime=1361.94
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 105247 0 0 0 135978 216 0 0 25 0 1 0 87309136 208834560 49645 1992294400 134512640 135752675 4294795600 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 50985 49645 146 303 0 50680 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 203940

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28100
/proc/meminfo: memFree=1642772/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=206568 CPUtime=1421.93
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 105905 0 0 0 141976 217 0 0 25 0 1 0 87309136 211525632 50303 1992294400 134512640 135752675 4294795600 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 51642 50303 146 303 0 51337 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 206568

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28102
/proc/meminfo: memFree=1640292/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=208840 CPUtime=1481.91
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 106477 0 0 0 147972 219 0 0 25 0 1 0 87309136 213852160 50875 1992294400 134512640 135752675 4294795600 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 52210 50875 146 303 0 51905 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 208840

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28104
/proc/meminfo: memFree=1638308/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=210844 CPUtime=1541.89
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 106974 0 0 0 153970 219 0 0 25 0 1 0 87309136 215904256 51372 1992294400 134512640 135752675 4294795600 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 52711 51372 146 303 0 52406 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 210844

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28106
/proc/meminfo: memFree=1636820/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=212276 CPUtime=1601.88
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 107340 0 0 0 159968 220 0 0 25 0 1 0 87309136 217370624 51738 1992294400 134512640 135752675 4294795600 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 53069 51738 146 303 0 52764 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 212276

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28108
/proc/meminfo: memFree=1634712/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=214356 CPUtime=1661.86
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 107874 0 0 0 165962 224 0 0 25 0 1 0 87309136 219500544 52272 1992294400 134512640 135752675 4294795600 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 53589 52272 146 303 0 53284 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 214356

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28108
/proc/meminfo: memFree=1630868/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=218296 CPUtime=1721.85
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 108832 0 0 0 171958 227 0 0 25 0 1 0 87309136 223535104 53230 1992294400 134512640 135752675 4294795600 18446744073709551615 134638032 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 54574 53230 146 303 0 54269 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 218296

[startup+1782.3 s]
/proc/loadavg: 1.06 1.02 0.97 2/107 28113
/proc/meminfo: memFree=1627892/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=220548 CPUtime=1781.83
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 109405 0 0 0 177956 227 0 0 25 0 1 0 87309136 225841152 53803 1992294400 134512640 135752675 4294795600 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 55137 53803 146 303 0 54832 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 220548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.04 1.01 0.97 2/107 28113
/proc/meminfo: memFree=1627272/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=221420 CPUtime=1800.03
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 109641 0 0 0 179776 227 0 0 25 0 1 0 87309136 226734080 54039 1992294400 134512640 135752675 4294795600 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 55355 54039 146 303 0 55050 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 221420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.04 1.01 0.97 2/107 28113
/proc/meminfo: memFree=1627272/2059040 swapFree=4140428/4192956
[pid=28061] ppid=28059 vsize=221420 CPUtime=1800.03
/proc/28061/stat : 28061 (wbo1.4b) R 28059 28061 27500 0 -1 4202496 109641 0 0 0 179776 227 0 0 25 0 1 0 87309136 226734080 54039 1992294400 134512640 135752675 4294795600 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28061/statm: 55355 54039 146 303 0 55050 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 221420

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1797.77
CPU system time (s): 2.30465
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 221420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.77
system time used= 2.30465
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109641
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= 6
involuntary context switches= 13756

runsolver used 2.99954 second user time and 8.48371 second system time

The end