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: 63708 MiB (61446 MiB free)
  memory of node 1: 64465 MiB (61569 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525626-1751621946/watcher-4525626-1751621946 -o /tmp/evaluation-result-4525626-1751621946/solver-4525626-1751621946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751612433-84720 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1863405224 --ls=360 HOME/instance-4525626-1751621946.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=88842, runsolver pid=88839

[startup+0.100068 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 88843
/proc/meminfo: memFree=125929832/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=71144 memory=47120 CPUtime=0.09 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 13656 0 0 0 8 1 0 0 20 0 1 0 77872994 72851456 11780 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 17786 11780 1024 1200 0 16266 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71144 KiB
Current children cumulated memory: 47120 KiB

[startup+0.205663 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 88843
/proc/meminfo: memFree=125914900/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=112940 memory=84608 CPUtime=0.2 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 22693 0 0 0 17 3 0 0 20 0 1 0 77872994 115650560 21152 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 28235 21152 1024 1200 0 26715 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112940 KiB
Current children cumulated memory: 84608 KiB

[startup+0.305628 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 88843
/proc/meminfo: memFree=125886864/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=140300 memory=114900 CPUtime=0.3 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 29241 0 0 0 26 4 0 0 20 0 1 0 77872994 143667200 28725 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 35075 28725 1024 1200 0 33555 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 140300 KiB
Current children cumulated memory: 114900 KiB

[startup+0.700205 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 88843
/proc/meminfo: memFree=125870736/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=0.68 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31374 0 0 0 64 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+1.50018 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 88843
/proc/meminfo: memFree=125870988/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=1.48 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31374 0 0 0 144 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+3.10558 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 88843
/proc/meminfo: memFree=125861628/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=3.08 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31381 0 0 0 304 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+6.30019 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 88843
/proc/meminfo: memFree=125837768/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=6.26 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31388 0 0 0 622 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 88843
/proc/meminfo: memFree=125813972/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=12.64 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31395 0 0 0 1260 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 88843
/proc/meminfo: memFree=125706524/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=25.39 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31395 0 0 0 2535 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 88844
/proc/meminfo: memFree=125237124/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=50.9 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31402 0 0 0 5086 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 88845
/proc/meminfo: memFree=125203980/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=101.89 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31416 0 0 0 10185 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 88850
/proc/meminfo: memFree=125186336/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=161.66 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31423 0 0 0 16162 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 88903
/proc/meminfo: memFree=124540576/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=221.44 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31430 0 0 0 22140 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 88949
/proc/meminfo: memFree=120241560/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=281.17 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31437 0 0 0 28113 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 88951
/proc/meminfo: memFree=120216780/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=149552 memory=123476 CPUtime=340.92 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 31437 0 0 0 34088 4 0 0 20 0 1 0 77872994 153141248 30869 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 37388 30869 1024 1200 0 35868 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 123476 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/263 88953
/proc/meminfo: memFree=119896004/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=450964 memory=389756 CPUtime=400.71 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 81183 0 0 0 40053 18 0 0 20 0 1 0 77872994 461787136 97439 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 112741 97439 1248 1200 0 111221 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 450964 KiB
Current children cumulated memory: 389756 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 88955
/proc/meminfo: memFree=119508780/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=813076 memory=769784 CPUtime=460.54 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 150802 0 0 0 46017 37 0 0 20 0 1 0 77872994 832589824 192446 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 203269 192446 1248 1200 0 201749 0
Current children cumulated CPU time: 460.54 s

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

/proc/loadavg: 4.06 4.08 4.09 5/263 89021
/proc/meminfo: memFree=102961296/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1088704 memory=1052236 CPUtime=1597.28 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 191050 0 0 0 159616 112 0 0 20 0 1 0 77872994 1114832896 263059 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 272176 263059 1248 1200 0 270656 0
Current children cumulated CPU time: 1597.28 s
Current children cumulated vsize: 1088704 KiB
Current children cumulated memory: 1052236 KiB

[startup+1662.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 89024
/proc/meminfo: memFree=102863024/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1095948 memory=1059148 CPUtime=1657.12 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 193017 0 0 0 165597 115 0 0 20 0 1 0 77872994 1122250752 264787 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 273987 264787 1248 1200 0 272467 0
Current children cumulated CPU time: 1657.12 s
Current children cumulated vsize: 1095948 KiB
Current children cumulated memory: 1059148 KiB

[startup+1722.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 89026
/proc/meminfo: memFree=102809968/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1097480 memory=1060556 CPUtime=1716.96 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 193658 0 0 0 171578 118 0 0 20 0 1 0 77872994 1123819520 265139 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 274370 265139 1248 1200 0 272850 0
Current children cumulated CPU time: 1716.96 s
Current children cumulated vsize: 1097480 KiB
Current children cumulated memory: 1060556 KiB

[startup+1782.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 89028
/proc/meminfo: memFree=102672292/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1097712 memory=1061068 CPUtime=1776.81 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 194068 0 0 0 177558 123 0 0 20 0 1 0 77872994 1124057088 265267 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 274428 265267 1248 1200 0 272908 0
Current children cumulated CPU time: 1776.81 s
Current children cumulated vsize: 1097712 KiB
Current children cumulated memory: 1061068 KiB

[startup+1842.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 89030
/proc/meminfo: memFree=102583920/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1104108 memory=1066956 CPUtime=1836.65 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 195970 0 0 0 183539 126 0 0 20 0 1 0 77872994 1130606592 266739 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 276027 266739 1248 1200 0 274507 0
Current children cumulated CPU time: 1836.65 s
Current children cumulated vsize: 1104108 KiB
Current children cumulated memory: 1066956 KiB

[startup+1902.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 89035
/proc/meminfo: memFree=102534824/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1105152 memory=1068620 CPUtime=1896.5 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 196759 0 0 0 189520 130 0 0 20 0 1 0 77872994 1131675648 267155 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 276288 267155 1248 1200 0 274768 0
Current children cumulated CPU time: 1896.5 s
Current children cumulated vsize: 1105152 KiB
Current children cumulated memory: 1068620 KiB

[startup+1962.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 89037
/proc/meminfo: memFree=102393528/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1108328 memory=1071180 CPUtime=1956.34 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 197767 0 0 0 195502 132 0 0 20 0 1 0 77872994 1134927872 267795 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 277082 267795 1248 1200 0 275562 0
Current children cumulated CPU time: 1956.34 s
Current children cumulated vsize: 1108328 KiB
Current children cumulated memory: 1071180 KiB

[startup+2022.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 89041
/proc/meminfo: memFree=102167032/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1110292 memory=1073356 CPUtime=2016.18 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 198523 0 0 0 201483 135 0 0 20 0 1 0 77872994 1136939008 268339 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 277573 268339 1248 1200 0 276053 0
Current children cumulated CPU time: 2016.18 s
Current children cumulated vsize: 1110292 KiB
Current children cumulated memory: 1073356 KiB

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

# cumulated CPU time of all completed processes:  user=2022.83 s, system=1.36313 s

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

[startup+2022.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 89041
/proc/meminfo: memFree=102167032/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1110292 memory=1073356 CPUtime=2016.28 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 198523 0 0 0 201493 135 0 0 20 0 1 0 77872994 1136939008 268339 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 277573 268339 1248 1200 0 276053 0
Current children cumulated CPU time: 2016.28 s
Current children cumulated vsize: 1110292 KiB
Current children cumulated memory: 1073356 KiB

[startup+2025.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 89041
/proc/meminfo: memFree=102150784/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1110292 memory=1073356 CPUtime=2019.47 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 198595 0 0 0 201812 135 0 0 20 0 1 0 77872994 1136939008 268339 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 277573 268339 1248 1200 0 276053 0
Current children cumulated CPU time: 2019.47 s
Current children cumulated vsize: 1110292 KiB
Current children cumulated memory: 1073356 KiB

[startup+2028.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 89041
/proc/meminfo: memFree=102142592/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1110292 memory=1073356 CPUtime=2022.66 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 198597 0 0 0 202131 135 0 0 20 0 1 0 77872994 1136939008 268339 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 277573 268339 1248 1200 0 276053 0
Current children cumulated CPU time: 2022.66 s
Current children cumulated vsize: 1110292 KiB
Current children cumulated memory: 1073356 KiB

[startup+2029.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 89041
/proc/meminfo: memFree=102142592/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1110292 memory=1073356 CPUtime=2023.46 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 198597 0 0 0 202211 135 0 0 20 0 1 0 77872994 1136939008 268339 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 277573 268339 1248 1200 0 276053 0
Current children cumulated CPU time: 2023.46 s
Current children cumulated vsize: 1110292 KiB
Current children cumulated memory: 1073356 KiB

[startup+2030 s]*
/proc/loadavg: 4.07 4.08 4.09 5/265 89041
/proc/meminfo: memFree=102142592/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1110292 memory=1073356 CPUtime=2023.86 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 198597 0 0 0 202251 135 0 0 20 0 1 0 77872994 1136939008 268339 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 277573 268339 1248 1200 0 276053 0
Current children cumulated CPU time: 2023.86 s
Current children cumulated vsize: 1110292 KiB
Current children cumulated memory: 1073356 KiB

[startup+2030.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 89041
/proc/meminfo: memFree=102142592/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=1110292 memory=1073356 CPUtime=2024.06 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 198597 0 0 0 202271 135 0 0 20 0 1 0 77872994 1136939008 268339 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 277573 268339 1248 1200 0 276053 0
Current children cumulated CPU time: 2024.06 s
Current children cumulated vsize: 1110292 KiB
Current children cumulated memory: 1073356 KiB

[startup+2030.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 89041
/proc/meminfo: memFree=102142592/131249996 swapFree=33010160/33010684
[pid=88842] ppid=88839 vsize=789224 memory=781504 CPUtime=2024.16 cores=0,2
/proc/88842/stat : 88842 (Exact) R 88839 88842 84710 0 -1 4194304 198608 0 0 0 202281 135 0 0 20 0 1 0 77872994 808165376 195376 18446744073709551615 4198400 9112445 140721086625984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46280704 140721086634296 140721086634475 140721086634475 140721086640079 0
/proc/88842/statm: 197306 195376 1280 1200 0 195786 0
Current children cumulated CPU time: 2024.16 s
Current children cumulated vsize: 789224 KiB
Current children cumulated memory: 781504 KiB

Child status: 30

Real time (s): 2030.32
CPU time (s): 2024.19
CPU user time (s): 2022.83
CPU system time (s): 1.36313
CPU usage (%): 99.6981
Max. virtual memory (cumulated for all children) (KiB): 1110292
Max. memory (cumulated for all children) (KiB): 1073356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2022.83
system time used= 1.36313
maximum resident set size= 1073484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198610
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= 97
involuntary context switches= 4541


# summary of solver processes directly reported to runsolver:
#   pid: 88842
#   total CPU time (s): 2024.19
#   total CPU user time (s): 2022.83
#   total CPU system time (s): 1.36313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.81635 second user time and 9.38402 second system time

The end