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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428498-1722823934/watcher-4428498-1722823934 -o /tmp/evaluation-result-4428498-1722823934/solver-4428498-1722823934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722816790-266449 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428498-1722823934.opb -t 3558 -s 1604207829 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=270582, runsolver pid=270579
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.18 4.16 4.12 5/259 270583
/proc/meminfo: memFree=126632248/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=50488 memory=39440 CPUtime=0.1 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 7772 0 0 0 9 1 0 0 20 0 1 0 48990357 51699712 9860 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 12622 9860 2365 2403 0 9732 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50488 KiB
Current children cumulated memory: 39440 KiB

[startup+0.205626 s]*
/proc/loadavg: 4.18 4.16 4.12 5/259 270583
/proc/meminfo: memFree=126613692/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=61156 memory=50088 CPUtime=0.2 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 10656 0 0 0 19 1 0 0 20 0 1 0 48990357 62623744 12522 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 15289 12522 2445 2403 0 12399 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61156 KiB
Current children cumulated memory: 50088 KiB

[startup+0.305422 s]*
/proc/loadavg: 4.18 4.16 4.12 5/259 270583
/proc/meminfo: memFree=126612552/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=61772 memory=50840 CPUtime=0.3 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 10821 0 0 0 29 1 0 0 20 0 1 0 48990357 63254528 12710 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 15443 12710 2445 2403 0 12553 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 50840 KiB

[startup+0.700223 s]
/proc/loadavg: 4.18 4.16 4.12 5/259 270583
/proc/meminfo: memFree=126610788/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=100884 memory=86572 CPUtime=0.69 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 22002 0 0 0 66 3 0 0 20 0 1 0 48990357 103305216 21643 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 25221 21643 2445 2403 0 22331 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 100884 KiB
Current children cumulated memory: 86572 KiB

[startup+1.5002 s]
/proc/loadavg: 4.18 4.16 4.12 5/259 270584
/proc/meminfo: memFree=126549748/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=100884 memory=88412 CPUtime=1.49 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 22475 0 0 0 146 3 0 0 20 0 1 0 48990357 103305216 22103 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 25221 22103 2461 2403 0 22331 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 100884 KiB
Current children cumulated memory: 88412 KiB

[startup+3.10564 s]
/proc/loadavg: 4.18 4.16 4.12 5/259 270584
/proc/meminfo: memFree=126413756/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=100884 memory=89732 CPUtime=3.09 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 22807 0 0 0 306 3 0 0 20 0 1 0 48990357 103305216 22433 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 25221 22433 2461 2403 0 22331 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 100884 KiB
Current children cumulated memory: 89732 KiB

[startup+6.30014 s]
/proc/loadavg: 4.16 4.16 4.12 5/259 270584
/proc/meminfo: memFree=126401892/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=116600 memory=102656 CPUtime=6.28 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 25994 0 0 0 624 4 0 0 20 0 1 0 48990357 119398400 25664 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 29150 25664 2461 2403 0 26260 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 116600 KiB
Current children cumulated memory: 102656 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.16 4.12 5/259 270586
/proc/meminfo: memFree=126393100/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=128520 memory=109784 CPUtime=12.66 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 27775 0 0 0 1262 4 0 0 20 0 1 0 48990357 131604480 27446 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 32130 27446 2461 2403 0 29240 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 128520 KiB
Current children cumulated memory: 109784 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.17 4.12 5/259 270587
/proc/meminfo: memFree=126392008/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=129240 memory=110576 CPUtime=25.43 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 27978 0 0 0 2539 4 0 0 20 0 1 0 48990357 132341760 27644 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 32310 27644 2461 2403 0 29420 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 129240 KiB
Current children cumulated memory: 110576 KiB

[startup+51.1051 s]
/proc/loadavg: 4.23 4.18 4.13 5/259 270592
/proc/meminfo: memFree=125955456/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=142788 memory=122980 CPUtime=50.97 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 31079 0 0 0 5093 4 0 0 20 0 1 0 48990357 146214912 30745 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 35697 30745 2461 2403 0 32807 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 142788 KiB
Current children cumulated memory: 122980 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/259 270601
/proc/meminfo: memFree=125918940/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=142788 memory=123504 CPUtime=102.04 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 31251 0 0 0 10200 4 0 0 20 0 1 0 48990357 146214912 30876 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 35697 30876 2461 2403 0 32807 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 142788 KiB
Current children cumulated memory: 123504 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/259 270612
/proc/meminfo: memFree=125907356/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=153240 memory=133060 CPUtime=161.9 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 33789 0 0 0 16185 5 0 0 20 0 1 0 48990357 156917760 33265 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 38310 33265 2461 2403 0 35420 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 153240 KiB
Current children cumulated memory: 133060 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/257 270622
/proc/meminfo: memFree=125900936/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=156424 memory=137252 CPUtime=221.75 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 34936 0 0 0 22170 5 0 0 20 0 1 0 48990357 160178176 34313 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 39106 34313 2461 2403 0 36216 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 156424 KiB
Current children cumulated memory: 137252 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/257 270632
/proc/meminfo: memFree=125890280/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=166520 memory=146728 CPUtime=281.6 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 37334 0 0 0 28155 5 0 0 20 0 1 0 48990357 170516480 36682 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 41630 36682 2461 2403 0 38740 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 166520 KiB
Current children cumulated memory: 146728 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/255 270645
/proc/meminfo: memFree=125888360/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=168176 memory=148040 CPUtime=341.46 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 37671 0 0 0 34141 5 0 0 20 0 1 0 48990357 172212224 37010 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 42044 37010 2461 2403 0 39154 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 168176 KiB
Current children cumulated memory: 148040 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/255 270655
/proc/meminfo: memFree=125879056/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=171336 memory=150152 CPUtime=401.31 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 38226 0 0 0 40126 5 0 0 20 0 1 0 48990357 175448064 37538 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 42834 37538 2461 2403 0 39944 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 171336 KiB
Current children cumulated memory: 150152 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/258 270671
/proc/meminfo: memFree=125860708/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=188444 memory=164732 CPUtime=461.17 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 41838 0 0 0 46111 6 0 0 20 0 1 0 48990357 192966656 41183 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0

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

