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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526328-1751629918/watcher-4526328-1751629918 -o /tmp/evaluation-result-4526328-1751629918/solver-4526328-1751629918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751628110-89036 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=583905743 --ls=360 HOME/instance-4526328-1751629918.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=89991, runsolver pid=89988
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.08 4.13 3.87 4/263 90006
/proc/meminfo: memFree=129637568/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=69948 memory=43808 CPUtime=0.09 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 13119 0 0 0 8 1 0 0 20 0 1 0 78668387 71626752 10952 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 17487 10952 1024 1200 0 15967 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69948 KiB
Current children cumulated memory: 43808 KiB

[startup+0.206148 s]*
/proc/loadavg: 4.08 4.13 3.87 4/262 90014
/proc/meminfo: memFree=129618596/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=81220 CPUtime=0.2 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22226 0 0 0 17 3 0 0 20 0 1 0 78668387 105811968 20305 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20305 1056 1200 0 24313 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 81220 KiB

[startup+0.305549 s]*
/proc/loadavg: 4.08 4.13 3.87 5/261 90020
/proc/meminfo: memFree=129618028/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=81220 CPUtime=0.3 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22226 0 0 0 27 3 0 0 20 0 1 0 78668387 105811968 20305 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20305 1056 1200 0 24313 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 81220 KiB

[startup+0.700177 s]
/proc/loadavg: 4.08 4.13 3.87 4/257 90045
/proc/meminfo: memFree=129624956/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=81220 CPUtime=0.69 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22226 0 0 0 66 3 0 0 20 0 1 0 78668387 105811968 20305 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20305 1056 1200 0 24313 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 81220 KiB

[startup+1.50013 s]
/proc/loadavg: 4.08 4.13 3.87 6/264 90082
/proc/meminfo: memFree=129604276/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=81220 CPUtime=1.49 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22226 0 0 0 146 3 0 0 20 0 1 0 78668387 105811968 20305 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20305 1056 1200 0 24313 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 81220 KiB

[startup+3.1052 s]
/proc/loadavg: 4.08 4.13 3.87 5/265 90083
/proc/meminfo: memFree=129612460/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=81220 CPUtime=3.09 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22227 0 0 0 306 3 0 0 20 0 1 0 78668387 105811968 20305 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20305 1056 1200 0 24313 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 81220 KiB

[startup+6.30013 s]
/proc/loadavg: 4.16 4.14 3.88 5/265 90083
/proc/meminfo: memFree=129633196/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=81220 CPUtime=6.27 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22228 0 0 0 624 3 0 0 20 0 1 0 78668387 105811968 20305 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20305 1056 1200 0 24313 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 81220 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.14 3.88 5/265 90083
/proc/meminfo: memFree=129633196/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=81220 CPUtime=12.66 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22229 0 0 0 1263 3 0 0 20 0 1 0 78668387 105811968 20305 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20305 1056 1200 0 24313 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 81220 KiB

[startup+25.5001 s]
/proc/loadavg: 4.11 4.13 3.88 5/265 90084
/proc/meminfo: memFree=129633196/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=81220 CPUtime=25.42 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22233 0 0 0 2539 3 0 0 20 0 1 0 78668387 105811968 20305 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20305 1056 1200 0 24313 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 81220 KiB

