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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427868-1722773148/watcher-4427868-1722773148 -o /tmp/evaluation-result-4427868-1722773148/solver-4427868-1722773148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722769581-242337 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427868-1722773148.opb -t 3558 -s 895189054 

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

solver pid=244365, runsolver pid=244358

[startup+0.105149 s]*
/proc/loadavg: 4.08 4.09 4.01 4/249 244370
/proc/meminfo: memFree=124521548/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=27440 memory=14940 CPUtime=0.09 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 2300 0 0 0 9 0 0 0 20 0 1 0 43911872 28098560 3735 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 6860 3735 1073 2753 0 3513 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 14940 KiB

[startup+0.204422 s]*
/proc/loadavg: 4.08 4.09 4.01 5/251 244372
/proc/meminfo: memFree=124503072/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=37684 memory=21492 CPUtime=0.19 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 2914 0 0 0 19 0 0 0 20 0 1 0 43911872 38588416 5373 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 9421 5373 1073 2753 0 6074 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37684 KiB
Current children cumulated memory: 21492 KiB

[startup+0.304741 s]*
/proc/loadavg: 4.08 4.09 4.01 6/250 244374
/proc/meminfo: memFree=124480844/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=33584 memory=19656 CPUtime=0.29 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 2915 0 0 0 29 0 0 0 20 0 1 0 43911872 34390016 4914 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 8396 4914 1073 2753 0 5049 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 19656 KiB

[startup+0.70018 s]
/proc/loadavg: 4.08 4.09 4.01 6/255 244383
/proc/meminfo: memFree=124422760/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=81236 memory=68496 CPUtime=0.68 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 10964 0 0 0 66 2 0 0 20 0 1 0 43911872 83185664 17124 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 20309 17124 1105 2753 0 16962 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81236 KiB
Current children cumulated memory: 68496 KiB

[startup+1.5002 s]
/proc/loadavg: 4.08 4.09 4.01 6/250 244391
/proc/meminfo: memFree=124332760/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=81236 memory=68496 CPUtime=1.48 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 10964 0 0 0 146 2 0 0 20 0 1 0 43911872 83185664 17124 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 20309 17124 1105 2753 0 16962 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81236 KiB
Current children cumulated memory: 68496 KiB

[startup+3.10457 s]
/proc/loadavg: 4.08 4.09 4.01 6/250 244419
/proc/meminfo: memFree=124197952/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=81236 memory=68496 CPUtime=3.08 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 10972 0 0 0 306 2 0 0 20 0 1 0 43911872 83185664 17124 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 20309 17124 1105 2753 0 16962 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 81236 KiB
Current children cumulated memory: 68496 KiB

[startup+6.30017 s]
/proc/loadavg: 4.07 4.08 4.01 8/255 244429
/proc/meminfo: memFree=123326484/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=686996 memory=620644 CPUtime=6.26 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 103269 0 0 0 608 18 0 0 20 0 1 0 43911872 703483904 155161 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 171749 155161 2801 2753 0 168402 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 686996 KiB
Current children cumulated memory: 620644 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.02 9/254 244431
/proc/meminfo: memFree=123255560/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=766300 memory=668252 CPUtime=12.65 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 113717 0 0 0 1245 20 0 0 20 0 1 0 43911872 784691200 167063 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 191575 167063 2833 2753 0 188228 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 766300 KiB
Current children cumulated memory: 668252 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.02 7/254 244432
/proc/meminfo: memFree=123158944/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=783196 memory=673396 CPUtime=25.42 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 114532 0 0 0 2521 21 0 0 20 0 1 0 43911872 801992704 168349 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 195799 168349 2833 2753 0 192452 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 783196 KiB
Current children cumulated memory: 673396 KiB

[startup+51.105 s]
/proc/loadavg: 4.07 4.09 4.01 8/254 244437
/proc/meminfo: memFree=123129920/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=820656 memory=673396 CPUtime=50.94 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 114563 0 0 0 5073 21 0 0 20 0 1 0 43911872 840351744 168349 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 205164 168349 2833 2753 0 201817 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 820656 KiB
Current children cumulated memory: 673396 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.02 7/255 244446
/proc/meminfo: memFree=122843084/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1134336 memory=823712 CPUtime=101.98 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 150663 0 0 0 10171 27 0 0 20 0 1 0 43911872 1161560064 205928 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 283584 205928 2833 2753 0 280237 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1134336 KiB
Current children cumulated memory: 823712 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/255 244460
/proc/meminfo: memFree=122711884/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1134336 memory=824568 CPUtime=161.77 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 150988 0 0 0 16150 27 0 0 20 0 1 0 43911872 1161560064 206142 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 283584 206142 2833 2753 0 280237 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1134336 KiB
Current children cumulated memory: 824568 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.02 7/255 244470
/proc/meminfo: memFree=122579940/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1265288 memory=932028 CPUtime=221.56 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 177856 0 0 0 22125 31 0 0 20 0 1 0 43911872 1295654912 233007 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 316322 233007 2849 2753 0 312975 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1265288 KiB
Current children cumulated memory: 932028 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/255 244480
/proc/meminfo: memFree=122411192/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1316536 memory=964652 CPUtime=281.37 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 185465 0 0 0 28105 32 0 0 20 0 1 0 43911872 1348132864 241163 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 329134 241163 2849 2753 0 325787 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 1316536 KiB
Current children cumulated memory: 964652 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.03 7/257 244495
/proc/meminfo: memFree=122277308/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1437856 memory=1035796 CPUtime=341.18 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 197762 0 0 0 34083 35 0 0 20 0 1 0 43911872 1472364544 258949 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 359464 258949 2849 2753 0 356117 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 1437856 KiB
Current children cumulated memory: 1035796 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.12 4.04 6/257 244506
/proc/meminfo: memFree=122239224/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1448460 memory=1039368 CPUtime=400.99 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 203601 0 0 0 40062 37 0 0 20 0 1 0 43911872 1483223040 259842 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 362115 259842 2849 2753 0 358768 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 1448460 KiB
Current children cumulated memory: 1039368 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.04 6/256 244516
/proc/meminfo: memFree=122176116/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1502352 memory=1068112 CPUtime=460.81 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 213485 0 0 0 46042 39 0 0 20 0 1 0 43911872 1538408448 267028 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0

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

