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-4102036-1466236364/watcher-4102036-1466236364 -o /tmp/evaluation-result-4102036-1466236364/solver-4102036-1466236364 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466206113-7353 --watchdog 1960 open-wbo-lsu HOME/instance-4102036-1466236364.opb
pid=28003
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.01 2.05 2.07 3/176 28006
/proc/meminfo: memFree=30367488/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=7880 CPUtime=0 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 697 0 0 0 0 0 0 0 20 0 1 0 25686554 8069120 559 33554432000 4194304 6058637 140737230303376 140737230302872 4294662 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 1970 561 165 456 0 1506 0
[startup+0.100168 s]
/proc/loadavg: 2.01 2.05 2.07 3/176 28006
/proc/meminfo: memFree=30367488/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=38904 CPUtime=0.09 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 8124 0 0 0 8 1 0 0 20 0 1 0 25686554 39837696 8412 33554432000 4194304 6058637 140737230303376 140737230302872 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 9726 8421 165 456 0 9262 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38904
[startup+0.200375 s]
/proc/loadavg: 2.01 2.05 2.07 3/176 28006
/proc/meminfo: memFree=30367488/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=73068 CPUtime=0.18 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 15246 0 0 0 17 1 0 0 20 0 1 0 25686554 74821632 16819 33554432000 4194304 6058637 140737230303376 140737230301480 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 18267 16821 165 456 0 17803 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 73068
[startup+0.300353 s]
/proc/loadavg: 2.01 2.05 2.07 3/176 28006
/proc/meminfo: memFree=30367488/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=108708 CPUtime=0.29 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 20745 0 0 0 27 2 0 0 20 0 1 0 25686554 111316992 24220 33554432000 4194304 6058637 140737230303376 140737230301480 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 27177 24221 165 456 0 26713 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108708
[startup+0.700245 s]
/proc/loadavg: 2.01 2.05 2.07 3/176 28006
/proc/meminfo: memFree=30367488/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=181520 CPUtime=0.69 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 28685 0 0 0 65 4 0 0 20 0 1 0 25686554 185876480 39654 33554432000 4194304 6058637 140737230303376 140737230301480 5042188 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 45380 39655 166 456 0 44916 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 181520
[startup+1.50029 s]
/proc/loadavg: 2.01 2.05 2.07 3/177 28007
/proc/meminfo: memFree=30151152/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=342384 CPUtime=1.49 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 44191 0 0 0 141 8 0 0 20 0 1 0 25686554 350601216 69023 33554432000 4194304 6058637 140737230303376 140737230301480 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 85629 69024 166 456 0 85165 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 342384
[startup+3.10029 s]
/proc/loadavg: 2.01 2.05 2.07 3/177 28007
/proc/meminfo: memFree=29964204/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=576648 CPUtime=3.09 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 71951 0 0 0 293 16 0 0 20 0 1 0 25686554 590487552 130509 33554432000 4194304 6058637 140737230303376 140737230301480 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 144162 130509 166 456 0 143698 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 576648
[startup+6.30029 s]
/proc/loadavg: 2.01 2.05 2.07 3/177 28007
/proc/meminfo: memFree=29492000/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=1221720 CPUtime=6.28 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 119838 0 0 0 597 31 0 0 20 0 1 0 25686554 1251041280 245337 33554432000 4194304 6058637 140737230303376 140737230301480 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 305430 245338 166 456 0 304966 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1221720
[startup+12.7003 s]
/proc/loadavg: 2.01 2.05 2.07 3/177 28007
/proc/meminfo: memFree=28564516/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=2100108 CPUtime=12.69 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 209920 0 0 0 1211 58 0 0 20 0 1 0 25686554 2150510592 468043 33554432000 4194304 6058637 140737230303376 140737230301480 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 525027 468043 166 456 0 524563 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2100108
[startup+25.5004 s]
/proc/loadavg: 2.00 2.05 2.07 3/177 28007
/proc/meminfo: memFree=26776464/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=4643152 CPUtime=25.49 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 380042 0 0 0 2435 114 0 0 20 0 1 0 25686554 4754587648 898553 33554432000 4194304 6058637 140737230303376 140737230301480 4588464 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 1160788 898553 166 456 0 1160324 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4643152
[startup+51.1004 s]
/proc/loadavg: 2.00 2.04 2.07 3/177 28007
/proc/meminfo: memFree=23653804/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8248384 CPUtime=51.08 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 730843 0 0 0 4897 211 0 0 20 0 1 0 25686554 8446345216 1680183 33554432000 4194304 6058637 140737230303376 140737230301912 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2062096 1680183 170 456 0 2061632 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8248384
[startup+102.3 s]
/proc/loadavg: 2.07 2.05 2.07 4/177 28009
/proc/meminfo: memFree=24132672/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=7499184 CPUtime=102.28 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1030405 0 0 0 9886 342 0 0 20 0 1 0 25686554 7679164416 1540944 33554432000 4194304 6058637 140737230303376 140737230301480 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 1874796 1540944 170 456 0 1874332 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 7499184
[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.07 4/177 28010
/proc/meminfo: memFree=23991412/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=7606464 CPUtime=162.26 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1370483 0 0 0 15749 477 0 0 20 0 1 0 25686554 7789019136 1612630 33554432000 4194304 6058637 140737230303376 140737230301480 5042188 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 1901616 1612630 170 456 0 1901152 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 7606464
[startup+222.307 s]
/proc/loadavg: 2.06 2.05 2.07 3/177 28011
/proc/meminfo: memFree=22707324/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8924768 CPUtime=222.26 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1518291 0 0 0 21719 507 0 0 20 0 1 0 25686554 9138962432 1905051 33554432000 4194304 6058637 140737230303376 140737230301912 4278449 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2231192 1905051 184 456 0 2230728 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 8924768
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/177 28012
/proc/meminfo: memFree=22637548/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=282.25 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521840 0 0 0 27717 508 0 0 20 0 1 0 25686554 9177473024 1913198 33554432000 4194304 6058637 140737230303376 140737230301896 4277682 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1913198 184 456 0 2240130 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 8962376
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/177 28013
/proc/meminfo: memFree=22602000/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=342.23 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521851 0 0 0 33715 508 0 0 20 0 1 0 25686554 9177473024 1913711 33554432000 4194304 6058637 140737230303376 140737230301896 4246130 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1913711 184 456 0 2240130 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 8962376
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/177 28015
/proc/meminfo: memFree=22699504/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=402.22 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521855 0 0 0 39714 508 0 0 20 0 1 0 25686554 9177473024 1914735 33554432000 4194304 6058637 140737230303376 140737230301896 4277357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1914735 184 456 0 2240130 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 8962376
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/178 28019
/proc/meminfo: memFree=22661176/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=462.21 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521858 0 0 0 45713 508 0 0 20 0 1 0 25686554 9177473024 1915247 33554432000 4194304 6058637 140737230303376 140737230301896 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1915247 184 456 0 2240130 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 8962376
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/178 28043
/proc/meminfo: memFree=22622468/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=522.2 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521863 0 0 0 51712 508 0 0 20 0 1 0 25686554 9177473024 1915759 33554432000 4194304 6058637 140737230303376 140737230301896 4246122 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1915759 184 456 0 2240130 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 8962376
[startup+582.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/177 28044
/proc/meminfo: memFree=22694164/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=582.19 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521871 0 0 0 57710 509 0 0 20 0 1 0 25686554 9177473024 1916271 33554432000 4194304 6058637 140737230303376 140737230301896 4277969 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1916271 184 456 0 2240130 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 8962376
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 28051
/proc/meminfo: memFree=22601984/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=942.12 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521910 0 0 0 93703 509 0 0 20 0 1 0 25686554 9177473024 1919855 33554432000 4194304 6058637 140737230303376 140737230301896 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1919855 184 456 0 2240130 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 8962376
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.01 3/177 28052
/proc/meminfo: memFree=22562844/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1002.1 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521925 0 0 0 99701 509 0 0 20 0 1 0 25686554 9177473024 1920367 33554432000 4194304 6058637 140737230303376 140737230301896 4278210 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1920367 184 456 0 2240130 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 8962376
[startup+1062.3 s]
/proc/loadavg: 2.12 2.04 2.02 3/178 28057
/proc/meminfo: memFree=22663580/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1062.09 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521932 0 0 0 105700 509 0 0 20 0 1 0 25686554 9177473024 1920879 33554432000 4194304 6058637 140737230303376 140737230301896 4261600 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1920879 184 456 0 2240130 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 8962376
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/177 28058
/proc/meminfo: memFree=22624692/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1122.08 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521939 0 0 0 111699 509 0 0 20 0 1 0 25686554 9177473024 1921391 33554432000 4194304 6058637 140737230303376 140737230301896 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1921391 184 456 0 2240130 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 8962376
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/176 28059
/proc/meminfo: memFree=22589244/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1182.07 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521941 0 0 0 117698 509 0 0 20 0 1 0 25686554 9177473024 1921904 33554432000 4194304 6058637 140737230303376 140737230301896 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1921904 184 456 0 2240130 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 8962376
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 28061
/proc/meminfo: memFree=22546492/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1242.05 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521945 0 0 0 123696 509 0 0 20 0 1 0 25686554 9177473024 1922928 33554432000 4194304 6058637 140737230303376 140737230301896 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1922928 184 456 0 2240130 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 8962376
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 28062
/proc/meminfo: memFree=22664084/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1302.05 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521950 0 0 0 129695 510 0 0 20 0 1 0 25686554 9177473024 1923440 33554432000 4194304 6058637 140737230303376 140737230301896 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1923440 184 456 0 2240130 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 8962376
[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 28064
/proc/meminfo: memFree=22633124/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1362.04 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521954 0 0 0 135694 510 0 0 20 0 1 0 25686554 9177473024 1923952 33554432000 4194304 6058637 140737230303376 140737230301896 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1923952 184 456 0 2240130 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 8962376
[startup+1422.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 28110
/proc/meminfo: memFree=23448664/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1422.04 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521957 0 0 0 141694 510 0 0 20 0 1 0 25686554 9177473024 1924464 33554432000 4194304 6058637 140737230303376 140737230301896 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1924464 184 456 0 2240130 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 8962376
[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/177 28111
/proc/meminfo: memFree=23434072/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1482.01 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521979 0 0 0 147691 510 0 0 20 0 1 0 25686554 9177473024 1924976 33554432000 4194304 6058637 140737230303376 140737230301896 4246170 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1924976 184 456 0 2240130 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 8962376
[startup+1542.31 s]
/proc/loadavg: 2.04 2.06 2.01 3/177 28112
/proc/meminfo: memFree=23415444/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1542.01 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521984 0 0 0 153691 510 0 0 20 0 1 0 25686554 9177473024 1925488 33554432000 4194304 6058637 140737230303376 140737230301896 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1925488 184 456 0 2240130 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 8962376
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 28113
/proc/meminfo: memFree=23487516/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1601.98 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521993 0 0 0 159688 510 0 0 20 0 1 0 25686554 9177473024 1926000 33554432000 4194304 6058637 140737230303376 140737230301896 4278287 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1926000 184 456 0 2240130 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 8962376
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 28118
/proc/meminfo: memFree=23389516/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1661.97 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1521996 0 0 0 165687 510 0 0 20 0 1 0 25686554 9177473024 1928475 33554432000 4194304 6058637 140737230303376 140737230301896 4277959 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1928475 184 456 0 2240130 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 8962376
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28119
/proc/meminfo: memFree=23436780/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1721.96 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1522002 0 0 0 171686 510 0 0 20 0 1 0 25686554 9177473024 1930957 33554432000 4194304 6058637 140737230303376 140737230301896 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1930957 184 456 0 2240130 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 8962376
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28120
/proc/meminfo: memFree=23365756/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1781.95 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1522008 0 0 0 177685 510 0 0 20 0 1 0 25686554 9177473024 1932200 33554432000 4194304 6058637 140737230303376 140737230301896 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1932200 184 456 0 2240130 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 8962376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 28121
/proc/meminfo: memFree=23330160/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=8962376 CPUtime=1800.04 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202496 1522010 0 0 0 179494 510 0 0 20 0 1 0 25686554 9177473024 1932200 33554432000 4194304 6058637 140737230303376 140737230301896 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 2240594 1932200 184 456 0 2240130 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 8962376
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 28006 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 28121
/proc/meminfo: memFree=23330160/32872528 swapFree=526336/559040
[pid=28006] ppid=28003 vsize=0 CPUtime=1800.14 cores=0,2,4,6
/proc/28006/stat : 28006 (open-wbo-lsu) R 28003 28006 7337 0 -1 4202500 1522012 0 0 0 179494 520 0 0 20 0 1 0 25686554 0 0 33554432000 0 0 0 0 0 0 16384 4096 8404992 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28006/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child status: 40
Real time (s): 1800.56
CPU time (s): 1800.21
CPU user time (s): 1794.95
CPU system time (s): 5.2652
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 8962376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.95
system time used= 5.2652
maximum resident set size= 7728808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1522012
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= 143
involuntary context switches= 2077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52331 second user time and 6.94594 second system time
The end