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-4118793-1467243081/watcher-4118793-1467243081 -o /tmp/evaluation-result-4118793-1467243081/solver-4118793-1467243081 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467233435-8317 --watchdog 1960 open-wbo-lsu HOME/instance-4118793-1467243081.opb 

pid=9988
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.22 2.17 2.10 3/174 9991
/proc/meminfo: memFree=29819080/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=2684 CPUtime=0 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 428 0 0 0 0 0 0 0 20 0 1 0 5411828 2748416 303 33554432000 4194304 6058637 140736325055088 140737213029064 4235383 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 671 304 188 456 0 153 0

[startup+0.100161 s]
/proc/loadavg: 2.22 2.17 2.10 3/174 9991
/proc/meminfo: memFree=29819080/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=23808 CPUtime=0.09 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 4795 0 0 0 9 0 0 0 20 0 1 0 5411828 24379392 4875 33554432000 4194304 6058637 140736325055088 140737213029064 4294739 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 5952 4877 170 456 0 5488 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23808

[startup+0.200404 s]
/proc/loadavg: 2.22 2.17 2.10 3/174 9991
/proc/meminfo: memFree=29819080/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=46584 CPUtime=0.19 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 9100 0 0 0 18 1 0 0 20 0 1 0 5411828 47702016 10421 33554432000 4194304 6058637 140736325055088 140737213029064 4294863 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 11646 10421 170 456 0 11182 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46584

[startup+0.300326 s]
/proc/loadavg: 2.22 2.17 2.10 3/174 9991
/proc/meminfo: memFree=29819080/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=69372 CPUtime=0.28 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 12313 0 0 0 27 1 0 0 20 0 1 0 5411828 71036928 15167 33554432000 4194304 6058637 140736325055088 140737213029064 4588444 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 17343 15168 170 456 0 16879 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 69372

[startup+0.700297 s]
/proc/loadavg: 2.22 2.17 2.10 3/174 9991
/proc/meminfo: memFree=29819080/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=161544 CPUtime=0.69 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 23358 0 0 0 65 4 0 0 20 0 1 0 5411828 165421056 34803 33554432000 4194304 6058637 140736325055088 140736325053224 4294662 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 40386 34803 170 456 0 39922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 161544

[startup+1.5003 s]
/proc/loadavg: 2.22 2.17 2.10 4/175 9992
/proc/meminfo: memFree=29600464/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=372244 CPUtime=1.49 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 41053 0 0 0 141 8 0 0 20 0 1 0 5411828 381177856 71755 33554432000 4194304 6058637 140736325055088 140736325052952 4330192 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 93061 71755 170 456 0 92597 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 372244

[startup+3.10033 s]
/proc/loadavg: 2.22 2.17 2.10 4/175 9992
/proc/meminfo: memFree=29405900/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=668084 CPUtime=3.08 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 73726 0 0 0 292 16 0 0 20 0 1 0 5411828 684118016 144719 33554432000 4194304 6058637 140736325055088 140736325053224 5046461 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 167021 144719 170 456 0 166557 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 668084

[startup+6.30024 s]
/proc/loadavg: 2.20 2.16 2.10 3/174 9992
/proc/meminfo: memFree=28811260/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1505572 CPUtime=6.29 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 124934 0 0 0 599 30 0 0 20 0 1 0 5411828 1541705728 279578 33554432000 4194304 6058637 140736325055088 140736325053496 4251816 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 376393 279578 170 456 0 375929 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1505572

[startup+12.7004 s]
/proc/loadavg: 2.19 2.16 2.09 3/175 9993
/proc/meminfo: memFree=28301136/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1781048 CPUtime=12.68 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 193396 0 0 0 1227 41 0 0 20 0 1 0 5411828 1823793152 378620 33554432000 4194304 6058637 140736325055088 140736325053704 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 445262 378620 182 456 0 444798 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1781048

