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

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

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=260601, runsolver pid=260598

[startup+0.10074 s]*
/proc/loadavg: 0.09 0.09 0.09 5/251 260620
/proc/meminfo: memFree=125254692/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=24984 memory=12740 CPUtime=0.09 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 2187 0 0 0 9 0 0 0 20 0 1 0 47210230 25583616 3185 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 6246 3185 1153 2753 0 2899 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24984 KiB
Current children cumulated memory: 12740 KiB

[startup+0.204531 s]*
/proc/loadavg: 0.09 0.09 0.09 5/257 260630
/proc/meminfo: memFree=125222228/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=37020 memory=24640 CPUtime=0.19 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4142 0 0 0 19 0 0 0 20 0 1 0 47210230 37908480 6160 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 9255 6160 1153 2753 0 5908 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37020 KiB
Current children cumulated memory: 24640 KiB

[startup+0.304741 s]*
/proc/loadavg: 0.09 0.09 0.09 5/257 260630
/proc/meminfo: memFree=125218072/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=0.29 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4664 0 0 0 27 2 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+0.700151 s]
/proc/loadavg: 0.09 0.09 0.09 4/250 260638
/proc/meminfo: memFree=125222180/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=0.68 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4664 0 0 0 56 12 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+1.50016 s]
/proc/loadavg: 0.09 0.09 0.09 4/250 260701
/proc/meminfo: memFree=125223724/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=1.48 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4664 0 0 0 119 29 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+3.1044 s]
/proc/loadavg: 0.40 0.16 0.11 5/258 260723
/proc/meminfo: memFree=125014116/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=3.08 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4664 0 0 0 240 68 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+6.30013 s]
/proc/loadavg: 0.40 0.16 0.11 5/258 260723
/proc/meminfo: memFree=124976216/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=6.27 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4664 0 0 0 486 141 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+12.7001 s]
/proc/loadavg: 0.69 0.22 0.13 5/258 260724
/proc/meminfo: memFree=124975896/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=12.65 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4664 0 0 0 975 290 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+25.5001 s]
/proc/loadavg: 1.49 0.42 0.20 5/258 260726
/proc/meminfo: memFree=124975564/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=25.43 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4664 0 0 0 1954 589 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+51.1043 s]
/proc/loadavg: 2.50 0.74 0.31 5/258 260731
/proc/meminfo: memFree=124974636/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=50.97 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4664 0 0 0 3903 1194 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.28 0.52 5/256 260740
/proc/meminfo: memFree=124973488/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=102.05 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4664 0 0 0 7791 2414 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.79 0.75 5/256 260751
/proc/meminfo: memFree=124972916/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=161.92 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4664 0 0 0 12347 3845 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.21 0.96 5/256 260763
/proc/meminfo: memFree=124971488/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=221.78 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4671 0 0 0 16905 5273 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.57 1.16 5/256 260774
/proc/meminfo: memFree=124969528/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=281.65 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4675 0 0 0 21462 6703 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 2.86 1.35 5/256 260789
/proc/meminfo: memFree=124968772/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=341.52 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4677 0 0 0 26027 8125 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.10 1.53 5/256 260800
/proc/meminfo: memFree=124968004/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=401.38 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4679 0 0 0 30585 9553 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5634 1153 2753 0 6880 0
Current children cumulated CPU time: 401.38 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22536 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.29 1.69 5/256 260811
/proc/meminfo: memFree=124966892/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22536 CPUtime=461.25 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4680 0 0 0 35126 10999 0 0 20 0 1 0 47210230 41889792 5634 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0

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

/proc/loadavg: 4.09 4.09 4.01 5/259 262745
/proc/meminfo: memFree=125031008/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3215.08 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4726 0 0 0 244577 76931 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3215.08 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/259 262756
/proc/meminfo: memFree=125030788/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3274.95 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4727 0 0 0 249131 78364 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3274.95 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/258 263054
/proc/meminfo: memFree=125074788/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3334.81 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4728 0 0 0 253686 79795 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3334.81 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/257 263066
/proc/meminfo: memFree=125074496/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3394.68 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4729 0 0 0 258235 81233 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3394.68 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.13 4.03 5/255 263076
/proc/meminfo: memFree=125073544/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3454.54 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4730 0 0 0 262790 82664 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3454.54 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/255 263086
/proc/meminfo: memFree=125072816/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3514.41 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4731 0 0 0 267364 84077 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3514.41 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

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

# cumulated CPU time of all completed processes:  user=2707.01 s, system=850.991 s

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

[startup+3532.8 s]
/proc/loadavg: 4.13 4.12 4.03 5/255 263088
/proc/meminfo: memFree=125072688/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3524.89 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4731 0 0 0 268165 84324 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3524.89 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3545.6 s]
/proc/loadavg: 4.39 4.18 4.05 5/255 263090
/proc/meminfo: memFree=125072644/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3537.66 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4731 0 0 0 269146 84620 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3537.66 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3558.4 s]
/proc/loadavg: 4.44 4.20 4.06 5/255 263092
/proc/meminfo: memFree=125072620/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3550.43 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4731 0 0 0 270124 84919 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3550.43 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3561.6 s]
/proc/loadavg: 4.44 4.20 4.06 5/255 263094
/proc/meminfo: memFree=125072428/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3553.62 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4731 0 0 0 270367 84995 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3553.62 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3563.2 s]
/proc/loadavg: 4.41 4.20 4.06 5/255 263094
/proc/meminfo: memFree=125072444/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3555.22 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4731 0 0 0 270491 85031 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3555.22 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3564.8 s]
/proc/loadavg: 4.41 4.20 4.06 5/255 263094
/proc/meminfo: memFree=125072444/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3556.82 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4731 0 0 0 270611 85071 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3556.82 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3565.6 s]
/proc/loadavg: 4.41 4.20 4.06 4/250 263102
/proc/meminfo: memFree=125222516/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3557.61 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4731 0 0 0 270672 85089 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3557.61 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3565.8 s]
/proc/loadavg: 4.41 4.20 4.06 4/250 263102
/proc/meminfo: memFree=125222516/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3557.82 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4731 0 0 0 270688 85094 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3557.82 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

[startup+3565.9 s]
/proc/loadavg: 4.41 4.20 4.06 4/250 263102
/proc/meminfo: memFree=125222516/131524600 swapFree=131071996/131071996
[pid=260601] ppid=260598 vsize=40908 memory=22612 CPUtime=3557.92 cores=0,2
/proc/260601/stat : 260601 (LS-MabP) R 260598 260601 260554 0 -1 4194304 4731 0 0 0 270695 85097 0 0 20 0 1 0 47210230 41889792 5653 134679101440 4194304 15467897 140729408900224 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41238528 140729408906266 140729408906374 140729408906374 140729408913390 0
/proc/260601/statm: 10227 5653 1169 2753 0 6880 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 22612 KiB

Child status: 0

Real time (s): 3565.98
CPU time (s): 3558
CPU user time (s): 2707.01
CPU system time (s): 850.991
CPU usage (%): 99.7763
Max. virtual memory (cumulated for all children) (KiB): 40908
Max. memory (cumulated for all children) (KiB): 24640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2707.01
system time used= 850.991
maximum resident set size= 34668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4735
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= 3
involuntary context switches= 24878


# summary of solver processes directly reported to runsolver:
#   pid: 260601
#   total CPU time (s): 3558
#   total CPU user time (s): 2707.01
#   total CPU system time (s): 850.991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03732 second user time and 10.5689 second system time

The end