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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457937-1722827675/watcher-4457937-1722827675 -o /tmp/evaluation-result-4457937-1722827675/solver-4457937-1722827675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722827674-271220 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4457937-1722827675.opb -t 3558 -s 1531916722 

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=271270, runsolver pid=271259

[startup+0.100333 s]*
/proc/loadavg: 2.45 3.65 3.94 7/258 271282
/proc/meminfo: memFree=128861636/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=51892 memory=40664 CPUtime=0.09 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 8074 0 0 0 9 0 0 0 20 0 1 0 49366758 53137408 10166 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 12973 10166 2461 2403 0 10083 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51892 KiB
Current children cumulated memory: 40664 KiB

[startup+0.206071 s]*
/proc/loadavg: 2.45 3.65 3.94 6/258 271282
/proc/meminfo: memFree=128840836/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=50464 memory=40788 CPUtime=0.19 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 9508 0 0 0 19 0 0 0 20 0 1 0 49366758 51675136 10197 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 12616 10197 2461 2403 0 9726 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50464 KiB
Current children cumulated memory: 40788 KiB

[startup+0.306375 s]*
/proc/loadavg: 2.45 3.65 3.94 7/258 271282
/proc/meminfo: memFree=128829760/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=65176 memory=53708 CPUtime=0.29 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 12776 0 0 0 28 1 0 0 20 0 1 0 49366758 66740224 13427 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 16294 13427 2461 2403 0 13404 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65176 KiB
Current children cumulated memory: 53708 KiB

[startup+0.700209 s]
/proc/loadavg: 2.45 3.65 3.94 6/258 271282
/proc/meminfo: memFree=128807156/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=92924 memory=80368 CPUtime=0.68 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 19440 0 0 0 66 2 0 0 20 0 1 0 49366758 95154176 20092 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 23231 20092 2461 2403 0 20341 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 92924 KiB
Current children cumulated memory: 80368 KiB

[startup+1.50019 s]
/proc/loadavg: 2.45 3.65 3.94 6/258 271282
/proc/meminfo: memFree=128747632/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=93684 memory=81664 CPUtime=1.48 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 19984 0 0 0 145 3 0 0 20 0 1 0 49366758 95932416 20416 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 23421 20416 2461 2403 0 20531 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 93684 KiB
Current children cumulated memory: 81664 KiB

[startup+3.10606 s]
/proc/loadavg: 2.57 3.66 3.94 6/258 271282
/proc/meminfo: memFree=128708364/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=93684 memory=81664 CPUtime=3.08 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 20001 0 0 0 305 3 0 0 20 0 1 0 49366758 95932416 20416 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 23421 20416 2461 2403 0 20531 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93684 KiB
Current children cumulated memory: 81664 KiB

[startup+6.30016 s]
/proc/loadavg: 2.57 3.66 3.94 6/258 271284
/proc/meminfo: memFree=128700112/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=93684 memory=81664 CPUtime=6.27 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 20013 0 0 0 624 3 0 0 20 0 1 0 49366758 95932416 20416 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 23421 20416 2461 2403 0 20531 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93684 KiB
Current children cumulated memory: 81664 KiB

[startup+12.7001 s]
/proc/loadavg: 2.79 3.67 3.94 6/258 271284
/proc/meminfo: memFree=128670476/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=93684 memory=84020 CPUtime=12.65 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 20583 0 0 0 1262 3 0 0 20 0 1 0 49366758 95932416 21005 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 23421 21005 2461 2403 0 20531 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93684 KiB
Current children cumulated memory: 84020 KiB

[startup+25.5002 s]
/proc/loadavg: 3.06 3.70 3.95 6/258 271287
/proc/meminfo: memFree=128588444/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=110540 memory=101152 CPUtime=25.41 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 25404 0 0 0 2537 4 0 0 20 0 1 0 49366758 113192960 25288 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 27635 25288 2461 2403 0 24745 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 110540 KiB
Current children cumulated memory: 101152 KiB

[startup+51.1061 s]
/proc/loadavg: 3.38 3.72 3.95 6/258 271290
/proc/meminfo: memFree=128488084/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=135324 memory=126116 CPUtime=50.92 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 32141 0 0 0 5087 5 0 0 20 0 1 0 49366758 138571776 31529 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 33831 31529 2461 2403 0 30941 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 135324 KiB
Current children cumulated memory: 126116 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 3.79 3.96 6/256 271298
/proc/meminfo: memFree=128360624/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=194472 memory=184704 CPUtime=101.92 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 47067 0 0 0 10184 8 0 0 20 0 1 0 49366758 199139328 46176 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 48618 46176 2461 2403 0 45728 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 194472 KiB
Current children cumulated memory: 184704 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 3.86 3.98 6/256 271308
/proc/meminfo: memFree=128197388/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=256468 memory=244040 CPUtime=161.72 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 63819 0 0 0 16161 11 0 0 20 0 1 0 49366758 262623232 61010 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 64117 61010 2461 2403 0 61227 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 256468 KiB
Current children cumulated memory: 244040 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.89 3.98 6/256 271321
/proc/meminfo: memFree=128041384/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=314680 memory=305600 CPUtime=221.52 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 79384 0 0 0 22139 13 0 0 20 0 1 0 49366758 322232320 76400 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 78670 76400 2461 2403 0 75780 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 305600 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.94 4.00 6/255 271332
/proc/meminfo: memFree=127881716/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=363516 memory=355168 CPUtime=281.32 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 93001 0 0 0 28117 15 0 0 20 0 1 0 49366758 372240384 88792 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 90879 88792 2461 2403 0 87989 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 363516 KiB
Current children cumulated memory: 355168 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.97 4.00 6/258 271347
/proc/meminfo: memFree=127740516/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=416444 memory=404676 CPUtime=341.13 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 106353 0 0 0 34096 17 0 0 20 0 1 0 49366758 426438656 101169 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 104111 101169 2461 2403 0 101221 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 416444 KiB
Current children cumulated memory: 404676 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.99 4.00 6/258 271358
/proc/meminfo: memFree=127585120/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=473756 memory=462780 CPUtime=400.94 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 120626 0 0 0 40075 19 0 0 20 0 1 0 49366758 485126144 115695 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 118439 115695 2461 2403 0 115549 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 473756 KiB
Current children cumulated memory: 462780 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.01 4.00 6/258 271368
/proc/meminfo: memFree=127441308/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=514952 memory=503684 CPUtime=460.75 cores=4,6

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

