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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428334-1722809651/watcher-4428334-1722809651 -o /tmp/evaluation-result-4428334-1722809651/solver-4428334-1722809651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722806084-249639 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428334-1722809651.opb -t 3558 -s 893628007 

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


[startup+0.100094 s]*
/proc/loadavg: 4.14 4.14 4.07 6/242 252201
/proc/meminfo: memFree=129558720/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=33048 memory=9388 CPUtime=0.1 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 1752 0 0 0 10 0 0 0 20 0 1 0 47335797 33841152 2347 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 8262 2347 749 2403 0 5372 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33048 KiB
Current children cumulated memory: 9388 KiB

[startup+0.213187 s]*
/proc/loadavg: 4.14 4.14 4.07 6/242 252201
/proc/meminfo: memFree=129513536/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=41232 memory=18624 CPUtime=0.21 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 4015 0 0 0 20 1 0 0 20 0 1 0 47335797 42221568 4656 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 10308 4656 749 2403 0 7418 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 18624 KiB

[startup+0.313275 s]*
/proc/loadavg: 4.14 4.14 4.07 6/242 252201
/proc/meminfo: memFree=129459732/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=67284 memory=49336 CPUtime=0.32 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 10526 0 0 0 29 3 0 0 20 0 1 0 47335797 68898816 12334 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 16821 12334 2077 2403 0 13931 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 67284 KiB
Current children cumulated memory: 49336 KiB

[startup+0.700274 s]
/proc/loadavg: 4.14 4.14 4.07 6/242 252201
/proc/meminfo: memFree=129320120/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=136956 memory=118272 CPUtime=0.68 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 27800 0 0 0 61 7 0 0 20 0 1 0 47335797 140242944 29568 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 34239 29568 2317 2403 0 31349 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136956 KiB
Current children cumulated memory: 118272 KiB

[startup+1.50034 s]
/proc/loadavg: 4.14 4.14 4.07 5/240 252203
/proc/meminfo: memFree=129229464/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=158144 memory=140012 CPUtime=1.48 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 37044 0 0 0 138 10 0 0 20 0 1 0 47335797 161939456 35003 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 39536 35003 2349 2403 0 36646 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158144 KiB
Current children cumulated memory: 140012 KiB

[startup+3.11271 s]
/proc/loadavg: 4.13 4.14 4.07 6/236 252239
/proc/meminfo: memFree=129072756/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=237040 memory=214500 CPUtime=3.08 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 59360 0 0 0 294 14 0 0 20 0 1 0 47335797 242728960 53625 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 59260 53625 2445 2403 0 56370 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 237040 KiB
Current children cumulated memory: 214500 KiB

[startup+6.3003 s]
/proc/loadavg: 4.13 4.14 4.07 6/242 252249
/proc/meminfo: memFree=128722548/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=237916 memory=215028 CPUtime=6.27 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 59513 0 0 0 612 15 0 0 20 0 1 0 47335797 243625984 53757 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 59479 53757 2445 2403 0 56589 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 237916 KiB
Current children cumulated memory: 215028 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.13 4.06 6/242 252250
/proc/meminfo: memFree=128705448/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=239128 memory=216084 CPUtime=12.64 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 59777 0 0 0 1249 15 0 0 20 0 1 0 47335797 244867072 54021 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 59782 54021 2445 2403 0 56892 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 239128 KiB
Current children cumulated memory: 216084 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.13 4.06 6/242 252252
/proc/meminfo: memFree=128689732/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=239128 memory=216084 CPUtime=25.4 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 59779 0 0 0 2523 17 0 0 20 0 1 0 47335797 244867072 54021 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 59782 54021 2445 2403 0 56892 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 239128 KiB
Current children cumulated memory: 216084 KiB

[startup+51.1132 s]
/proc/loadavg: 4.12 4.13 4.07 6/241 252256
/proc/meminfo: memFree=128623336/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=239128 memory=216084 CPUtime=50.91 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 59779 0 0 0 5071 20 0 0 20 0 1 0 47335797 244867072 54021 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 59782 54021 2445 2403 0 56892 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 239128 KiB
Current children cumulated memory: 216084 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.07 6/239 252266
/proc/meminfo: memFree=128597440/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=239128 memory=216084 CPUtime=101.92 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 59779 0 0 0 10167 25 0 0 20 0 1 0 47335797 244867072 54021 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 59782 54021 2445 2403 0 56892 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 239128 KiB
Current children cumulated memory: 216084 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.07 6/239 252277
/proc/meminfo: memFree=128306260/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=239128 memory=216368 CPUtime=161.71 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 59783 0 0 0 16140 31 0 0 20 0 1 0 47335797 244867072 54092 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 59782 54092 2445 2403 0 56892 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 239128 KiB
Current children cumulated memory: 216368 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.07 6/239 252287
/proc/meminfo: memFree=128303192/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=239128 memory=218612 CPUtime=221.53 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 59837 0 0 0 22122 31 0 0 20 0 1 0 47335797 244867072 54653 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 59782 54653 2461 2403 0 56892 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 239128 KiB
Current children cumulated memory: 218612 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.07 6/239 252297
/proc/meminfo: memFree=128263080/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=264376 memory=245732 CPUtime=281.38 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 63812 0 0 0 28106 32 0 0 20 0 1 0 47335797 270721024 61433 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 66094 61433 2477 2403 0 63204 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 264376 KiB
Current children cumulated memory: 245732 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.08 6/238 252308
/proc/meminfo: memFree=128247620/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=276592 memory=252308 CPUtime=341.22 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 65534 0 0 0 34090 32 0 0 20 0 1 0 47335797 283230208 63077 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 69148 63077 2477 2403 0 66258 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 276592 KiB
Current children cumulated memory: 252308 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.08 6/240 252322
/proc/meminfo: memFree=128062684/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=276592 memory=252556 CPUtime=401.08 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 65562 0 0 0 40076 32 0 0 20 0 1 0 47335797 283230208 63139 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 69148 63139 2477 2403 0 66258 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 276592 KiB
Current children cumulated memory: 252556 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 4.15 4.10 6/240 252332
/proc/meminfo: memFree=128038792/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=276592 memory=252556 CPUtime=460.92 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 65596 0 0 0 46060 32 0 0 20 0 1 0 47335797 283230208 63139 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0

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

