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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=259557, runsolver pid=259554

[startup+0.100408 s]*
/proc/loadavg: 4.08 4.11 4.06 5/234 259559
/proc/meminfo: memFree=124210576/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=33176 memory=9388 CPUtime=0.09 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 1737 0 0 0 9 0 0 0 20 0 1 0 47335403 33972224 2347 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 8294 2347 749 2403 0 5404 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33176 KiB
Current children cumulated memory: 9388 KiB

[startup+0.213532 s]*
/proc/loadavg: 4.08 4.11 4.06 5/240 259569
/proc/meminfo: memFree=124170188/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=40964 memory=18100 CPUtime=0.21 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 3922 0 0 0 20 1 0 0 20 0 1 0 47335403 41947136 4525 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 10241 4525 749 2403 0 7351 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 18100 KiB

[startup+0.313929 s]*
/proc/loadavg: 4.08 4.11 4.06 5/240 259569
/proc/meminfo: memFree=124102356/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=61848 memory=44056 CPUtime=0.3 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 9205 0 0 0 27 3 0 0 20 0 1 0 47335403 63332352 11014 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 15462 11014 2077 2403 0 12572 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61848 KiB
Current children cumulated memory: 44056 KiB

[startup+0.700408 s]
/proc/loadavg: 4.08 4.11 4.06 5/240 259569
/proc/meminfo: memFree=123985436/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=134752 memory=115968 CPUtime=0.68 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 27263 0 0 0 59 9 0 0 20 0 1 0 47335403 137986048 28992 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 33688 28992 2317 2403 0 30798 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 134752 KiB
Current children cumulated memory: 115968 KiB

[startup+1.50037 s]
/proc/loadavg: 4.15 4.12 4.06 5/240 259569
/proc/meminfo: memFree=123905336/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=156872 memory=138524 CPUtime=1.48 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 36948 0 0 0 137 11 0 0 20 0 1 0 47335403 160636928 34631 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 39218 34631 2349 2403 0 36328 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156872 KiB
Current children cumulated memory: 138524 KiB

[startup+3.11273 s]
/proc/loadavg: 4.15 4.12 4.06 6/242 259601
/proc/meminfo: memFree=123622800/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=237668 memory=215488 CPUtime=3.08 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 59290 0 0 0 294 14 0 0 20 0 1 0 47335403 243372032 53872 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 59417 53872 2445 2403 0 56527 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 237668 KiB
Current children cumulated memory: 215488 KiB

[startup+6.30031 s]
/proc/loadavg: 4.14 4.12 4.06 5/242 259602
/proc/meminfo: memFree=123249300/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=238480 memory=216008 CPUtime=6.26 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 59446 0 0 0 611 15 0 0 20 0 1 0 47335403 244203520 54002 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 59620 54002 2445 2403 0 56730 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 238480 KiB
Current children cumulated memory: 216008 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 4.12 4.06 5/242 259602
/proc/meminfo: memFree=123226036/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=239456 memory=217048 CPUtime=12.64 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 59708 0 0 0 1249 15 0 0 20 0 1 0 47335403 245202944 54262 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 59864 54262 2445 2403 0 56974 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 239456 KiB
Current children cumulated memory: 217048 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.11 4.06 5/242 259606
/proc/meminfo: memFree=123187824/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=239456 memory=217048 CPUtime=25.39 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 59713 0 0 0 2524 15 0 0 20 0 1 0 47335403 245202944 54262 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 59864 54262 2445 2403 0 56974 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 239456 KiB
Current children cumulated memory: 217048 KiB

[startup+51.1129 s]
/proc/loadavg: 4.14 4.12 4.07 5/242 259609
/proc/meminfo: memFree=123136852/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=239456 memory=217048 CPUtime=50.9 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 59719 0 0 0 5075 15 0 0 20 0 1 0 47335403 245202944 54262 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 59864 54262 2445 2403 0 56974 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 239456 KiB
Current children cumulated memory: 217048 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/242 259619
/proc/meminfo: memFree=122939756/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=264636 memory=230500 CPUtime=101.89 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 63440 0 0 0 10173 16 0 0 20 0 1 0 47335403 270987264 57625 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 66159 57625 2477 2403 0 63269 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 264636 KiB
Current children cumulated memory: 230500 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/242 259629
/proc/meminfo: memFree=122899760/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=264636 memory=232096 CPUtime=161.66 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 63454 0 0 0 16150 16 0 0 20 0 1 0 47335403 270987264 58024 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 66159 58024 2477 2403 0 63269 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 264636 KiB
Current children cumulated memory: 232096 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/242 259641
/proc/meminfo: memFree=122716060/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=264636 memory=239612 CPUtime=221.41 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 63492 0 0 0 22125 16 0 0 20 0 1 0 47335403 270987264 59903 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 66159 59903 2477 2403 0 63269 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 264636 KiB
Current children cumulated memory: 239612 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/242 259651
/proc/meminfo: memFree=122699596/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=264636 memory=253164 CPUtime=281.19 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 63524 0 0 0 28103 16 0 0 20 0 1 0 47335403 270987264 63291 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 66159 63291 2477 2403 0 63269 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 264636 KiB
Current children cumulated memory: 253164 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/241 259662
/proc/meminfo: memFree=122681756/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=264636 memory=253164 CPUtime=340.98 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 63554 0 0 0 34082 16 0 0 20 0 1 0 47335403 270987264 63291 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 66159 63291 2477 2403 0 63269 0
Current children cumulated CPU time: 340.98 s
Current children cumulated vsize: 264636 KiB
Current children cumulated memory: 253164 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/243 259676
/proc/meminfo: memFree=122622788/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=279404 memory=262236 CPUtime=400.77 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 66521 0 0 0 40060 17 0 0 20 0 1 0 47335403 286109696 65559 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 69851 65559 2477 2403 0 66961 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 279404 KiB
Current children cumulated memory: 262236 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/243 259687
/proc/meminfo: memFree=122590816/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=279404 memory=262236 CPUtime=460.54 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 66836 0 0 0 46037 17 0 0 20 0 1 0 47335403 286109696 65559 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0

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

