runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (63091 MiB free)
  memory of node 1: 64473 MiB (58747 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428586-1722776713/watcher-4428586-1722776713 -o /tmp/evaluation-result-4428586-1722776713/solver-4428586-1722776713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722769581-241837 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428586-1722776713.opb -t 3558 -s 1168624502 --no-s 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100856 s]*
/proc/loadavg: 4.08 4.15 4.25 5/241 245841
/proc/meminfo: memFree=124751128/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=22604 memory=9724 CPUtime=0.1 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 1232 0 0 0 10 0 0 0 20 0 1 0 44267822 23146496 2431 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 5651 2431 1073 2753 0 2304 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22604 KiB
Current children cumulated memory: 9724 KiB

[startup+0.212362 s]*
/proc/loadavg: 4.08 4.15 4.25 5/241 245841
/proc/meminfo: memFree=124736840/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=25676 memory=13108 CPUtime=0.21 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 2300 0 0 0 21 0 0 0 20 0 1 0 44267822 26292224 3277 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 6419 3277 1073 2753 0 3072 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25676 KiB
Current children cumulated memory: 13108 KiB

[startup+0.31244 s]*
/proc/loadavg: 4.08 4.14 4.25 5/241 245841
/proc/meminfo: memFree=124734444/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=29772 memory=15160 CPUtime=0.31 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 2816 0 0 0 31 0 0 0 20 0 1 0 44267822 30486528 3790 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 7443 3790 1073 2753 0 4096 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29772 KiB
Current children cumulated memory: 15160 KiB

[startup+0.700289 s]
/proc/loadavg: 4.08 4.14 4.25 5/241 245841
/proc/meminfo: memFree=124725488/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=76888 memory=58048 CPUtime=0.68 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 9145 0 0 0 67 1 0 0 20 0 1 0 44267822 78733312 14512 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 19222 14512 1105 2753 0 15875 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76888 KiB
Current children cumulated memory: 58048 KiB

[startup+1.50032 s]
/proc/loadavg: 4.08 4.14 4.25 5/239 245855
/proc/meminfo: memFree=124769296/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=76888 memory=58048 CPUtime=1.48 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 9146 0 0 0 147 1 0 0 20 0 1 0 44267822 78733312 14512 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 19222 14512 1105 2753 0 15875 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76888 KiB
Current children cumulated memory: 58048 KiB

[startup+3.11216 s]
/proc/loadavg: 4.08 4.14 4.25 5/241 245887
/proc/meminfo: memFree=124763556/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=83332 memory=64772 CPUtime=3.08 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 10779 0 0 0 306 2 0 0 20 0 1 0 44267822 85331968 16193 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 20833 16193 1153 2753 0 17486 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83332 KiB
Current children cumulated memory: 64772 KiB

[startup+6.30027 s]
/proc/loadavg: 4.07 4.14 4.25 5/239 245889
/proc/meminfo: memFree=124789252/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=83332 memory=64772 CPUtime=6.27 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 10785 0 0 0 621 6 0 0 20 0 1 0 44267822 85331968 16193 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 20833 16193 1153 2753 0 17486 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 83332 KiB
Current children cumulated memory: 64772 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.14 4.24 5/241 245935
/proc/meminfo: memFree=124777864/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75704 CPUtime=12.66 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 12990 0 0 0 1252 14 0 0 20 0 1 0 44267822 96423936 18926 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18926 1153 2753 0 20194 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75704 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.15 4.25 5/241 245937
/proc/meminfo: memFree=124766784/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75704 CPUtime=25.43 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 13006 0 0 0 2511 32 0 0 20 0 1 0 44267822 96423936 18926 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18926 1153 2753 0 20194 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75704 KiB

[startup+51.1122 s]
/proc/loadavg: 4.14 4.15 4.24 5/241 245941
/proc/meminfo: memFree=124765824/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75820 CPUtime=50.98 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 13061 0 0 0 5030 68 0 0 20 0 1 0 44267822 96423936 18955 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18955 1169 2753 0 20194 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75820 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.23 5/241 245951
/proc/meminfo: memFree=124764380/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=102.07 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 13116 0 0 0 10068 139 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.22 5/241 245963
/proc/meminfo: memFree=124763348/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=161.95 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 13165 0 0 0 15971 224 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.21 5/241 245973
/proc/meminfo: memFree=124762136/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=221.84 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 13194 0 0 0 21873 311 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.21 5/241 245985
/proc/meminfo: memFree=124761492/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=281.74 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 13214 0 0 0 27776 398 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 281.74 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.19 5/243 245999
/proc/meminfo: memFree=124760672/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=341.62 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 13234 0 0 0 33688 474 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 341.62 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.09 4.18 5/243 246009
/proc/meminfo: memFree=124759948/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=401.51 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 13254 0 0 0 39591 560 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 401.51 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.18 5/243 246021
/proc/meminfo: memFree=124759336/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=461.4 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 13292 0 0 0 45499 641 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0

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

