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: 64059 MiB (62958 MiB free)
  memory of node 1: 64510 MiB (63581 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428342-1722809651/watcher-4428342-1722809651 -o /tmp/evaluation-result-4428342-1722809651/solver-4428342-1722809651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722806084-249640 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428342-1722809651.opb -t 3558 -s 893628007 

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
solver pid=252190, runsolver pid=252181
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 4.14 4.14 4.07 5/242 252201
/proc/meminfo: memFree=129560400/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=28752 memory=10700 CPUtime=0.1 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 2080 0 0 0 10 0 0 0 20 0 1 0 47335797 29442048 2675 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 7188 2675 749 2403 0 4298 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28752 KiB
Current children cumulated memory: 10700 KiB

[startup+0.213613 s]*
/proc/loadavg: 4.14 4.14 4.07 5/242 252201
/proc/meminfo: memFree=129518576/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=62688 memory=49444 CPUtime=0.21 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 10350 0 0 0 18 3 0 0 20 0 1 0 47335797 64192512 12295 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 15672 12361 2237 2403 0 12782 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62688 KiB
Current children cumulated memory: 49444 KiB

[startup+0.31376 s]*
/proc/loadavg: 4.14 4.14 4.07 5/242 252201
/proc/meminfo: memFree=129462420/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=75184 memory=61280 CPUtime=0.31 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 13289 0 0 0 28 3 0 0 20 0 1 0 47335797 76988416 15320 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 18796 15320 2317 2403 0 15906 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 75184 KiB
Current children cumulated memory: 61280 KiB

[startup+0.700397 s]
/proc/loadavg: 4.14 4.14 4.07 5/242 252201
/proc/meminfo: memFree=129321488/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=87448 memory=73268 CPUtime=0.68 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 16817 0 0 0 64 4 0 0 20 0 1 0 47335797 89546752 18317 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 21862 18317 2349 2403 0 18972 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 87448 KiB
Current children cumulated memory: 73268 KiB

[startup+1.50038 s]
/proc/loadavg: 4.14 4.14 4.07 4/240 252203
/proc/meminfo: memFree=129230136/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=119812 memory=104708 CPUtime=1.48 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 25395 0 0 0 142 6 0 0 20 0 1 0 47335797 122687488 26177 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 29953 26177 2445 2403 0 27063 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119812 KiB
Current children cumulated memory: 104708 KiB

[startup+3.11249 s]
/proc/loadavg: 4.13 4.14 4.07 5/236 252239
/proc/meminfo: memFree=129072756/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=120496 memory=105236 CPUtime=3.09 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 25502 0 0 0 303 6 0 0 20 0 1 0 47335797 123387904 26309 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 30124 26309 2445 2403 0 27234 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 120496 KiB
Current children cumulated memory: 105236 KiB

[startup+6.30027 s]
/proc/loadavg: 4.13 4.14 4.07 5/242 252249
/proc/meminfo: memFree=128722548/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=120864 memory=105500 CPUtime=6.27 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 25596 0 0 0 621 6 0 0 20 0 1 0 47335797 123764736 26375 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 30216 26375 2445 2403 0 27326 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120864 KiB
Current children cumulated memory: 105500 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.13 4.06 5/242 252250
/proc/meminfo: memFree=128705448/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=120864 memory=107056 CPUtime=12.65 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 25597 0 0 0 1259 6 0 0 20 0 1 0 47335797 123764736 26764 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 30216 26764 2445 2403 0 27326 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 120864 KiB
Current children cumulated memory: 107056 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.13 4.06 5/242 252252
/proc/meminfo: memFree=128689732/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=144016 memory=121780 CPUtime=25.41 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 30012 0 0 0 2534 7 0 0 20 0 1 0 47335797 147472384 30445 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 36004 30445 2477 2403 0 33114 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 144016 KiB
Current children cumulated memory: 121780 KiB

[startup+51.1136 s]
/proc/loadavg: 4.12 4.13 4.07 5/241 252256
/proc/meminfo: memFree=128623336/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=215896 memory=186368 CPUtime=50.93 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 43795 0 0 0 5084 9 0 0 20 0 1 0 47335797 221077504 46592 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 53974 46592 2477 2403 0 51084 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 215896 KiB
Current children cumulated memory: 186368 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/239 252266
/proc/meminfo: memFree=128597440/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=240012 memory=208088 CPUtime=101.98 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 44512 0 0 0 10189 9 0 0 20 0 1 0 47335797 245772288 52022 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 60003 52022 2477 2403 0 57113 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 240012 KiB
Current children cumulated memory: 208088 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/239 252277
/proc/meminfo: memFree=128306260/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=261248 memory=251660 CPUtime=161.82 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 51839 0 0 0 16171 11 0 0 20 0 1 0 47335797 267517952 62915 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 65312 62915 2477 2403 0 62422 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 261248 KiB
Current children cumulated memory: 251660 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/239 252287
/proc/meminfo: memFree=128303192/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=261248 memory=251660 CPUtime=221.62 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 52021 0 0 0 22151 11 0 0 20 0 1 0 47335797 267517952 62915 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 65312 62915 2477 2403 0 62422 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 261248 KiB
Current children cumulated memory: 251660 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/239 252297
/proc/meminfo: memFree=128263080/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=261248 memory=251660 CPUtime=281.43 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 52070 0 0 0 28132 11 0 0 20 0 1 0 47335797 267517952 62915 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 65312 62915 2477 2403 0 62422 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 261248 KiB
Current children cumulated memory: 251660 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/238 252308
/proc/meminfo: memFree=128247620/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=273840 memory=255504 CPUtime=341.24 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 53170 0 0 0 34113 11 0 0 20 0 1 0 47335797 280412160 63876 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 68460 63876 2477 2403 0 65570 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 273840 KiB
Current children cumulated memory: 255504 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/240 252322
/proc/meminfo: memFree=128062684/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=299876 memory=271320 CPUtime=401.05 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 57258 0 0 0 40093 12 0 0 20 0 1 0 47335797 307073024 67830 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 74969 67830 2477 2403 0 72079 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 299876 KiB
Current children cumulated memory: 271320 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 4.15 4.10 5/240 252332
/proc/meminfo: memFree=128038792/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=324336 memory=286880 CPUtime=460.87 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 61128 0 0 0 46073 14 0 0 20 0 1 0 47335797 332120064 71720 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0

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

/proc/loadavg: 4.10 4.13 4.17 5/238 253995
/proc/meminfo: memFree=128067600/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3154.44 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88503 0 0 0 308260 7184 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.17 5/238 254005
/proc/meminfo: memFree=128067248/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3214.32 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88508 0 0 0 313933 7499 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/238 254015
/proc/meminfo: memFree=128066828/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3274.21 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88513 0 0 0 319624 7797 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/241 254031
/proc/meminfo: memFree=128066208/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3334.1 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88518 0 0 0 325311 8099 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/241 254043
/proc/meminfo: memFree=128066024/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3394 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88523 0 0 0 330982 8418 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3394 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/241 254053
/proc/meminfo: memFree=128065728/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3453.89 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88528 0 0 0 336654 8735 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/242 254065
/proc/meminfo: memFree=128065392/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3513.77 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88533 0 0 0 342300 9077 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3513.77 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

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

# cumulated CPU time of all completed processes:  user=3464.92 s, system=93.0887 s

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

[startup+3532.8 s]
/proc/loadavg: 4.13 4.12 4.15 5/242 254067
/proc/meminfo: memFree=128065324/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3524.26 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88533 0 0 0 343280 9146 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3524.26 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3545.6 s]
/proc/loadavg: 4.10 4.12 4.15 5/242 254068
/proc/meminfo: memFree=128065308/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3537.04 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88533 0 0 0 344494 9210 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3537.04 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3558.4 s]
/proc/loadavg: 4.08 4.11 4.15 5/242 254071
/proc/meminfo: memFree=128065216/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3549.81 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88534 0 0 0 345712 9269 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3549.81 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3561.6 s]
/proc/loadavg: 4.08 4.11 4.15 5/242 254072
/proc/meminfo: memFree=128065188/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3553.01 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88534 0 0 0 346014 9287 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3553.01 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3564.8 s]
/proc/loadavg: 4.15 4.13 4.15 5/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3556.2 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88534 0 0 0 346319 9301 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3556.2 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3565.6 s]
/proc/loadavg: 4.15 4.13 4.15 5/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3557 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88534 0 0 0 346396 9304 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3557 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3566.4 s]
/proc/loadavg: 4.15 4.13 4.15 5/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3557.79 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88534 0 0 0 346472 9307 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3557.79 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

