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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428153-1722773153/watcher-4428153-1722773153 -o /tmp/evaluation-result-4428153-1722773153/solver-4428153-1722773153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722769581-237336 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428153-1722773153.opb -t 3558 -s 895189054 

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=239424, runsolver pid=239421

[startup+0.100714 s]*
/proc/loadavg: 4.13 4.10 4.02 5/256 239425
/proc/meminfo: memFree=127921036/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=72408 memory=59168 CPUtime=0.09 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 12756 0 0 0 7 2 0 0 20 0 1 0 43703480 74145792 14792 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 18102 14792 2301 2403 0 15212 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72408 KiB
Current children cumulated memory: 59168 KiB

[startup+0.205608 s]*
/proc/loadavg: 4.13 4.10 4.02 6/256 239425
/proc/meminfo: memFree=127913260/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=80920 memory=67260 CPUtime=0.19 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 16084 0 0 0 17 2 0 0 20 0 1 0 43703480 82862080 16815 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 20230 16815 2333 2403 0 17340 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80920 KiB
Current children cumulated memory: 67260 KiB

[startup+0.305594 s]*
/proc/loadavg: 4.13 4.10 4.02 5/256 239425
/proc/meminfo: memFree=127908780/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=85656 memory=70944 CPUtime=0.29 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 17002 0 0 0 27 2 0 0 20 0 1 0 43703480 87711744 17736 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 21414 17736 2333 2403 0 18524 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 85656 KiB
Current children cumulated memory: 70944 KiB

[startup+0.700158 s]
/proc/loadavg: 4.13 4.10 4.02 5/256 239425
/proc/meminfo: memFree=127908696/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=85952 memory=71480 CPUtime=0.68 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 17072 0 0 0 66 2 0 0 20 0 1 0 43703480 88014848 17870 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 21488 17870 2349 2403 0 18598 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 85952 KiB
Current children cumulated memory: 71480 KiB

[startup+1.50016 s]
/proc/loadavg: 4.13 4.10 4.02 5/256 239425
/proc/meminfo: memFree=127907484/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=87344 memory=72860 CPUtime=1.48 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 17437 0 0 0 146 2 0 0 20 0 1 0 43703480 89440256 18215 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 21836 18215 2349 2403 0 18946 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 87344 KiB
Current children cumulated memory: 72860 KiB

[startup+3.10528 s]
/proc/loadavg: 4.12 4.10 4.02 5/256 239425
/proc/meminfo: memFree=127828928/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=170800 memory=151152 CPUtime=3.07 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 33279 0 0 0 303 4 0 0 20 0 1 0 43703480 174899200 37788 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 42700 37788 2445 2403 0 39810 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 170800 KiB
Current children cumulated memory: 151152 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.10 4.02 5/256 239425
/proc/meminfo: memFree=127808884/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=202604 memory=172680 CPUtime=6.26 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 38663 0 0 0 621 5 0 0 20 0 1 0 43703480 207466496 43170 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 50651 43170 2461 2403 0 47761 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 202604 KiB
Current children cumulated memory: 172680 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.02 5/256 239427
/proc/meminfo: memFree=127783804/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=263400 memory=196696 CPUtime=12.63 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 44212 0 0 0 1257 6 0 0 20 0 1 0 43703480 269721600 49174 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 65850 49174 2461 2403 0 62960 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 263400 KiB
Current children cumulated memory: 196696 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.02 5/256 239428
/proc/meminfo: memFree=127764504/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=278592 memory=213296 CPUtime=25.4 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 55374 0 0 0 2531 9 0 0 20 0 1 0 43703480 285278208 53324 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 69648 53324 2461 2403 0 66758 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 278592 KiB
Current children cumulated memory: 213296 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.03 5/254 239433
/proc/meminfo: memFree=127736524/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=315380 memory=240328 CPUtime=50.89 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 78069 0 0 0 5076 13 0 0 20 0 1 0 43703480 322949120 60082 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 78845 60082 2461 2403 0 75955 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 315380 KiB
Current children cumulated memory: 240328 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/254 239442
/proc/meminfo: memFree=127627052/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=420376 memory=349112 CPUtime=101.89 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 96121 0 0 0 10172 17 0 0 20 0 1 0 43703480 430465024 87278 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 105094 87278 2461 2403 0 102204 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 420376 KiB
Current children cumulated memory: 349112 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.03 5/254 239453
/proc/meminfo: memFree=127570024/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=513208 memory=406312 CPUtime=161.66 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 104087 0 0 0 16148 18 0 0 20 0 1 0 43703480 525524992 101578 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 128302 101578 2717 2403 0 125412 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 513208 KiB
Current children cumulated memory: 406312 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/254 239463
/proc/meminfo: memFree=127469524/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=732028 memory=505488 CPUtime=221.43 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 126628 0 0 0 22121 22 0 0 20 0 1 0 43703480 749596672 126372 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 183007 126372 2717 2403 0 180117 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 732028 KiB
Current children cumulated memory: 505488 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/254 239473
/proc/meminfo: memFree=127399872/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=749512 memory=574536 CPUtime=281.21 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 126842 0 0 0 28099 22 0 0 20 0 1 0 43703480 767500288 143634 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 187378 143634 2717 2403 0 184488 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 749512 KiB
Current children cumulated memory: 574536 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.04 5/256 239488
/proc/meminfo: memFree=127324592/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=749748 memory=649148 CPUtime=340.99 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 127115 0 0 0 34077 22 0 0 20 0 1 0 43703480 767741952 162287 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 187437 162287 2717 2403 0 184547 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 749748 KiB
Current children cumulated memory: 649148 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/256 239498
/proc/meminfo: memFree=127253788/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=870572 memory=718832 CPUtime=400.78 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 134122 0 0 0 40053 25 0 0 20 0 1 0 43703480 891465728 179708 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 217643 179708 2717 2403 0 214753 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 870572 KiB
Current children cumulated memory: 718832 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/256 239509
/proc/meminfo: memFree=127181656/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=896288 memory=790956 CPUtime=460.55 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 135832 0 0 0 46030 25 0 0 20 0 1 0 43703480 917798912 197739 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0

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

