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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502432-1751424889/watcher-4502432-1751424889 -o /tmp/evaluation-result-4502432-1751424889/solver-4502432-1751424889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751424882-59926 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4502432-1751424889.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=60576, runsolver pid=60573
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 1.33 1.88 2.02 4/262 60577
/proc/meminfo: memFree=124211884/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=47048 memory=35496 CPUtime=0.09 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 6833 0 0 0 8 1 0 0 20 0 1 0 58163467 48177152 8874 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 11762 8874 2688 3139 0 8050 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47048 KiB
Current children cumulated memory: 35496 KiB

[startup+0.205473 s]*
/proc/loadavg: 1.33 1.88 2.02 4/262 60577
/proc/meminfo: memFree=124212232/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=52460 memory=40848 CPUtime=0.2 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 8618 0 0 0 19 1 0 0 20 0 1 0 58163467 53719040 10212 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 13115 10212 2720 3139 0 9403 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52460 KiB
Current children cumulated memory: 40848 KiB

[startup+0.305284 s]*
/proc/loadavg: 1.33 1.88 2.02 4/262 60577
/proc/meminfo: memFree=124208136/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=52528 memory=41012 CPUtime=0.3 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 8839 0 0 0 29 1 0 0 20 0 1 0 58163467 53788672 10253 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 13132 10253 2720 3139 0 9420 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52528 KiB
Current children cumulated memory: 41012 KiB

[startup+0.700161 s]
/proc/loadavg: 1.33 1.88 2.02 4/265 60583
/proc/meminfo: memFree=124208136/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=59092 memory=47240 CPUtime=0.69 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 12813 0 0 0 67 2 0 0 20 0 1 0 58163467 60510208 11810 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 14773 11810 2720 3139 0 11061 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59092 KiB
Current children cumulated memory: 47240 KiB

[startup+1.50017 s]
/proc/loadavg: 1.33 1.88 2.02 5/262 60605
/proc/meminfo: memFree=124204244/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=97120 memory=83476 CPUtime=1.49 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 21750 0 0 0 145 4 0 0 20 0 1 0 58163467 99450880 20869 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 24280 20869 2720 3139 0 20568 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 97120 KiB
Current children cumulated memory: 83476 KiB

[startup+3.10486 s]
/proc/loadavg: 1.54 1.92 2.03 5/266 60614
/proc/meminfo: memFree=123870444/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=94096 memory=80460 CPUtime=3.09 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 21755 0 0 0 305 4 0 0 20 0 1 0 58163467 96354304 20115 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 23524 20115 2720 3139 0 19812 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 94096 KiB
Current children cumulated memory: 80460 KiB

[startup+6.30013 s]
/proc/loadavg: 1.54 1.92 2.03 5/266 60614
/proc/meminfo: memFree=122715868/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=78600 memory=67628 CPUtime=6.27 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 22965 0 0 0 623 4 0 0 20 0 1 0 58163467 80486400 16907 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 19650 16907 2720 3139 0 15938 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 78600 KiB
Current children cumulated memory: 67628 KiB

[startup+12.7001 s]
/proc/loadavg: 1.92 1.99 2.06 5/266 60614
/proc/meminfo: memFree=121912292/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=81840 memory=70828 CPUtime=12.65 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 23777 0 0 0 1261 4 0 0 20 0 1 0 58163467 83804160 17707 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 20460 17707 2720 3139 0 16748 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 81840 KiB
Current children cumulated memory: 70828 KiB

[startup+25.5002 s]
/proc/loadavg: 2.24 2.05 2.08 5/266 60614
/proc/meminfo: memFree=121502760/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=92332 memory=81420 CPUtime=25.41 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 25379 0 0 0 2537 4 0 0 20 0 1 0 58163467 94547968 20355 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 23083 20355 2720 3139 0 19371 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 92332 KiB
Current children cumulated memory: 81420 KiB

