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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428742-1722806093/watcher-4428742-1722806093 -o /tmp/evaluation-result-4428742-1722806093/solver-4428742-1722806093 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722806085-259905 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428742-1722806093.opb -t 3558 -s 712155603 --no-s 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100084 s]*
/proc/loadavg: 0.46 0.18 0.11 5/258 260060
/proc/meminfo: memFree=129013068/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=26452 memory=12776 CPUtime=0.1 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 2214 0 0 0 10 0 0 0 20 0 1 0 47211292 27086848 3194 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 6613 3194 1073 2753 0 3266 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26452 KiB
Current children cumulated memory: 12776 KiB

[startup+0.205328 s]*
/proc/loadavg: 0.46 0.18 0.11 5/258 260060
/proc/meminfo: memFree=129005720/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=30548 memory=14828 CPUtime=0.2 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 2730 0 0 0 20 0 0 0 20 0 1 0 47211292 31281152 3707 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 7637 3707 1073 2753 0 4290 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30548 KiB
Current children cumulated memory: 14828 KiB

[startup+0.305288 s]*
/proc/loadavg: 0.46 0.18 0.11 5/258 260060
/proc/meminfo: memFree=128996476/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=42752 memory=28944 CPUtime=0.3 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 5265 0 0 0 30 0 0 0 20 0 1 0 47211292 43778048 7236 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 10688 7236 1073 2753 0 7341 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42752 KiB
Current children cumulated memory: 28944 KiB

[startup+0.700174 s]
/proc/loadavg: 0.46 0.18 0.11 5/258 260060
/proc/meminfo: memFree=128977496/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=60576 memory=46968 CPUtime=0.69 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 9648 0 0 0 68 1 0 0 20 0 1 0 47211292 62029824 11742 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 15144 11742 1105 2753 0 11797 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60576 KiB
Current children cumulated memory: 46968 KiB

[startup+1.50016 s]
/proc/loadavg: 0.46 0.18 0.11 5/258 260060
/proc/meminfo: memFree=128977476/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=60576 memory=46968 CPUtime=1.48 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 9648 0 0 0 147 1 0 0 20 0 1 0 47211292 62029824 11742 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 15144 11742 1105 2753 0 11797 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60576 KiB
Current children cumulated memory: 46968 KiB

[startup+3.10511 s]
/proc/loadavg: 0.74 0.24 0.14 5/258 260060
/proc/meminfo: memFree=128977504/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=60576 memory=46968 CPUtime=3.09 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 9651 0 0 0 308 1 0 0 20 0 1 0 47211292 62029824 11742 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 15144 11742 1105 2753 0 11797 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60576 KiB
Current children cumulated memory: 46968 KiB

[startup+6.30017 s]
/proc/loadavg: 0.74 0.24 0.14 5/258 260060
/proc/meminfo: memFree=128958576/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=65848 CPUtime=6.28 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15594 0 0 0 622 6 0 0 20 0 1 0 47211292 81874944 16462 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16462 1153 2753 0 16642 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 65848 KiB

[startup+12.7002 s]
/proc/loadavg: 1.25 0.36 0.18 5/258 260061
/proc/meminfo: memFree=128958352/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66168 CPUtime=12.66 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15599 0 0 0 1243 23 0 0 20 0 1 0 47211292 81874944 16542 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16542 1169 2753 0 16642 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66168 KiB

[startup+25.5002 s]
/proc/loadavg: 1.67 0.48 0.22 5/258 260063
/proc/meminfo: memFree=128958248/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66168 CPUtime=25.44 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15603 0 0 0 2485 59 0 0 20 0 1 0 47211292 81874944 16542 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16542 1169 2753 0 16642 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66168 KiB

[startup+51.105 s]
/proc/loadavg: 2.53 0.78 0.33 5/256 260067
/proc/meminfo: memFree=128957300/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66168 CPUtime=50.99 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15609 0 0 0 4967 132 0 0 20 0 1 0 47211292 81874944 16542 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16542 1169 2753 0 16642 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66168 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.34 0.55 5/256 260077
/proc/meminfo: memFree=128956100/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66168 CPUtime=102.09 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15613 0 0 0 9929 280 0 0 20 0 1 0 47211292 81874944 16542 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16542 1169 2753 0 16642 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66168 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 1.88 0.78 5/256 260088
/proc/meminfo: memFree=128955752/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66168 CPUtime=161.98 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15617 0 0 0 15749 449 0 0 20 0 1 0 47211292 81874944 16542 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16542 1169 2753 0 16642 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66168 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.28 0.99 5/256 260099
/proc/meminfo: memFree=128953720/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66168 CPUtime=221.86 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15619 0 0 0 21567 619 0 0 20 0 1 0 47211292 81874944 16542 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16542 1169 2753 0 16642 0
Current children cumulated CPU time: 221.86 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66168 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.61 1.19 5/256 260109
/proc/meminfo: memFree=128952076/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=281.75 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15647 0 0 0 27392 783 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 281.75 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 2.88 1.37 5/258 260125
/proc/meminfo: memFree=128951216/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=341.64 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15665 0 0 0 33226 938 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 341.64 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.10 1.54 5/258 260136
/proc/meminfo: memFree=128950376/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=401.54 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15683 0 0 0 39047 1107 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 401.54 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.28 1.70 5/258 260148
/proc/meminfo: memFree=128949824/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=461.43 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 15701 0 0 0 44850 1293 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0

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

