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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509163-1751508797/watcher-4509163-1751508797 -o /tmp/evaluation-result-4509163-1751508797/solver-4509163-1751508797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751501342-73196 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4509163-1751508797.opb -mem-lim=31000 

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
Starting watchdog thread
solver pid=75325, runsolver pid=75322
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 4.13 4.12 4.13 5/251 75326
/proc/meminfo: memFree=116951280/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=8868 memory=8192 CPUtime=0.11 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 1675 0 0 0 10 1 0 0 20 0 1 0 66559515 9080832 2048 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 2217 2048 480 484 0 1628 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 8868 KiB
Current children cumulated memory: 8192 KiB

[startup+0.213403 s]*
/proc/loadavg: 4.13 4.12 4.13 5/251 75326
/proc/meminfo: memFree=116951280/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=8868 memory=8320 CPUtime=0.22 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 1679 0 0 0 21 1 0 0 20 0 1 0 66559515 9080832 2080 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 2217 2080 512 484 0 1628 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 8868 KiB
Current children cumulated memory: 8320 KiB

[startup+0.313241 s]*
/proc/loadavg: 4.13 4.12 4.13 5/251 75326
/proc/meminfo: memFree=116951280/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=8868 memory=8320 CPUtime=0.32 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 1679 0 0 0 31 1 0 0 20 0 1 0 66559515 9080832 2080 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 2217 2080 512 484 0 1628 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 8868 KiB
Current children cumulated memory: 8320 KiB

[startup+0.700318 s]
/proc/loadavg: 4.13 4.12 4.13 5/251 75326
/proc/meminfo: memFree=116951280/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=9652 memory=8960 CPUtime=0.69 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 1835 0 0 0 68 1 0 0 20 0 1 0 66559515 9883648 2240 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 2413 2240 544 484 0 1824 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 9652 KiB
Current children cumulated memory: 8960 KiB

[startup+1.50032 s]
/proc/loadavg: 4.13 4.12 4.13 5/251 75326
/proc/meminfo: memFree=116950524/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=10880 memory=10148 CPUtime=1.48 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 3761 0 0 0 147 1 0 0 20 0 1 0 66559515 11141120 2537 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 2720 2537 544 484 0 2131 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 10880 KiB
Current children cumulated memory: 10148 KiB

[startup+3.11279 s]
/proc/loadavg: 4.13 4.12 4.13 5/251 75326
/proc/meminfo: memFree=116945736/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=15792 memory=14892 CPUtime=3.1 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 7117 0 0 0 308 2 0 0 20 0 1 0 66559515 16171008 3723 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 3948 3723 544 484 0 3359 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 15792 KiB
Current children cumulated memory: 14892 KiB

[startup+6.30031 s]
/proc/loadavg: 4.20 4.13 4.13 5/251 75326
/proc/meminfo: memFree=116940052/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=23144 memory=22188 CPUtime=6.27 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 11313 0 0 0 624 3 0 0 20 0 1 0 66559515 23699456 5547 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 5786 5547 544 484 0 5197 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23144 KiB
Current children cumulated memory: 22188 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.15 4.14 5/251 75326
/proc/meminfo: memFree=116930476/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=48644 memory=45596 CPUtime=12.64 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 19045 0 0 0 1260 4 0 0 20 0 1 0 66559515 49811456 11399 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 12161 11399 544 484 0 11572 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 48644 KiB
Current children cumulated memory: 45596 KiB

[startup+25.5003 s]
/proc/loadavg: 4.43 4.19 4.15 5/252 75328
/proc/meminfo: memFree=116857880/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=49144 memory=48448 CPUtime=25.4 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 21066 0 0 0 2535 5 0 0 20 0 1 0 66559515 50323456 12112 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 12286 12112 544 484 0 11697 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 49144 KiB
Current children cumulated memory: 48448 KiB