[startup+51.1053 s]
/proc/loadavg: 4.15 4.14 3.89 5/265 90084
/proc/meminfo: memFree=129633196/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=81220 CPUtime=50.96 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22235 0 0 0 5093 3 0 0 20 0 1 0 78668387 105811968 20305 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20305 1056 1200 0 24313 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 81220 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 3.91 5/265 90086
/proc/meminfo: memFree=129616940/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=81220 CPUtime=102.02 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22237 0 0 0 10199 3 0 0 20 0 1 0 78668387 105811968 20305 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20305 1056 1200 0 24313 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 81220 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 3.92 5/265 90088
/proc/meminfo: memFree=129584412/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=83268 CPUtime=161.85 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22282 0 0 0 16182 3 0 0 20 0 1 0 78668387 105811968 20817 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20817 1056 1200 0 24313 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 83268 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 3.94 5/263 90090
/proc/meminfo: memFree=129554560/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=83268 CPUtime=221.71 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22307 0 0 0 22168 3 0 0 20 0 1 0 78668387 105811968 20817 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20817 1056 1200 0 24313 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 83268 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 3.95 5/263 90092
/proc/meminfo: memFree=129556424/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=83268 CPUtime=281.57 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22330 0 0 0 28154 3 0 0 20 0 1 0 78668387 105811968 20817 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20817 1056 1200 0 24313 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 83268 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 3.96 5/263 90095
/proc/meminfo: memFree=129573032/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=103332 memory=83268 CPUtime=341.43 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 22332 0 0 0 34140 3 0 0 20 0 1 0 78668387 105811968 20817 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 25833 20817 1056 1200 0 24313 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 103332 KiB
Current children cumulated memory: 83268 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.13 3.98 5/263 90097
/proc/meminfo: memFree=129242336/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=231404 memory=218284 CPUtime=401.27 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 47064 0 0 0 40114 13 0 0 20 0 1 0 78668387 236957696 54571 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 57851 54571 1280 1200 0 56331 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 231404 KiB
Current children cumulated memory: 218284 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 3.99 5/264 90102
/proc/meminfo: memFree=129091724/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=270816 memory=245584 CPUtime=461.08 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 52718 0 0 0 46088 20 0 0 20 0 1 0 78668387 277315584 61396 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 67704 61396 1280 1200 0 66184 0

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

