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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=248149, runsolver pid=248146
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 0.04 0.15 1.20 5/244 248162
/proc/meminfo: memFree=124772168/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=36380 memory=26608 CPUtime=0.1 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 4580 0 0 0 9 1 0 0 20 0 1 0 44742053 37253120 6652 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 9095 6652 2317 2403 0 6205 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36380 KiB
Current children cumulated memory: 26608 KiB

[startup+0.21373 s]*
/proc/loadavg: 0.04 0.15 1.20 5/244 248162
/proc/meminfo: memFree=124747624/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=42116 memory=32540 CPUtime=0.22 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 6088 0 0 0 20 2 0 0 20 0 1 0 44742053 43126784 8135 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 10529 8135 2429 2403 0 7639 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 32540 KiB

[startup+0.313566 s]*
/proc/loadavg: 0.04 0.15 1.20 5/244 248162
/proc/meminfo: memFree=124738536/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=44604 memory=34956 CPUtime=0.32 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 6661 0 0 0 30 2 0 0 20 0 1 0 44742053 45674496 8739 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 11151 8739 2445 2403 0 8261 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 44604 KiB
Current children cumulated memory: 34956 KiB

[startup+0.700267 s]
/proc/loadavg: 0.04 0.15 1.20 5/244 248162
/proc/meminfo: memFree=124736428/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=45280 memory=35544 CPUtime=0.69 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 6836 0 0 0 67 2 0 0 20 0 1 0 44742053 46366720 8886 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 11320 8886 2461 2403 0 8430 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45280 KiB
Current children cumulated memory: 35544 KiB

[startup+1.50026 s]
/proc/loadavg: 0.04 0.15 1.20 5/244 248162
/proc/meminfo: memFree=124724920/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=49516 memory=39204 CPUtime=1.48 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 7744 0 0 0 146 2 0 0 20 0 1 0 44742053 50704384 9801 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 12379 9801 2461 2403 0 9489 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49516 KiB
Current children cumulated memory: 39204 KiB

[startup+3.11289 s]
/proc/loadavg: 0.04 0.15 1.20 5/244 248164
/proc/meminfo: memFree=124692756/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=69592 memory=57948 CPUtime=3.1 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 12458 0 0 0 307 3 0 0 20 0 1 0 44742053 71262208 14487 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 17398 14487 2461 2403 0 14508 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 69592 KiB
Current children cumulated memory: 57948 KiB

[startup+6.30028 s]
/proc/loadavg: 0.36 0.21 1.22 5/244 248164
/proc/meminfo: memFree=124559656/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=103276 memory=90684 CPUtime=6.27 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 20608 0 0 0 623 4 0 0 20 0 1 0 44742053 105754624 22671 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 25819 22671 2461 2403 0 22929 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 103276 KiB
Current children cumulated memory: 90684 KiB

[startup+12.7002 s]
/proc/loadavg: 0.73 0.29 1.24 5/244 248164
/proc/meminfo: memFree=124447692/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=125836 memory=109240 CPUtime=12.65 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 26413 0 0 0 1261 4 0 0 20 0 1 0 44742053 128856064 27310 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 31459 27310 2461 2403 0 28569 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 125836 KiB
Current children cumulated memory: 109240 KiB

[startup+25.5003 s]
/proc/loadavg: 1.46 0.48 1.28 5/244 248167
/proc/meminfo: memFree=124444972/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=127868 memory=111876 CPUtime=25.42 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 27052 0 0 0 2538 4 0 0 20 0 1 0 44742053 130936832 27969 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 31967 27969 2461 2403 0 29077 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 127868 KiB
Current children cumulated memory: 111876 KiB

[startup+51.1151 s]
/proc/loadavg: 2.33 0.76 1.35 6/248 248345
/proc/meminfo: memFree=124302404/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=173064 memory=153588 CPUtime=50.97 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 37581 0 0 0 5089 8 0 0 20 0 1 0 44742053 177217536 38397 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 43266 38397 2461 2403 0 40376 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 173064 KiB
Current children cumulated memory: 153588 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.29 1.51 5/242 248564
/proc/meminfo: memFree=124322328/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=208804 memory=196840 CPUtime=102.01 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 46778 0 0 0 10191 10 0 0 20 0 1 0 44742053 213815296 49210 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 52201 49210 2461 2403 0 49311 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 208804 KiB
Current children cumulated memory: 196840 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.80 1.67 5/242 248575
/proc/meminfo: memFree=124118864/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=363028 memory=348132 CPUtime=161.85 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 83779 0 0 0 16169 16 0 0 20 0 1 0 44742053 371740672 87033 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 90757 87033 2461 2403 0 87867 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 363028 KiB
Current children cumulated memory: 348132 KiB

[startup+222.3 s]
/proc/loadavg: 3.94 2.21 1.82 5/242 248586
/proc/meminfo: memFree=124011648/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=399932 memory=386320 CPUtime=221.69 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 96903 0 0 0 22152 17 0 0 20 0 1 0 44742053 409530368 96580 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 99983 96580 2461 2403 0 97093 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 399932 KiB
Current children cumulated memory: 386320 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.57 1.97 5/244 248767
/proc/meminfo: memFree=123965468/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=398964 memory=385688 CPUtime=281.54 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 97083 0 0 0 28137 17 0 0 20 0 1 0 44742053 408539136 96422 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 99741 96422 2461 2403 0 96851 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 398964 KiB
Current children cumulated memory: 385688 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 2.86 2.11 5/244 248778
/proc/meminfo: memFree=123940300/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=398964 memory=385836 CPUtime=341.39 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 97197 0 0 0 34121 18 0 0 20 0 1 0 44742053 408539136 96459 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 99741 96459 2461 2403 0 96851 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 398964 KiB
Current children cumulated memory: 385836 KiB