/proc/loadavg: 4.08 4.11 4.12 6/261 246191
/proc/meminfo: memFree=121797528/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3213.76 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301339 0 0 0 319244 2132 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.12 6/260 246203
/proc/meminfo: memFree=121796804/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3273.61 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301417 0 0 0 325145 2216 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.11 6/259 246226
/proc/meminfo: memFree=121796512/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3333.47 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301469 0 0 0 331046 2301 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.10 6/259 246236
/proc/meminfo: memFree=121795436/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3393.33 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301546 0 0 0 336944 2389 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.10 7/257 246246
/proc/meminfo: memFree=121794856/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3453.19 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301599 0 0 0 342841 2478 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.10 6/256 246258
/proc/meminfo: memFree=121794008/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3513.04 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301676 0 0 0 348735 2569 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

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

# cumulated CPU time of all completed processes:  user=3531.65 s, system=26.3913 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.09 4.10 7/256 246260
/proc/meminfo: memFree=121793804/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3523.52 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301677 0 0 0 349766 2586 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3523.52 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3545.6 s]
/proc/loadavg: 4.13 4.10 4.10 6/256 246262
/proc/meminfo: memFree=121793672/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3536.29 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301703 0 0 0 351025 2604 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3536.29 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3558.4 s]
/proc/loadavg: 4.11 4.10 4.10 6/256 246264
/proc/meminfo: memFree=121793588/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3549.06 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301703 0 0 0 352281 2625 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3549.06 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3561.6 s]
/proc/loadavg: 4.10 4.09 4.10 7/256 246266
/proc/meminfo: memFree=121793504/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3552.26 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301703 0 0 0 352596 2630 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3552.26 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3564.8 s]
/proc/loadavg: 4.10 4.09 4.10 7/256 246266
/proc/meminfo: memFree=121793504/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3555.44 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301703 0 0 0 352910 2634 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3555.44 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3566.4 s]
/proc/loadavg: 4.10 4.09 4.09 6/256 246266
/proc/meminfo: memFree=121793504/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3557.04 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301703 0 0 0 353068 2636 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3557.04 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3566.8 s]
/proc/loadavg: 4.10 4.09 4.09 6/256 246266
/proc/meminfo: memFree=121793504/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3557.44 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301703 0 0 0 353107 2637 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3557.44 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3567.2 s]
/proc/loadavg: 4.10 4.09 4.09 4/254 246312
/proc/meminfo: memFree=123170048/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3557.84 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301703 0 0 0 353146 2638 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3557.84 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

[startup+3567.3 s]
/proc/loadavg: 4.10 4.09 4.09 4/254 246312
/proc/meminfo: memFree=123170048/131524592 swapFree=131071996/131071996
[pid=244365] ppid=244358 vsize=1752176 memory=1301408 CPUtime=3557.94 cores=5,7
/proc/244365/stat : 244365 (LS-MabSP) R 244358 244365 242324 0 -1 4194304 301703 0 0 0 353156 2638 0 0 20 0 1 0 43911872 1794228224 325352 134679101440 4194304 15467897 140737048351328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54771712 140737048355871 140737048355973 140737048355973 140737048362989 0
/proc/244365/statm: 438044 325352 2849 2753 0 434697 0
Current children cumulated CPU time: 3557.94 s
Current children cumulated vsize: 1752176 KiB
Current children cumulated memory: 1301408 KiB

Child status: 0

Real time (s): 3567.39
CPU time (s): 3558.04
CPU user time (s): 3531.65
CPU system time (s): 26.3913
CPU usage (%): 99.7378
Max. virtual memory (cumulated for all children) (KiB): 2226856
Max. memory (cumulated for all children) (KiB): 1723508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.65
system time used= 26.3913
maximum resident set size= 1723508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301848
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= 85
involuntary context switches= 3210


# summary of solver processes directly reported to runsolver:
#   pid: 244365
#   total CPU time (s): 3558.04
#   total CPU user time (s): 3531.65
#   total CPU system time (s): 26.3913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0638 second user time and 13.3696 second system time

The end