[startup+25.5004 s]
/proc/loadavg: 2.14 2.15 2.09 3/175 9993
/proc/meminfo: memFree=28287940/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1790156 CPUtime=25.48 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 195713 0 0 0 2506 42 0 0 20 0 1 0 5411828 1833119744 380937 33554432000 4194304 6058637 140736325055088 140736325053704 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 447539 380937 183 456 0 447075 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1790156

[startup+51.1004 s]
/proc/loadavg: 2.09 2.14 2.09 3/175 9993
/proc/meminfo: memFree=28303896/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1793544 CPUtime=51.08 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 196548 0 0 0 5066 42 0 0 20 0 1 0 5411828 1836589056 382283 33554432000 4194304 6058637 140736325055088 140736325053672 4278181 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 448386 382283 183 456 0 447922 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1793544

[startup+102.3 s]
/proc/loadavg: 2.14 2.14 2.09 3/175 9994
/proc/meminfo: memFree=28290304/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1794752 CPUtime=102.28 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 196839 0 0 0 10185 43 0 0 20 0 1 0 5411828 1837826048 383596 33554432000 4194304 6058637 140736325055088 140736325053704 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 448688 383596 183 456 0 448224 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1794752

[startup+162.3 s]
/proc/loadavg: 2.08 2.13 2.09 3/175 9995
/proc/meminfo: memFree=28271188/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1796308 CPUtime=162.26 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 197258 0 0 0 16183 43 0 0 20 0 1 0 5411828 1839419392 385548 33554432000 4194304 6058637 140736325055088 140736325053688 4277682 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 449077 385548 183 456 0 448613 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1796308

[startup+222.307 s]
/proc/loadavg: 2.09 2.12 2.09 4/175 9996
/proc/meminfo: memFree=28254496/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1797348 CPUtime=222.26 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 197492 0 0 0 22183 43 0 0 20 0 1 0 5411828 1840484352 386804 33554432000 4194304 6058637 140736325055088 140736325053704 4278177 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 449337 386804 183 456 0 448873 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1797348

[startup+282.3 s]
/proc/loadavg: 2.14 2.14 2.09 4/175 9997
/proc/meminfo: memFree=28269144/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1798444 CPUtime=282.24 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 197753 0 0 0 28181 43 0 0 20 0 1 0 5411828 1841606656 388087 33554432000 4194304 6058637 140736325055088 140736325053704 4277378 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 449611 388087 183 456 0 449147 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1798444

[startup+342.3 s]
/proc/loadavg: 2.31 2.19 2.11 3/175 9999
/proc/meminfo: memFree=28251516/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1799448 CPUtime=342.23 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 198032 0 0 0 34180 43 0 0 20 0 1 0 5411828 1842634752 389899 33554432000 4194304 6058637 140736325055088 140736325053704 4277672 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 449862 389899 183 456 0 449398 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1799448

[startup+402.3 s]
/proc/loadavg: 2.24 2.19 2.11 3/175 10000
/proc/meminfo: memFree=28232832/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1801300 CPUtime=402.22 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 198519 0 0 0 40179 43 0 0 20 0 1 0 5411828 1844531200 391870 33554432000 4194304 6058637 140736325055088 140736325053704 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 450325 391870 183 456 0 449861 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1801300

[startup+462.3 s]
/proc/loadavg: 2.31 2.23 2.13 4/175 10001
/proc/meminfo: memFree=28249428/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1801992 CPUtime=462.2 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 198705 0 0 0 46177 43 0 0 20 0 1 0 5411828 1845239808 393071 33554432000 4194304 6058637 140736325055088 140736325053688 4277682 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 450498 393071 183 456 0 450034 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1801992

[startup+522.3 s]
/proc/loadavg: 2.27 2.23 2.13 4/176 10005
/proc/meminfo: memFree=28231724/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1802676 CPUtime=522.18 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 198927 0 0 0 52174 44 0 0 20 0 1 0 5411828 1845940224 394813 33554432000 4194304 6058637 140736325055088 140736325053704 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 450669 394813 183 456 0 450205 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1802676

