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-4086426-1465243158/watcher-4086426-1465243158 -o /tmp/evaluation-result-4086426-1465243158/solver-4086426-1465243158 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465223432-16631 --watchdog 1960 open-wbo HOME/instance-4086426-1465243158.opb
pid=20884
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.00 2.00 2.00 3/178 20887
/proc/meminfo: memFree=31946052/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=2716 CPUtime=0 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 1 0 106247879 2781184 282 33554432000 4194304 6059633 140736517859808 140735146154968 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 679 282 162 456 0 187 0
[startup+0.100159 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20887
/proc/meminfo: memFree=31946052/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=9476 CPUtime=0.09 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 1101 0 0 0 9 0 0 0 20 0 1 0 106247879 9703424 942 33554432000 4194304 6059633 140736517859808 140735146154968 5268791 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 2369 942 163 456 0 1905 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9476
[startup+0.20029 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20887
/proc/meminfo: memFree=31946052/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=11104 CPUtime=0.19 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 1527 0 0 0 19 0 0 0 20 0 1 0 106247879 11370496 1358 33554432000 4194304 6059633 140736517859808 140735146154968 4280227 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 2776 1358 182 456 0 2312 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11104
[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20887
/proc/meminfo: memFree=31946052/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=11236 CPUtime=0.29 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 1616 0 0 0 29 0 0 0 20 0 1 0 106247879 11505664 1955 33554432000 4194304 6059633 140736517859808 140735146154968 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 2809 1955 183 456 0 2345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11236
[startup+0.700232 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20887
/proc/meminfo: memFree=31946052/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=8160 CPUtime=0.69 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 1885 0 0 0 69 0 0 0 20 0 1 0 106247879 8355840 1572 33554432000 4194304 6059633 140736517859808 140735146154968 4263112 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 2040 1572 185 456 0 1576 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8160
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20888
/proc/meminfo: memFree=31939620/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=10088 CPUtime=1.49 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 2679 0 0 0 149 0 0 0 20 0 1 0 106247879 10330112 2057 33554432000 4194304 6059633 140736517859808 140736517858296 4261123 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 2522 2057 185 456 0 2058 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10088
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20888
/proc/meminfo: memFree=31935960/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=12768 CPUtime=3.09 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 2861 0 0 0 309 0 0 0 20 0 1 0 106247879 13074432 2741 33554432000 4194304 6059633 140736517859808 140736517858904 4261764 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 3192 2741 185 456 0 2728 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12768
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20888
/proc/meminfo: memFree=31935172/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=15920 CPUtime=6.29 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 3310 0 0 0 629 0 0 0 20 0 1 0 106247879 16302080 3180 33554432000 4194304 6059633 140736517859808 140736517858904 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 3980 3180 185 456 0 3516 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15920
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20888
/proc/meminfo: memFree=31932824/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=15920 CPUtime=12.69 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 3558 0 0 0 1269 0 0 0 20 0 1 0 106247879 16302080 3414 33554432000 4194304 6059633 140736517859808 140736517858904 4262704 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 3980 3414 185 456 0 3516 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15920
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20888
/proc/meminfo: memFree=31927376/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=21280 CPUtime=25.48 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 4624 0 0 0 2548 0 0 0 20 0 1 0 106247879 21790720 4927 33554432000 4194304 6059633 140736517859808 140736517858328 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 5320 4927 185 456 0 4856 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21280
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20891
/proc/meminfo: memFree=31919308/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=30952 CPUtime=51.08 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 5977 0 0 0 5107 1 0 0 20 0 1 0 106247879 31694848 6934 33554432000 4194304 6059633 140736517859808 140736517858296 4246322 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 7738 6934 185 456 0 7274 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30952
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20892
/proc/meminfo: memFree=31910116/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=38024 CPUtime=102.27 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 6674 0 0 0 10226 1 0 0 20 0 1 0 106247879 38936576 9129 33554432000 4194304 6059633 140736517859808 140736517858328 4278354 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 9506 9129 185 456 0 9042 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 38024
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 20962
/proc/meminfo: memFree=31977972/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=45208 CPUtime=162.26 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 7507 0 0 0 16225 1 0 0 20 0 1 0 106247879 46292992 10927 33554432000 4194304 6059633 140736517859808 140736517858904 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 11302 10927 185 456 0 10838 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 45208
[startup+222.307 s]
/proc/loadavg: 2.09 2.04 2.01 3/179 20964
/proc/meminfo: memFree=31965340/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=45208 CPUtime=222.25 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 7508 0 0 0 22224 1 0 0 20 0 1 0 106247879 46292992 10927 33554432000 4194304 6059633 140736517859808 140736517858904 4278288 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 11302 10927 185 456 0 10838 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 45208
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 20965
/proc/meminfo: memFree=31943896/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=68516 CPUtime=282.24 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 8077 0 0 0 28222 2 0 0 20 0 1 0 106247879 70160384 15135 33554432000 4194304 6059633 140736517859808 140736517858904 4255375 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 17129 15135 185 456 0 16665 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 68516
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 20966
/proc/meminfo: memFree=31929808/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=68516 CPUtime=342.23 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 8078 0 0 0 34221 2 0 0 20 0 1 0 106247879 70160384 15135 33554432000 4194304 6059633 140736517859808 140736517858904 4255416 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 17129 15135 185 456 0 16665 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 68516
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20967
/proc/meminfo: memFree=31925952/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=68516 CPUtime=402.22 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 8079 0 0 0 40220 2 0 0 20 0 1 0 106247879 70160384 15647 33554432000 4194304 6059633 140736517859808 140736517858904 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 17129 15647 185 456 0 16665 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 68516
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20968
/proc/meminfo: memFree=31922664/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=68516 CPUtime=462.21 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 8080 0 0 0 46219 2 0 0 20 0 1 0 106247879 70160384 16159 33554432000 4194304 6059633 140736517859808 140736517858904 4277689 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 17129 16159 185 456 0 16665 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 68516
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20970
/proc/meminfo: memFree=31914468/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=68516 CPUtime=522.2 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 8081 0 0 0 52218 2 0 0 20 0 1 0 106247879 70160384 16671 33554432000 4194304 6059633 140736517859808 140736517858904 4277832 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 17129 16671 185 456 0 16665 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 68516
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20971
/proc/meminfo: memFree=31914208/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=68516 CPUtime=582.2 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 8246 0 0 0 58217 3 0 0 20 0 1 0 106247879 70160384 16757 33554432000 4194304 6059633 140736517859808 140736517858632 4277932 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 17129 16757 185 456 0 16665 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 68516
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20981
/proc/meminfo: memFree=31879236/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=80008 CPUtime=942.14 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 9752 0 0 0 94207 7 0 0 20 0 1 0 106247879 81928192 19633 33554432000 4194304 6059633 140736517859808 140736517858632 4277945 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 20002 19633 185 456 0 19538 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 80008
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20982
/proc/meminfo: memFree=31868248/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=90920 CPUtime=1002.13 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 10094 0 0 0 100205 8 0 0 20 0 1 0 106247879 93102080 22361 33554432000 4194304 6059633 140736517859808 140736517858632 4277864 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22730 22361 185 456 0 22266 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 90920
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20983
/proc/meminfo: memFree=31868176/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=90920 CPUtime=1062.12 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 10175 0 0 0 106203 9 0 0 20 0 1 0 106247879 93102080 22361 33554432000 4194304 6059633 140736517859808 140736517858632 4278389 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22730 22361 185 456 0 22266 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 90920
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20984
/proc/meminfo: memFree=31867800/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=90920 CPUtime=1122.11 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 10337 0 0 0 112201 10 0 0 20 0 1 0 106247879 93102080 22361 33554432000 4194304 6059633 140736517859808 140736517858632 4277560 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22730 22361 185 456 0 22266 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 90920
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 20986
/proc/meminfo: memFree=31867672/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=90920 CPUtime=1182.11 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 10419 0 0 0 118200 11 0 0 20 0 1 0 106247879 93102080 22361 33554432000 4194304 6059633 140736517859808 140736517858632 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22730 22361 185 456 0 22266 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 90920
[startup+1242.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 20987
/proc/meminfo: memFree=31795368/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=140240 CPUtime=1242.09 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 10583 0 0 0 124197 12 0 0 20 0 1 0 106247879 143605760 32663 33554432000 4194304 6059633 140736517859808 140736517858344 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 35060 32663 185 456 0 34596 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 140240
[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/180 20991
/proc/meminfo: memFree=31834184/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=90920 CPUtime=1302.09 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 10667 0 0 0 130196 13 0 0 20 0 1 0 106247879 93102080 22361 33554432000 4194304 6059633 140736517859808 140736517858632 4277879 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22730 22361 185 456 0 22266 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 90920
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 20992
/proc/meminfo: memFree=31830460/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=140240 CPUtime=1362.07 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 10831 0 0 0 136193 14 0 0 20 0 1 0 106247879 143605760 31639 33554432000 4194304 6059633 140736517859808 140736517858344 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 35060 31639 185 456 0 34596 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 140240
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 20993
/proc/meminfo: memFree=31867072/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=90920 CPUtime=1422.08 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 10920 0 0 0 142193 15 0 0 20 0 1 0 106247879 93102080 22361 33554432000 4194304 6059633 140736517859808 140736517858632 4278418 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22730 22361 185 456 0 22266 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 90920
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 20996
/proc/meminfo: memFree=31867188/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=90920 CPUtime=1482.06 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 11005 0 0 0 148190 16 0 0 20 0 1 0 106247879 93102080 22361 33554432000 4194304 6059633 140736517859808 140736517858904 4278369 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22730 22361 185 456 0 22266 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 90920
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20997
/proc/meminfo: memFree=31867312/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=90920 CPUtime=1542.05 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 11088 0 0 0 154189 16 0 0 20 0 1 0 106247879 93102080 22361 33554432000 4194304 6059633 140736517859808 140736517858632 4278011 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22730 22361 185 456 0 22266 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 90920
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20998
/proc/meminfo: memFree=31867552/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=90920 CPUtime=1602.04 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 11170 0 0 0 160187 17 0 0 20 0 1 0 106247879 93102080 22361 33554432000 4194304 6059633 140736517859808 140736517858632 4246344 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22730 22361 185 456 0 22266 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 90920
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20999
/proc/meminfo: memFree=31867300/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=91240 CPUtime=1662.03 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 11253 0 0 0 166186 17 0 0 20 0 1 0 106247879 93429760 22362 33554432000 4194304 6059633 140736517859808 140736517858296 4277864 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22810 22362 185 456 0 22346 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 91240
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 21000
/proc/meminfo: memFree=31829944/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=91240 CPUtime=1722.02 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 11417 0 0 0 172184 18 0 0 20 0 1 0 106247879 93429760 22441 33554432000 4194304 6059633 140736517859808 140736517858632 4277874 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22810 22441 185 456 0 22346 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 91240
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21002
/proc/meminfo: memFree=31831696/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=91240 CPUtime=1782.02 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 11501 0 0 0 178183 19 0 0 20 0 1 0 106247879 93429760 22441 33554432000 4194304 6059633 140736517859808 140736517858632 4278389 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 22810 22441 185 456 0 22346 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 91240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21002
/proc/meminfo: memFree=31829648/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=140560 CPUtime=1800.01 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 11581 0 0 0 179982 19 0 0 20 0 1 0 106247879 143933440 31719 33554432000 4194304 6059633 140736517859808 140736517858344 4277864 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 35140 31719 185 456 0 34676 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 140560
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 20887 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21002
/proc/meminfo: memFree=31829648/32872528 swapFree=8144/8144
[pid=20887] ppid=20884 vsize=140560 CPUtime=1800.01 cores=0,2,4,6
/proc/20887/stat : 20887 (open-wbo) R 20884 20887 16615 0 -1 4202496 11581 0 0 0 179982 19 0 0 20 0 1 0 106247879 143933440 31719 33554432000 4194304 6059633 140736517859808 140736517858344 4277864 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/20887/statm: 35140 31719 185 456 0 34676 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 140560
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.82
CPU system time (s): 0.197969
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 140560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.197969
maximum resident set size= 136796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11584
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= 12
involuntary context switches= 1871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68629 second user time and 6.77497 second system time
The end