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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428496-1722823939/watcher-4428496-1722823939 -o /tmp/evaluation-result-4428496-1722823939/solver-4428496-1722823939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722816804-263345 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428496-1722823939.opb -t 3558 -s 2113173287 

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
Current StackSize limit: 8192 KiB

solver pid=267391, runsolver pid=267388

[startup+0.100175 s]*
/proc/loadavg: 4.13 4.14 4.13 5/244 267392
/proc/meminfo: memFree=118139108/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=45152 memory=33932 CPUtime=0.1 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 6438 0 0 0 9 1 0 0 20 0 1 0 48991524 46235648 8483 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 11288 8483 2301 2403 0 8398 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45152 KiB
Current children cumulated memory: 33932 KiB

[startup+0.213408 s]*
/proc/loadavg: 4.13 4.14 4.13 5/244 267392
/proc/meminfo: memFree=118124316/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=60140 memory=48660 CPUtime=0.22 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 10177 0 0 0 20 2 0 0 20 0 1 0 48991524 61583360 12165 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 15035 12165 2349 2403 0 12145 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 60140 KiB
Current children cumulated memory: 48660 KiB

[startup+0.313117 s]*
/proc/loadavg: 4.13 4.14 4.13 6/244 267392
/proc/meminfo: memFree=118122028/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=61668 memory=50244 CPUtime=0.31 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 10538 0 0 0 29 2 0 0 20 0 1 0 48991524 63148032 12561 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 15417 12561 2349 2403 0 12527 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 61668 KiB
Current children cumulated memory: 50244 KiB

[startup+0.700335 s]
/proc/loadavg: 4.13 4.14 4.13 4/242 267392
/proc/meminfo: memFree=119041796/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=62696 memory=51300 CPUtime=0.69 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 10794 0 0 0 67 2 0 0 20 0 1 0 48991524 64200704 12825 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 15674 12825 2349 2403 0 12784 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62696 KiB
Current children cumulated memory: 51300 KiB

[startup+1.50029 s]
/proc/loadavg: 4.13 4.14 4.13 5/242 267406
/proc/meminfo: memFree=119023116/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=127168 memory=111780 CPUtime=1.48 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 28283 0 0 0 144 4 0 0 20 0 1 0 48991524 130220032 27945 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 31792 27945 2461 2403 0 28902 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127168 KiB
Current children cumulated memory: 111780 KiB

[startup+3.11281 s]
/proc/loadavg: 4.12 4.13 4.13 5/242 267406
/proc/meminfo: memFree=118979176/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=127168 memory=112208 CPUtime=3.09 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 28454 0 0 0 305 4 0 0 20 0 1 0 48991524 130220032 28052 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 31792 28052 2461 2403 0 28902 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 127168 KiB
Current children cumulated memory: 112208 KiB

[startup+6.3003 s]
/proc/loadavg: 4.12 4.13 4.13 5/240 267420
/proc/meminfo: memFree=119329452/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=127168 memory=115364 CPUtime=6.27 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 29397 0 0 0 623 4 0 0 20 0 1 0 48991524 130220032 28841 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 31792 28841 2461 2403 0 28902 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 127168 KiB
Current children cumulated memory: 115364 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.13 4.13 5/244 267486
/proc/meminfo: memFree=118828072/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=127168 memory=115364 CPUtime=12.66 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 29430 0 0 0 1261 5 0 0 20 0 1 0 48991524 130220032 28841 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 31792 28841 2461 2403 0 28902 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 127168 KiB
Current children cumulated memory: 115364 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.12 4.12 5/244 267487
/proc/meminfo: memFree=118654504/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=142884 memory=126080 CPUtime=25.42 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 31886 0 0 0 2537 5 0 0 20 0 1 0 48991524 146313216 31520 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 35721 31520 2461 2403 0 32831 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 142884 KiB
Current children cumulated memory: 126080 KiB

[startup+51.1129 s]
/proc/loadavg: 4.11 4.13 4.13 5/244 267493
/proc/meminfo: memFree=118486384/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=206380 memory=172864 CPUtime=50.95 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 46040 0 0 0 5088 7 0 0 20 0 1 0 48991524 211333120 43216 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 51595 43216 2461 2403 0 48705 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 206380 KiB
Current children cumulated memory: 172864 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/244 267502
/proc/meminfo: memFree=118339204/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=285284 memory=231216 CPUtime=102 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 55235 0 0 0 10191 9 0 0 20 0 1 0 48991524 292130816 57804 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 71321 57804 2461 2403 0 68431 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 285284 KiB
Current children cumulated memory: 231216 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/244 267512
/proc/meminfo: memFree=118237308/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=354984 memory=330052 CPUtime=161.84 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 65101 0 0 0 16174 10 0 0 20 0 1 0 48991524 363503616 82513 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 88746 82513 2461 2403 0 85856 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 354984 KiB
Current children cumulated memory: 330052 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.13 4.12 5/241 267522
/proc/meminfo: memFree=118151184/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=425244 memory=413348 CPUtime=221.7 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 77223 0 0 0 22157 13 0 0 20 0 1 0 48991524 435449856 103337 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 106311 103337 2461 2403 0 103421 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 425244 KiB
Current children cumulated memory: 413348 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/241 267533
/proc/meminfo: memFree=118051392/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=467492 memory=435328 CPUtime=281.55 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 82345 0 0 0 28141 14 0 0 20 0 1 0 48991524 478711808 108832 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 116873 108832 2461 2403 0 113983 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 467492 KiB
Current children cumulated memory: 435328 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/241 267546
/proc/meminfo: memFree=118018312/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=512120 memory=464680 CPUtime=341.41 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 89829 0 0 0 34125 16 0 0 20 0 1 0 48991524 524410880 116170 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 128030 116170 2461 2403 0 125140 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 512120 KiB
Current children cumulated memory: 464680 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/241 267556
/proc/meminfo: memFree=118003288/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=534420 memory=478372 CPUtime=401.26 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 93428 0 0 0 40110 16 0 0 20 0 1 0 48991524 547246080 119593 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 133605 119593 2461 2403 0 130715 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 534420 KiB
Current children cumulated memory: 478372 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.16 4.13 5/241 267568
/proc/meminfo: memFree=117959428/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=572128 memory=515204 CPUtime=461.12 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 101576 0 0 0 46093 19 0 0 20 0 1 0 48991524 585859072 128801 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0

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