[startup+582.3 s]
/proc/loadavg: 2.13 2.20 2.12 3/175 10006
/proc/meminfo: memFree=28233360/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1803536 CPUtime=582.16 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 199129 0 0 0 58172 44 0 0 20 0 1 0 5411828 1846820864 397864 33554432000 4194304 6058637 140736325055088 140736325053688 4277672 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 450884 397864 183 456 0 450420 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1803536


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


[startup+882.307 s]
/proc/loadavg: 2.51 2.24 2.14 4/175 10012
/proc/meminfo: memFree=28178428/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1807068 CPUtime=882.09 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 200109 0 0 0 88164 45 0 0 20 0 1 0 5411828 1850437632 404901 33554432000 4194304 6058637 140736325055088 140736325053704 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 451767 404901 183 456 0 451303 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 1807068

[startup+942.3 s]
/proc/loadavg: 2.24 2.21 2.14 4/175 10014
/proc/meminfo: memFree=28185980/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1807548 CPUtime=942.06 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 200254 0 0 0 94161 45 0 0 20 0 1 0 5411828 1850929152 406633 33554432000 4194304 6058637 140736325055088 140736325053704 4277682 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 451887 406633 183 456 0 451423 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1807548

[startup+1002.3 s]
/proc/loadavg: 2.17 2.20 2.13 4/175 10015
/proc/meminfo: memFree=28170180/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1808392 CPUtime=1002.04 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 200479 0 0 0 100159 45 0 0 20 0 1 0 5411828 1851793408 407877 33554432000 4194304 6058637 140736325055088 140736325053704 4277672 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 452098 407877 183 456 0 451634 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1808392

[startup+1062.3 s]
/proc/loadavg: 2.06 2.16 2.12 3/174 10016
/proc/meminfo: memFree=28155516/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1808796 CPUtime=1062.03 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 200583 0 0 0 106158 45 0 0 20 0 1 0 5411828 1852207104 409000 33554432000 4194304 6058637 140736325055088 140736325053704 4277718 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 452199 409000 183 456 0 451735 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1808796

[startup+1122.3 s]
/proc/loadavg: 2.08 2.14 2.12 5/176 10021
/proc/meminfo: memFree=28166628/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1809332 CPUtime=1122.03 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 200714 0 0 0 112157 46 0 0 20 0 1 0 5411828 1852755968 410664 33554432000 4194304 6058637 140736325055088 140736325053704 4277357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 452333 410664 183 456 0 451869 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 1809332

[startup+1182.3 s]
/proc/loadavg: 2.14 2.15 2.12 4/176 10022
/proc/meminfo: memFree=28154708/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1809612 CPUtime=1182.02 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 200801 0 0 0 118156 46 0 0 20 0 1 0 5411828 1853042688 411773 33554432000 4194304 6058637 140736325055088 140736325053704 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 452403 411773 183 456 0 451939 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1809612

[startup+1242.3 s]
/proc/loadavg: 2.16 2.15 2.11 3/175 10023
/proc/meminfo: memFree=28139328/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1810324 CPUtime=1242.01 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 200959 0 0 0 124155 46 0 0 20 0 1 0 5411828 1853771776 412953 33554432000 4194304 6058637 140736325055088 140736325053704 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 452581 412953 183 456 0 452117 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1810324

[startup+1302.3 s]
/proc/loadavg: 2.13 2.14 2.11 4/175 10024
/proc/meminfo: memFree=28157016/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1811040 CPUtime=1302 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 201122 0 0 0 130154 46 0 0 20 0 1 0 5411828 1854504960 414649 33554432000 4194304 6058637 140736325055088 140736325053704 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 452760 414649 183 456 0 452296 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1811040