/proc/loadavg: 4.14 4.13 4.17 6/238 254005
/proc/meminfo: memFree=128067248/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3214.32 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76403 0 0 0 316460 4972 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.16 6/238 254015
/proc/meminfo: memFree=128066828/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3274.19 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76415 0 0 0 322245 5174 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3274.19 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.15 6/241 254031
/proc/meminfo: memFree=128066208/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3334.06 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76426 0 0 0 328009 5397 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3334.06 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.16 6/241 254043
/proc/meminfo: memFree=128066024/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3393.92 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76439 0 0 0 333786 5606 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3393.92 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.15 6/241 254053
/proc/meminfo: memFree=128065728/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3453.8 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76451 0 0 0 339568 5812 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3453.8 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.15 6/242 254065
/proc/meminfo: memFree=128065392/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3513.67 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76463 0 0 0 345363 6004 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3513.67 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

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

# cumulated CPU time of all completed processes:  user=3496.56 s, system=61.4414 s

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

[startup+3532.8 s]
/proc/loadavg: 4.13 4.12 4.15 6/242 254067
/proc/meminfo: memFree=128065324/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3524.14 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76463 0 0 0 346383 6031 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3524.14 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3545.6 s]
/proc/loadavg: 4.10 4.12 4.15 6/242 254068
/proc/meminfo: memFree=128065308/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3536.92 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76463 0 0 0 347620 6072 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3536.92 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3558.4 s]
/proc/loadavg: 4.08 4.11 4.15 6/242 254071
/proc/meminfo: memFree=128065216/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3549.69 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76463 0 0 0 348851 6118 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3549.69 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3561.6 s]
/proc/loadavg: 4.08 4.11 4.15 6/242 254072
/proc/meminfo: memFree=128065188/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3552.88 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76463 0 0 0 349161 6127 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3552.88 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3564.8 s]
/proc/loadavg: 4.15 4.13 4.15 6/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3556.08 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76463 0 0 0 349469 6139 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3556.08 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3565.6 s]
/proc/loadavg: 4.15 4.13 4.15 6/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3556.88 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76463 0 0 0 349546 6142 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3556.88 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3566.4 s]
/proc/loadavg: 4.15 4.13 4.15 6/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3557.67 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76463 0 0 0 349624 6143 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3557.67 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3566.6 s]
/proc/loadavg: 4.15 4.13 4.15 6/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3557.87 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76463 0 0 0 349644 6143 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3557.87 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

[startup+3566.7 s]
/proc/loadavg: 4.15 4.13 4.15 6/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252194] ppid=252185 vsize=195952 memory=182068 CPUtime=3557.98 cores=4,6
/proc/252194/stat : 252194 (LS-MabS) R 252185 252194 249628 0 -1 4194304 76463 0 0 0 349654 6144 0 0 20 0 1 0 47335797 200654848 45517 134679101440 4194304 14036057 140727620786656 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 53854208 140727620793381 140727620793482 140727620793482 140727620800494 0
/proc/252194/statm: 48988 45517 2764 2403 0 46098 0
Current children cumulated CPU time: 3557.98 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 182068 KiB

Child status: 0

Real time (s): 3566.72
CPU time (s): 3558
CPU user time (s): 3496.56
CPU system time (s): 61.4414
CPU usage (%): 99.7555
Max. virtual memory (cumulated for all children) (KiB): 340880
Max. memory (cumulated for all children) (KiB): 306244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3496.56
system time used= 61.4414
maximum resident set size= 306244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76469
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= 23
involuntary context switches= 1258


# summary of solver processes directly reported to runsolver:
#   pid: 252194
#   total CPU time (s): 3558
#   total CPU user time (s): 3496.56
#   total CPU system time (s): 61.4414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.082 second user time and 33.2987 second system time

The end