/proc/loadavg: 4.33 4.21 4.14 5/258 241179
/proc/meminfo: memFree=126415592/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3212.2 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243897 0 0 0 318219 3001 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3212.2 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/258 241190
/proc/meminfo: memFree=126415012/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3272.05 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243909 0 0 0 324085 3120 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/257 241215
/proc/meminfo: memFree=126414556/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3331.9 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243921 0 0 0 329953 3237 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3331.9 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/257 241225
/proc/meminfo: memFree=126413812/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3391.75 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243933 0 0 0 335822 3353 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/257 241236
/proc/meminfo: memFree=126413268/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3451.6 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243945 0 0 0 341681 3479 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/255 241249
/proc/meminfo: memFree=126412668/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3511.46 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243957 0 0 0 347532 3614 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3511.46 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

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

# cumulated CPU time of all completed processes:  user=3520.9 s, system=37.1066 s

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

[startup+3532.8 s]
/proc/loadavg: 4.14 4.16 4.12 5/255 241250
/proc/meminfo: memFree=126412608/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3521.93 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243960 0 0 0 348558 3635 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3521.93 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3545.6 s]
/proc/loadavg: 4.18 4.16 4.12 5/255 241253
/proc/meminfo: memFree=126412420/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3534.7 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243961 0 0 0 349808 3662 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3534.7 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3558.4 s]
/proc/loadavg: 4.16 4.16 4.12 5/255 241255
/proc/meminfo: memFree=126412248/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3547.47 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243964 0 0 0 351058 3689 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3547.47 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3564.8 s]
/proc/loadavg: 4.21 4.17 4.13 5/256 241395
/proc/meminfo: memFree=126362452/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3553.85 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243965 0 0 0 351684 3701 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3553.85 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3566.4 s]
/proc/loadavg: 4.21 4.17 4.13 5/256 241395
/proc/meminfo: memFree=126362628/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3555.45 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243965 0 0 0 351840 3705 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3555.45 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3568 s]*
/proc/loadavg: 4.21 4.17 4.13 5/256 241395
/proc/meminfo: memFree=126362584/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3557.04 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243965 0 0 0 351997 3707 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3557.04 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3568.4 s]
/proc/loadavg: 4.21 4.17 4.13 5/256 241395
/proc/meminfo: memFree=126362584/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3557.44 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243965 0 0 0 352035 3709 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3557.44 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3568.8 s]
/proc/loadavg: 4.21 4.17 4.13 5/256 241395
/proc/meminfo: memFree=126362584/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3557.83 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243965 0 0 0 352074 3709 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3557.83 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

[startup+3568.9 s]
/proc/loadavg: 4.21 4.17 4.13 5/256 241395
/proc/meminfo: memFree=126362584/131524600 swapFree=131071996/131071996
[pid=239424] ppid=239421 vsize=1587644 memory=1525672 CPUtime=3557.93 cores=0,2
/proc/239424/stat : 239424 (LS-MabS) R 239421 239424 237326 0 -1 4194304 243965 0 0 0 352084 3709 0 0 20 0 1 0 43703480 1625747456 381418 134679101440 4194304 14036057 140723680003808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34516992 140723680007201 140723680007302 140723680007302 140723680014318 0
/proc/239424/statm: 396911 381418 2748 2403 0 394021 0
Current children cumulated CPU time: 3557.93 s
Current children cumulated vsize: 1587644 KiB
Current children cumulated memory: 1525672 KiB

Child status: 0

Real time (s): 3568.96
CPU time (s): 3558.01
CPU user time (s): 3520.9
CPU system time (s): 37.1066
CPU usage (%): 99.6931
Max. virtual memory (cumulated for all children) (KiB): 1707940
Max. memory (cumulated for all children) (KiB): 1525672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3520.9
system time used= 37.1066
maximum resident set size= 1525672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243975
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= 60
involuntary context switches= 25031


# summary of solver processes directly reported to runsolver:
#   pid: 239424
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3520.9
#   total CPU system time (s): 37.1066

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47696 second user time and 13.2125 second system time

The end