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 (62924 MiB free)
  memory of node 1: 64473 MiB (63592 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427802-1722781455/watcher-4427802-1722781455 -o /tmp/evaluation-result-4427802-1722781455/solver-4427802-1722781455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722781455-238924 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427802-1722781455.opb -t 3558 -s 882394145 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=238967, runsolver pid=238962

[startup+0.1007 s]*
/proc/loadavg: 0.14 0.19 1.22 5/237 238978
/proc/meminfo: memFree=129543392/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=21512 memory=9280 CPUtime=0.1 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 991 0 0 0 10 0 0 0 20 0 1 0 44516162 22028288 2320 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 5378 2320 1105 2753 0 2031 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21512 KiB
Current children cumulated memory: 9280 KiB

[startup+0.212544 s]*
/proc/loadavg: 0.14 0.19 1.22 5/240 238984
/proc/meminfo: memFree=129534092/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=21512 memory=9280 CPUtime=0.21 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 992 0 0 0 21 0 0 0 20 0 1 0 44516162 22028288 2320 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 5378 2320 1105 2753 0 2031 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21512 KiB
Current children cumulated memory: 9280 KiB

[startup+0.311873 s]*
/proc/loadavg: 0.14 0.19 1.22 5/240 238984
/proc/meminfo: memFree=129528888/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=21512 memory=9280 CPUtime=0.31 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 992 0 0 0 31 0 0 0 20 0 1 0 44516162 22028288 2320 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 5378 2320 1105 2753 0 2031 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21512 KiB
Current children cumulated memory: 9280 KiB

[startup+0.700335 s]
/proc/loadavg: 0.14 0.19 1.22 5/240 238984
/proc/meminfo: memFree=129492180/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=43068 memory=35556 CPUtime=0.69 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 6216 0 0 0 67 2 0 0 20 0 1 0 44516162 44101632 8889 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 10767 8889 2817 2753 0 7420 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43068 KiB
Current children cumulated memory: 35556 KiB

[startup+1.50029 s]
/proc/loadavg: 0.14 0.19 1.22 5/240 238984
/proc/meminfo: memFree=129460400/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=47576 memory=40060 CPUtime=1.48 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 7318 0 0 0 146 2 0 0 20 0 1 0 44516162 48717824 10015 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 11894 10015 2833 2753 0 8547 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47576 KiB
Current children cumulated memory: 40060 KiB

[startup+3.11207 s]
/proc/loadavg: 0.45 0.25 1.23 5/240 238984
/proc/meminfo: memFree=129306376/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=51436 memory=42960 CPUtime=3.09 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 8002 0 0 0 307 2 0 0 20 0 1 0 44516162 52670464 10740 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 12859 10740 2833 2753 0 9512 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51436 KiB
Current children cumulated memory: 42960 KiB

[startup+6.30025 s]
/proc/loadavg: 0.45 0.25 1.23 5/240 238986
/proc/meminfo: memFree=129186460/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=93168 memory=83348 CPUtime=6.27 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 18106 0 0 0 623 4 0 0 20 0 1 0 44516162 95404032 20837 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 23292 20837 2833 2753 0 19945 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93168 KiB
Current children cumulated memory: 83348 KiB

[startup+12.7002 s]
/proc/loadavg: 0.73 0.31 1.25 5/240 238986
/proc/meminfo: memFree=129085372/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=140372 memory=126520 CPUtime=12.65 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 30076 0 0 0 1259 6 0 0 20 0 1 0 44516162 143740928 31630 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 35093 31630 2833 2753 0 31746 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 140372 KiB
Current children cumulated memory: 126520 KiB

[startup+25.5003 s]
/proc/loadavg: 1.46 0.50 1.29 5/240 238987
/proc/meminfo: memFree=129000264/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=141584 memory=128352 CPUtime=25.42 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 30500 0 0 0 2536 6 0 0 20 0 1 0 44516162 144982016 32088 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 35396 32088 2833 2753 0 32049 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 141584 KiB
Current children cumulated memory: 128352 KiB

[startup+51.112 s]
/proc/loadavg: 2.39 0.79 1.37 5/240 238992
/proc/meminfo: memFree=128866468/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=180992 memory=163336 CPUtime=50.97 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 39712 0 0 0 5089 8 0 0 20 0 1 0 44516162 185335808 40834 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 45248 40834 2833 2753 0 41901 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 180992 KiB
Current children cumulated memory: 163336 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 1.34 1.53 5/240 239386
/proc/meminfo: memFree=128785580/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=183148 memory=165492 CPUtime=102.02 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 41817 0 0 0 10194 8 0 0 20 0 1 0 44516162 187543552 41373 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 45787 41373 2849 2753 0 42440 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 183148 KiB
Current children cumulated memory: 165492 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.84 1.69 5/240 239397
/proc/meminfo: memFree=128586912/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=200280 memory=180492 CPUtime=161.87 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 45988 0 0 0 16178 9 0 0 20 0 1 0 44516162 205086720 45123 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 50070 45123 2849 2753 0 46723 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 200280 KiB
Current children cumulated memory: 180492 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 2.30 1.86 5/240 239407
/proc/meminfo: memFree=128544272/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=228916 memory=202260 CPUtime=221.73 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 51407 0 0 0 22162 11 0 0 20 0 1 0 44516162 234409984 50565 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 57229 50565 2849 2753 0 53882 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 228916 KiB
Current children cumulated memory: 202260 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.62 2.00 5/242 239587
/proc/meminfo: memFree=128444568/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=300592 memory=283112 CPUtime=281.56 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 71785 0 0 0 28142 14 0 0 20 0 1 0 44516162 307806208 70778 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 75148 70778 2849 2753 0 71801 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 300592 KiB
Current children cumulated memory: 283112 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 2.91 2.14 5/242 239598
/proc/meminfo: memFree=128365588/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=332068 memory=324612 CPUtime=341.42 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 79737 0 0 0 34126 16 0 0 20 0 1 0 44516162 340037632 81153 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 83017 81153 2849 2753 0 79670 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 332068 KiB
Current children cumulated memory: 324612 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.12 2.26 5/242 239665
/proc/meminfo: memFree=128289588/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=331008 memory=324072 CPUtime=401.26 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 80022 0 0 0 40110 16 0 0 20 0 1 0 44516162 338952192 81018 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 82752 81018 2849 2753 0 79405 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 331008 KiB
Current children cumulated memory: 324072 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.33 2.39 5/242 239675
/proc/meminfo: memFree=128263052/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=333040 memory=327040 CPUtime=461.11 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 81122 0 0 0 46095 16 0 0 20 0 1 0 44516162 341032960 81760 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0

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

/proc/loadavg: 4.50 4.27 4.09 5/239 240737
/proc/meminfo: memFree=128167508/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3155.22 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118082 0 0 0 307683 7839 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3155.22 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3222.3 s]
/proc/loadavg: 4.30 4.25 4.09 5/239 240747
/proc/meminfo: memFree=128167252/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3215.13 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118084 0 0 0 313336 8177 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3215.13 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.22 4.09 5/239 240757
/proc/meminfo: memFree=128166812/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3275.03 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118086 0 0 0 319003 8500 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3275.03 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.21 4.09 5/239 240768
/proc/meminfo: memFree=128166484/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3334.94 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118088 0 0 0 324679 8815 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3334.94 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.93 4.42 4.17 5/241 240782
/proc/meminfo: memFree=128166148/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3394.85 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118090 0 0 0 330320 9165 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3394.85 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3462.3 s]
/proc/loadavg: 4.39 4.35 4.17 5/241 240792
/proc/meminfo: memFree=128165800/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3454.76 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118092 0 0 0 335970 9506 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3454.76 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.30 4.16 5/241 240804
/proc/meminfo: memFree=128165532/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3514.67 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118094 0 0 0 341641 9826 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3514.67 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

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