/proc/loadavg: 4.12 4.09 4.09 6/254 273047
/proc/meminfo: memFree=125187236/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467380 CPUtime=3214.15 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406170 0 0 0 293066 28349 0 0 20 0 1 0 49366758 1509597184 366845 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366845 2476 2403 0 365664 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467380 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/255 273058
/proc/meminfo: memFree=125186680/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467380 CPUtime=3274.04 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406173 0 0 0 297904 29500 0 0 20 0 1 0 49366758 1509597184 366845 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366845 2476 2403 0 365664 0
Current children cumulated CPU time: 3274.04 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/258 273073
/proc/meminfo: memFree=125186396/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3333.94 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406176 0 0 0 302710 30684 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/258 273084
/proc/meminfo: memFree=125186200/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3393.84 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406179 0 0 0 307523 31861 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/258 273094
/proc/meminfo: memFree=125185884/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3453.73 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406182 0 0 0 312319 33054 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 6/258 273104
/proc/meminfo: memFree=125185520/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3513.63 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406185 0 0 0 317150 34213 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

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

# cumulated CPU time of all completed processes:  user=3207.3 s, system=350.714 s

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

[startup+3532.8 s]
/proc/loadavg: 4.08 4.08 4.09 6/258 273106
/proc/meminfo: memFree=125185444/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3524.12 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406185 0 0 0 317994 34418 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3524.12 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3545.6 s]
/proc/loadavg: 4.06 4.08 4.09 6/258 273110
/proc/meminfo: memFree=125185324/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3536.89 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406186 0 0 0 319021 34668 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3536.89 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3558.4 s]
/proc/loadavg: 4.12 4.09 4.09 6/258 273111
/proc/meminfo: memFree=125185204/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3549.67 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406187 0 0 0 320051 34916 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3549.67 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3561.6 s]
/proc/loadavg: 4.12 4.09 4.09 6/257 273111
/proc/meminfo: memFree=125185304/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3552.86 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406187 0 0 0 320310 34976 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3552.86 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.09 4.09 6/257 273111
/proc/meminfo: memFree=125185272/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3556.06 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406187 0 0 0 320570 35036 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3556.06 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3565.6 s]
/proc/loadavg: 4.11 4.09 4.09 6/257 273113
/proc/meminfo: memFree=125185348/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3556.85 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406187 0 0 0 320635 35050 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3556.85 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3566.4 s]
/proc/loadavg: 4.11 4.09 4.09 6/257 273113
/proc/meminfo: memFree=125185216/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3557.65 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406187 0 0 0 320701 35064 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3557.65 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3566.6 s]
/proc/loadavg: 4.11 4.09 4.09 6/257 273113
/proc/meminfo: memFree=125185216/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3557.85 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406187 0 0 0 320717 35068 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3557.85 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

[startup+3566.7 s]
/proc/loadavg: 4.11 4.09 4.09 6/257 273113
/proc/meminfo: memFree=125185216/131524600 swapFree=131071996/131071996
[pid=271270] ppid=271259 vsize=1474216 memory=1467444 CPUtime=3557.96 cores=4,6
/proc/271270/stat : 271270 (LS-MabS) R 271259 271270 271209 0 -1 4194304 406187 0 0 0 320726 35070 0 0 20 0 1 0 49366758 1509597184 366861 134679101440 4194304 14036057 140727229794912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 43634688 140727229797408 140727229797510 140727229797510 140727229804526 0
/proc/271270/statm: 368554 366861 2492 2403 0 365664 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 1474216 KiB
Current children cumulated memory: 1467444 KiB

Child status: 0

Real time (s): 3566.75
CPU time (s): 3558.01
CPU user time (s): 3207.3
CPU system time (s): 350.714
CPU usage (%): 99.7551
Max. virtual memory (cumulated for all children) (KiB): 1589536
Max. memory (cumulated for all children) (KiB): 1564524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3207.3
system time used= 350.714
maximum resident set size= 1564524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406193
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= 82
involuntary context switches= 2825


# summary of solver processes directly reported to runsolver:
#   pid: 271270
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3207.3
#   total CPU system time (s): 350.714

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.34217 second user time and 15.2669 second system time

The end