runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (63051 MiB free)
  memory of node 1: 64473 MiB (63469 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459224-1722833202/watcher-4459224-1722833202 -o /tmp/evaluation-result-4459224-1722833202/solver-4459224-1722833202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722829637-274431 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4459224-1722833202.opb -t 3558 -s 185339864 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=276436, runsolver pid=276433

[startup+0.1001 s]*
/proc/loadavg: 4.08 4.21 4.23 5/241 276437
/proc/meminfo: memFree=129518176/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=52968 memory=42924 CPUtime=0.1 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 8767 0 0 0 10 0 0 0 20 0 1 0 49917250 54239232 10731 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 13242 10731 2429 2403 0 10352 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52968 KiB
Current children cumulated memory: 42924 KiB

[startup+0.213174 s]*
/proc/loadavg: 4.08 4.21 4.23 5/241 276437
/proc/meminfo: memFree=129504240/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=54428 memory=44280 CPUtime=0.21 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 9077 0 0 0 21 0 0 0 20 0 1 0 49917250 55734272 11070 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 13607 11070 2445 2403 0 10717 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54428 KiB
Current children cumulated memory: 44280 KiB

[startup+0.312573 s]*
/proc/loadavg: 4.08 4.21 4.23 5/241 276437
/proc/meminfo: memFree=129494264/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=54428 memory=44280 CPUtime=0.31 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 9098 0 0 0 31 0 0 0 20 0 1 0 49917250 55734272 11070 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 13607 11070 2445 2403 0 10717 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54428 KiB
Current children cumulated memory: 44280 KiB

[startup+0.700313 s]
/proc/loadavg: 4.08 4.21 4.23 5/241 276437
/proc/meminfo: memFree=129488888/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=69068 memory=57148 CPUtime=0.68 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 14018 0 0 0 67 1 0 0 20 0 1 0 49917250 70725632 14287 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 17267 14287 2461 2403 0 14377 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69068 KiB
Current children cumulated memory: 57148 KiB

[startup+1.50028 s]
/proc/loadavg: 4.08 4.21 4.23 6/237 276474
/proc/meminfo: memFree=129464392/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=69068 memory=57412 CPUtime=1.48 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 14094 0 0 0 147 1 0 0 20 0 1 0 49917250 70725632 14353 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 17267 14353 2461 2403 0 14377 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69068 KiB
Current children cumulated memory: 57412 KiB

[startup+3.11305 s]
/proc/loadavg: 4.08 4.20 4.23 6/238 276535
/proc/meminfo: memFree=129003592/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=70820 memory=60052 CPUtime=3.09 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 14772 0 0 0 308 1 0 0 20 0 1 0 49917250 72519680 15013 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 17705 15013 2461 2403 0 14815 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70820 KiB
Current children cumulated memory: 60052 KiB

[startup+6.30025 s]
/proc/loadavg: 4.08 4.20 4.23 5/241 276577
/proc/meminfo: memFree=128193896/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=78872 memory=64804 CPUtime=6.26 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 15941 0 0 0 625 1 0 0 20 0 1 0 49917250 80764928 16201 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 19718 16201 2461 2403 0 16828 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 78872 KiB
Current children cumulated memory: 64804 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.22 4.24 5/241 276578
/proc/meminfo: memFree=126968692/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=87524 memory=70348 CPUtime=12.65 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 17362 0 0 0 1263 2 0 0 20 0 1 0 49917250 89624576 17587 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 21881 17587 2461 2403 0 18991 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 87524 KiB
Current children cumulated memory: 70348 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.21 4.23 5/241 276580
/proc/meminfo: memFree=126942224/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=95380 memory=78472 CPUtime=25.4 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 19754 0 0 0 2538 2 0 0 20 0 1 0 49917250 97669120 19618 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 23845 19618 2461 2403 0 20955 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 95380 KiB
Current children cumulated memory: 78472 KiB

[startup+51.1132 s]
/proc/loadavg: 4.15 4.21 4.23 5/241 276584
/proc/meminfo: memFree=126858456/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=95380 memory=78472 CPUtime=50.92 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 19754 0 0 0 5090 2 0 0 20 0 1 0 49917250 97669120 19618 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 23845 19618 2461 2403 0 20955 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 95380 KiB
Current children cumulated memory: 78472 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.19 4.22 5/241 276594
/proc/meminfo: memFree=126769972/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=101804 memory=80564 CPUtime=101.91 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 20280 0 0 0 10189 2 0 0 20 0 1 0 49917250 104247296 20141 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 25451 20141 2461 2403 0 22561 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 101804 KiB
Current children cumulated memory: 80564 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.21 6/241 276605
/proc/meminfo: memFree=125666292/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=118892 memory=101264 CPUtime=161.71 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 24084 0 0 0 16168 3 0 0 20 0 1 0 49917250 121745408 25316 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 29723 25316 2461 2403 0 26833 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 118892 KiB
Current children cumulated memory: 101264 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.20 5/241 276616
/proc/meminfo: memFree=125601908/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=131068 memory=121340 CPUtime=221.54 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 27666 0 0 0 22151 3 0 0 20 0 1 0 49917250 134213632 30335 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 32767 30335 2461 2403 0 29877 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 131068 KiB
Current children cumulated memory: 121340 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.15 4.19 5/243 276630
/proc/meminfo: memFree=125564916/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=146088 memory=130648 CPUtime=281.38 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 30723 0 0 0 28134 4 0 0 20 0 1 0 49917250 149594112 32662 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 36522 32662 2477 2403 0 33632 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 146088 KiB
Current children cumulated memory: 130648 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.13 4.18 5/243 276641
/proc/meminfo: memFree=125517384/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=166616 memory=149272 CPUtime=341.22 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 35495 0 0 0 34117 5 0 0 20 0 1 0 49917250 170614784 37318 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 41654 37318 2477 2403 0 38764 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 166616 KiB
Current children cumulated memory: 149272 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.16 4.18 5/243 276652
/proc/meminfo: memFree=125496804/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=166616 memory=149536 CPUtime=401.06 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 35559 0 0 0 40101 5 0 0 20 0 1 0 49917250 170614784 37384 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 41654 37384 2477 2403 0 38764 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 166616 KiB
Current children cumulated memory: 149536 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.14 4.18 5/243 276662
/proc/meminfo: memFree=125474276/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=166616 memory=149568 CPUtime=460.91 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 35608 0 0 0 46086 5 0 0 20 0 1 0 49917250 170614784 37392 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0

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

/proc/loadavg: 4.12 4.23 4.18 5/242 278348
/proc/meminfo: memFree=126298492/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3215.12 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44902 0 0 0 303483 18029 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3215.12 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/245 278363
/proc/meminfo: memFree=126297404/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3275.02 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44904 0 0 0 308745 18757 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3275.02 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/244 278374
/proc/meminfo: memFree=126296528/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3334.91 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44906 0 0 0 313973 19518 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3334.91 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/244 278387
/proc/meminfo: memFree=126296244/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3394.81 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44908 0 0 0 319201 20280 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3394.81 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/244 278397
/proc/meminfo: memFree=126295428/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3454.72 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44910 0 0 0 324439 21033 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3454.72 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3522.3 s]
/proc/loadavg: 4.74 4.34 4.23 5/244 278407
/proc/meminfo: memFree=126294956/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3514.61 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44912 0 0 0 329678 21783 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3514.61 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3565.76 s]
# the end of solver process 276436 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3334.66 s, system=223.348 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3532.8 s]
/proc/loadavg: 4.78 4.37 4.24 5/244 278409
/proc/meminfo: memFree=126294816/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3525.1 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44912 0 0 0 330595 21915 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3525.1 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3545.6 s]
/proc/loadavg: 4.61 4.35 4.23 5/244 278410
/proc/meminfo: memFree=126294296/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3537.88 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44912 0 0 0 331707 22081 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3537.88 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3558.4 s]
/proc/loadavg: 4.52 4.34 4.23 5/244 278413
/proc/meminfo: memFree=126294172/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3550.65 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44912 0 0 0 332826 22239 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3550.65 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3561.6 s]
/proc/loadavg: 4.47 4.33 4.23 5/241 278414
/proc/meminfo: memFree=126294192/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3553.85 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44912 0 0 0 333108 22277 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3553.85 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3563.2 s]
/proc/loadavg: 4.47 4.33 4.23 5/241 278415
/proc/meminfo: memFree=126294160/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3555.45 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44912 0 0 0 333246 22299 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3555.45 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3564.8 s]
/proc/loadavg: 4.44 4.32 4.23 5/241 278415
/proc/meminfo: memFree=126294208/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3557.05 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44912 0 0 0 333382 22323 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3557.05 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3565.2 s]
/proc/loadavg: 4.44 4.32 4.23 5/241 278415
/proc/meminfo: memFree=126294200/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3557.44 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44912 0 0 0 333416 22328 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3557.44 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3565.6 s]
/proc/loadavg: 4.44 4.32 4.23 5/241 278415
/proc/meminfo: memFree=126294200/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3557.84 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44912 0 0 0 333452 22332 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3557.84 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