[startup+51.1054 s]
/proc/loadavg: 3.12 2.28 2.15 5/266 60615
/proc/meminfo: memFree=120617668/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=93248 memory=82316 CPUtime=50.94 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 29665 0 0 0 5089 5 0 0 20 0 1 0 58163467 95485952 20579 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 23312 20579 2720 3139 0 19600 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 93248 KiB
Current children cumulated memory: 82316 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 2.61 2.27 5/265 60616
/proc/meminfo: memFree=109212560/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=86792 memory=76044 CPUtime=102 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 31993 0 0 0 10194 6 0 0 20 0 1 0 58163467 88875008 19011 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 21698 19011 2720 3139 0 17986 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 86792 KiB
Current children cumulated memory: 76044 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 2.90 2.40 5/266 60621
/proc/meminfo: memFree=109160508/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=103328 memory=92436 CPUtime=161.82 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 35600 0 0 0 16174 8 0 0 20 0 1 0 58163467 105807872 23109 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 25832 23109 2720 3139 0 22120 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 103328 KiB
Current children cumulated memory: 92436 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.12 2.50 5/266 60624
/proc/meminfo: memFree=109223368/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=96508 memory=84572 CPUtime=221.66 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 40261 0 0 0 22157 9 0 0 20 0 1 0 58163467 98824192 21143 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 24127 21143 2720 3139 0 20415 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 96508 KiB
Current children cumulated memory: 84572 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.30 2.61 5/268 60633
/proc/meminfo: memFree=109314272/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=120004 memory=109456 CPUtime=281.48 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 44884 0 0 0 28137 11 0 0 20 0 1 0 58163467 122884096 27364 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 30001 27364 2720 3139 0 26289 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 120004 KiB
Current children cumulated memory: 109456 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.46 2.71 5/267 60636
/proc/meminfo: memFree=108847752/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=178000 memory=166928 CPUtime=341.34 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 58724 0 0 0 34120 14 0 0 20 0 1 0 58163467 182272000 41732 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 44500 41732 3296 3139 0 40788 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 178000 KiB
Current children cumulated memory: 166928 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.57 2.79 5/267 60649
/proc/meminfo: memFree=108526068/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=182488 memory=172816 CPUtime=401.18 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 60243 0 0 0 40104 14 0 0 20 0 1 0 58163467 186867712 43204 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 45622 43204 3296 3139 0 41910 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 182488 KiB
Current children cumulated memory: 172816 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.67 2.88 5/267 60651
/proc/meminfo: memFree=108416896/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=182488 memory=172816 CPUtime=461.03 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 60243 0 0 0 46089 14 0 0 20 0 1 0 58163467 186867712 43204 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 45622 43204 3296 3139 0 41910 0
Current children cumulated CPU time: 461.03 s

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

Current children cumulated memory: 195756 KiB

[startup+2862.3 s]
/proc/loadavg: 4.40 4.20 4.06 5/264 60819
/proc/meminfo: memFree=112165388/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=143132 memory=135008 CPUtime=2854.61 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 118171 0 0 0 285401 60 0 0 20 0 1 0 58163467 146567168 33752 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 35783 33752 3296 3139 0 32071 0
Current children cumulated CPU time: 2854.61 s
Current children cumulated vsize: 143132 KiB
Current children cumulated memory: 135008 KiB