[startup+51.1131 s]
/proc/loadavg: 4.40 4.20 4.16 5/252 75328
/proc/meminfo: memFree=116844196/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=48508 memory=48076 CPUtime=50.93 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 25316 0 0 0 5087 6 0 0 20 0 1 0 66559515 49672192 12019 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 12127 12019 544 484 0 11538 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 48508 KiB
Current children cumulated memory: 48076 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.19 4.16 5/252 75330
/proc/meminfo: memFree=116714460/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=68804 memory=66540 CPUtime=101.95 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 30653 0 0 0 10187 8 0 0 20 0 1 0 66559515 70455296 16635 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 17201 16635 544 484 0 16612 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 68804 KiB
Current children cumulated memory: 66540 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.18 4.16 5/252 75332
/proc/meminfo: memFree=116742416/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=53680 memory=52692 CPUtime=161.76 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 37732 0 0 0 16166 10 0 0 20 0 1 0 66559515 54968320 13173 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 13420 13173 544 484 0 12831 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 53680 KiB
Current children cumulated memory: 52692 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/252 75334
/proc/meminfo: memFree=116728660/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=77384 memory=76304 CPUtime=221.58 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 41777 0 0 0 22147 11 0 0 20 0 1 0 66559515 79241216 19076 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 19346 19076 544 484 0 18757 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 77384 KiB
Current children cumulated memory: 76304 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/252 75336
/proc/meminfo: memFree=116690420/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=70492 memory=69316 CPUtime=281.38 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 45929 0 0 0 28124 14 0 0 20 0 1 0 66559515 72183808 17329 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 17623 17329 544 484 0 17034 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 70492 KiB
Current children cumulated memory: 69316 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/250 75341
/proc/meminfo: memFree=116649204/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=83872 memory=82808 CPUtime=341.15 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 47952 0 0 0 34100 15 0 0 20 0 1 0 66559515 85884928 20702 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 20968 20702 544 484 0 20379 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 83872 KiB
Current children cumulated memory: 82808 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/250 75343
/proc/meminfo: memFree=116634748/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=108860 memory=107952 CPUtime=400.93 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 49141 0 0 0 40077 16 0 0 20 0 1 0 66559515 111472640 26988 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 27215 26988 544 484 0 26626 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 108860 KiB
Current children cumulated memory: 107952 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/250 75345
/proc/meminfo: memFree=116644768/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=112852 memory=112044 CPUtime=460.71 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 51529 0 0 0 46053 18 0 0 20 0 1 0 66559515 115560448 28011 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 28213 28011 544 484 0 27624 0
Current children cumulated CPU time: 460.71 s

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

