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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.1001 s]*
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126633020/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=58012 memory=35868 CPUtime=0.1 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 7119 0 0 0 9 1 0 0 20 0 1 0 43558425 59404288 8967 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 14503 8967 2077 2403 0 11613 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58012 KiB
Current children cumulated memory: 35868 KiB

[startup+0.206172 s]*
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126390420/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=127748 memory=105716 CPUtime=0.2 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 24780 0 0 0 16 4 0 0 20 0 1 0 43558425 130813952 26429 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 31937 26429 2237 2403 0 29047 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127748 KiB
Current children cumulated memory: 105716 KiB

[startup+0.306221 s]*
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126210052/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=169836 memory=145692 CPUtime=0.3 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 34707 0 0 0 25 5 0 0 20 0 1 0 43558425 173912064 36423 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 42459 36423 2301 2403 0 39569 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 169836 KiB
Current children cumulated memory: 145692 KiB

[startup+0.700251 s]
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126085320/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=202196 memory=171092 CPUtime=0.68 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 48257 0 0 0 62 6 0 0 20 0 1 0 43558425 207048704 42773 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 50549 42773 2301 2403 0 47659 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 202196 KiB
Current children cumulated memory: 171092 KiB

[startup+1.50025 s]
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=125966736/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=341564 memory=295984 CPUtime=1.48 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 59046 0 0 0 138 10 0 0 20 0 1 0 43558425 349761536 73996 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 85391 73996 2349 2403 0 82501 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 341564 KiB
Current children cumulated memory: 295984 KiB

[startup+3.10603 s]
/proc/loadavg: 0.41 0.17 0.11 6/257 238977
/proc/meminfo: memFree=124998916/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=513628 memory=462720 CPUtime=3.08 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 87023 0 0 0 292 16 0 0 20 0 1 0 43558425 525955072 115680 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 128407 115680 2445 2403 0 125517 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 513628 KiB
Current children cumulated memory: 462720 KiB

[startup+6.30016 s]
/proc/loadavg: 0.41 0.17 0.11 6/257 238977
/proc/meminfo: memFree=124936984/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=557404 memory=488340 CPUtime=6.27 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 94414 0 0 0 609 18 0 0 20 0 1 0 43558425 570781696 122085 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 139351 122085 2461 2403 0 136461 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 557404 KiB
Current children cumulated memory: 488340 KiB

[startup+12.7002 s]
/proc/loadavg: 0.78 0.25 0.14 6/257 238979
/proc/meminfo: memFree=124922584/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=577192 memory=491736 CPUtime=12.65 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 95821 0 0 0 1247 18 0 0 20 0 1 0 43558425 591044608 122934 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 144298 122934 2461 2403 0 141408 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 577192 KiB
Current children cumulated memory: 491736 KiB

[startup+25.5002 s]
/proc/loadavg: 1.49 0.44 0.20 6/257 238980
/proc/meminfo: memFree=124819832/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=636256 memory=499344 CPUtime=25.41 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 98140 0 0 0 2522 19 0 0 20 0 1 0 43558425 651526144 124836 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 159064 124836 2461 2403 0 156174 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 636256 KiB
Current children cumulated memory: 499344 KiB

[startup+51.1063 s]
/proc/loadavg: 2.35 0.72 0.30 6/257 238985
/proc/meminfo: memFree=124415496/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=864676 memory=637908 CPUtime=50.92 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 132358 0 0 0 5068 24 0 0 20 0 1 0 43558425 885428224 159477 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 216169 159477 2461 2403 0 213279 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 864676 KiB
Current children cumulated memory: 637908 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.26 0.51 6/257 238995
/proc/meminfo: memFree=124313192/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=898612 memory=637908 CPUtime=101.89 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 132391 0 0 0 10164 25 0 0 20 0 1 0 43558425 920178688 159477 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 224653 159477 2461 2403 0 221763 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 898612 KiB
Current children cumulated memory: 637908 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 1.78 0.74 6/257 239005
/proc/meminfo: memFree=124103616/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=980152 memory=701500 CPUtime=161.67 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 148286 0 0 0 16140 27 0 0 20 0 1 0 43558425 1003675648 175375 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 245038 175375 2461 2403 0 242148 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 980152 KiB
Current children cumulated memory: 701500 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.20 0.95 6/257 239016
/proc/meminfo: memFree=123914028/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1036264 memory=745032 CPUtime=221.47 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 155736 0 0 0 22118 29 0 0 20 0 1 0 43558425 1061134336 186258 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 259066 186258 2461 2403 0 256176 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 1036264 KiB
Current children cumulated memory: 745032 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.56 1.15 6/260 239032
/proc/meminfo: memFree=123674400/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1140916 memory=827584 CPUtime=281.24 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 173347 0 0 0 28092 32 0 0 20 0 1 0 43558425 1168297984 206896 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 285229 206896 2461 2403 0 282339 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 1140916 KiB
Current children cumulated memory: 827584 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 2.85 1.34 6/257 239043
/proc/meminfo: memFree=123542048/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1156012 memory=861796 CPUtime=341.04 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 174738 0 0 0 34071 33 0 0 20 0 1 0 43558425 1183756288 215449 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 289003 215449 2461 2403 0 286113 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 1156012 KiB
Current children cumulated memory: 861796 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.08 1.52 6/257 239054
/proc/meminfo: memFree=123393104/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1193348 memory=914764 CPUtime=400.83 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 184476 0 0 0 40049 34 0 0 20 0 1 0 43558425 1221988352 228691 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 298337 228691 2461 2403 0 295447 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 1193348 KiB
Current children cumulated memory: 914764 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.28 1.69 6/257 239064
/proc/meminfo: memFree=123219984/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1228224 memory=965284 CPUtime=460.63 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 198821 0 0 0 46026 37 0 0 20 0 1 0 43558425 1257701376 241321 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0

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