# cumulated CPU time of all completed processes:  user=3457.32 s, system=100.691 s

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

[startup+3532.8 s]
/proc/loadavg: 4.23 4.31 4.17 5/241 240805
/proc/meminfo: memFree=128165528/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3525.16 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118094 0 0 0 342639 9877 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3525.16 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3545.6 s]
/proc/loadavg: 4.18 4.29 4.16 5/241 240808
/proc/meminfo: memFree=128165392/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3537.94 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118096 0 0 0 343837 9957 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3537.94 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3558.4 s]
/proc/loadavg: 4.15 4.28 4.16 5/241 240811
/proc/meminfo: memFree=128165288/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3550.71 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118096 0 0 0 345047 10024 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3550.71 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3561.6 s]
/proc/loadavg: 4.22 4.30 4.17 5/241 240811
/proc/meminfo: memFree=128165288/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3553.9 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118096 0 0 0 345345 10045 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3553.9 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3563.2 s]
/proc/loadavg: 4.22 4.30 4.17 5/241 240811
/proc/meminfo: memFree=128165316/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3555.51 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118096 0 0 0 345497 10054 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3555.51 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3564.8 s]
/proc/loadavg: 4.20 4.29 4.17 5/241 240811
/proc/meminfo: memFree=128165316/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3557.1 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118096 0 0 0 345647 10063 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3557.1 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3565.2 s]
/proc/loadavg: 4.20 4.29 4.17 5/241 240811
/proc/meminfo: memFree=128165316/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3557.5 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118096 0 0 0 345685 10065 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3557.5 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

[startup+3565.6 s]
/proc/loadavg: 4.20 4.29 4.17 5/241 240811
/proc/meminfo: memFree=128165316/131655788 swapFree=131071216/131071996
[pid=238967] ppid=238962 vsize=356208 memory=350988 CPUtime=3557.9 cores=5,7
/proc/238967/stat : 238967 (LS-MabSP) R 238962 238967 238911 0 -1 4194304 118096 0 0 0 345722 10068 0 0 20 0 1 0 44516162 364756992 87747 134679101440 4194304 15467897 140731934187312 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45912064 140731934188579 140731934188681 140731934188681 140731934195693 0
/proc/238967/statm: 89052 87747 2849 2753 0 85705 0
Current children cumulated CPU time: 3557.9 s
Current children cumulated vsize: 356208 KiB
Current children cumulated memory: 350988 KiB

Child status: 0

Real time (s): 3565.7
CPU time (s): 3558.01
CPU user time (s): 3457.32
CPU system time (s): 100.691
CPU usage (%): 99.7844
Max. virtual memory (cumulated for all children) (KiB): 458780
Max. memory (cumulated for all children) (KiB): 452016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3457.32
system time used= 100.691
maximum resident set size= 452016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118127
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= 39
involuntary context switches= 5023


# summary of solver processes directly reported to runsolver:
#   pid: 238967
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3457.32
#   total CPU system time (s): 100.691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4415 second user time and 30.1706 second system time

The end