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: 64059 MiB (63366 MiB free)
  memory of node 1: 64510 MiB (60459 MiB free)
  node distances:
     10  21
     21  10

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

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


[startup+0.100101 s]*
/proc/loadavg: 0.33 0.15 0.19 5/241 239001
/proc/meminfo: memFree=126765388/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32808 memory=23544 CPUtime=0.1 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 3747 0 0 0 9 1 0 0 20 0 1 0 43553722 33595392 5886 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8202 5886 2365 2403 0 5312 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32808 KiB
Current children cumulated memory: 23544 KiB

[startup+0.213769 s]*
/proc/loadavg: 0.33 0.15 0.19 5/241 239001
/proc/meminfo: memFree=126727080/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=39964 memory=30760 CPUtime=0.21 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 5547 0 0 0 19 2 0 0 20 0 1 0 43553722 40923136 7690 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 9991 7690 2445 2403 0 7101 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39964 KiB
Current children cumulated memory: 30760 KiB

[startup+0.313609 s]*
/proc/loadavg: 0.33 0.15 0.19 5/241 239001
/proc/meminfo: memFree=126707488/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=42024 memory=32388 CPUtime=0.31 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 5998 0 0 0 29 2 0 0 20 0 1 0 43553722 43032576 8097 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 10506 8097 2461 2403 0 7616 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42024 KiB
Current children cumulated memory: 32388 KiB

[startup+0.70035 s]
/proc/loadavg: 0.33 0.15 0.19 5/241 239001
/proc/meminfo: memFree=126682876/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=0.68 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6244 0 0 0 65 3 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+1.50035 s]
/proc/loadavg: 0.33 0.15 0.19 5/241 239001
/proc/meminfo: memFree=126593448/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=1.48 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6244 0 0 0 142 6 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+3.11269 s]
/proc/loadavg: 0.33 0.15 0.19 5/241 239003
/proc/meminfo: memFree=126182892/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=3.09 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6250 0 0 0 294 15 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+6.30031 s]
/proc/loadavg: 0.63 0.21 0.21 5/241 239003
/proc/meminfo: memFree=126149576/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=6.27 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 599 28 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+12.7003 s]
/proc/loadavg: 0.90 0.27 0.23 5/241 239003
/proc/meminfo: memFree=126053816/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=12.65 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 1213 52 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+25.5003 s]
/proc/loadavg: 1.65 0.47 0.29 5/241 239006
/proc/meminfo: memFree=126048216/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=25.43 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 2443 100 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+51.1122 s]
/proc/loadavg: 2.51 0.77 0.40 5/241 239009
/proc/meminfo: memFree=125940284/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=50.98 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 4898 200 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.32 0.61 5/241 239018
/proc/meminfo: memFree=125832908/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=102.05 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 9798 407 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 1.83 0.83 5/241 239029
/proc/meminfo: memFree=125819556/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=161.91 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 15548 643 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.24 1.03 5/241 239040
/proc/meminfo: memFree=125817628/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=221.78 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 21286 892 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 2.61 1.24 5/244 239055
/proc/meminfo: memFree=125816760/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=281.64 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 27029 1135 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 2.88 1.42 5/244 239065
/proc/meminfo: memFree=125815080/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=341.52 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 32773 1379 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 3.13 1.60 5/244 239077
/proc/meminfo: memFree=125810748/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=401.38 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 38526 1612 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6146 2476 2403 0 5235 0
Current children cumulated CPU time: 401.38 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24584 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.31 1.76 5/244 239087
/proc/meminfo: memFree=125709096/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=24584 CPUtime=461.24 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6251 0 0 0 44277 1847 0 0 20 0 1 0 43553722 33280000 6146 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0

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

/proc/loadavg: 4.16 4.14 4.04 5/244 240762
/proc/meminfo: memFree=125814468/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3155.13 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6349 0 0 0 302792 12721 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3155.13 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.04 5/244 240773
/proc/meminfo: memFree=125814480/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3215 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6351 0 0 0 308534 12966 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3215 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.04 5/244 240797
/proc/meminfo: memFree=125813480/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3274.87 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6353 0 0 0 314280 13207 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3274.87 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.05 5/244 240807
/proc/meminfo: memFree=125813156/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3334.74 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6355 0 0 0 320029 13445 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3334.74 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.14 4.05 5/244 240818
/proc/meminfo: memFree=125812264/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3394.6 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6357 0 0 0 325767 13693 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3394.6 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.06 5/244 240829
/proc/meminfo: memFree=125811680/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3454.47 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6359 0 0 0 331512 13935 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3454.47 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.15 4.07 5/244 240840
/proc/meminfo: memFree=125810912/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3514.34 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6361 0 0 0 337259 14175 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3514.34 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

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

# cumulated CPU time of all completed processes:  user=3414.49 s, system=143.514 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.15 4.07 5/244 240842
/proc/meminfo: memFree=125810808/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3524.82 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6361 0 0 0 338267 14215 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3524.82 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3545.6 s]
/proc/loadavg: 4.14 4.14 4.06 5/244 240846
/proc/meminfo: memFree=125809948/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3537.59 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6361 0 0 0 339492 14267 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3537.59 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3558.4 s]
/proc/loadavg: 4.17 4.15 4.07 5/244 240847
/proc/meminfo: memFree=125810068/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3550.36 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6361 0 0 0 340719 14317 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3550.36 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3561.6 s]
/proc/loadavg: 4.16 4.15 4.07 5/242 240847
/proc/meminfo: memFree=125810108/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3553.55 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6361 0 0 0 341024 14331 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3553.55 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3563.2 s]
/proc/loadavg: 4.16 4.15 4.07 5/242 240849
/proc/meminfo: memFree=125810108/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3555.15 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6361 0 0 0 341177 14338 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3555.15 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3564.8 s]
/proc/loadavg: 4.16 4.15 4.07 5/242 240849
/proc/meminfo: memFree=125810088/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3556.75 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6361 0 0 0 341329 14346 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3556.75 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3565.6 s]
/proc/loadavg: 4.16 4.15 4.07 3/232 240865
/proc/meminfo: memFree=125842616/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3557.55 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6361 0 0 0 341406 14349 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3557.55 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

[startup+3566 s]*
/proc/loadavg: 4.15 4.14 4.07 3/232 240865
/proc/meminfo: memFree=125841680/131655788 swapFree=131071996/131071996
[pid=238975] ppid=238971 vsize=32500 memory=25488 CPUtime=3557.96 cores=4,6
/proc/238975/stat : 238975 (LS-MabS) R 238971 238975 238928 0 -1 4194304 6361 0 0 0 341445 14351 0 0 20 0 1 0 43553722 33280000 6372 134679101440 4194304 14036057 140734035479088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 24645632 140734035485730 140734035485830 140734035485830 140734035492846 0
/proc/238975/statm: 8125 6372 2492 2403 0 5235 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 25488 KiB

Child status: 0

Real time (s): 3566.05
CPU time (s): 3558.01
CPU user time (s): 3414.49
CPU system time (s): 143.514
CPU usage (%): 99.7743
Max. virtual memory (cumulated for all children) (KiB): 42024
Max. memory (cumulated for all children) (KiB): 32388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3414.49
system time used= 143.514
maximum resident set size= 33180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6365
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= 4
involuntary context switches= 1378


# summary of solver processes directly reported to runsolver:
#   pid: 238975
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3414.49
#   total CPU system time (s): 143.514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8012 second user time and 33.5346 second system time

The end