[startup+3566.6 s]
/proc/loadavg: 4.15 4.13 4.15 5/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252190] ppid=252181 vsize=352832 memory=339952 CPUtime=3558 cores=1,3
/proc/252190/stat : 252190 (LS-MabS) R 252181 252190 249628 0 -1 4194304 88534 0 0 0 346492 9308 0 0 20 0 1 0 47335797 361299968 84988 134679101440 4194304 14036057 140722936905088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30887936 140722936906789 140722936906890 140722936906890 140722936913902 0
/proc/252190/statm: 88208 84988 2508 2403 0 85318 0
Current children cumulated CPU time: 3558 s
Current children cumulated vsize: 352832 KiB
Current children cumulated memory: 339952 KiB

Child status: 0

Real time (s): 3566.6
CPU time (s): 3558.01
CPU user time (s): 3464.92
CPU system time (s): 93.0887
CPU usage (%): 99.7591
Max. virtual memory (cumulated for all children) (KiB): 457196
Max. memory (cumulated for all children) (KiB): 429832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3464.92
system time used= 93.0887
maximum resident set size= 429832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88540
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= 20
involuntary context switches= 1674


# summary of solver processes directly reported to runsolver:
#   pid: 252190
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3464.92
#   total CPU system time (s): 93.0887

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9871 second user time and 33.366 second system time

The end