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: 63665 MiB (56729 MiB free)
  memory of node 1: 64507 MiB (61494 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519533-1751553080/watcher-4519533-1751553080 -o /tmp/evaluation-result-4519533-1751553080/solver-4519533-1751553080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751549468-78597 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=46733941 --ls=360 --inp-dombreaklim=0 HOME/instance-4519533-1751553080.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=79265, runsolver pid=79262

[startup+0.100062 s]*
/proc/loadavg: 4.15 4.11 4.06 6/264 79266
/proc/meminfo: memFree=121022976/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=0.09 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1991 0 0 0 9 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+0.205545 s]*
/proc/loadavg: 4.15 4.11 4.06 5/264 79266
/proc/meminfo: memFree=120973584/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=0.2 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1991 0 0 0 20 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+0.305374 s]*
/proc/loadavg: 4.15 4.11 4.06 5/264 79266
/proc/meminfo: memFree=120924944/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=0.3 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1991 0 0 0 30 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+0.700185 s]
/proc/loadavg: 4.15 4.11 4.06 5/264 79266
/proc/meminfo: memFree=120924944/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=0.69 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1991 0 0 0 69 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+1.50016 s]
/proc/loadavg: 4.15 4.11 4.06 6/264 79266
/proc/meminfo: memFree=120925020/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=1.48 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1991 0 0 0 148 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+3.10538 s]
/proc/loadavg: 4.15 4.11 4.06 6/264 79266
/proc/meminfo: memFree=120925608/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=3.08 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1996 0 0 0 308 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+6.30017 s]
/proc/loadavg: 4.14 4.11 4.06 6/264 79266
/proc/meminfo: memFree=120925888/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=6.27 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1996 0 0 0 627 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.06 6/264 79266
/proc/meminfo: memFree=120925224/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=12.65 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1996 0 0 0 1265 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.05 6/264 79266
/proc/meminfo: memFree=120925980/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=25.42 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1996 0 0 0 2542 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 4.11 4.06 6/265 79268
/proc/meminfo: memFree=120928328/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=50.96 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1996 0 0 0 5096 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.06 6/263 79269
/proc/meminfo: memFree=120927376/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=102.02 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1996 0 0 0 10202 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.14 4.07 6/266 79276
/proc/meminfo: memFree=120918472/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=161.86 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1996 0 0 0 16186 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 4.18 4.09 6/266 79278
/proc/meminfo: memFree=120916596/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=221.7 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1996 0 0 0 22170 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.16 4.09 6/266 79280
/proc/meminfo: memFree=120211172/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=281.55 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1996 0 0 0 28155 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.09 6/266 79282
/proc/meminfo: memFree=120072280/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=34704 memory=11112 CPUtime=341.39 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 1996 0 0 0 34139 0 0 0 20 0 1 0 70985725 35536896 2778 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.09 6/265 79329
/proc/meminfo: memFree=119410592/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=230176 memory=192792 CPUtime=401.23 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 33072 0 0 0 40103 20 0 0 20 0 1 0 70985725 235700224 48198 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 57544 48198 1280 1200 0 56024 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 230176 KiB
Current children cumulated memory: 192792 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/264 79426
/proc/meminfo: memFree=123146908/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=285320 memory=238360 CPUtime=461.06 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 44339 0 0 0 46072 34 0 0 20 0 1 0 70985725 292167680 59590 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 71330 59590 1280 1200 0 69810 0
Current children cumulated CPU time: 461.06 s

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

/proc/loadavg: 4.13 4.12 4.09 5/265 79435
/proc/meminfo: memFree=123154436/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=294368 memory=261016 CPUtime=700.45 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 46873 0 0 0 69963 82 0 0 20 0 1 0 70985725 301432832 65254 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 73592 65254 1280 1200 0 72072 0
Current children cumulated CPU time: 700.45 s
Current children cumulated vsize: 294368 KiB
Current children cumulated memory: 261016 KiB