[startup+2922.3 s]
/proc/loadavg: 4.25 4.19 4.07 5/264 60822
/proc/meminfo: memFree=112889432/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=155556 memory=145448 CPUtime=2914.44 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 120828 0 0 0 291382 62 0 0 20 0 1 0 58163467 159289344 36362 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 38889 36362 3296 3139 0 35177 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 155556 KiB
Current children cumulated memory: 145448 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.18 4.07 5/264 60824
/proc/meminfo: memFree=112706588/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=158644 memory=147044 CPUtime=2974.28 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 123217 0 0 0 297363 65 0 0 20 0 1 0 58163467 162451456 36761 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 39661 36761 3296 3139 0 35949 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 158644 KiB
Current children cumulated memory: 147044 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.18 4.08 5/264 60826
/proc/meminfo: memFree=112650604/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=157904 memory=146116 CPUtime=3034.11 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 124532 0 0 0 303344 67 0 0 20 0 1 0 58163467 161693696 36529 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 39476 36529 3296 3139 0 35764 0
Current children cumulated CPU time: 3034.11 s
Current children cumulated vsize: 157904 KiB
Current children cumulated memory: 146116 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.08 5/263 60828
/proc/meminfo: memFree=112654568/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=159644 memory=147860 CPUtime=3093.96 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 125882 0 0 0 309327 69 0 0 20 0 1 0 58163467 163475456 36965 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 39911 36965 3296 3139 0 36199 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 159644 KiB
Current children cumulated memory: 147860 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/265 60834
/proc/meminfo: memFree=112553708/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=171780 memory=162280 CPUtime=3153.79 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 129201 0 0 0 315306 73 0 0 20 0 1 0 58163467 175902720 40570 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 42945 40570 3296 3139 0 39233 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 171780 KiB
Current children cumulated memory: 162280 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.08 5/265 60836
/proc/meminfo: memFree=112564848/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=164896 memory=155404 CPUtime=3213.62 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 131065 0 0 0 321287 75 0 0 20 0 1 0 58163467 168853504 38851 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 41224 38851 3296 3139 0 37512 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 164896 KiB
Current children cumulated memory: 155404 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.08 5/265 60843
/proc/meminfo: memFree=112538960/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=179384 memory=171076 CPUtime=3273.46 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 133694 0 0 0 327267 79 0 0 20 0 1 0 58163467 183689216 42769 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 44846 42769 3296 3139 0 41134 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 179384 KiB
Current children cumulated memory: 171076 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.08 5/265 60845
/proc/meminfo: memFree=112525600/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=166764 memory=158484 CPUtime=3333.3 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 135372 0 0 0 333248 82 0 0 20 0 1 0 58163467 170766336 39621 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 41691 39621 3296 3139 0 37979 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 166764 KiB
Current children cumulated memory: 158484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 60849
/proc/meminfo: memFree=112586744/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=178176 memory=169900 CPUtime=3393.12 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 137213 0 0 0 339228 84 0 0 20 0 1 0 58163467 182452224 42475 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 44544 42475 3296 3139 0 40832 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 178176 KiB
Current children cumulated memory: 169900 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 60851
/proc/meminfo: memFree=112575228/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=191412 memory=179632 CPUtime=3452.96 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 137973 0 0 0 345209 87 0 0 20 0 1 0 58163467 196005888 44908 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 47853 44908 3296 3139 0 44141 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 191412 KiB
Current children cumulated memory: 179632 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 60853
/proc/meminfo: memFree=112524300/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=234692 memory=225200 CPUtime=3512.8 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 144238 0 0 0 351189 91 0 0 20 0 1 0 58163467 240324608 56300 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 58673 56300 3296 3139 0 54961 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 234692 KiB
Current children cumulated memory: 225200 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 60856
/proc/meminfo: memFree=112508192/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=249648 memory=241396 CPUtime=3572.62 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 147049 0 0 0 357166 96 0 0 20 0 1 0 58163467 255639552 60349 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 62412 60349 3296 3139 0 58700 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 249648 KiB
Current children cumulated memory: 241396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 60857
/proc/meminfo: memFree=112498356/131249992 swapFree=33010160/33010684
[pid=60576] ppid=60573 vsize=260784 memory=251228 CPUtime=3600.04 cores=1,3
/proc/60576/stat : 60576 (uwrmaxsat-scip) R 60573 60576 59914 0 -1 4194304 149675 0 0 0 359906 98 0 0 20 0 1 0 58163467 267042816 62807 18446744073709551615 4198400 17051741 140733011744736 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38531072 140733011749178 140733011749348 140733011749348 140733011754950 0
/proc/60576/statm: 65196 62807 3296 3139 0 61484 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 260784 KiB
Current children cumulated memory: 251228 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.07 s, system=0.991983 s

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

Child status: 10

Real time (s): 3609.8
CPU time (s): 3600.06
CPU user time (s): 3599.07
CPU system time (s): 0.991983
CPU usage (%): 99.73
Max. virtual memory (cumulated for all children) (KiB): 349176
Max. memory (cumulated for all children) (KiB): 336544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.07
system time used= 0.991983
maximum resident set size= 339592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149678
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= 28
involuntary context switches= 1819


# summary of solver processes directly reported to runsolver:
#   pid: 60576
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.07
#   total CPU system time (s): 0.991983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49829 second user time and 15.132 second system time

The end