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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=88900, runsolver pid=88897

[startup+0.100063 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 88901
/proc/meminfo: memFree=125066636/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=71876 memory=45424 CPUtime=0.09 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 13541 0 0 0 7 2 0 0 20 0 1 0 77892039 73601024 11356 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 17969 11356 1024 1200 0 16449 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71876 KiB
Current children cumulated memory: 45424 KiB

[startup+0.205833 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 88901
/proc/meminfo: memFree=125038848/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=113540 memory=87452 CPUtime=0.2 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 21954 0 0 0 16 4 0 0 20 0 1 0 77892039 116264960 21863 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 28385 21863 1024 1200 0 26865 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113540 KiB
Current children cumulated memory: 87452 KiB

[startup+0.305703 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 88901
/proc/meminfo: memFree=125010684/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=134512 memory=112752 CPUtime=0.3 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 26863 0 0 0 25 5 0 0 20 0 1 0 77892039 137740288 28188 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 33628 28188 1024 1200 0 32108 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 134512 KiB
Current children cumulated memory: 112752 KiB

[startup+0.700176 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 88901
/proc/meminfo: memFree=124942824/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=291796 memory=258304 CPUtime=0.69 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 47361 0 0 0 58 11 0 0 20 0 1 0 77892039 298799104 64576 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 72949 64576 1024 1200 0 71429 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 291796 KiB
Current children cumulated memory: 258304 KiB

[startup+1.50017 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 88901
/proc/meminfo: memFree=124783976/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=504504 memory=489956 CPUtime=1.49 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 75062 0 0 0 129 20 0 0 20 0 1 0 77892039 516612096 122489 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 126126 122489 1024 1200 0 124606 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 504504 KiB
Current children cumulated memory: 489956 KiB

[startup+3.10558 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 88901
/proc/meminfo: memFree=124529412/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=606952 memory=586756 CPUtime=3.08 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 97802 0 0 0 284 24 0 0 20 0 1 0 77892039 621518848 146689 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 151738 146689 1024 1200 0 150218 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 586756 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 88901
/proc/meminfo: memFree=124529412/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=606952 memory=586756 CPUtime=6.26 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 97863 0 0 0 602 24 0 0 20 0 1 0 77892039 621518848 146689 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 151738 146689 1024 1200 0 150218 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 586756 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 88901
/proc/meminfo: memFree=124531852/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=606952 memory=586756 CPUtime=12.64 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 97943 0 0 0 1240 24 0 0 20 0 1 0 77892039 621518848 146689 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 151738 146689 1024 1200 0 150218 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 586756 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 88901
/proc/meminfo: memFree=124531296/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=606952 memory=586756 CPUtime=25.38 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 97986 0 0 0 2514 24 0 0 20 0 1 0 77892039 621518848 146689 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 151738 146689 1024 1200 0 150218 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 586756 KiB

[startup+51.106 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 88949
/proc/meminfo: memFree=123331632/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=606952 memory=586756 CPUtime=50.88 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 98070 0 0 0 5063 25 0 0 20 0 1 0 77892039 621518848 146689 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 151738 146689 1024 1200 0 150218 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 586756 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 88950
/proc/meminfo: memFree=120242268/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=606952 memory=586756 CPUtime=101.85 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 98161 0 0 0 10160 25 0 0 20 0 1 0 77892039 621518848 146689 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 151738 146689 1024 1200 0 150218 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 586756 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 88952
/proc/meminfo: memFree=120213048/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=606952 memory=586756 CPUtime=161.57 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 98250 0 0 0 16132 25 0 0 20 0 1 0 77892039 621518848 146689 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 151738 146689 1024 1200 0 150218 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 586756 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 88954
/proc/meminfo: memFree=119887060/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=606952 memory=586756 CPUtime=221.25 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 98295 0 0 0 22100 25 0 0 20 0 1 0 77892039 621518848 146689 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 151738 146689 1024 1200 0 150218 0
Current children cumulated CPU time: 221.25 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 586756 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 88955
/proc/meminfo: memFree=119385924/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=606952 memory=586756 CPUtime=280.92 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 98338 0 0 0 28067 25 0 0 20 0 1 0 77892039 621518848 146689 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 151738 146689 1024 1200 0 150218 0
Current children cumulated CPU time: 280.92 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 586756 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 88957
/proc/meminfo: memFree=119291232/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=606952 memory=586756 CPUtime=340.6 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 98354 0 0 0 34035 25 0 0 20 0 1 0 77892039 621518848 146689 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 151738 146689 1024 1200 0 150218 0
Current children cumulated CPU time: 340.6 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 586756 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 88959
/proc/meminfo: memFree=118408864/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=1518260 memory=1465832 CPUtime=400.33 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 199683 0 0 0 39978 55 0 0 20 0 1 0 77892039 1554698240 366458 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 379565 366458 1248 1200 0 378045 0
Current children cumulated CPU time: 400.33 s
Current children cumulated vsize: 1518260 KiB
Current children cumulated memory: 1465832 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 88961
/proc/meminfo: memFree=114836540/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=1890572 memory=1814728 CPUtime=460.14 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 249316 0 0 0 45943 71 0 0 20 0 1 0 77892039 1935945728 453682 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 472643 453682 1248 1200 0 471123 0
Current children cumulated CPU time: 460.14 s

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

/proc/meminfo: memFree=90136088/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12070684 CPUtime=2973.49 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1937432 0 0 0 296716 633 0 0 20 0 1 0 77892039 14837780480 3017671 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3017671 1248 1200 0 3620985 0
Current children cumulated CPU time: 2973.49 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12070684 KiB

[startup+3042.3 s]
/proc/loadavg: 2.76 3.08 3.35 3/250 89156
/proc/meminfo: memFree=91651608/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12070684 CPUtime=3033.33 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1940820 0 0 0 302696 637 0 0 20 0 1 0 77892039 14837780480 3017671 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3017671 1248 1200 0 3620985 0
Current children cumulated CPU time: 3033.33 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12070684 KiB

[startup+3102.3 s]
/proc/loadavg: 2.34 2.89 3.27 3/251 89161
/proc/meminfo: memFree=91534480/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12071196 CPUtime=3093.14 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1944369 0 0 0 308674 640 0 0 20 0 1 0 77892039 14837780480 3017799 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3017799 1248 1200 0 3620985 0
Current children cumulated CPU time: 3093.14 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12071196 KiB

[startup+3162.3 s]
/proc/loadavg: 2.25 2.76 3.19 3/253 89169
/proc/meminfo: memFree=91449384/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12071452 CPUtime=3152.97 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1947395 0 0 0 314652 645 0 0 20 0 1 0 77892039 14837780480 3017863 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3017863 1248 1200 0 3620985 0
Current children cumulated CPU time: 3152.97 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12071452 KiB

[startup+3222.3 s]
/proc/loadavg: 2.15 2.64 3.12 3/253 89171
/proc/meminfo: memFree=91273672/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12071580 CPUtime=3212.78 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1951119 0 0 0 320631 647 0 0 20 0 1 0 77892039 14837780480 3017895 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3017895 1248 1200 0 3620985 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12071580 KiB

[startup+3282.3 s]
/proc/loadavg: 2.10 2.53 3.06 3/253 89173
/proc/meminfo: memFree=91201532/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12071708 CPUtime=3272.61 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1954867 0 0 0 326611 650 0 0 20 0 1 0 77892039 14837780480 3017927 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3017927 1248 1200 0 3620985 0
Current children cumulated CPU time: 3272.61 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12071708 KiB

[startup+3342.3 s]
/proc/loadavg: 2.15 2.47 3.00 3/253 89175
/proc/meminfo: memFree=91083668/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12071964 CPUtime=3332.44 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1958208 0 0 0 332590 654 0 0 20 0 1 0 77892039 14837780480 3017991 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3017991 1248 1200 0 3620985 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12071964 KiB

[startup+3402.3 s]
/proc/loadavg: 2.11 2.39 2.94 3/252 89177
/proc/meminfo: memFree=90903872/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12072092 CPUtime=3392.27 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1962221 0 0 0 338571 656 0 0 20 0 1 0 77892039 14837780480 3018023 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3018023 1248 1200 0 3620985 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12072092 KiB

[startup+3462.3 s]
/proc/loadavg: 2.08 2.33 2.88 3/251 89179
/proc/meminfo: memFree=90807744/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12073500 CPUtime=3452.1 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1966196 0 0 0 344552 658 0 0 20 0 1 0 77892039 14837780480 3018375 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3018375 1248 1200 0 3620985 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12073500 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.30 2.83 3/251 89181
/proc/meminfo: memFree=90801576/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12073628 CPUtime=3511.95 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1967629 0 0 0 350532 663 0 0 20 0 1 0 77892039 14837780480 3018407 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3018407 1248 1200 0 3620985 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12073628 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.26 2.79 3/251 89183
/proc/meminfo: memFree=90784216/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12073628 CPUtime=3571.8 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1967936 0 0 0 356511 669 0 0 20 0 1 0 77892039 14837780480 3018407 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3018407 1248 1200 0 3620985 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12073628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 2.13 2.25 2.77 3/251 89184
/proc/meminfo: memFree=90771688/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=14490020 memory=12073628 CPUtime=3600.03 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1970278 0 0 0 359331 672 0 0 20 0 1 0 77892039 14837780480 3018407 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 3622505 3018407 1248 1200 0 3620985 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 14490020 KiB
Current children cumulated memory: 12073628 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.15 s]
# the end of solver process 88900 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3593.67 s, system=6.91633 s

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

[startup+3610.8 s]
/proc/loadavg: 2.13 2.25 2.77 3/251 89184
/proc/meminfo: memFree=90771688/131249996 swapFree=33010160/33010684
[pid=88900] ppid=88897 vsize=9594652 memory=8203128 CPUtime=3600.23 cores=1,3
/proc/88900/stat : 88900 (Exact) R 88897 88900 84710 0 -1 4194304 1970546 0 0 0 359350 673 0 0 20 0 1 0 77892039 9824923648 2050782 18446744073709551615 4198400 9112445 140732753468608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41529344 140732753471801 140732753471979 140732753471979 140732753477583 0
/proc/88900/statm: 2398663 2050782 1280 1200 0 2397143 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 9594652 KiB
Current children cumulated memory: 8203128 KiB

[startup+3611 s]*
/proc/loadavg: 2.13 2.25 2.77 3/251 89184
/proc/meminfo: memFree=98766204/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3611.11 s]
/proc/loadavg: 2.13 2.25 2.77 3/251 89184
/proc/meminfo: memFree=98766204/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3611.15
CPU time (s): 3600.59
CPU user time (s): 3593.67
CPU system time (s): 6.91633
CPU usage (%): 99.7074
Max. virtual memory (cumulated for all children) (KiB): 14490020
Max. memory (cumulated for all children) (KiB): 12073628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.67
system time used= 6.91633
maximum resident set size= 12073756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1970609
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= 39
involuntary context switches= 3866


# summary of solver processes directly reported to runsolver:
#   pid: 88900
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3593.67
#   total CPU system time (s): 6.91633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0125 second user time and 15.5005 second system time

The end