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

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

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=236221, runsolver pid=236213

[startup+0.100838 s]*
/proc/loadavg: 0.44 0.27 1.29 7/241 236237
/proc/meminfo: memFree=126819576/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=36380 memory=26628 CPUtime=0.1 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 4577 0 0 0 9 1 0 0 20 0 1 0 44742456 37253120 6657 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 9095 6657 2317 2403 0 6205 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36380 KiB
Current children cumulated memory: 26628 KiB

[startup+0.213559 s]*
/proc/loadavg: 0.44 0.27 1.29 5/241 236237
/proc/meminfo: memFree=126786368/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=42236 memory=32676 CPUtime=0.21 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 6096 0 0 0 20 1 0 0 20 0 1 0 44742456 43249664 8169 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 10559 8169 2445 2403 0 7669 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42236 KiB
Current children cumulated memory: 32676 KiB

[startup+0.315125 s]*
/proc/loadavg: 0.44 0.27 1.29 7/241 236237
/proc/meminfo: memFree=126773524/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=44300 memory=34772 CPUtime=0.31 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 6614 0 0 0 30 1 0 0 20 0 1 0 44742456 45363200 8693 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 11075 8693 2445 2403 0 8185 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44300 KiB
Current children cumulated memory: 34772 KiB

[startup+0.700267 s]
/proc/loadavg: 0.44 0.27 1.29 7/241 236237
/proc/meminfo: memFree=126771072/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=44444 memory=34772 CPUtime=0.68 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 6664 0 0 0 67 1 0 0 20 0 1 0 44742456 45510656 8693 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 11111 8693 2445 2403 0 8221 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44444 KiB
Current children cumulated memory: 34772 KiB

[startup+1.50028 s]
/proc/loadavg: 0.44 0.27 1.29 6/241 236237
/proc/meminfo: memFree=126757592/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=49012 memory=39024 CPUtime=1.48 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 7676 0 0 0 146 2 0 0 20 0 1 0 44742456 50188288 9756 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 12253 9756 2461 2403 0 9363 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49012 KiB
Current children cumulated memory: 39024 KiB

[startup+3.11331 s]
/proc/loadavg: 0.44 0.27 1.29 6/241 236237
/proc/meminfo: memFree=126723692/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=61656 memory=50376 CPUtime=3.09 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 10560 0 0 0 307 2 0 0 20 0 1 0 44742456 63135744 12594 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 15414 12594 2461 2403 0 12524 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61656 KiB
Current children cumulated memory: 50376 KiB

[startup+6.30024 s]
/proc/loadavg: 0.72 0.34 1.30 6/241 236237
/proc/meminfo: memFree=126579176/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=109572 memory=97104 CPUtime=6.27 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 22196 0 0 0 623 4 0 0 20 0 1 0 44742456 112201728 24276 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 27393 24276 2461 2403 0 24503 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 109572 KiB
Current children cumulated memory: 97104 KiB

[startup+12.7002 s]
/proc/loadavg: 0.99 0.40 1.32 6/241 236238
/proc/meminfo: memFree=126441356/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=126740 memory=112012 CPUtime=12.65 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 27073 0 0 0 1261 4 0 0 20 0 1 0 44742456 129781760 28003 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 31685 28003 2461 2403 0 28795 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 126740 KiB
Current children cumulated memory: 112012 KiB

[startup+25.5003 s]
/proc/loadavg: 1.73 0.59 1.37 6/241 236240
/proc/meminfo: memFree=126434004/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=133468 memory=118084 CPUtime=25.42 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 28603 0 0 0 2538 4 0 0 20 0 1 0 44742456 136671232 29521 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 33367 29521 2461 2403 0 30477 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 133468 KiB
Current children cumulated memory: 118084 KiB

[startup+51.113 s]
/proc/loadavg: 2.51 0.87 1.44 6/241 236244
/proc/meminfo: memFree=126218836/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=205984 memory=184060 CPUtime=50.97 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 45757 0 0 0 5089 8 0 0 20 0 1 0 44742456 210927616 46015 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 51496 46015 2461 2403 0 48606 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 205984 KiB
Current children cumulated memory: 184060 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 1.38 1.58 6/241 236637
/proc/meminfo: memFree=126141272/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=272796 memory=248396 CPUtime=102 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 61691 0 0 0 10188 12 0 0 20 0 1 0 44742456 279343104 62099 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 68199 62099 2461 2403 0 65309 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 272796 KiB
Current children cumulated memory: 248396 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 1.91 1.75 6/241 236648
/proc/meminfo: memFree=125971768/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=321928 memory=310304 CPUtime=161.84 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 74258 0 0 0 16169 15 0 0 20 0 1 0 44742456 329654272 77576 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 80482 77576 2461 2403 0 77592 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 321928 KiB
Current children cumulated memory: 310304 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.29 1.90 6/241 236658
/proc/meminfo: memFree=125835228/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=320464 memory=311480 CPUtime=221.69 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 75273 0 0 0 22153 16 0 0 20 0 1 0 44742456 328155136 77870 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 80116 77870 2461 2403 0 77226 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 320464 KiB
Current children cumulated memory: 311480 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.62 2.04 6/243 236839
/proc/meminfo: memFree=125795284/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=334344 memory=322180 CPUtime=281.54 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 77805 0 0 0 28137 17 0 0 20 0 1 0 44742456 342368256 80545 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 83586 80545 2461 2403 0 80696 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 334344 KiB
Current children cumulated memory: 322180 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 2.90 2.17 6/242 236850
/proc/meminfo: memFree=125743916/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=334628 memory=323416 CPUtime=341.4 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 78498 0 0 0 34122 18 0 0 20 0 1 0 44742456 342659072 80854 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 83657 80854 2461 2403 0 80767 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 334628 KiB
Current children cumulated memory: 323416 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.15 2.31 6/241 236916
/proc/meminfo: memFree=125636368/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=339256 memory=324652 CPUtime=401.26 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 79212 0 0 0 40108 18 0 0 20 0 1 0 44742456 347398144 81163 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 84814 81163 2461 2403 0 81924 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 339256 KiB
Current children cumulated memory: 324652 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.32 2.42 6/242 236927
/proc/meminfo: memFree=125540292/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=349828 memory=334932 CPUtime=461.12 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 83035 0 0 0 46093 19 0 0 20 0 1 0 44742456 358223872 83733 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0

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

