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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526329-1751630306/watcher-4526329-1751630306 -o /tmp/evaluation-result-4526329-1751630306/solver-4526329-1751630306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751627623-86678 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2023056234 --ls=360 --inp-dombreaklim=0 HOME/instance-4526329-1751630306.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=87713, runsolver pid=87710

[startup+0.100067 s]*
/proc/loadavg: 4.12 4.09 4.02 5/264 87714
/proc/meminfo: memFree=115130268/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=69948 memory=45236 CPUtime=0.09 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 13000 0 0 0 7 2 0 0 20 0 1 0 78709289 71626752 11309 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 17487 11309 1024 1200 0 15967 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69948 KiB
Current children cumulated memory: 45236 KiB

[startup+0.205543 s]*
/proc/loadavg: 4.12 4.09 4.02 5/264 87714
/proc/meminfo: memFree=115098516/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=0.2 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21413 0 0 0 17 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+0.305553 s]*
/proc/loadavg: 4.12 4.09 4.02 6/264 87714
/proc/meminfo: memFree=115098516/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=0.3 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21413 0 0 0 27 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+0.700162 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 87714
/proc/meminfo: memFree=115098516/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=0.69 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21413 0 0 0 66 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+1.50018 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 87714
/proc/meminfo: memFree=115094188/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=1.48 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21413 0 0 0 145 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+3.1054 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 87714
/proc/meminfo: memFree=115090392/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=3.08 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21414 0 0 0 305 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+6.30016 s]
/proc/loadavg: 4.11 4.09 4.02 5/264 87714
/proc/meminfo: memFree=115032920/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=6.27 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21415 0 0 0 624 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.02 5/264 87714
/proc/meminfo: memFree=114935404/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=12.65 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21416 0 0 0 1262 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.02 5/264 87715
/proc/meminfo: memFree=114714592/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=25.41 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21420 0 0 0 2538 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.09 4.02 5/264 87715
/proc/meminfo: memFree=114282304/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=50.94 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21422 0 0 0 5091 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/264 87717
/proc/meminfo: memFree=113787172/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=101.99 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21423 0 0 0 10196 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/264 87730
/proc/meminfo: memFree=113314380/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=161.81 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21424 0 0 0 16178 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/264 87732
/proc/meminfo: memFree=112566392/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=221.64 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21426 0 0 0 22161 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/263 87734
/proc/meminfo: memFree=112077724/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=281.46 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21426 0 0 0 28143 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/262 87740
/proc/meminfo: memFree=111676260/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=103332 memory=79772 CPUtime=341.29 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 21427 0 0 0 34126 3 0 0 20 0 1 0 78709289 105811968 19943 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 25833 19943 1024 1200 0 24313 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 79772 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/262 87742
/proc/meminfo: memFree=109207316/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=231336 memory=215868 CPUtime=401.12 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 47550 0 0 0 40098 14 0 0 20 0 1 0 78709289 236888064 53967 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 57834 53967 1248 1200 0 56314 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 231336 KiB
Current children cumulated memory: 215868 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/262 87744
/proc/meminfo: memFree=108913508/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=271064 memory=246128 CPUtime=460.92 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 52321 0 0 0 46072 20 0 0 20 0 1 0 78709289 277569536 61532 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 67766 61532 1248 1200 0 66246 0

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