[startup+762.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 79440
/proc/meminfo: memFree=122983168/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=294560 memory=261272 CPUtime=760.3 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 46928 0 0 0 75938 92 0 0 20 0 1 0 70985725 301629440 65318 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 73640 65318 1280 1200 0 72120 0
Current children cumulated CPU time: 760.3 s
Current children cumulated vsize: 294560 KiB
Current children cumulated memory: 261272 KiB

[startup+822.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 79488
/proc/meminfo: memFree=122818824/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=296500 memory=263192 CPUtime=820.12 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47414 0 0 0 81907 105 0 0 20 0 1 0 70985725 303616000 65798 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74125 65798 1280 1200 0 72605 0
Current children cumulated CPU time: 820.12 s
Current children cumulated vsize: 296500 KiB
Current children cumulated memory: 263192 KiB

[startup+882.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 79490
/proc/meminfo: memFree=122812616/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=296636 memory=263320 CPUtime=879.92 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47448 0 0 0 87879 113 0 0 20 0 1 0 70985725 303755264 65830 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74159 65830 1280 1200 0 72639 0
Current children cumulated CPU time: 879.92 s
Current children cumulated vsize: 296636 KiB
Current children cumulated memory: 263320 KiB

[startup+942.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 79492
/proc/meminfo: memFree=122762336/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=296636 memory=263448 CPUtime=939.74 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47543 0 0 0 93853 121 0 0 20 0 1 0 70985725 303755264 65862 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74159 65862 1280 1200 0 72639 0
Current children cumulated CPU time: 939.74 s
Current children cumulated vsize: 296636 KiB
Current children cumulated memory: 263448 KiB

[startup+1002.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 79494
/proc/meminfo: memFree=122712236/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=296636 memory=263448 CPUtime=999.56 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47543 0 0 0 99824 132 0 0 20 0 1 0 70985725 303755264 65862 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74159 65862 1280 1200 0 72639 0
Current children cumulated CPU time: 999.56 s
Current children cumulated vsize: 296636 KiB
Current children cumulated memory: 263448 KiB

[startup+1062.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 79500
/proc/meminfo: memFree=122661808/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=296636 memory=263576 CPUtime=1059.36 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47667 0 0 0 105793 143 0 0 20 0 1 0 70985725 303755264 65894 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74159 65894 1280 1200 0 72639 0
Current children cumulated CPU time: 1059.36 s
Current children cumulated vsize: 296636 KiB
Current children cumulated memory: 263576 KiB

[startup+1084.93 s]
# the end of solver process 79265 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1080.45 s, system=1.47585 s

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

[startup+1062.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 79500
/proc/meminfo: memFree=122661808/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=296636 memory=263576 CPUtime=1059.46 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47667 0 0 0 105803 143 0 0 20 0 1 0 70985725 303755264 65894 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74159 65894 1280 1200 0 72639 0
Current children cumulated CPU time: 1059.46 s
Current children cumulated vsize: 296636 KiB
Current children cumulated memory: 263576 KiB

[startup+1075.2 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 79500
/proc/meminfo: memFree=122646116/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=296804 memory=263576 CPUtime=1072.22 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47668 0 0 0 107076 146 0 0 20 0 1 0 70985725 303927296 65894 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74201 65894 1280 1200 0 72681 0
Current children cumulated CPU time: 1072.22 s
Current children cumulated vsize: 296804 KiB
Current children cumulated memory: 263576 KiB

[startup+1081.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 79500
/proc/meminfo: memFree=122646620/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=296940 memory=263704 CPUtime=1078.6 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47702 0 0 0 107713 147 0 0 20 0 1 0 70985725 304066560 65926 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74235 65926 1280 1200 0 72715 0
Current children cumulated CPU time: 1078.6 s
Current children cumulated vsize: 296940 KiB
Current children cumulated memory: 263704 KiB

[startup+1083.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 79501
/proc/meminfo: memFree=122648788/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=296940 memory=263704 CPUtime=1080.19 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47702 0 0 0 107872 147 0 0 20 0 1 0 70985725 304066560 65926 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74235 65926 1280 1200 0 72715 0
Current children cumulated CPU time: 1080.19 s
Current children cumulated vsize: 296940 KiB
Current children cumulated memory: 263704 KiB

[startup+1084 s]*
/proc/loadavg: 4.14 4.12 4.09 5/263 79501
/proc/meminfo: memFree=122648788/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=297196 memory=263832 CPUtime=1081 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47737 0 0 0 107953 147 0 0 20 0 1 0 70985725 304328704 65958 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74299 65958 1280 1200 0 72779 0
Current children cumulated CPU time: 1081 s
Current children cumulated vsize: 297196 KiB
Current children cumulated memory: 263832 KiB

[startup+1084.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 79501
/proc/meminfo: memFree=122648788/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=297196 memory=263832 CPUtime=1081.39 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47737 0 0 0 107992 147 0 0 20 0 1 0 70985725 304328704 65958 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74299 65958 1280 1200 0 72779 0
Current children cumulated CPU time: 1081.39 s
Current children cumulated vsize: 297196 KiB
Current children cumulated memory: 263832 KiB

[startup+1084.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 79501
/proc/meminfo: memFree=122648788/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=297196 memory=263832 CPUtime=1081.79 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47737 0 0 0 108032 147 0 0 20 0 1 0 70985725 304328704 65958 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74299 65958 1280 1200 0 72779 0
Current children cumulated CPU time: 1081.79 s
Current children cumulated vsize: 297196 KiB
Current children cumulated memory: 263832 KiB

[startup+1084.9 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 79501
/proc/meminfo: memFree=122648788/131249996 swapFree=33003468/33010684
[pid=79265] ppid=79262 vsize=297196 memory=263832 CPUtime=1081.89 cores=5,7
/proc/79265/stat : 79265 (Exact) R 79262 79265 78584 0 -1 4194304 47737 0 0 0 108042 147 0 0 20 0 1 0 70985725 304328704 65958 18446744073709551615 4198400 9112445 140725169540528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 40734720 140725169547560 140725169547757 140725169547757 140725169553359 0
/proc/79265/statm: 74299 65958 1280 1200 0 72779 0
Current children cumulated CPU time: 1081.89 s
Current children cumulated vsize: 297196 KiB
Current children cumulated memory: 263832 KiB

Child status: 30

Real time (s): 1084.93
CPU time (s): 1081.93
CPU user time (s): 1080.45
CPU system time (s): 1.47585
CPU usage (%): 99.7231
Max. virtual memory (cumulated for all children) (KiB): 297196
Max. memory (cumulated for all children) (KiB): 263832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1080.45
system time used= 1.47585
maximum resident set size= 263832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47741
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= 65
involuntary context switches= 5731


# summary of solver processes directly reported to runsolver:
#   pid: 79265
#   total CPU time (s): 1081.93
#   total CPU user time (s): 1080.45
#   total CPU system time (s): 1.47585

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.00226 second user time and 4.51605 second system time

The end