/proc/loadavg: 4.14 4.19 4.18 5/244 261383
/proc/meminfo: memFree=122466668/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3212.33 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83434 0 0 0 316724 4509 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3212.33 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/244 261393
/proc/meminfo: memFree=122465500/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3272.2 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83445 0 0 0 322534 4686 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3272.2 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/244 261403
/proc/meminfo: memFree=122464876/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3332.05 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83456 0 0 0 328328 4877 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3332.05 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/244 261415
/proc/meminfo: memFree=122464076/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3391.91 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83467 0 0 0 334088 5103 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/244 261426
/proc/meminfo: memFree=122463304/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3451.77 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83478 0 0 0 339882 5295 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/245 261437
/proc/meminfo: memFree=122462884/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3511.62 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83489 0 0 0 345717 5445 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3511.62 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

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

# cumulated CPU time of all completed processes:  user=3502.13 s, system=55.8803 s

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

[startup+3532.8 s]
/proc/loadavg: 4.18 4.16 4.17 5/243 261439
/proc/meminfo: memFree=122462908/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3522.1 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83489 0 0 0 346733 5477 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3522.1 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3545.6 s]
/proc/loadavg: 4.15 4.15 4.17 5/243 261442
/proc/meminfo: memFree=122462640/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3534.86 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83489 0 0 0 347973 5513 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3534.86 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3558.4 s]
/proc/loadavg: 4.12 4.14 4.16 5/243 261444
/proc/meminfo: memFree=122462588/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3547.63 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83489 0 0 0 349207 5556 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3547.63 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 261446
/proc/meminfo: memFree=122462240/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3554.01 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83489 0 0 0 349825 5576 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3554.01 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3566.4 s]
/proc/loadavg: 4.11 4.14 4.16 5/240 261450
/proc/meminfo: memFree=122596768/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3555.61 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83489 0 0 0 349980 5581 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3555.61 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3568 s]*
/proc/loadavg: 4.18 4.15 4.17 5/243 261538
/proc/meminfo: memFree=122802744/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3557.22 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83489 0 0 0 350137 5585 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3557.22 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3568.4 s]
/proc/loadavg: 4.18 4.15 4.17 5/243 261538
/proc/meminfo: memFree=122802744/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3557.61 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83489 0 0 0 350175 5586 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3557.61 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3568.6 s]
/proc/loadavg: 4.18 4.15 4.17 5/243 261538
/proc/meminfo: memFree=122802744/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3557.81 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83500 0 0 0 350194 5587 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3557.81 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

[startup+3568.7 s]
/proc/loadavg: 4.18 4.15 4.17 5/243 261538
/proc/meminfo: memFree=122802744/131655788 swapFree=131071472/131071996
[pid=259557] ppid=259554 vsize=247484 memory=222308 CPUtime=3557.9 cores=0,2
/proc/259557/stat : 259557 (LS-MabS) R 259554 259557 256960 0 -1 4194304 83500 0 0 0 350203 5587 0 0 20 0 1 0 47335403 253423616 55577 134679101440 4194304 14036057 140733077890800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 30261248 140733077894177 140733077894278 140733077894278 140733077901294 0
/proc/259557/statm: 61871 55577 2508 2403 0 58981 0
Current children cumulated CPU time: 3557.9 s
Current children cumulated vsize: 247484 KiB
Current children cumulated memory: 222308 KiB

Child status: 0

Real time (s): 3568.8
CPU time (s): 3558.01
CPU user time (s): 3502.13
CPU system time (s): 55.8803
CPU usage (%): 99.6978
Max. virtual memory (cumulated for all children) (KiB): 378392
Max. memory (cumulated for all children) (KiB): 331108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3502.13
system time used= 55.8803
maximum resident set size= 331108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83510
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= 26
involuntary context switches= 21623


# summary of solver processes directly reported to runsolver:
#   pid: 259557
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3502.13
#   total CPU system time (s): 55.8803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8184 second user time and 33.6097 second system time

The end