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: 63794 MiB (62501 MiB free)
  memory of node 1: 64507 MiB (63203 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484093-1751281373/watcher-4484093-1751281373 -o /tmp/evaluation-result-4484093-1751281373/solver-4484093-1751281373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751281373-39355 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484093-1751281373.opb -mem-lim=31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39403, runsolver pid=39390
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 0.68 1.39 2.38 6/247 39411
/proc/meminfo: memFree=128706184/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=10072 memory=8792 CPUtime=0.1 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 1889 0 0 0 9 1 0 0 20 0 1 0 43816739 10313728 2198 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 2518 2198 480 484 0 1929 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10072 KiB
Current children cumulated memory: 8792 KiB

[startup+0.213443 s]*
/proc/loadavg: 0.68 1.39 2.38 6/247 39415
/proc/meminfo: memFree=128673228/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=31580 memory=27032 CPUtime=0.2 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 7191 0 0 0 17 3 0 0 20 0 1 0 43816739 32337920 6758 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 7895 6758 480 484 0 7306 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31580 KiB
Current children cumulated memory: 27032 KiB

[startup+0.31351 s]*
/proc/loadavg: 1.02 1.45 2.39 5/245 39419
/proc/meminfo: memFree=128651872/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=40496 memory=37272 CPUtime=0.3 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 9801 0 0 0 25 5 0 0 20 0 1 0 43816739 41467904 9318 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 10124 9318 480 484 0 9535 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 37272 KiB

[startup+0.700261 s]
/proc/loadavg: 1.02 1.45 2.39 6/245 39419
/proc/meminfo: memFree=128592140/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=75760 memory=69836 CPUtime=0.66 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 18216 0 0 0 57 9 0 0 20 0 1 0 43816739 77578240 17459 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 18940 17459 544 484 0 18351 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 75760 KiB
Current children cumulated memory: 69836 KiB

[startup+1.5003 s]
/proc/loadavg: 1.02 1.45 2.39 6/245 39419
/proc/meminfo: memFree=128451392/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=87188 memory=81256 CPUtime=1.44 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 19030 0 0 0 131 13 0 0 20 0 1 0 43816739 89280512 20314 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 21797 20314 544 484 0 21208 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 87188 KiB
Current children cumulated memory: 81256 KiB

[startup+3.11322 s]
/proc/loadavg: 1.02 1.45 2.39 6/249 39456
/proc/meminfo: memFree=128017388/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=90588 memory=85240 CPUtime=3.02 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 21697 0 0 0 286 16 0 0 20 0 1 0 43816739 92762112 21310 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 22647 21310 544 484 0 22058 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 90588 KiB
Current children cumulated memory: 85240 KiB

[startup+6.30034 s]
/proc/loadavg: 1.26 1.49 2.40 6/249 39456
/proc/meminfo: memFree=127945964/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=95600 memory=90192 CPUtime=6.19 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 22451 0 0 0 603 16 0 0 20 0 1 0 43816739 97894400 22548 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 23900 22548 544 484 0 23311 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 95600 KiB
Current children cumulated memory: 90192 KiB

[startup+12.7002 s]
/proc/loadavg: 1.48 1.53 2.41 6/249 39456
/proc/meminfo: memFree=127889308/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=95600 memory=90320 CPUtime=12.57 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 22460 0 0 0 1241 16 0 0 20 0 1 0 43816739 97894400 22580 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 23900 22580 544 484 0 23311 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 95600 KiB
Current children cumulated memory: 90320 KiB

[startup+25.5003 s]
/proc/loadavg: 1.87 1.61 2.43 6/249 39456
/proc/meminfo: memFree=127894152/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=97424 memory=92240 CPUtime=25.33 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 22985 0 0 0 2517 16 0 0 20 0 1 0 43816739 99762176 23060 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 24356 23060 544 484 0 23767 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 97424 KiB
Current children cumulated memory: 92240 KiB

[startup+51.1131 s]
/proc/loadavg: 2.78 1.86 2.49 6/249 39456
/proc/meminfo: memFree=127768920/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=98136 memory=92956 CPUtime=50.86 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 23717 0 0 0 5070 16 0 0 20 0 1 0 43816739 100491264 23239 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 24534 23239 544 484 0 23945 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 98136 KiB
Current children cumulated memory: 92956 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.21 2.57 6/249 39458
/proc/meminfo: memFree=127411812/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=117552 memory=112444 CPUtime=101.88 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 26978 0 0 0 10170 18 0 0 20 0 1 0 43816739 120373248 28111 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 29388 28111 544 484 0 28799 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 117552 KiB
Current children cumulated memory: 112444 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.55 2.67 6/250 39461
/proc/meminfo: memFree=127441168/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=117552 memory=112444 CPUtime=161.69 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 26991 0 0 0 16151 18 0 0 20 0 1 0 43816739 120373248 28111 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 29388 28111 544 484 0 28799 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 117552 KiB
Current children cumulated memory: 112444 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.83 2.76 6/251 39464
/proc/meminfo: memFree=127408188/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=137028 memory=132008 CPUtime=221.51 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 28242 0 0 0 22132 19 0 0 20 0 1 0 43816739 140316672 33002 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 34257 33002 544 484 0 33668 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 137028 KiB
Current children cumulated memory: 132008 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.06 2.85 6/252 39473
/proc/meminfo: memFree=127399828/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=133296 memory=128596 CPUtime=281.32 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 34330 0 0 0 28108 24 0 0 20 0 1 0 43816739 136495104 32149 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 33324 32149 544 484 0 32735 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 133296 KiB
Current children cumulated memory: 128596 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.25 2.93 6/252 39475
/proc/meminfo: memFree=127321064/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=157200 memory=152740 CPUtime=341.13 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 36627 0 0 0 34088 25 0 0 20 0 1 0 43816739 160972800 38185 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 39300 38185 544 484 0 38711 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 157200 KiB
Current children cumulated memory: 152740 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.42 3.01 6/252 39477
/proc/meminfo: memFree=127336572/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=134372 memory=131800 CPUtime=400.97 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 38128 0 0 0 40070 27 0 0 20 0 1 0 43816739 137596928 32950 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 33593 32950 544 484 0 33004 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 134372 KiB
Current children cumulated memory: 131800 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 3.53 3.07 6/252 39479
/proc/meminfo: memFree=127312072/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=140160 memory=137560 CPUtime=460.81 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 39064 0 0 0 46053 28 0 0 20 0 1 0 43816739 143523840 34390 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 35040 34390 544 484 0 34451 0
Current children cumulated CPU time: 460.81 s

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

Current children cumulated memory: 177156 KiB

[startup+2862.3 s]
/proc/loadavg: 4.18 4.14 4.04 6/251 39641
/proc/meminfo: memFree=127352008/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=179948 memory=177120 CPUtime=2854.18 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 124086 0 0 0 285265 153 0 0 20 0 1 0 43816739 184266752 44280 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 44987 44280 544 484 0 44398 0
Current children cumulated CPU time: 2854.18 s
Current children cumulated vsize: 179948 KiB
Current children cumulated memory: 177120 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.05 6/251 39643
/proc/meminfo: memFree=127322296/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=180568 memory=178028 CPUtime=2914.02 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 125748 0 0 0 291246 156 0 0 20 0 1 0 43816739 184901632 44507 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45142 44507 544 484 0 44553 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 180568 KiB
Current children cumulated memory: 178028 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.15 4.06 6/250 39645
/proc/meminfo: memFree=127323700/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=180864 memory=178200 CPUtime=2973.85 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 126977 0 0 0 297228 157 0 0 20 0 1 0 43816739 185204736 44550 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45216 44550 544 484 0 44627 0
Current children cumulated CPU time: 2973.85 s
Current children cumulated vsize: 180864 KiB
Current children cumulated memory: 178200 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.06 6/249 39647
/proc/meminfo: memFree=127330868/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=181136 memory=178500 CPUtime=3033.68 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 128506 0 0 0 303209 159 0 0 20 0 1 0 43816739 185483264 44625 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45284 44625 544 484 0 44695 0
Current children cumulated CPU time: 3033.68 s
Current children cumulated vsize: 181136 KiB
Current children cumulated memory: 178500 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.06 6/249 39649
/proc/meminfo: memFree=127359188/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=181152 memory=178428 CPUtime=3093.53 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 129904 0 0 0 309191 162 0 0 20 0 1 0 43816739 185499648 44607 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45288 44607 544 484 0 44699 0
Current children cumulated CPU time: 3093.53 s
Current children cumulated vsize: 181152 KiB
Current children cumulated memory: 178428 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.06 6/249 39651
/proc/meminfo: memFree=127358664/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=182136 memory=179412 CPUtime=3153.36 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 130984 0 0 0 315173 163 0 0 20 0 1 0 43816739 186507264 44853 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45534 44853 544 484 0 44945 0
Current children cumulated CPU time: 3153.36 s
Current children cumulated vsize: 182136 KiB
Current children cumulated memory: 179412 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.06 6/250 39654
/proc/meminfo: memFree=127427796/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=182044 memory=179480 CPUtime=3213.19 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 132865 0 0 0 321154 165 0 0 20 0 1 0 43816739 186413056 44870 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45511 44870 544 484 0 44922 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 182044 KiB
Current children cumulated memory: 179480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.06 6/251 39663
/proc/meminfo: memFree=127434072/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=181756 memory=179192 CPUtime=3273.04 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 133997 0 0 0 327137 167 0 0 20 0 1 0 43816739 186118144 44798 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45439 44798 544 484 0 44850 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 181756 KiB
Current children cumulated memory: 179192 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.06 6/251 39665
/proc/meminfo: memFree=127409048/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=182724 memory=180196 CPUtime=3332.87 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 134998 0 0 0 333119 168 0 0 20 0 1 0 43816739 187109376 45049 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45681 45049 544 484 0 45092 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 182724 KiB
Current children cumulated memory: 180196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.06 6/251 39667
/proc/meminfo: memFree=127393416/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=219276 memory=216724 CPUtime=3392.72 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 136415 0 0 0 339101 171 0 0 20 0 1 0 43816739 224538624 54181 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 54819 54181 544 484 0 54230 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 219276 KiB
Current children cumulated memory: 216724 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.06 6/251 39669
/proc/meminfo: memFree=127378064/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=182612 memory=180084 CPUtime=3452.56 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 137357 0 0 0 345084 172 0 0 20 0 1 0 43816739 186994688 45021 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45653 45021 544 484 0 45064 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 182612 KiB
Current children cumulated memory: 180084 KiB

[startup+3522.3 s]
/proc/loadavg: 4.80 4.28 4.13 6/250 39682
/proc/meminfo: memFree=127336840/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=182196 memory=179688 CPUtime=3512.41 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 138241 0 0 0 351067 174 0 0 20 0 1 0 43816739 186568704 44922 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45549 44922 544 484 0 44960 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 182196 KiB
Current children cumulated memory: 179688 KiB

[startup+3582.3 s]
/proc/loadavg: 5.01 4.46 4.20 6/251 39685
/proc/meminfo: memFree=127335036/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=182516 memory=180008 CPUtime=3572.25 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 139357 0 0 0 357050 175 0 0 20 0 1 0 43816739 186896384 45002 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45629 45002 544 484 0 45040 0
Current children cumulated CPU time: 3572.25 s
Current children cumulated vsize: 182516 KiB
Current children cumulated memory: 180008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.66 4.42 4.19 6/250 39685
/proc/meminfo: memFree=127346368/131382120 swapFree=33010416/33010684
[pid=39403] ppid=39390 vsize=182596 memory=180088 CPUtime=3600.07 cores=5,7
/proc/39403/stat : 39403 (uwrmaxsat) R 39390 39403 39342 0 -1 4194304 140521 0 0 0 359831 176 0 0 20 0 1 0 43816739 186978304 45022 18446744073709551615 4198400 6176925 140730348117840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 38592512 140730348124522 140730348124649 140730348124649 140730348130251 0
/proc/39403/statm: 45649 45022 544 484 0 45060 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 182596 KiB
Current children cumulated memory: 180088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.32 s, system=1.77049 s

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

Child status: 10

Real time (s): 3610.2
CPU time (s): 3600.09
CPU user time (s): 3598.32
CPU system time (s): 1.77049
CPU usage (%): 99.7198
Max. virtual memory (cumulated for all children) (KiB): 270384
Max. memory (cumulated for all children) (KiB): 264664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.77049
maximum resident set size= 264664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140526
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= 36
involuntary context switches= 1592


# summary of solver processes directly reported to runsolver:
#   pid: 39403
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.32
#   total CPU system time (s): 1.77049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5289 second user time and 34.965 second system time

The end