Current children cumulated memory: 474976 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/264 87997
/proc/meminfo: memFree=125931824/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=491704 memory=474976 CPUtime=2913.88 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 92428 0 0 0 291185 203 0 0 20 0 1 0 78709289 503504896 118744 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 122926 118744 1248 1200 0 121406 0
Current children cumulated CPU time: 2913.88 s
Current children cumulated vsize: 491704 KiB
Current children cumulated memory: 474976 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 88001
/proc/meminfo: memFree=125892612/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=493184 memory=479584 CPUtime=2973.7 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 92867 0 0 0 297164 206 0 0 20 0 1 0 78709289 505020416 119896 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 123296 119896 1248 1200 0 121776 0
Current children cumulated CPU time: 2973.7 s
Current children cumulated vsize: 493184 KiB
Current children cumulated memory: 479584 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 88003
/proc/meminfo: memFree=125891344/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=493184 memory=479712 CPUtime=3033.54 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 92874 0 0 0 303144 210 0 0 20 0 1 0 78709289 505020416 119928 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 123296 119928 1248 1200 0 121776 0
Current children cumulated CPU time: 3033.54 s
Current children cumulated vsize: 493184 KiB
Current children cumulated memory: 479712 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 88005
/proc/meminfo: memFree=125712996/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=494632 memory=480992 CPUtime=3093.38 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 93327 0 0 0 309125 213 0 0 20 0 1 0 78709289 506503168 120248 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 123658 120248 1248 1200 0 122138 0
Current children cumulated CPU time: 3093.38 s
Current children cumulated vsize: 494632 KiB
Current children cumulated memory: 480992 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 88008
/proc/meminfo: memFree=125127092/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=496748 memory=483040 CPUtime=3153.22 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 93951 0 0 0 315104 218 0 0 20 0 1 0 78709289 508669952 120760 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 124187 120760 1248 1200 0 122667 0
Current children cumulated CPU time: 3153.22 s
Current children cumulated vsize: 496748 KiB
Current children cumulated memory: 483040 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 88010
/proc/meminfo: memFree=125060712/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=496748 memory=483040 CPUtime=3213.06 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 93951 0 0 0 321086 220 0 0 20 0 1 0 78709289 508669952 120760 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 124187 120760 1248 1200 0 122667 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 496748 KiB
Current children cumulated memory: 483040 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 88012
/proc/meminfo: memFree=124969420/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=498640 memory=483808 CPUtime=3272.91 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 94229 0 0 0 327071 220 0 0 20 0 1 0 78709289 510607360 120952 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 124660 120952 1248 1200 0 123140 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 498640 KiB
Current children cumulated memory: 483808 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 88014
/proc/meminfo: memFree=124918388/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=575144 memory=506460 CPUtime=3332.75 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 96572 0 0 0 333051 224 0 0 20 0 1 0 78709289 588947456 126615 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 143786 126615 1248 1200 0 142266 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 575144 KiB
Current children cumulated memory: 506460 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 88020
/proc/meminfo: memFree=124909832/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=575428 memory=506844 CPUtime=3392.6 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 96647 0 0 0 339032 228 0 0 20 0 1 0 78709289 589238272 126711 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 143857 126711 1248 1200 0 142337 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 575428 KiB
Current children cumulated memory: 506844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 88022
/proc/meminfo: memFree=124903188/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=577792 memory=509148 CPUtime=3452.44 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 97366 0 0 0 345013 231 0 0 20 0 1 0 78709289 591659008 127287 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 144448 127287 1248 1200 0 142928 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 577792 KiB
Current children cumulated memory: 509148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 88024
/proc/meminfo: memFree=124583388/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=578108 memory=509532 CPUtime=3512.29 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 97535 0 0 0 350995 234 0 0 20 0 1 0 78709289 591982592 127383 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 144527 127383 1248 1200 0 143007 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 578108 KiB
Current children cumulated memory: 509532 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 88028
/proc/meminfo: memFree=124483040/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=578108 memory=509532 CPUtime=3572.13 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 97562 0 0 0 356974 239 0 0 20 0 1 0 78709289 591982592 127383 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 144527 127383 1248 1200 0 143007 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 578108 KiB
Current children cumulated memory: 509532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 88030
/proc/meminfo: memFree=124502732/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=578944 memory=510300 CPUtime=3600.05 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 97752 0 0 0 359765 240 0 0 20 0 1 0 78709289 592838656 127575 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 144736 127575 1248 1200 0 143216 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 578944 KiB
Current children cumulated memory: 510300 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.72 s, system=2.40934 s

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

[startup+3610.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 88030
/proc/meminfo: memFree=124502732/131250000 swapFree=33010672/33010684
[pid=87713] ppid=87710 vsize=578944 memory=510300 CPUtime=3600.05 cores=0,2
/proc/87713/stat : 87713 (Exact) R 87710 87713 86668 0 -1 4194304 97752 0 0 0 359765 240 0 0 20 0 1 0 78709289 592838656 127575 18446744073709551615 4198400 9112445 140723932922480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20029440 140723932928292 140723932928491 140723932928491 140723932934095 0
/proc/87713/statm: 144736 127575 1248 1200 0 143216 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 578944 KiB
Current children cumulated memory: 510300 KiB

Child status: 10

Real time (s): 3610.36
CPU time (s): 3600.13
CPU user time (s): 3597.72
CPU system time (s): 2.40934
CPU usage (%): 99.7165
Max. virtual memory (cumulated for all children) (KiB): 663412
Max. memory (cumulated for all children) (KiB): 510300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.72
system time used= 2.40934
maximum resident set size= 587600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97760
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= 98
involuntary context switches= 8063


# summary of solver processes directly reported to runsolver:
#   pid: 87713
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3597.72
#   total CPU system time (s): 2.40934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78555 second user time and 15.7369 second system time

The end