/proc/loadavg: 4.06 4.11 4.13 5/245 247686
/proc/meminfo: memFree=124724056/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3216.35 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14248 0 0 0 317157 4478 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3216.35 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/245 247697
/proc/meminfo: memFree=124723324/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3276.23 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14268 0 0 0 323057 4566 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3276.23 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/244 247710
/proc/meminfo: memFree=124722552/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3336.13 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14288 0 0 0 328956 4657 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3336.13 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/244 247732
/proc/meminfo: memFree=124721912/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3396.01 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14308 0 0 0 334851 4750 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3396.01 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.13 4.13 5/244 247743
/proc/meminfo: memFree=124721148/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3455.91 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14328 0 0 0 340759 4832 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3455.91 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/242 247753
/proc/meminfo: memFree=124720616/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3515.8 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14348 0 0 0 346661 4919 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3515.8 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

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

# cumulated CPU time of all completed processes:  user=3508.24 s, system=49.7888 s

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

[startup+3532.8 s]
/proc/loadavg: 4.11 4.12 4.12 5/242 247755
/proc/meminfo: memFree=124720476/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3526.27 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14348 0 0 0 347692 4935 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3526.27 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3545.6 s]
/proc/loadavg: 4.09 4.11 4.12 5/242 247756
/proc/meminfo: memFree=124720064/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3539.05 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14348 0 0 0 348955 4950 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3539.05 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3552 s]*
/proc/loadavg: 4.31 4.16 4.14 5/242 247759
/proc/meminfo: memFree=124719916/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3545.45 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14348 0 0 0 349587 4958 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3545.45 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3558.4 s]
/proc/loadavg: 4.37 4.17 4.14 5/242 247760
/proc/meminfo: memFree=124719868/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3551.83 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14348 0 0 0 350213 4970 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3551.83 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3561.6 s]
/proc/loadavg: 4.37 4.17 4.14 5/242 247760
/proc/meminfo: memFree=124719908/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3555.02 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14348 0 0 0 350528 4974 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3555.02 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3563.2 s]
/proc/loadavg: 4.50 4.20 4.15 5/242 247760
/proc/meminfo: memFree=124719900/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3556.61 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14348 0 0 0 350685 4976 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3556.61 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3564 s]*
/proc/loadavg: 4.50 4.20 4.15 5/242 247760
/proc/meminfo: memFree=124719892/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3557.43 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14348 0 0 0 350765 4978 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3557.43 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3564.4 s]
/proc/loadavg: 4.50 4.20 4.15 5/242 247760
/proc/meminfo: memFree=124719892/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3557.81 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14368 0 0 0 350803 4978 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3557.81 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

[startup+3564.5 s]
/proc/loadavg: 4.50 4.20 4.15 5/242 247760
/proc/meminfo: memFree=124719892/131655788 swapFree=131071996/131071996
[pid=245830] ppid=245827 vsize=94164 memory=75868 CPUtime=3557.91 cores=1,3
/proc/245830/stat : 245830 (LS-MabP) R 245827 245830 241825 0 -1 4194304 14368 0 0 0 350813 4978 0 0 20 0 1 0 44267822 96423936 18967 134679101440 4194304 15467897 140727181150928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47800320 140727181153305 140727181153414 140727181153414 140727181160430 0
/proc/245830/statm: 23541 18967 1169 2753 0 20194 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75868 KiB

Child status: 0

Real time (s): 3564.6
CPU time (s): 3558.02
CPU user time (s): 3508.24
CPU system time (s): 49.7888
CPU usage (%): 99.8155
Max. virtual memory (cumulated for all children) (KiB): 94164
Max. memory (cumulated for all children) (KiB): 75868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3508.24
system time used= 49.7888
maximum resident set size= 75868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14383
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= 16
involuntary context switches= 1153


# summary of solver processes directly reported to runsolver:
#   pid: 245830
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3508.24
#   total CPU system time (s): 49.7888

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6598 second user time and 31.9417 second system time

The end