/proc/loadavg: 4.24 4.18 4.08 5/259 261853
/proc/meminfo: memFree=129014448/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3156.71 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16511 0 0 0 306874 8797 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3156.71 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.18 4.08 5/261 262090
/proc/meminfo: memFree=129013632/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3216.6 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16529 0 0 0 312699 8961 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3216.6 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.08 5/261 262100
/proc/meminfo: memFree=129013156/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3276.5 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16547 0 0 0 318521 9129 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3276.5 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.17 4.09 5/261 262401
/proc/meminfo: memFree=129058092/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3336.4 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16565 0 0 0 324331 9309 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3336.4 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/261 262413
/proc/meminfo: memFree=129057344/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3396.3 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16583 0 0 0 330158 9472 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3396.3 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/260 262424
/proc/meminfo: memFree=129056456/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3456.18 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16601 0 0 0 335963 9655 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3456.18 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/259 262434
/proc/meminfo: memFree=129055736/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3516.08 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16619 0 0 0 341795 9813 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3516.08 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

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

# cumulated CPU time of all completed processes:  user=3458.81 s, system=99.2011 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.14 4.09 5/259 262435
/proc/meminfo: memFree=129055780/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3526.57 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16619 0 0 0 342819 9838 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3526.57 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3545.6 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 262438
/proc/meminfo: memFree=129055508/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3539.34 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16619 0 0 0 344058 9876 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3539.34 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3552 s]*
/proc/loadavg: 4.10 4.13 4.09 5/259 262439
/proc/meminfo: memFree=129055492/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3545.74 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16619 0 0 0 344677 9897 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3545.74 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3558.4 s]
/proc/loadavg: 4.08 4.12 4.09 5/259 262487
/proc/meminfo: memFree=128999652/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3552.12 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16619 0 0 0 345304 9908 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3552.12 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3561.6 s]
/proc/loadavg: 4.08 4.12 4.09 5/259 262579
/proc/meminfo: memFree=128975580/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3555.31 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16619 0 0 0 345616 9915 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3555.31 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3563.2 s]
/proc/loadavg: 4.15 4.14 4.09 5/259 262579
/proc/meminfo: memFree=128975456/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3556.92 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16619 0 0 0 345774 9918 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3556.92 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3564 s]*
/proc/loadavg: 4.15 4.14 4.09 5/259 262579
/proc/meminfo: memFree=128975464/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3557.71 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16637 0 0 0 345852 9919 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3557.71 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

[startup+3564.2 s]
/proc/loadavg: 4.15 4.14 4.09 5/259 262579
/proc/meminfo: memFree=128975464/131524600 swapFree=131071996/131071996
[pid=260059] ppid=260056 vsize=79956 memory=66644 CPUtime=3557.91 cores=5,7
/proc/260059/stat : 260059 (LS-MabP) R 260056 260059 259892 0 -1 4194304 16637 0 0 0 345872 9919 0 0 20 0 1 0 47211292 81874944 16661 134679101440 4194304 15467897 140725701289632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41226240 140725701293082 140725701293190 140725701293190 140725701300206 0
/proc/260059/statm: 19989 16661 1169 2753 0 16642 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 66644 KiB

Child status: 0

Real time (s): 3564.3
CPU time (s): 3558.02
CPU user time (s): 3458.81
CPU system time (s): 99.2011
CPU usage (%): 99.8238
Max. virtual memory (cumulated for all children) (KiB): 79956
Max. memory (cumulated for all children) (KiB): 66644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3458.81
system time used= 99.2011
maximum resident set size= 66644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16646
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= 18
involuntary context switches= 918


# summary of solver processes directly reported to runsolver:
#   pid: 260059
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3458.81
#   total CPU system time (s): 99.2011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51175 second user time and 10.5911 second system time

The end