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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521055-1751570482/watcher-4521055-1751570482 -o /tmp/evaluation-result-4521055-1751570482/solver-4521055-1751570482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751566871-80836 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4521055-1751570482.opb 

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
Current StackSize limit: 8192 KiB

solver pid=81254, runsolver pid=81251

[startup+0.100065 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 81264
/proc/meminfo: memFree=112966920/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=56556 memory=17896 CPUtime=0.08 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 2623 0 0 0 8 0 0 0 20 0 1 0 72726131 57913344 4474 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 14139 4474 1632 2271 0 8777 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 56556 KiB
Current children cumulated memory: 17896 KiB

[startup+0.205623 s]*
/proc/loadavg: 4.08 4.10 4.09 6/265 81264
/proc/meminfo: memFree=112956512/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=61692 memory=25152 CPUtime=0.17 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 3911 0 0 0 17 0 0 0 20 0 1 0 72726131 63172608 6288 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 15423 6288 1632 2271 0 10061 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 61692 KiB
Current children cumulated memory: 25152 KiB

[startup+0.305526 s]*
/proc/loadavg: 4.08 4.10 4.09 6/265 81264
/proc/meminfo: memFree=112948952/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=66296 memory=31428 CPUtime=0.28 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 5099 0 0 0 27 1 0 0 20 0 1 0 72726131 67887104 7857 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 16574 7857 1632 2271 0 11212 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 66296 KiB
Current children cumulated memory: 31428 KiB

[startup+0.700168 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 81264
/proc/meminfo: memFree=112929496/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=85932 memory=58952 CPUtime=0.66 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 10202 0 0 0 64 2 0 0 20 0 1 0 72726131 87994368 14738 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 21483 14738 1632 2271 0 16121 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85932 KiB
Current children cumulated memory: 58952 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 81264
/proc/meminfo: memFree=112750932/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=344536 memory=296452 CPUtime=1.46 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 31514 0 0 0 134 12 0 0 20 0 1 0 72726131 352804864 74113 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 86134 74113 1824 2271 0 80772 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 344536 KiB
Current children cumulated memory: 296452 KiB

[startup+3.10563 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 81264
/proc/meminfo: memFree=112398312/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=344536 memory=296452 CPUtime=3.06 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 31552 0 0 0 294 12 0 0 20 0 1 0 72726131 352804864 74113 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 86134 74113 1824 2271 0 80772 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 344536 KiB
Current children cumulated memory: 296452 KiB

[startup+6.30016 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 81264
/proc/meminfo: memFree=112301896/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=503372 memory=433952 CPUtime=6.24 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 60313 0 0 0 605 19 0 0 20 0 1 0 72726131 515452928 108488 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 125843 108488 1856 2271 0 120481 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 503372 KiB
Current children cumulated memory: 433952 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.13 4.10 5/265 81264
/proc/meminfo: memFree=112301896/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=503372 memory=433952 CPUtime=12.63 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 60325 0 0 0 1238 25 0 0 20 0 1 0 72726131 515452928 108488 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 125843 108488 1856 2271 0 120481 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 503372 KiB
Current children cumulated memory: 433952 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.10 5/265 81264
/proc/meminfo: memFree=112331544/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=503372 memory=433952 CPUtime=25.4 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 60325 0 0 0 2507 33 0 0 20 0 1 0 72726131 515452928 108488 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 125843 108488 1856 2271 0 120481 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 503372 KiB
Current children cumulated memory: 433952 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 81265
/proc/meminfo: memFree=112331560/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=503372 memory=433952 CPUtime=50.95 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 60337 0 0 0 5044 51 0 0 20 0 1 0 72726131 515452928 108488 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 125843 108488 1856 2271 0 120481 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 503372 KiB
Current children cumulated memory: 433952 KiB

[startup+102.3 s]
/proc/loadavg: 4.45 4.21 4.12 5/266 81365
/proc/meminfo: memFree=112623224/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=605016 memory=522480 CPUtime=101.98 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 69912 0 0 0 10134 64 0 0 20 0 1 0 72726131 619536384 130620 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 151254 130620 1888 2271 0 145892 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 605016 KiB
Current children cumulated memory: 522480 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/266 81412
/proc/meminfo: memFree=112455268/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=669316 memory=574252 CPUtime=161.81 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 75231 0 0 0 16113 68 0 0 20 0 1 0 72726131 685379584 143563 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 167329 143563 1888 2271 0 161967 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 669316 KiB
Current children cumulated memory: 574252 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/268 81416
/proc/meminfo: memFree=112328500/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=669316 memory=590764 CPUtime=221.65 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 75336 0 0 0 22096 69 0 0 20 0 1 0 72726131 685379584 147691 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 167329 147691 1888 2271 0 161967 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 669316 KiB
Current children cumulated memory: 590764 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/268 81418
/proc/meminfo: memFree=112300296/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=669316 memory=595500 CPUtime=281.49 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 75343 0 0 0 28080 69 0 0 20 0 1 0 72726131 685379584 148875 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 167329 148875 1888 2271 0 161967 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 669316 KiB
Current children cumulated memory: 595500 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/266 81420
/proc/meminfo: memFree=112290904/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=669316 memory=609908 CPUtime=341.34 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 75504 0 0 0 34059 75 0 0 20 0 1 0 72726131 685379584 152477 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 167329 152477 1888 2271 0 161967 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 669316 KiB
Current children cumulated memory: 609908 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/264 81422
/proc/meminfo: memFree=112273932/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=669316 memory=618100 CPUtime=401.17 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 75576 0 0 0 40039 78 0 0 20 0 1 0 72726131 685379584 154525 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 167329 154525 1888 2271 0 161967 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 669316 KiB
Current children cumulated memory: 618100 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 81424
/proc/meminfo: memFree=112222348/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=669316 memory=618100 CPUtime=461.03 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 75663 0 0 0 46024 79 0 0 20 0 1 0 72726131 685379584 154525 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 167329 154525 1888 2271 0 161967 0

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

Current children cumulated memory: 754448 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 81558
/proc/meminfo: memFree=111850288/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=754448 CPUtime=2913.95 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79263 0 0 0 291239 156 0 0 20 0 1 0 72726131 906584064 188612 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188612 1888 2271 0 215972 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 754448 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 81561
/proc/meminfo: memFree=111877472/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=754448 CPUtime=2973.79 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79263 0 0 0 297222 157 0 0 20 0 1 0 72726131 906584064 188612 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188612 1888 2271 0 215972 0
Current children cumulated CPU time: 2973.79 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 754448 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 81563
/proc/meminfo: memFree=111845052/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=754448 CPUtime=3033.63 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79266 0 0 0 303206 157 0 0 20 0 1 0 72726131 906584064 188612 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188612 1888 2271 0 215972 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 754448 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 81572
/proc/meminfo: memFree=111836608/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=754448 CPUtime=3093.48 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79352 0 0 0 309189 159 0 0 20 0 1 0 72726131 906584064 188612 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188612 1888 2271 0 215972 0
Current children cumulated CPU time: 3093.48 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 754448 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 81574
/proc/meminfo: memFree=111828840/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=754448 CPUtime=3153.31 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79419 0 0 0 315171 160 0 0 20 0 1 0 72726131 906584064 188612 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188612 1888 2271 0 215972 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 754448 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 81576
/proc/meminfo: memFree=111828816/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=754448 CPUtime=3213.13 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79539 0 0 0 321150 163 0 0 20 0 1 0 72726131 906584064 188612 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188612 1888 2271 0 215972 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 754448 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/264 81578
/proc/meminfo: memFree=111828556/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=755088 CPUtime=3272.96 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79539 0 0 0 327133 163 0 0 20 0 1 0 72726131 906584064 188772 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188772 1888 2271 0 215972 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 755088 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 81579
/proc/meminfo: memFree=111828556/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=755088 CPUtime=3332.79 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79539 0 0 0 333113 166 0 0 20 0 1 0 72726131 906584064 188772 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188772 1888 2271 0 215972 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 755088 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 81581
/proc/meminfo: memFree=111828380/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=755088 CPUtime=3392.59 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79545 0 0 0 339088 171 0 0 20 0 1 0 72726131 906584064 188772 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188772 1888 2271 0 215972 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 755088 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 81583
/proc/meminfo: memFree=111829344/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=755088 CPUtime=3452.43 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79546 0 0 0 345072 171 0 0 20 0 1 0 72726131 906584064 188772 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188772 1888 2271 0 215972 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 755088 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 81586
/proc/meminfo: memFree=111828572/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=755088 CPUtime=3512.27 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79550 0 0 0 351055 172 0 0 20 0 1 0 72726131 906584064 188772 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188772 1888 2271 0 215972 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 755088 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 81588
/proc/meminfo: memFree=111828540/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=755088 CPUtime=3572.11 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79587 0 0 0 357039 172 0 0 20 0 1 0 72726131 906584064 188772 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188772 1888 2271 0 215972 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 755088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 81590
/proc/meminfo: memFree=111828412/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=755088 CPUtime=3600.04 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79718 0 0 0 359831 173 0 0 20 0 1 0 72726131 906584064 188772 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188772 1888 2271 0 215972 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 755088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.33 s, system=1.73735 s

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

[startup+3610.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 81590
/proc/meminfo: memFree=111828412/131249996 swapFree=33004236/33010684
[pid=81254] ppid=81251 vsize=885336 memory=755088 CPUtime=3600.04 cores=4,6
/proc/81254/stat : 81254 (ExactPR) R 81251 81254 80825 0 -1 4194304 79718 0 0 0 359831 173 0 0 20 0 1 0 72726131 906584064 188772 18446744073709551615 94409833271296 94409842571141 140722373011760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94409844357440 94409844396520 94409871261696 140722373020037 140722373020172 140722373020172 140722373025774 0
/proc/81254/statm: 221334 188772 1888 2271 0 215972 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 885336 KiB
Current children cumulated memory: 755088 KiB

Child status: 10

Real time (s): 3610.32
CPU time (s): 3600.06
CPU user time (s): 3598.33
CPU system time (s): 1.73735
CPU usage (%): 99.716
Max. virtual memory (cumulated for all children) (KiB): 977808
Max. memory (cumulated for all children) (KiB): 791624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.33
system time used= 1.73735
maximum resident set size= 834632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79736
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= 140
involuntary context switches= 1092


# summary of solver processes directly reported to runsolver:
#   pid: 81254
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.33
#   total CPU system time (s): 1.73735

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8774 second user time and 15.9584 second system time

The end