/proc/loadavg: 4.16 4.14 4.06 6/238 237983
/proc/meminfo: memFree=125533940/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3155.67 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138905 0 0 0 309244 6323 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3155.67 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.06 6/238 237993
/proc/meminfo: memFree=125533496/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3215.56 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138906 0 0 0 314957 6599 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3215.56 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.07 6/238 238004
/proc/meminfo: memFree=125533204/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3275.47 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138907 0 0 0 320668 6879 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3275.47 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.08 6/238 238015
/proc/meminfo: memFree=125532976/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3335.37 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138908 0 0 0 326380 7157 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3335.37 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.08 6/241 238030
/proc/meminfo: memFree=125532668/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3395.28 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138909 0 0 0 332111 7417 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3395.28 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.08 6/241 238040
/proc/meminfo: memFree=125532376/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3455.18 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138910 0 0 0 337826 7692 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3455.18 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.08 6/241 238051
/proc/meminfo: memFree=125532016/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3515.09 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138911 0 0 0 343559 7950 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3515.09 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

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

# cumulated CPU time of all completed processes:  user=3476.48 s, system=81.5256 s

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

[startup+3532.8 s]
/proc/loadavg: 4.11 4.13 4.08 6/241 238052
/proc/meminfo: memFree=125532012/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3525.57 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138911 0 0 0 344555 8002 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3525.57 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3545.6 s]
/proc/loadavg: 4.09 4.12 4.08 6/241 238054
/proc/meminfo: memFree=125532068/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3538.35 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138912 0 0 0 345773 8062 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3538.35 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3558.4 s]
/proc/loadavg: 4.15 4.13 4.08 6/241 238056
/proc/meminfo: memFree=125531932/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3551.13 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138912 0 0 0 346992 8121 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3551.13 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3561.6 s]
/proc/loadavg: 4.14 4.13 4.08 6/241 238058
/proc/meminfo: memFree=125531764/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3554.32 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138912 0 0 0 347296 8136 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3554.32 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3563.2 s]
/proc/loadavg: 4.14 4.13 4.08 6/241 238058
/proc/meminfo: memFree=125531872/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3555.92 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138912 0 0 0 347449 8143 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3555.92 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3564 s]*
/proc/loadavg: 4.14 4.13 4.08 6/241 238058
/proc/meminfo: memFree=125531864/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3556.73 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138912 0 0 0 347527 8146 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3556.73 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3564.8 s]
/proc/loadavg: 4.14 4.13 4.08 6/241 238058
/proc/meminfo: memFree=125531864/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3557.51 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138912 0 0 0 347602 8149 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3557.51 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

[startup+3565.2 s]
/proc/loadavg: 4.14 4.13 4.08 6/241 238058
/proc/meminfo: memFree=125531912/131655788 swapFree=131071996/131071996
[pid=236221] ppid=236213 vsize=354656 memory=347816 CPUtime=3557.92 cores=1,3
/proc/236221/stat : 236221 (LS-MabS) R 236213 236221 236161 0 -1 4194304 138912 0 0 0 347640 8152 0 0 20 0 1 0 44742456 363167744 86954 134679101440 4194304 14036057 140735847827296 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 22450176 140735847834661 140735847834762 140735847834762 140735847841774 0
/proc/236221/statm: 88664 86954 2476 2403 0 85774 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 354656 KiB
Current children cumulated memory: 347816 KiB

Child status: 0

Real time (s): 3565.28
CPU time (s): 3558.01
CPU user time (s): 3476.48
CPU system time (s): 81.5256
CPU usage (%): 99.796
Max. virtual memory (cumulated for all children) (KiB): 539792
Max. memory (cumulated for all children) (KiB): 528084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3476.48
system time used= 81.5256
maximum resident set size= 528084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138916
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= 77
involuntary context switches= 1532


# summary of solver processes directly reported to runsolver:
#   pid: 236221
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3476.48
#   total CPU system time (s): 81.5256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3077 second user time and 31.8026 second system time

The end