Current children cumulated memory: 633144 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 90237
/proc/meminfo: memFree=128269816/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=696852 memory=646172 CPUtime=2913.66 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 95900 0 0 0 291193 173 0 0 20 0 1 0 78668387 713576448 161543 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 174213 161543 1280 1200 0 172693 0
Current children cumulated CPU time: 2913.66 s
Current children cumulated vsize: 696852 KiB
Current children cumulated memory: 646172 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 90239
/proc/meminfo: memFree=128261952/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=696852 memory=646172 CPUtime=2973.47 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 96011 0 0 0 297170 177 0 0 20 0 1 0 78668387 713576448 161543 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 174213 161543 1280 1200 0 172693 0
Current children cumulated CPU time: 2973.47 s
Current children cumulated vsize: 696852 KiB
Current children cumulated memory: 646172 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 90242
/proc/meminfo: memFree=128257752/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=701528 memory=652948 CPUtime=3033.27 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 96333 0 0 0 303148 179 0 0 20 0 1 0 78668387 718364672 163237 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 175382 163237 1280 1200 0 173862 0
Current children cumulated CPU time: 3033.27 s
Current children cumulated vsize: 701528 KiB
Current children cumulated memory: 652948 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 90244
/proc/meminfo: memFree=128229908/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=701528 memory=652948 CPUtime=3093.09 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 96333 0 0 0 309127 182 0 0 20 0 1 0 78668387 718364672 163237 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 175382 163237 1280 1200 0 173862 0
Current children cumulated CPU time: 3093.09 s
Current children cumulated vsize: 701528 KiB
Current children cumulated memory: 652948 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 90246
/proc/meminfo: memFree=128238484/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=703224 memory=654612 CPUtime=3152.89 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 97027 0 0 0 315105 184 0 0 20 0 1 0 78668387 720101376 163653 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 175806 163653 1280 1200 0 174286 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 703224 KiB
Current children cumulated memory: 654612 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 90248
/proc/meminfo: memFree=128248480/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=704136 memory=655508 CPUtime=3212.7 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 97268 0 0 0 321082 188 0 0 20 0 1 0 78668387 721035264 163877 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 176034 163877 1280 1200 0 174514 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 704136 KiB
Current children cumulated memory: 655508 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 90250
/proc/meminfo: memFree=128253084/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=705156 memory=656532 CPUtime=3272.51 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 97758 0 0 0 327059 192 0 0 20 0 1 0 78668387 722079744 164133 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 176289 164133 1280 1200 0 174769 0
Current children cumulated CPU time: 3272.51 s
Current children cumulated vsize: 705156 KiB
Current children cumulated memory: 656532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 90252
/proc/meminfo: memFree=128244660/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=706220 memory=657556 CPUtime=3332.33 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 98071 0 0 0 333038 195 0 0 20 0 1 0 78668387 723169280 164389 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 176555 164389 1280 1200 0 175035 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 706220 KiB
Current children cumulated memory: 657556 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 90254
/proc/meminfo: memFree=128244772/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=706420 memory=657812 CPUtime=3392.14 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 98232 0 0 0 339016 198 0 0 20 0 1 0 78668387 723374080 164453 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 176605 164453 1280 1200 0 175085 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 706420 KiB
Current children cumulated memory: 657812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 90258
/proc/meminfo: memFree=128228632/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=732760 memory=676232 CPUtime=3451.94 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 99938 0 0 0 344994 200 0 0 20 0 1 0 78668387 750346240 169058 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 183190 169058 1280 1200 0 181670 0
Current children cumulated CPU time: 3451.94 s
Current children cumulated vsize: 732760 KiB
Current children cumulated memory: 676232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 90265
/proc/meminfo: memFree=128088228/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=847448 memory=792712 CPUtime=3511.77 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 102041 0 0 0 350971 206 0 0 20 0 1 0 78668387 867786752 198178 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 211862 198178 1280 1200 0 210342 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 847448 KiB
Current children cumulated memory: 792712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 90267
/proc/meminfo: memFree=128088104/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=847448 memory=792712 CPUtime=3571.61 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 102356 0 0 0 356951 210 0 0 20 0 1 0 78668387 867786752 198178 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 211862 198178 1280 1200 0 210342 0
Current children cumulated CPU time: 3571.61 s
Current children cumulated vsize: 847448 KiB
Current children cumulated memory: 792712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.09 4.11 4.09 4/260 90276
/proc/meminfo: memFree=128478652/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=847448 memory=792712 CPUtime=3600.03 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 102367 0 0 0 359791 212 0 0 20 0 1 0 78668387 867786752 198178 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 211862 198178 1280 1200 0 210342 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 847448 KiB
Current children cumulated memory: 792712 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.04 s, system=2.12394 s

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

[startup+3610.9 s]
/proc/loadavg: 4.09 4.11 4.09 4/260 90276
/proc/meminfo: memFree=128478652/131250000 swapFree=33008356/33010684
[pid=89991] ppid=89988 vsize=578628 memory=567148 CPUtime=3600.13 cores=4,6
/proc/89991/stat : 89991 (Exact) R 89988 89991 89025 0 -1 4194304 102393 0 0 0 359801 212 0 0 20 0 1 0 78668387 592515072 141787 18446744073709551615 4198400 9112445 140728202593584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24690688 140728202602809 140728202602987 140728202602987 140728202608591 0
/proc/89991/statm: 144657 141787 1280 1200 0 143137 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 578628 KiB
Current children cumulated memory: 567148 KiB

Child status: 10

Real time (s): 3610.93
CPU time (s): 3600.16
CPU user time (s): 3598.04
CPU system time (s): 2.12394
CPU usage (%): 99.7018
Max. virtual memory (cumulated for all children) (KiB): 847448
Max. memory (cumulated for all children) (KiB): 792712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.04
system time used= 2.12394
maximum resident set size= 792712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102404
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= 92
involuntary context switches= 3316


# summary of solver processes directly reported to runsolver:
#   pid: 89991
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3598.04
#   total CPU system time (s): 2.12394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51469 second user time and 15.157 second system time

The end