/proc/loadavg: 4.09 4.11 4.16 5/242 269256
/proc/meminfo: memFree=118035744/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3155.66 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157260 0 0 0 305592 9974 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3155.66 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.16 5/242 269266
/proc/meminfo: memFree=118035232/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3215.57 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157264 0 0 0 311114 10443 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3215.57 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/241 269277
/proc/meminfo: memFree=118034500/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3275.46 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157266 0 0 0 316683 10863 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3275.46 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/241 269288
/proc/meminfo: memFree=118033980/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3335.37 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157270 0 0 0 322245 11292 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3335.37 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/241 269299
/proc/meminfo: memFree=118033420/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3395.27 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157272 0 0 0 327814 11713 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3395.27 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/241 269310
/proc/meminfo: memFree=118032836/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3455.16 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157276 0 0 0 333358 12158 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3455.16 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/243 269325
/proc/meminfo: memFree=118032152/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3515.07 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157278 0 0 0 338925 12582 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3515.07 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

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

# cumulated CPU time of all completed processes:  user=3429.01 s, system=128.993 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.12 4.14 5/243 269326
/proc/meminfo: memFree=118032040/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3525.54 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157278 0 0 0 339892 12662 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3525.54 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3545.6 s]
/proc/loadavg: 4.11 4.12 4.14 5/243 269328
/proc/meminfo: memFree=118031980/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3538.32 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157280 0 0 0 341067 12765 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3538.32 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3558.4 s]
/proc/loadavg: 4.16 4.13 4.14 5/243 269330
/proc/meminfo: memFree=118031704/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3551.11 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157280 0 0 0 342255 12856 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3551.11 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3561.6 s]
/proc/loadavg: 4.23 4.14 4.15 5/243 269332
/proc/meminfo: memFree=118031728/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3554.3 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157280 0 0 0 342554 12876 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3554.3 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3563.2 s]
/proc/loadavg: 4.23 4.14 4.15 5/243 269332
/proc/meminfo: memFree=118031752/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3555.9 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157280 0 0 0 342705 12885 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3555.9 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3564 s]*
/proc/loadavg: 4.21 4.14 4.15 5/243 269332
/proc/meminfo: memFree=118031752/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3556.71 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157280 0 0 0 342782 12889 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3556.71 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3564.8 s]
/proc/loadavg: 4.21 4.14 4.15 5/243 269332
/proc/meminfo: memFree=118031752/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3557.49 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157280 0 0 0 342854 12895 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3557.49 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

[startup+3565.2 s]
/proc/loadavg: 4.21 4.14 4.15 4/238 269340
/proc/meminfo: memFree=118052756/131655788 swapFree=131071996/131071996
[pid=267391] ppid=267388 vsize=659876 memory=653908 CPUtime=3557.89 cores=1,3
/proc/267391/stat : 267391 (LS-MabS) R 267388 267391 263333 0 -1 4194304 157280 0 0 0 342891 12898 0 0 20 0 1 0 48991524 675713024 163477 134679101440 4194304 14036057 140726834242144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53227520 140726834250784 140726834250886 140726834250886 140726834257902 0
/proc/267391/statm: 164969 163477 2748 2403 0 162079 0
Current children cumulated CPU time: 3557.89 s
Current children cumulated vsize: 659876 KiB
Current children cumulated memory: 653908 KiB

Child status: 0

Real time (s): 3565.31
CPU time (s): 3558
CPU user time (s): 3429.01
CPU system time (s): 128.993
CPU usage (%): 99.7951
Max. virtual memory (cumulated for all children) (KiB): 895012
Max. memory (cumulated for all children) (KiB): 859724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3429.01
system time used= 128.994
maximum resident set size= 859724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157295
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= 77
involuntary context switches= 2370


# summary of solver processes directly reported to runsolver:
#   pid: 267391
#   total CPU time (s): 3558
#   total CPU user time (s): 3429.01
#   total CPU system time (s): 128.993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0812 second user time and 31.7044 second system time

The end