Current children cumulated memory: 1021912 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.03 6/260 240737
/proc/meminfo: memFree=122863196/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3212.48 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321755 0 0 0 318870 2378 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3212.48 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.16 4.04 6/259 240761
/proc/meminfo: memFree=122846384/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3272.32 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321781 0 0 0 324756 2476 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3272.32 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.16 4.05 6/258 240772
/proc/meminfo: memFree=122830844/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3332.18 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321807 0 0 0 330642 2576 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.06 6/258 240782
/proc/meminfo: memFree=122822704/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3392.03 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321831 0 0 0 336528 2675 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.06 6/256 240793
/proc/meminfo: memFree=122822456/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3451.87 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321857 0 0 0 342417 2770 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.06 6/256 240804
/proc/meminfo: memFree=122822152/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3511.72 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321885 0 0 0 348299 2873 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

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

# cumulated CPU time of all completed processes:  user=3528.48 s, system=29.5429 s

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

[startup+3532.8 s]
/proc/loadavg: 4.10 4.14 4.06 6/256 240805
/proc/meminfo: memFree=122822096/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3522.19 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321892 0 0 0 349327 2892 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3522.19 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3545.6 s]
/proc/loadavg: 4.15 4.15 4.07 6/255 240808
/proc/meminfo: memFree=122822012/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3534.96 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321892 0 0 0 350583 2913 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3534.96 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3558.4 s]
/proc/loadavg: 4.13 4.15 4.07 6/255 240809
/proc/meminfo: memFree=122821988/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3547.73 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321897 0 0 0 351839 2934 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3547.73 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.14 4.06 6/255 240811
/proc/meminfo: memFree=122821924/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3554.11 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321904 0 0 0 352466 2945 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3554.11 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3566.4 s]
/proc/loadavg: 4.11 4.14 4.06 6/255 240811
/proc/meminfo: memFree=122821932/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3555.71 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321904 0 0 0 352623 2948 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3555.71 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3568 s]*
/proc/loadavg: 4.11 4.14 4.06 3/245 240827
/proc/meminfo: memFree=124648288/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3557.31 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321904 0 0 0 352780 2951 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3557.31 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3568.4 s]
/proc/loadavg: 4.11 4.14 4.06 3/245 240827
/proc/meminfo: memFree=124648288/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3557.71 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321904 0 0 0 352819 2952 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3557.71 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3568.6 s]
/proc/loadavg: 4.11 4.14 4.06 3/245 240827
/proc/meminfo: memFree=124648288/131524600 swapFree=131071996/131071996
[pid=238950] ppid=238941 vsize=1219148 memory=1021912 CPUtime=3557.9 cores=0,2
/proc/238950/stat : 238950 (LS-MabS) R 238941 238950 238901 0 -1 4194304 321904 0 0 0 352838 2952 0 0 20 0 1 0 43558425 1248407552 255478 134679101440 4194304 14036057 140728881497216 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 34975744 140728881505313 140728881505414 140728881505414 140728881512430 0
/proc/238950/statm: 304787 255478 2492 2403 0 301897 0
Current children cumulated CPU time: 3557.9 s
Current children cumulated vsize: 1219148 KiB
Current children cumulated memory: 1021912 KiB

[startup+3568.7 s]*
/proc/loadavg: 4.10 4.14 4.06 2/249 240853
/proc/meminfo: memFree=126390528/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3568.71
CPU time (s): 3558.02
CPU user time (s): 3528.48
CPU system time (s): 29.5429
CPU usage (%): 99.7006
Max. virtual memory (cumulated for all children) (KiB): 2015188
Max. memory (cumulated for all children) (KiB): 1520676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3528.48
system time used= 29.5429
maximum resident set size= 1520676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321908
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= 84
involuntary context switches= 24391


# summary of solver processes directly reported to runsolver:
#   pid: 238950
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3528.48
#   total CPU system time (s): 29.5429

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.14732 second user time and 15.2697 second system time

The end