runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4105534-1466253620/watcher-4105534-1466253620 -o /tmp/evaluation-result-4105534-1466253620/solver-4105534-1466253620 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466240166-29916 --watchdog 1960 open-wbo HOME/instance-4105534-1466253620.opb 

pid=1512
running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 1515
/proc/meminfo: memFree=30097656/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=5176 CPUtime=0 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 1042 0 0 0 0 0 0 0 20 0 1 0 27407282 5300224 918 33554432000 4194304 6059633 140736295421344 140734497646120 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 1294 919 810 456 0 153 0

[startup+0.100111 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 1515
/proc/meminfo: memFree=30097656/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=5832 CPUtime=0.09 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 1203 0 0 0 9 0 0 0 20 0 1 0 27407282 5971968 1079 33554432000 4194304 6059633 140736295421344 140734497646120 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 1458 1079 811 456 0 317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5832

[startup+0.200281 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 1515
/proc/meminfo: memFree=30097656/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=6352 CPUtime=0.19 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 1340 0 0 0 19 0 0 0 20 0 1 0 27407282 6504448 1216 33554432000 4194304 6059633 140736295421344 140734497646120 4636373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 1588 1216 811 456 0 447 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6352

[startup+0.300266 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 1515
/proc/meminfo: memFree=30097656/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=10448 CPUtime=0.29 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 2055 0 0 0 29 0 0 0 20 0 1 0 27407282 10698752 1754 33554432000 4194304 6059633 140736295421344 140734497646120 4284317 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 2612 1754 161 456 0 2148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10448

[startup+0.700268 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 1515
/proc/meminfo: memFree=30097656/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=13400 CPUtime=0.69 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 3828 0 0 0 69 0 0 0 20 0 1 0 27407282 13721600 2792 33554432000 4194304 6059633 140736295421344 140734497646120 4261137 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 3350 2792 184 456 0 2886 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13400

[startup+1.50028 s]
/proc/loadavg: 2.20 2.19 2.18 3/178 1516
/proc/meminfo: memFree=30084976/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=18816 CPUtime=1.49 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 5139 0 0 0 149 0 0 0 20 0 1 0 27407282 19267584 3667 33554432000 4194304 6059633 140736295421344 140736295420440 4262833 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 4704 3667 185 456 0 4240 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18816

[startup+3.10024 s]
/proc/loadavg: 2.19 2.18 2.18 3/178 1516
/proc/meminfo: memFree=30082184/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=20856 CPUtime=3.09 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 6479 0 0 0 309 0 0 0 20 0 1 0 27407282 21356544 4582 33554432000 4194304 6059633 140736295421344 140736295420168 4277781 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 5214 4582 185 456 0 4750 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20856

[startup+6.30027 s]
/proc/loadavg: 2.19 2.18 2.18 4/178 1516
/proc/meminfo: memFree=30066896/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=29212 CPUtime=6.29 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 6934 0 0 0 629 0 0 0 20 0 1 0 27407282 29913088 6564 33554432000 4194304 6059633 140736295421344 140736295419832 4278382 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 7303 6564 185 456 0 6839 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29212

[startup+12.7003 s]
/proc/loadavg: 2.16 2.18 2.17 4/178 1516
/proc/meminfo: memFree=30055680/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=36424 CPUtime=12.68 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 7717 0 0 0 1268 0 0 0 20 0 1 0 27407282 37298176 8356 33554432000 4194304 6059633 140736295421344 140736295419864 4255192 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 9106 8356 185 456 0 8642 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36424

[startup+25.5003 s]
/proc/loadavg: 2.13 2.17 2.17 4/178 1516
/proc/meminfo: memFree=30045788/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=48024 CPUtime=25.49 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 8604 0 0 0 2548 1 0 0 20 0 1 0 27407282 49176576 8071 33554432000 4194304 6059633 140736295421344 140736295419832 4262765 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 12006 8071 185 456 0 11542 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48024

[startup+51.1003 s]
/proc/loadavg: 2.22 2.19 2.18 3/176 1516
/proc/meminfo: memFree=30081356/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=66880 CPUtime=51.08 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 8875 0 0 0 5107 1 0 0 20 0 1 0 27407282 68485120 11339 33554432000 4194304 6059633 140736295421344 140736295419832 4277781 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 16720 11339 185 456 0 16256 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66880

[startup+102.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/177 1518
/proc/meminfo: memFree=29988984/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=97980 CPUtime=102.28 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 9801 0 0 0 10226 2 0 0 20 0 1 0 27407282 100331520 23502 33554432000 4194304 6059633 140736295421344 140736295419832 4262548 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 24495 23502 185 456 0 24031 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 97980

[startup+162.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 1519
/proc/meminfo: memFree=29973576/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=147300 CPUtime=162.27 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 10894 0 0 0 16222 5 0 0 20 0 1 0 27407282 150835200 33168 33554432000 4194304 6059633 140736295421344 140736295419880 4277574 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 36825 33168 185 456 0 36361 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 147300

[startup+222.307 s]
/proc/loadavg: 2.19 2.19 2.18 3/171 1555
/proc/meminfo: memFree=30112816/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=147300 CPUtime=222.27 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 11528 0 0 0 22220 7 0 0 20 0 1 0 27407282 150835200 34704 33554432000 4194304 6059633 140736295421344 140736295419880 4261778 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 36825 34704 185 456 0 36361 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 147300

[startup+282.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/177 1574
/proc/meminfo: memFree=27051524/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=147300 CPUtime=282.25 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 13130 0 0 0 28215 10 0 0 20 0 1 0 27407282 150835200 31632 33554432000 4194304 6059633 140736295421344 140736295419880 4277864 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 36825 31632 185 456 0 36361 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 147300

[startup+342.3 s]
/proc/loadavg: 2.26 2.22 2.19 3/177 1575
/proc/meminfo: memFree=27006240/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=147300 CPUtime=342.24 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 14741 0 0 0 34210 14 0 0 20 0 1 0 27407282 150835200 33717 33554432000 4194304 6059633 140736295421344 140736295419880 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 36825 33717 185 456 0 36361 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 147300

[startup+402.3 s]
/proc/loadavg: 2.32 2.24 2.19 4/177 1578
/proc/meminfo: memFree=27042160/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=97980 CPUtime=402.21 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 16152 0 0 0 40205 16 0 0 20 0 1 0 27407282 100331520 23843 33554432000 4194304 6059633 140736295421344 140736295420168 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 24495 23843 185 456 0 24031 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 97980

[startup+462.3 s]
/proc/loadavg: 2.38 2.27 2.20 3/177 1579
/proc/meminfo: memFree=26974604/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=178120 CPUtime=462.2 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 17763 0 0 0 46200 20 0 0 20 0 1 0 27407282 182394880 39463 33554432000 4194304 6059633 140736295421344 140736295420136 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 44530 39463 185 456 0 44066 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 178120

[startup+522.3 s]
/proc/loadavg: 2.30 2.26 2.20 3/177 1580
/proc/meminfo: memFree=26995088/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=147300 CPUtime=522.19 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 18782 0 0 0 52196 23 0 0 20 0 1 0 27407282 150835200 34788 33554432000 4194304 6059633 140736295421344 140736295419880 4277549 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 36825 34788 185 456 0 36361 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 147300

[startup+582.3 s]
/proc/loadavg: 2.31 2.27 2.20 4/178 1584
/proc/meminfo: memFree=26969032/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=178120 CPUtime=582.18 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 20183 0 0 0 58192 26 0 0 20 0 1 0 27407282 182394880 39975 33554432000 4194304 6059633 140736295421344 140736295420136 4262315 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 44530 39975 185 456 0 44066 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 178120


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


[startup+942.3 s]
/proc/loadavg: 2.32 2.28 2.22 4/177 1593
/proc/meminfo: memFree=26939080/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=178120 CPUtime=942.13 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 29009 0 0 0 94170 43 0 0 20 0 1 0 27407282 182394880 43047 33554432000 4194304 6059633 140736295421344 140736295420136 4261516 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 44530 43047 185 456 0 44066 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 178120

[startup+1002.3 s]
/proc/loadavg: 2.32 2.29 2.22 3/177 1595
/proc/meminfo: memFree=26940280/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=178120 CPUtime=1002.12 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 30650 0 0 0 100166 46 0 0 20 0 1 0 27407282 182394880 42535 33554432000 4194304 6059633 140736295421344 140736295420136 4278352 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 44530 42535 185 456 0 44066 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 178120

[startup+1062.3 s]
/proc/loadavg: 2.17 2.25 2.21 4/177 1596
/proc/meminfo: memFree=26936080/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=178120 CPUtime=1062.11 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 32293 0 0 0 106162 49 0 0 20 0 1 0 27407282 182394880 43047 33554432000 4194304 6059633 140736295421344 140736295420136 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 44530 43047 185 456 0 44066 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 178120

[startup+1122.3 s]
/proc/loadavg: 2.28 2.26 2.21 4/177 1597
/proc/meminfo: memFree=26937764/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=178120 CPUtime=1122.1 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 33935 0 0 0 112158 52 0 0 20 0 1 0 27407282 182394880 42535 33554432000 4194304 6059633 140736295421344 140736295420136 4261803 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 44530 42535 185 456 0 44066 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 178120

[startup+1182.3 s]
/proc/loadavg: 2.35 2.29 2.22 3/178 1601
/proc/meminfo: memFree=26946076/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=178120 CPUtime=1182.09 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 35575 0 0 0 118155 54 0 0 20 0 1 0 27407282 182394880 39975 33554432000 4194304 6059633 140736295421344 140736295420136 4278352 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 44530 39975 185 456 0 44066 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 178120

[startup+1242.3 s]
/proc/loadavg: 2.25 2.26 2.21 3/178 1626
/proc/meminfo: memFree=26953768/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=178120 CPUtime=1242.09 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 37212 0 0 0 124151 58 0 0 20 0 1 0 27407282 182394880 37415 33554432000 4194304 6059633 140736295421344 140736295420136 4255169 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 44530 37415 185 456 0 44066 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 178120

[startup+1302.3 s]
/proc/loadavg: 2.18 2.24 2.21 4/177 1628
/proc/meminfo: memFree=26898392/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=228208 CPUtime=1302.08 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 38055 0 0 0 130149 59 0 0 20 0 1 0 27407282 233684992 51540 33554432000 4194304 6059633 140736295421344 140736295420136 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 57052 51540 185 456 0 56588 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 228208

[startup+1362.3 s]
/proc/loadavg: 2.16 2.23 2.20 3/177 1629
/proc/meminfo: memFree=26896364/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=228208 CPUtime=1362.06 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 39703 0 0 0 136145 61 0 0 20 0 1 0 27407282 233684992 51540 33554432000 4194304 6059633 140736295421344 140736295420136 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 57052 51540 185 456 0 56588 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 228208

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.20 3/177 1630
/proc/meminfo: memFree=26915988/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=228208 CPUtime=1422.06 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 41346 0 0 0 142142 64 0 0 20 0 1 0 27407282 233684992 45396 33554432000 4194304 6059633 140736295421344 140736295420136 4277855 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 57052 45396 185 456 0 56588 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 228208

[startup+1482.3 s]
/proc/loadavg: 2.16 2.21 2.19 4/177 1631
/proc/meminfo: memFree=26932444/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=178120 CPUtime=1482.05 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 42173 0 0 0 148138 67 0 0 20 0 1 0 27407282 182394880 40487 33554432000 4194304 6059633 140736295421344 140736295420136 4278520 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 44530 40487 185 456 0 44066 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 178120

[startup+1542.31 s]
/proc/loadavg: 2.20 2.22 2.19 3/177 1632
/proc/meminfo: memFree=26863660/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=228208 CPUtime=1542.05 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 43017 0 0 0 154137 68 0 0 20 0 1 0 27407282 233684992 54612 33554432000 4194304 6059633 140736295421344 140736295420136 4277557 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 57052 54612 185 456 0 56588 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 228208

[startup+1602.3 s]
/proc/loadavg: 2.25 2.22 2.19 3/177 1634
/proc/meminfo: memFree=26871184/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=228208 CPUtime=1602.03 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 44736 0 0 0 160133 70 0 0 20 0 1 0 27407282 233684992 51073 33554432000 4194304 6059633 140736295421344 140736295420440 4278457 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 57052 51073 185 456 0 56588 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 228208

[startup+1662.3 s]
/proc/loadavg: 2.17 2.21 2.18 4/177 1635
/proc/meminfo: memFree=26891184/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=228208 CPUtime=1662.02 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 46346 0 0 0 166128 74 0 0 20 0 1 0 27407282 233684992 44845 33554432000 4194304 6059633 140736295421344 140736295420136 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 57052 44845 185 456 0 56588 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 228208

[startup+1722.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/177 1636
/proc/meminfo: memFree=26834124/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=309596 CPUtime=1722.01 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 47056 0 0 0 172126 75 0 0 20 0 1 0 27407282 317026304 58837 33554432000 4194304 6059633 140736295421344 140736295420136 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 77399 58837 185 456 0 76935 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 309596

[startup+1782.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/178 1641
/proc/meminfo: memFree=26864984/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=228208 CPUtime=1782 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 48706 0 0 0 178122 78 0 0 20 0 1 0 27407282 233684992 50519 33554432000 4194304 6059633 140736295421344 140736295420136 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 57052 50519 185 456 0 56588 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 228208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.35 2.24 2.19 4/178 1642
/proc/meminfo: memFree=26850712/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=228208 CPUtime=1800 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 48713 0 0 0 179922 78 0 0 20 0 1 0 27407282 233684992 54103 33554432000 4194304 6059633 140736295421344 140736295420136 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 57052 54103 185 456 0 56588 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 228208

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1515 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.35 2.24 2.19 4/178 1642
/proc/meminfo: memFree=26850712/32872528 swapFree=1400172/1569824
[pid=1515] ppid=1512 vsize=228208 CPUtime=1800 cores=0,2,4,6
/proc/1515/stat : 1515 (open-wbo) R 1512 1515 29900 0 -1 4202496 48713 0 0 0 179922 78 0 0 20 0 1 0 27407282 233684992 54103 33554432000 4194304 6059633 140736295421344 140736295420136 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/1515/statm: 57052 54103 185 456 0 56588 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 228208

Child status: 40
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.23
CPU system time (s): 0.78888
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 358916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.78888
maximum resident set size= 290352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48716
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= 24
involuntary context switches= 1861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5753 second user time and 6.88595 second system time

The end