[startup+402.3 s]
/proc/loadavg: 4.77 3.27 2.30 5/247 248849
/proc/meminfo: memFree=123926528/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=399524 memory=386212 CPUtime=401.24 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 97379 0 0 0 40106 18 0 0 20 0 1 0 44742053 409112576 96553 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 99881 96553 2461 2403 0 96991 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 399524 KiB
Current children cumulated memory: 386212 KiB

[startup+462.3 s]
/proc/loadavg: 5.04 3.63 2.49 5/247 248860
/proc/meminfo: memFree=123918532/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=402256 memory=388184 CPUtime=461.09 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 97960 0 0 0 46091 18 0 0 20 0 1 0 44742053 411910144 97046 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0

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

/proc/loadavg: 4.13 4.10 4.02 5/241 249934
/proc/meminfo: memFree=123811228/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3155.65 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144337 0 0 0 308898 6667 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3155.65 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/241 249945
/proc/meminfo: memFree=123810572/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3215.56 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144339 0 0 0 314605 6951 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3215.56 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/241 249956
/proc/meminfo: memFree=123809716/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3275.47 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144341 0 0 0 320307 7240 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3275.47 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/241 249967
/proc/meminfo: memFree=123809028/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3335.38 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144343 0 0 0 326011 7527 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3335.38 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/243 249981
/proc/meminfo: memFree=123808536/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3395.29 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144345 0 0 0 331713 7816 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3395.29 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/243 249992
/proc/meminfo: memFree=123807740/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3455.19 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144347 0 0 0 337419 8100 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3455.19 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/243 250004
/proc/meminfo: memFree=123807064/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3515.11 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144349 0 0 0 343134 8377 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3515.11 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

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

# cumulated CPU time of all completed processes:  user=3472.13 s, system=85.8743 s

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

[startup+3532.81 s]
/proc/loadavg: 4.06 4.08 4.02 5/243 250005
/proc/meminfo: memFree=123806960/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3525.59 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144349 0 0 0 344130 8429 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3525.59 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3545.6 s]
/proc/loadavg: 4.12 4.09 4.03 5/243 250009
/proc/meminfo: memFree=123806396/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3538.36 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144349 0 0 0 345342 8494 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3538.36 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3558.4 s]
/proc/loadavg: 4.10 4.09 4.03 5/243 250011
/proc/meminfo: memFree=123806452/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3551.14 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144351 0 0 0 346558 8556 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3551.14 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3561.6 s]
/proc/loadavg: 4.09 4.08 4.03 5/243 250011
/proc/meminfo: memFree=123806452/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3554.34 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144351 0 0 0 346865 8569 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3554.34 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3563.2 s]
/proc/loadavg: 4.09 4.08 4.03 5/243 250013
/proc/meminfo: memFree=123806452/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3555.94 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144351 0 0 0 347016 8578 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3555.94 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3564 s]*
/proc/loadavg: 4.09 4.08 4.03 5/243 250013
/proc/meminfo: memFree=123806408/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3556.75 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144351 0 0 0 347094 8581 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3556.75 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3564.8 s]
/proc/loadavg: 4.09 4.08 4.03 5/243 250013
/proc/meminfo: memFree=123806408/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3557.53 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144351 0 0 0 347168 8585 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3557.53 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

[startup+3565.2 s]
/proc/loadavg: 4.09 4.08 4.02 4/241 250013
/proc/meminfo: memFree=124143624/131655788 swapFree=131071996/131071996
[pid=248149] ppid=248146 vsize=440472 memory=433236 CPUtime=3557.93 cores=5,7
/proc/248149/stat : 248149 (LS-MabS) R 248146 248149 248089 0 -1 4194304 144351 0 0 0 347207 8586 0 0 20 0 1 0 44742053 451043328 108309 134679101440 4194304 14036057 140722257666304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 26906624 140722257671201 140722257671302 140722257671302 140722257678318 0
/proc/248149/statm: 110118 108309 2476 2403 0 107228 0
Current children cumulated CPU time: 3557.93 s
Current children cumulated vsize: 440472 KiB
Current children cumulated memory: 433236 KiB

Child status: 0

Real time (s): 3565.26
CPU time (s): 3558
CPU user time (s): 3472.13
CPU system time (s): 85.8743
CPU usage (%): 99.7965
Max. virtual memory (cumulated for all children) (KiB): 577136
Max. memory (cumulated for all children) (KiB): 561396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3472.13
system time used= 85.8743
maximum resident set size= 561396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144356
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= 53
involuntary context switches= 5068


# summary of solver processes directly reported to runsolver:
#   pid: 248149
#   total CPU time (s): 3558
#   total CPU user time (s): 3472.13
#   total CPU system time (s): 85.8743

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0354 second user time and 30.1782 second system time

The end