[startup+1362.3 s]
/proc/loadavg: 2.23 2.17 2.12 4/175 10025
/proc/meminfo: memFree=28143860/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1811408 CPUtime=1361.99 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 201241 0 0 0 136153 46 0 0 20 0 1 0 5411828 1854881792 415790 33554432000 4194304 6058637 140736325055088 140736325053704 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 452852 415790 183 456 0 452388 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1811408

[startup+1422.3 s]
/proc/loadavg: 2.19 2.16 2.12 3/175 10071
/proc/meminfo: memFree=19205832/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1811688 CPUtime=1421.98 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 201310 0 0 0 142152 46 0 0 20 0 1 0 5411828 1855168512 417392 33554432000 4194304 6058637 140736325055088 140736325053704 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 452922 417392 183 456 0 452458 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1811688

[startup+1482.3 s]
/proc/loadavg: 2.14 2.16 2.12 3/175 10118
/proc/meminfo: memFree=25340504/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1812244 CPUtime=1481.96 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 201433 0 0 0 148150 46 0 0 20 0 1 0 5411828 1855737856 418537 33554432000 4194304 6058637 140736325055088 140736325053704 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 453061 418537 183 456 0 452597 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1812244

[startup+1542.31 s]
/proc/loadavg: 2.14 2.16 2.11 3/175 10120
/proc/meminfo: memFree=25331016/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1812464 CPUtime=1541.96 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 201550 0 0 0 154150 46 0 0 20 0 1 0 5411828 1855963136 420139 33554432000 4194304 6058637 140736325055088 140736325053704 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 453116 420139 183 456 0 452652 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1812464

[startup+1602.3 s]
/proc/loadavg: 2.12 2.16 2.11 3/175 10121
/proc/meminfo: memFree=25499544/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1812844 CPUtime=1601.95 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 202238 0 0 0 160140 55 0 0 20 0 1 0 5411828 1856352256 377422 33554432000 4194304 6058637 140736325055088 140736325053704 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 453211 377422 184 456 0 452747 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1812844

[startup+1662.3 s]
/proc/loadavg: 2.16 2.17 2.12 3/175 10122
/proc/meminfo: memFree=25485372/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1813468 CPUtime=1661.94 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 202337 0 0 0 166139 55 0 0 20 0 1 0 5411828 1856991232 378543 33554432000 4194304 6058637 140736325055088 140736325053688 4246099 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 453367 378543 184 456 0 452903 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1813468

[startup+1722.3 s]
/proc/loadavg: 2.14 2.16 2.12 3/176 10126
/proc/meminfo: memFree=25469068/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1813908 CPUtime=1721.93 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 202437 0 0 0 172138 55 0 0 20 0 1 0 5411828 1857441792 379665 33554432000 4194304 6058637 140736325055088 140736325053704 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 453477 379665 184 456 0 453013 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1813908

[startup+1782.3 s]
/proc/loadavg: 2.08 2.14 2.11 4/176 10150
/proc/meminfo: memFree=25446332/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1814500 CPUtime=1781.92 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 202580 0 0 0 178137 55 0 0 20 0 1 0 5411828 1858048000 380830 33554432000 4194304 6058637 140736325055088 140736325053704 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 453625 380830 184 456 0 453161 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1814500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.14 2.11 3/176 10150
/proc/meminfo: memFree=25441196/32872528 swapFree=447588/480292
[pid=9991] ppid=9988 vsize=1814836 CPUtime=1800.01 cores=0,2,4,6
/proc/9991/stat : 9991 (open-wbo-lsu) R 9988 9991 3935 0 -1 4202496 202650 0 0 0 179946 55 0 0 20 0 1 0 5411828 1858392064 381411 33554432000 4194304 6058637 140736325055088 140736325053704 4278255 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9991/statm: 453709 381411 184 456 0 453245 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1814836

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 9991 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 40
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1799.47
CPU system time (s): 0.564914
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 2720512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.564914
maximum resident set size= 2308124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202652
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= 188
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.35473 second user time and 13.139 second system time

The end