Current children cumulated memory: 301168 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/250 75634
/proc/meminfo: memFree=87521704/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=319372 memory=301168 CPUtime=2853.35 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 97067 0 0 0 285286 49 0 0 20 0 1 0 66559515 327036928 75292 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 79843 75292 544 484 0 79254 0
Current children cumulated CPU time: 2853.35 s
Current children cumulated vsize: 319372 KiB
Current children cumulated memory: 301168 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.16 4.13 5/250 75647
/proc/meminfo: memFree=87530232/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=317952 memory=299748 CPUtime=2913.18 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 97221 0 0 0 291268 50 0 0 20 0 1 0 66559515 325582848 74937 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 79488 74937 544 484 0 78899 0
Current children cumulated CPU time: 2913.18 s
Current children cumulated vsize: 317952 KiB
Current children cumulated memory: 299748 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/250 75649
/proc/meminfo: memFree=86837920/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=314084 memory=302432 CPUtime=2973 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 98330 0 0 0 297248 52 0 0 20 0 1 0 66559515 321622016 75608 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 78521 75608 544 484 0 77932 0
Current children cumulated CPU time: 2973 s
Current children cumulated vsize: 314084 KiB
Current children cumulated memory: 302432 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/250 75651
/proc/meminfo: memFree=87550164/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=312904 memory=301252 CPUtime=3032.84 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 99310 0 0 0 303231 53 0 0 20 0 1 0 66559515 320413696 75313 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 78226 75313 544 484 0 77637 0
Current children cumulated CPU time: 3032.84 s
Current children cumulated vsize: 312904 KiB
Current children cumulated memory: 301252 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/250 75657
/proc/meminfo: memFree=88060092/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=313168 memory=301544 CPUtime=3092.66 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 99777 0 0 0 309212 54 0 0 20 0 1 0 66559515 320684032 75386 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 78292 75386 544 484 0 77703 0
Current children cumulated CPU time: 3092.66 s
Current children cumulated vsize: 313168 KiB
Current children cumulated memory: 301544 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/248 75659
/proc/meminfo: memFree=87480332/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=312620 memory=300996 CPUtime=3152.48 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 100170 0 0 0 315194 54 0 0 20 0 1 0 66559515 320122880 75249 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 78155 75249 544 484 0 77566 0
Current children cumulated CPU time: 3152.48 s
Current children cumulated vsize: 312620 KiB
Current children cumulated memory: 300996 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/248 75661
/proc/meminfo: memFree=87428776/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=320748 memory=309124 CPUtime=3212.3 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 101059 0 0 0 321175 55 0 0 20 0 1 0 66559515 328445952 77281 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 80187 77281 544 484 0 79598 0
Current children cumulated CPU time: 3212.3 s
Current children cumulated vsize: 320748 KiB
Current children cumulated memory: 309124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/248 75663
/proc/meminfo: memFree=87130224/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=323448 memory=311824 CPUtime=3272.12 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 101540 0 0 0 327156 56 0 0 20 0 1 0 66559515 331210752 77956 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 80862 77956 544 484 0 80273 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 323448 KiB
Current children cumulated memory: 311824 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/248 75665
/proc/meminfo: memFree=87564800/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=327060 memory=315436 CPUtime=3331.95 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 101966 0 0 0 333138 57 0 0 20 0 1 0 66559515 334909440 78859 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 81765 78859 544 484 0 81176 0
Current children cumulated CPU time: 3331.95 s
Current children cumulated vsize: 327060 KiB
Current children cumulated memory: 315436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 75671
/proc/meminfo: memFree=86757544/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=322664 memory=311040 CPUtime=3391.78 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 102313 0 0 0 339119 59 0 0 20 0 1 0 66559515 330407936 77760 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 80666 77760 544 484 0 80077 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 322664 KiB
Current children cumulated memory: 311040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 75674
/proc/meminfo: memFree=86220852/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=325356 memory=313732 CPUtime=3451.6 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 102767 0 0 0 345100 60 0 0 20 0 1 0 66559515 333164544 78433 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 81339 78433 544 484 0 80750 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 325356 KiB
Current children cumulated memory: 313732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 4/245 75708
/proc/meminfo: memFree=93797624/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=323436 memory=311812 CPUtime=3511.43 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 103314 0 0 0 351082 61 0 0 20 0 1 0 66559515 331198464 77953 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 80859 77953 544 484 0 80270 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 323436 KiB
Current children cumulated memory: 311812 KiB

[startup+3582.3 s]
/proc/loadavg: 3.45 3.91 4.02 4/245 75710
/proc/meminfo: memFree=93878524/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=321556 memory=309932 CPUtime=3571.21 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 104110 0 0 0 357059 62 0 0 20 0 1 0 66559515 329273344 77483 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 80389 77483 544 484 0 79800 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 321556 KiB
Current children cumulated memory: 309932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 3.35 3.83 3.99 4/245 75710
/proc/meminfo: memFree=92571796/131382112 swapFree=33010160/33010684
[pid=75325] ppid=75322 vsize=321556 memory=309932 CPUtime=3600.01 cores=4,6
/proc/75325/stat : 75325 (uwrmaxsat) R 75322 75325 73185 0 -1 4194304 104110 0 0 0 359939 62 0 0 20 0 1 0 66559515 329273344 77483 18446744073709551615 4198400 6176925 140732292484512 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 29364224 140732292487530 140732292487657 140732292487657 140732292493259 0
/proc/75325/statm: 80389 77483 544 484 0 79800 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 321556 KiB
Current children cumulated memory: 309932 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.39 s, system=0.634799 s

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

Child status: 10

Real time (s): 3611.21
CPU time (s): 3600.03
CPU user time (s): 3599.39
CPU system time (s): 0.634799
CPU usage (%): 99.6904
Max. virtual memory (cumulated for all children) (KiB): 375984
Max. memory (cumulated for all children) (KiB): 364240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.39
system time used= 0.634799
maximum resident set size= 364240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104114
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= 21
involuntary context switches= 2510


# summary of solver processes directly reported to runsolver:
#   pid: 75325
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.39
#   total CPU system time (s): 0.634799

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7413 second user time and 34.2927 second system time

The end