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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521139-1751572355/watcher-4521139-1751572355 -o /tmp/evaluation-result-4521139-1751572355/solver-4521139-1751572355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751565131-76799 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4521139-1751572355.opb -mem-lim=31000 

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=78372, runsolver pid=78369

[startup+0.100063 s]*
/proc/loadavg: 4.10 4.14 4.11 5/266 78373
/proc/meminfo: memFree=127058596/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=21740 memory=20736 CPUtime=0.09 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 4820 0 0 0 9 0 0 0 20 0 1 0 72912993 22261760 5152 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 5435 5152 448 484 0 4846 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21740 KiB
Current children cumulated memory: 20736 KiB

[startup+0.205497 s]*
/proc/loadavg: 4.10 4.14 4.11 5/266 78373
/proc/meminfo: memFree=127018528/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=40396 memory=39424 CPUtime=0.2 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 9494 0 0 0 19 1 0 0 20 0 1 0 72912993 41365504 9856 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 10099 9856 448 484 0 9510 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40396 KiB
Current children cumulated memory: 39424 KiB

[startup+0.305472 s]*
/proc/loadavg: 4.10 4.14 4.11 5/266 78373
/proc/meminfo: memFree=126986272/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=57780 memory=56576 CPUtime=0.3 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 13804 0 0 0 28 2 0 0 20 0 1 0 72912993 59166720 14144 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 14445 14144 448 484 0 13856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57780 KiB
Current children cumulated memory: 56576 KiB

[startup+0.70017 s]
/proc/loadavg: 4.10 4.14 4.11 5/266 78373
/proc/meminfo: memFree=126921760/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=124424 memory=123136 CPUtime=0.68 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 30420 0 0 0 64 4 0 0 20 0 1 0 72912993 127410176 30752 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 31106 30784 448 484 0 30517 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124424 KiB
Current children cumulated memory: 123136 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.14 4.11 5/266 78373
/proc/meminfo: memFree=126747596/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=192044 memory=190044 CPUtime=1.49 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 48168 0 0 0 141 8 0 0 20 0 1 0 72912993 196653056 47511 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 48011 47511 512 484 0 47422 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 192044 KiB
Current children cumulated memory: 190044 KiB

[startup+3.10555 s]
/proc/loadavg: 4.09 4.14 4.11 5/266 78373
/proc/meminfo: memFree=126730224/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=192044 memory=190044 CPUtime=3.09 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 48175 0 0 0 301 8 0 0 20 0 1 0 72912993 196653056 47511 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 48011 47511 512 484 0 47422 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 192044 KiB
Current children cumulated memory: 190044 KiB

[startup+6.30017 s]
/proc/loadavg: 4.17 4.16 4.11 5/266 78374
/proc/meminfo: memFree=126714912/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=203836 memory=202128 CPUtime=6.26 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 51402 0 0 0 617 9 0 0 20 0 1 0 72912993 208728064 50532 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 50959 50532 512 484 0 50370 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 203836 KiB
Current children cumulated memory: 202128 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.11 5/266 78374
/proc/meminfo: memFree=126698656/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=207372 memory=205896 CPUtime=12.65 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 55679 0 0 0 1254 11 0 0 20 0 1 0 72912993 212348928 51474 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 51843 51474 512 484 0 51254 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 207372 KiB
Current children cumulated memory: 205896 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.15 4.11 5/266 78374
/proc/meminfo: memFree=126681016/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=222776 memory=221252 CPUtime=25.42 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 62450 0 0 0 2528 14 0 0 20 0 1 0 72912993 228122624 55313 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 55694 55313 512 484 0 55105 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 222776 KiB
Current children cumulated memory: 221252 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.15 4.11 5/266 78374
/proc/meminfo: memFree=126662072/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=209044 memory=207696 CPUtime=50.94 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 64650 0 0 0 5079 15 0 0 20 0 1 0 72912993 214061056 51924 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 52261 51924 512 484 0 51672 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 209044 KiB
Current children cumulated memory: 207696 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/267 78467
/proc/meminfo: memFree=126478564/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=232968 memory=231456 CPUtime=101.98 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 70035 0 0 0 10182 16 0 0 20 0 1 0 72912993 238559232 57864 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 58242 57864 512 484 0 57653 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 232968 KiB
Current children cumulated memory: 231456 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/266 78469
/proc/meminfo: memFree=126442788/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=250040 memory=248480 CPUtime=161.8 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 71616 0 0 0 16163 17 0 0 20 0 1 0 72912993 256040960 62120 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 62510 62120 512 484 0 61921 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 250040 KiB
Current children cumulated memory: 248480 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/266 78471
/proc/meminfo: memFree=126432728/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=250464 memory=248864 CPUtime=221.62 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 71735 0 0 0 22145 17 0 0 20 0 1 0 72912993 256475136 62216 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 62616 62216 512 484 0 62027 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 250464 KiB
Current children cumulated memory: 248864 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/266 78473
/proc/meminfo: memFree=126468388/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=226240 memory=224892 CPUtime=281.43 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 74212 0 0 0 28124 19 0 0 20 0 1 0 72912993 231669760 56223 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 56560 56223 512 484 0 55971 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 226240 KiB
Current children cumulated memory: 224892 KiB

