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: 63794 MiB (62556 MiB free)
  memory of node 1: 64507 MiB (62693 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484050-1751277736/watcher-4484050-1751277736 -o /tmp/evaluation-result-4484050-1751277736/solver-4484050-1751277736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751270072-39301 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=336857907 --ls=0 --inp-dombreaklim=0 HOME/instance-4484050-1751277736.opb 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=40487, runsolver pid=40484
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 3.99 4.16 4.15 7/251 40488
/proc/meminfo: memFree=128248764/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=39144 memory=16312 CPUtime=0.1 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 3328 0 0 0 9 1 0 0 20 0 1 0 43453343 40083456 4078 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 9786 4078 1184 1200 0 8266 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39144 KiB
Current children cumulated memory: 16312 KiB

[startup+0.212593 s]*
/proc/loadavg: 3.99 4.16 4.15 5/251 40488
/proc/meminfo: memFree=128246748/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=40000 memory=16824 CPUtime=0.21 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 3479 0 0 0 20 1 0 0 20 0 1 0 43453343 40960000 4206 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 10000 4206 1184 1200 0 8480 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40000 KiB
Current children cumulated memory: 16824 KiB

[startup+0.313023 s]*
/proc/loadavg: 3.99 4.16 4.15 5/251 40488
/proc/meminfo: memFree=128246748/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=41004 memory=18104 CPUtime=0.32 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 3719 0 0 0 30 2 0 0 20 0 1 0 43453343 41988096 4526 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 10251 4526 1248 1200 0 8731 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41004 KiB
Current children cumulated memory: 18104 KiB

[startup+0.700283 s]
/proc/loadavg: 3.99 4.16 4.15 5/251 40488
/proc/meminfo: memFree=128242716/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=43680 memory=24976 CPUtime=0.68 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 4421 0 0 0 66 2 0 0 20 0 1 0 43453343 44728320 6244 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 10920 6244 1248 1200 0 9400 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43680 KiB
Current children cumulated memory: 24976 KiB

[startup+1.50028 s]
/proc/loadavg: 3.99 4.16 4.15 5/251 40488
/proc/meminfo: memFree=128234652/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=53024 memory=40500 CPUtime=1.49 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 6759 0 0 0 146 3 0 0 20 0 1 0 43453343 54296576 10125 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 13256 10125 1248 1200 0 11736 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53024 KiB
Current children cumulated memory: 40500 KiB

[startup+3.11285 s]
/proc/loadavg: 3.99 4.16 4.15 5/251 40488
/proc/meminfo: memFree=128201224/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=76300 memory=66720 CPUtime=3.09 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 11772 0 0 0 305 4 0 0 20 0 1 0 43453343 78131200 16680 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 19075 16680 1280 1200 0 17555 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 76300 KiB
Current children cumulated memory: 66720 KiB

[startup+6.3003 s]
/proc/loadavg: 3.99 4.16 4.15 5/251 40489
/proc/meminfo: memFree=128149008/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=131656 memory=99068 CPUtime=6.27 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 16923 0 0 0 620 7 0 0 20 0 1 0 43453343 134815744 24767 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 32914 24767 1280 1200 0 31394 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 131656 KiB
Current children cumulated memory: 99068 KiB

[startup+12.7003 s]
/proc/loadavg: 3.99 4.15 4.15 5/251 40489
/proc/meminfo: memFree=128120524/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=154772 memory=128904 CPUtime=12.65 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 21832 0 0 0 1255 10 0 0 20 0 1 0 43453343 158486528 32226 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 38693 32226 1280 1200 0 37173 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 154772 KiB
Current children cumulated memory: 128904 KiB

[startup+25.5003 s]
/proc/loadavg: 3.99 4.14 4.14 5/251 40489
/proc/meminfo: memFree=128065672/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=176724 memory=148744 CPUtime=25.42 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 26789 0 0 0 2527 15 0 0 20 0 1 0 43453343 180965376 37186 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 44181 37186 1280 1200 0 42661 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 176724 KiB
Current children cumulated memory: 148744 KiB

[startup+51.1128 s]
/proc/loadavg: 4.06 4.15 4.14 5/251 40489
/proc/meminfo: memFree=128048624/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=195724 memory=166408 CPUtime=50.95 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 31229 0 0 0 5070 25 0 0 20 0 1 0 43453343 200421376 41602 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 48931 41602 1280 1200 0 47411 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 195724 KiB
Current children cumulated memory: 166408 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.14 5/251 40492
/proc/meminfo: memFree=127956556/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=220340 memory=189192 CPUtime=102 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 36966 0 0 0 10154 46 0 0 20 0 1 0 43453343 225628160 47298 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 55085 47298 1280 1200 0 53565 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 220340 KiB
Current children cumulated memory: 189192 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/250 40494
/proc/meminfo: memFree=127850368/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=231132 memory=199560 CPUtime=161.83 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 39552 0 0 0 16118 65 0 0 20 0 1 0 43453343 236679168 49890 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 57783 49890 1280 1200 0 56263 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 231132 KiB
Current children cumulated memory: 199560 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/251 40503
/proc/meminfo: memFree=127800344/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=236672 memory=205192 CPUtime=221.66 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 41002 0 0 0 22082 84 0 0 20 0 1 0 43453343 242352128 51298 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 59168 51298 1280 1200 0 57648 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 236672 KiB
Current children cumulated memory: 205192 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/251 40505
/proc/meminfo: memFree=127761812/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=245052 memory=213000 CPUtime=281.49 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 42944 0 0 0 28043 106 0 0 20 0 1 0 43453343 250933248 53250 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 61263 53250 1280 1200 0 59743 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 245052 KiB
Current children cumulated memory: 213000 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/251 40507
/proc/meminfo: memFree=127700104/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=258940 memory=224008 CPUtime=341.33 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 45716 0 0 0 34005 128 0 0 20 0 1 0 43453343 265154560 56002 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 64735 56002 1280 1200 0 63215 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 258940 KiB
Current children cumulated memory: 224008 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/251 40510
/proc/meminfo: memFree=127690732/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=265204 memory=229896 CPUtime=401.16 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 47191 0 0 0 39965 151 0 0 20 0 1 0 43453343 271568896 57474 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 66301 57474 1280 1200 0 64781 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 265204 KiB
Current children cumulated memory: 229896 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/251 40512
/proc/meminfo: memFree=127694168/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=268444 memory=232840 CPUtime=460.98 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 47964 0 0 0 45931 167 0 0 20 0 1 0 43453343 274886656 58210 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 67111 58210 1280 1200 0 65591 0

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

/proc/loadavg: 4.09 4.10 4.09 5/250 40570
/proc/meminfo: memFree=127158620/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=315692 memory=282308 CPUtime=1656.87 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 58960 0 0 0 165133 554 0 0 20 0 1 0 43453343 323268608 70577 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 78923 70577 1280 1200 0 77403 0
Current children cumulated CPU time: 1656.87 s
Current children cumulated vsize: 315692 KiB
Current children cumulated memory: 282308 KiB

[startup+1722.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/249 40573
/proc/meminfo: memFree=127149752/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=316076 memory=287684 CPUtime=1716.71 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59075 0 0 0 171104 567 0 0 20 0 1 0 43453343 323661824 71921 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79019 71921 1280 1200 0 77499 0
Current children cumulated CPU time: 1716.71 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 287684 KiB

[startup+1782.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 40575
/proc/meminfo: memFree=127131912/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317232 memory=302404 CPUtime=1776.55 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59339 0 0 0 177068 587 0 0 20 0 1 0 43453343 324845568 75601 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79308 75601 1280 1200 0 77788 0
Current children cumulated CPU time: 1776.55 s
Current children cumulated vsize: 317232 KiB
Current children cumulated memory: 302404 KiB

[startup+1842.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 40578
/proc/meminfo: memFree=127128592/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317232 memory=302404 CPUtime=1836.39 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59339 0 0 0 183038 601 0 0 20 0 1 0 43453343 324845568 75601 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79308 75601 1280 1200 0 77788 0
Current children cumulated CPU time: 1836.39 s
Current children cumulated vsize: 317232 KiB
Current children cumulated memory: 302404 KiB

[startup+1902.3 s]
/proc/loadavg: 4.20 4.13 4.10 4/244 40611
/proc/meminfo: memFree=128098196/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317232 memory=302404 CPUtime=1896.24 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59345 0 0 0 189004 620 0 0 20 0 1 0 43453343 324845568 75601 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79308 75601 1280 1200 0 77788 0
Current children cumulated CPU time: 1896.24 s
Current children cumulated vsize: 317232 KiB
Current children cumulated memory: 302404 KiB

[startup+1962.3 s]
/proc/loadavg: 3.48 3.93 4.03 4/244 40613
/proc/meminfo: memFree=128095140/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317232 memory=302532 CPUtime=1956.1 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59490 0 0 0 194971 639 0 0 20 0 1 0 43453343 324845568 75633 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79308 75633 1280 1200 0 77788 0
Current children cumulated CPU time: 1956.1 s
Current children cumulated vsize: 317232 KiB
Current children cumulated memory: 302532 KiB

[startup+2022.3 s]
/proc/loadavg: 3.28 3.79 3.97 4/245 40622
/proc/meminfo: memFree=128087344/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317520 memory=302660 CPUtime=2015.95 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59549 0 0 0 200940 655 0 0 20 0 1 0 43453343 325140480 75665 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79380 75665 1280 1200 0 77860 0
Current children cumulated CPU time: 2015.95 s
Current children cumulated vsize: 317520 KiB
Current children cumulated memory: 302660 KiB

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

# cumulated CPU time of all completed processes:  user=2033.16 s, system=6.62686 s

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

[startup+2022.4 s]
/proc/loadavg: 3.28 3.79 3.97 4/245 40622
/proc/meminfo: memFree=128087344/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317520 memory=302660 CPUtime=2016.06 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59549 0 0 0 200950 656 0 0 20 0 1 0 43453343 325140480 75665 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79380 75665 1280 1200 0 77860 0
Current children cumulated CPU time: 2016.06 s
Current children cumulated vsize: 317520 KiB
Current children cumulated memory: 302660 KiB

[startup+2035.2 s]
/proc/loadavg: 3.22 3.75 3.96 4/245 40623
/proc/meminfo: memFree=128087344/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317520 memory=302660 CPUtime=2028.82 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59549 0 0 0 202223 659 0 0 20 0 1 0 43453343 325140480 75665 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79380 75665 1280 1200 0 77860 0
Current children cumulated CPU time: 2028.82 s
Current children cumulated vsize: 317520 KiB
Current children cumulated memory: 302660 KiB

[startup+2041.6 s]
/proc/loadavg: 3.20 3.74 3.95 4/245 40623
/proc/meminfo: memFree=128087344/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317520 memory=302660 CPUtime=2035.21 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59549 0 0 0 202860 661 0 0 20 0 1 0 43453343 325140480 75665 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79380 75665 1280 1200 0 77860 0
Current children cumulated CPU time: 2035.21 s
Current children cumulated vsize: 317520 KiB
Current children cumulated memory: 302660 KiB

[startup+2043.2 s]
/proc/loadavg: 3.20 3.74 3.95 4/245 40623
/proc/meminfo: memFree=128087344/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317520 memory=302660 CPUtime=2036.8 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59549 0 0 0 203019 661 0 0 20 0 1 0 43453343 325140480 75665 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79380 75665 1280 1200 0 77860 0
Current children cumulated CPU time: 2036.8 s
Current children cumulated vsize: 317520 KiB
Current children cumulated memory: 302660 KiB

[startup+2044.8 s]
/proc/loadavg: 3.19 3.73 3.95 4/245 40623
/proc/meminfo: memFree=128087344/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317520 memory=302660 CPUtime=2038.4 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59549 0 0 0 203178 662 0 0 20 0 1 0 43453343 325140480 75665 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79380 75665 1280 1200 0 77860 0
Current children cumulated CPU time: 2038.4 s
Current children cumulated vsize: 317520 KiB
Current children cumulated memory: 302660 KiB

[startup+2045.6 s]
/proc/loadavg: 3.19 3.73 3.95 4/245 40623
/proc/meminfo: memFree=128087344/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317520 memory=302660 CPUtime=2039.2 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59549 0 0 0 203258 662 0 0 20 0 1 0 43453343 325140480 75665 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79380 75665 1280 1200 0 77860 0
Current children cumulated CPU time: 2039.2 s
Current children cumulated vsize: 317520 KiB
Current children cumulated memory: 302660 KiB

[startup+2046 s]*
/proc/loadavg: 3.19 3.73 3.95 4/245 40623
/proc/meminfo: memFree=128087344/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317520 memory=302660 CPUtime=2039.61 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59549 0 0 0 203299 662 0 0 20 0 1 0 43453343 325140480 75665 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79380 75665 1280 1200 0 77860 0
Current children cumulated CPU time: 2039.61 s
Current children cumulated vsize: 317520 KiB
Current children cumulated memory: 302660 KiB

[startup+2046.11 s]
/proc/loadavg: 3.19 3.73 3.95 4/245 40623
/proc/meminfo: memFree=128087344/131382116 swapFree=33010684/33010684
[pid=40487] ppid=40484 vsize=317520 memory=302660 CPUtime=2039.71 cores=4,6
/proc/40487/stat : 40487 (Exact) R 40484 40487 38814 0 -1 4194304 59549 0 0 0 203309 662 0 0 20 0 1 0 43453343 325140480 75665 18446744073709551615 4198400 9112445 140722967888256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28594176 140722967894313 140722967894509 140722967894509 140722967900111 0
/proc/40487/statm: 79380 75665 1280 1200 0 77860 0
Current children cumulated CPU time: 2039.71 s
Current children cumulated vsize: 317520 KiB
Current children cumulated memory: 302660 KiB

Child status: 30

Real time (s): 2046.18
CPU time (s): 2039.79
CPU user time (s): 2033.16
CPU system time (s): 6.62686
CPU usage (%): 99.6875
Max. virtual memory (cumulated for all children) (KiB): 317520
Max. memory (cumulated for all children) (KiB): 302660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2033.16
system time used= 6.62686
maximum resident set size= 302660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59552
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= 66
involuntary context switches= 1733


# summary of solver processes directly reported to runsolver:
#   pid: 40487
#   total CPU time (s): 2039.79
#   total CPU user time (s): 2033.16
#   total CPU system time (s): 6.62686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.70254 second user time and 19.5776 second system time

The end