/proc/loadavg: 4.48 4.22 4.13 5/257 272354
/proc/meminfo: memFree=124905944/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222048 CPUtime=3155.86 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57758 0 0 0 293350 22236 0 0 20 0 1 0 48990357 234422272 55512 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55512 2492 2403 0 54342 0
Current children cumulated CPU time: 3155.86 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222048 KiB

[startup+3222.3 s]
/proc/loadavg: 4.33 4.24 4.14 5/257 272364
/proc/meminfo: memFree=124905404/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3215.76 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57760 0 0 0 298382 23194 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3215.76 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.21 4.14 5/256 272375
/proc/meminfo: memFree=124904404/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3275.67 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57762 0 0 0 303379 24188 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3275.67 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.20 4.14 5/256 272387
/proc/meminfo: memFree=124904096/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3335.57 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57764 0 0 0 308418 25139 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3335.57 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/256 272398
/proc/meminfo: memFree=124903268/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3395.48 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57766 0 0 0 313440 26108 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3395.48 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.19 4.14 5/255 272408
/proc/meminfo: memFree=124902732/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3455.38 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57768 0 0 0 318498 27040 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3455.38 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.18 4.14 5/257 272422
/proc/meminfo: memFree=124901712/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3515.28 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57770 0 0 0 323522 28006 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3515.28 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

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

# cumulated CPU time of all completed processes:  user=3270.94 s, system=287.065 s

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

[startup+3532.8 s]
/proc/loadavg: 4.16 4.17 4.13 5/257 272424
/proc/meminfo: memFree=124901604/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3525.76 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57770 0 0 0 324407 28169 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3525.76 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3545.6 s]
/proc/loadavg: 4.13 4.17 4.13 5/257 272427
/proc/meminfo: memFree=124901480/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3538.54 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57770 0 0 0 325470 28384 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3538.54 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3558.4 s]
/proc/loadavg: 4.17 4.18 4.13 5/257 272428
/proc/meminfo: memFree=124901420/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3551.32 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57772 0 0 0 326542 28590 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3551.32 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3561.6 s]
/proc/loadavg: 4.16 4.17 4.13 5/257 272430
/proc/meminfo: memFree=124900908/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3554.51 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57772 0 0 0 326807 28644 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3554.51 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3563.2 s]
/proc/loadavg: 4.16 4.17 4.13 3/247 272475
/proc/meminfo: memFree=124930464/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3556.11 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57772 0 0 0 326938 28673 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3556.11 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3564 s]*
/proc/loadavg: 4.16 4.17 4.13 3/241 272506
/proc/meminfo: memFree=127068292/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3556.92 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57772 0 0 0 327004 28688 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3556.92 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3564.8 s]
/proc/loadavg: 4.16 4.17 4.13 3/241 272506
/proc/meminfo: memFree=127068292/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3557.71 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57772 0 0 0 327069 28702 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3557.71 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

[startup+3565 s]*
/proc/loadavg: 4.16 4.17 4.13 2/236 272523
/proc/meminfo: memFree=127097076/131524600 swapFree=131071216/131071996
[pid=270582] ppid=270579 vsize=228928 memory=222184 CPUtime=3557.91 cores=4,6
/proc/270582/stat : 270582 (LS-MabS) R 270579 270582 266438 0 -1 4194304 57772 0 0 0 327086 28705 0 0 20 0 1 0 48990357 234422272 55546 134679101440 4194304 14036057 140730041686336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 30666752 140730041689120 140730041689222 140730041689222 140730041696238 0
/proc/270582/statm: 57232 55546 2508 2403 0 54342 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 222184 KiB

Child status: 0

Real time (s): 3565.08
CPU time (s): 3558
CPU user time (s): 3270.94
CPU system time (s): 287.065
CPU usage (%): 99.8014
Max. virtual memory (cumulated for all children) (KiB): 261968
Max. memory (cumulated for all children) (KiB): 239892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3270.94
system time used= 287.065
maximum resident set size= 239892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57778
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= 25
involuntary context switches= 1306


# summary of solver processes directly reported to runsolver:
#   pid: 270582
#   total CPU time (s): 3558
#   total CPU user time (s): 3270.94
#   total CPU system time (s): 287.065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34293 second user time and 12.4041 second system time

The end