[startup+342.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/265 78476
/proc/meminfo: memFree=126436428/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=254892 memory=253344 CPUtime=341.25 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 75724 0 0 0 34105 20 0 0 20 0 1 0 72912993 261009408 63336 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 63723 63336 512 484 0 63134 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 254892 KiB
Current children cumulated memory: 253344 KiB

[startup+402.3 s]
/proc/loadavg: 4.32 4.20 4.12 5/264 78482
/proc/meminfo: memFree=126427244/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=255408 memory=253856 CPUtime=401.07 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 75872 0 0 0 40087 20 0 0 20 0 1 0 72912993 261537792 63464 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 63852 63464 512 484 0 63263 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 255408 KiB
Current children cumulated memory: 253856 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/264 78484
/proc/meminfo: memFree=126385328/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=226976 memory=225628 CPUtime=460.88 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 76460 0 0 0 46068 20 0 0 20 0 1 0 72912993 232423424 56407 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 56744 56407 512 484 0 56155 0

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

Current children cumulated memory: 353644 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 78663
/proc/meminfo: memFree=126474640/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=355112 memory=353644 CPUtime=2913.82 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 103787 0 0 0 291320 62 0 0 20 0 1 0 72912993 363634688 88411 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 88778 88411 512 484 0 88189 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 355112 KiB
Current children cumulated memory: 353644 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 78666
/proc/meminfo: memFree=126473092/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=354768 memory=353300 CPUtime=2973.64 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 104279 0 0 0 297301 63 0 0 20 0 1 0 72912993 363282432 88325 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 88692 88325 512 484 0 88103 0
Current children cumulated CPU time: 2973.64 s
Current children cumulated vsize: 354768 KiB
Current children cumulated memory: 353300 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 78671
/proc/meminfo: memFree=126395296/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=357984 memory=356516 CPUtime=3033.47 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 104414 0 0 0 303282 65 0 0 20 0 1 0 72912993 366575616 89129 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 89496 89129 512 484 0 88907 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 357984 KiB
Current children cumulated memory: 356516 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 78673
/proc/meminfo: memFree=126368744/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=359700 memory=358232 CPUtime=3093.29 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 105100 0 0 0 309263 66 0 0 20 0 1 0 72912993 368332800 89558 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 89925 89558 512 484 0 89336 0
Current children cumulated CPU time: 3093.29 s
Current children cumulated vsize: 359700 KiB
Current children cumulated memory: 358232 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 78675
/proc/meminfo: memFree=126320836/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=359700 memory=358232 CPUtime=3153.12 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 105101 0 0 0 315246 66 0 0 20 0 1 0 72912993 368332800 89558 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 89925 89558 512 484 0 89336 0
Current children cumulated CPU time: 3153.12 s
Current children cumulated vsize: 359700 KiB
Current children cumulated memory: 358232 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 78677
/proc/meminfo: memFree=126315068/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=358776 memory=357308 CPUtime=3212.94 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 106081 0 0 0 321227 67 0 0 20 0 1 0 72912993 367386624 89327 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 89694 89327 512 484 0 89105 0
Current children cumulated CPU time: 3212.94 s
Current children cumulated vsize: 358776 KiB
Current children cumulated memory: 357308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 78680
/proc/meminfo: memFree=126399436/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=360548 memory=359080 CPUtime=3272.76 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 106346 0 0 0 327208 68 0 0 20 0 1 0 72912993 369201152 89770 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 90137 89770 512 484 0 89548 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 360548 KiB
Current children cumulated memory: 359080 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 78682
/proc/meminfo: memFree=126374284/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=361748 memory=360280 CPUtime=3332.6 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 107040 0 0 0 333190 70 0 0 20 0 1 0 72912993 370429952 90070 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 90437 90070 512 484 0 89848 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 361748 KiB
Current children cumulated memory: 360280 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 78684
/proc/meminfo: memFree=126348172/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=361748 memory=360280 CPUtime=3392.41 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 107040 0 0 0 339171 70 0 0 20 0 1 0 72912993 370429952 90070 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 90437 90070 512 484 0 89848 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 361748 KiB
Current children cumulated memory: 360280 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 78691
/proc/meminfo: memFree=126344388/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=364336 memory=362868 CPUtime=3452.24 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 107882 0 0 0 345152 72 0 0 20 0 1 0 72912993 373080064 90717 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 91084 90717 512 484 0 90495 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 364336 KiB
Current children cumulated memory: 362868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 78693
/proc/meminfo: memFree=126260344/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=363692 memory=362224 CPUtime=3512.06 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 108422 0 0 0 351133 73 0 0 20 0 1 0 72912993 372420608 90556 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 90923 90556 512 484 0 90334 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 363692 KiB
Current children cumulated memory: 362224 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 78695
/proc/meminfo: memFree=126289916/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=354232 memory=352764 CPUtime=3571.89 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 108775 0 0 0 357115 74 0 0 20 0 1 0 72912993 362733568 88191 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 88558 88191 512 484 0 87969 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 354232 KiB
Current children cumulated memory: 352764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 78713
/proc/meminfo: memFree=126951068/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=358268 memory=356800 CPUtime=3600.01 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 108978 0 0 0 359925 76 0 0 20 0 1 0 72912993 366866432 89200 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 89567 89200 512 484 0 88978 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 358268 KiB
Current children cumulated memory: 356800 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.25 s, system=0.761866 s

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

[startup+3610.5 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 78713
/proc/meminfo: memFree=126951068/131250000 swapFree=33007332/33010684
[pid=78372] ppid=78369 vsize=358268 memory=356800 CPUtime=3600.01 cores=0,2
/proc/78372/stat : 78372 (uwrmaxsat) R 78369 78372 76789 0 -1 4194304 108978 0 0 0 359925 76 0 0 20 0 1 0 72912993 366866432 89200 18446744073709551615 4198400 6176925 140736694883168 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 19456000 140736694884714 140736694884841 140736694884841 140736694890443 0
/proc/78372/statm: 89567 89200 512 484 0 88978 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 358268 KiB
Current children cumulated memory: 356800 KiB

Child status: 10

Real time (s): 3610.5
CPU time (s): 3600.02
CPU user time (s): 3599.25
CPU system time (s): 0.761866
CPU usage (%): 99.7096
Max. virtual memory (cumulated for all children) (KiB): 542972
Max. memory (cumulated for all children) (KiB): 541428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.25
system time used= 0.761866
maximum resident set size= 541428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108982
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= 83
involuntary context switches= 4566


# summary of solver processes directly reported to runsolver:
#   pid: 78372
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.25
#   total CPU system time (s): 0.761866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10031 second user time and 15.813 second system time

The end