[startup+3565.7 s]
/proc/loadavg: 4.44 4.32 4.23 5/241 278415
/proc/meminfo: memFree=126294200/131655788 swapFree=131071996/131071996
[pid=276436] ppid=276433 vsize=174068 memory=167360 CPUtime=3557.94 cores=1,3
/proc/276436/stat : 276436 (LS-MabS) R 276433 276436 274419 0 -1 4194304 44912 0 0 0 333460 22334 0 0 20 0 1 0 49917250 178245632 41840 134679101440 4194304 14036057 140720501344160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29032448 140720501347361 140720501347462 140720501347462 140720501354478 0
/proc/276436/statm: 43517 41840 2492 2403 0 40627 0
Current children cumulated CPU time: 3557.94 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 167360 KiB

Child status: 0

Real time (s): 3565.76
CPU time (s): 3558.01
CPU user time (s): 3334.66
CPU system time (s): 223.348
CPU usage (%): 99.7826
Max. virtual memory (cumulated for all children) (KiB): 206764
Max. memory (cumulated for all children) (KiB): 180196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3334.66
system time used= 223.348
maximum resident set size= 180196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44915
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= 25
involuntary context switches= 1401


# summary of solver processes directly reported to runsolver:
#   pid: 276436
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3334.66
#   total CPU system time (s): 223.348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7246 second user time and 35.7612 second system time

The end