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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522105-1751581049/watcher-4522105-1751581049 -o /tmp/evaluation-result-4522105-1751581049/solver-4522105-1751581049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751581035-89121 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4522105-1751581049.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=89806, runsolver pid=89803

[startup+0.100071 s]*
/proc/loadavg: 1.79 1.25 1.27 5/264 89807
/proc/meminfo: memFree=127376460/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=18020 memory=16896 CPUtime=0.09 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 3890 0 0 0 9 0 0 0 20 0 1 0 73785157 18452480 4224 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 4505 4224 480 484 0 3916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18020 KiB
Current children cumulated memory: 16896 KiB

[startup+0.205514 s]*
/proc/loadavg: 1.79 1.25 1.27 5/264 89807
/proc/meminfo: memFree=127368396/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=18528 memory=17640 CPUtime=0.19 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 4438 0 0 0 19 0 0 0 20 0 1 0 73785157 18972672 4410 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 4632 4410 512 484 0 4043 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18528 KiB
Current children cumulated memory: 17640 KiB

[startup+0.305475 s]*
/proc/loadavg: 1.79 1.25 1.27 5/264 89807
/proc/meminfo: memFree=127323980/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=19628 memory=18496 CPUtime=0.29 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 5067 0 0 0 29 0 0 0 20 0 1 0 73785157 20099072 4624 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 4907 4624 512 484 0 4318 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 19628 KiB
Current children cumulated memory: 18496 KiB

[startup+0.700185 s]
/proc/loadavg: 1.79 1.25 1.27 5/264 89807
/proc/meminfo: memFree=127242188/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=19256 memory=18500 CPUtime=0.68 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 6723 0 0 0 68 0 0 0 20 0 1 0 73785157 19718144 4625 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 4814 4625 512 484 0 4225 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 18500 KiB

[startup+1.50018 s]
/proc/loadavg: 1.79 1.25 1.27 5/264 89807
/proc/meminfo: memFree=127038560/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=20932 memory=19892 CPUtime=1.48 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 9234 0 0 0 147 1 0 0 20 0 1 0 73785157 21434368 4973 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 5233 4973 512 484 0 4644 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 20932 KiB
Current children cumulated memory: 19892 KiB

[startup+3.10533 s]
/proc/loadavg: 1.96 1.29 1.29 5/264 89807
/proc/meminfo: memFree=126637516/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=23628 memory=22688 CPUtime=3.08 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 11807 0 0 0 307 1 0 0 20 0 1 0 73785157 24195072 5672 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 5907 5672 512 484 0 5318 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 23628 KiB
Current children cumulated memory: 22688 KiB

[startup+6.30018 s]
/proc/loadavg: 1.96 1.29 1.29 5/264 89807
/proc/meminfo: memFree=125901056/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=21816 memory=20688 CPUtime=6.27 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 14549 0 0 0 625 2 0 0 20 0 1 0 73785157 22339584 5172 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 5454 5172 512 484 0 4865 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 21816 KiB
Current children cumulated memory: 20688 KiB

[startup+12.7002 s]
/proc/loadavg: 2.35 1.40 1.32 5/264 89808
/proc/meminfo: memFree=124794224/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=25788 memory=24800 CPUtime=12.65 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 19372 0 0 0 1262 3 0 0 20 0 1 0 73785157 26406912 6200 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 6447 6200 512 484 0 5858 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 25788 KiB
Current children cumulated memory: 24800 KiB

[startup+25.5002 s]
/proc/loadavg: 2.60 1.49 1.35 5/264 89808
/proc/meminfo: memFree=124080896/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=31400 memory=30524 CPUtime=25.42 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 26909 0 0 0 2537 5 0 0 20 0 1 0 73785157 32153600 7631 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 7850 7631 512 484 0 7261 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 31400 KiB
Current children cumulated memory: 30524 KiB

[startup+51.1055 s]
/proc/loadavg: 3.08 1.69 1.42 5/264 89808
/proc/meminfo: memFree=123248432/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=37340 memory=36348 CPUtime=50.95 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 29480 0 0 0 5090 5 0 0 20 0 1 0 73785157 38236160 9087 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 9335 9087 512 484 0 8746 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 37340 KiB
Current children cumulated memory: 36348 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 2.10 1.58 5/265 89811
/proc/meminfo: memFree=120183464/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=47136 memory=46208 CPUtime=102.01 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 39643 0 0 0 10192 9 0 0 20 0 1 0 73785157 48267264 11552 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 11784 11552 512 484 0 11195 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 47136 KiB
Current children cumulated memory: 46208 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.46 1.74 5/265 89813
/proc/meminfo: memFree=119845136/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=43156 memory=41612 CPUtime=161.84 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 50929 0 0 0 16171 13 0 0 20 0 1 0 73785157 44191744 10403 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 10789 10403 512 484 0 10200 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 43156 KiB
Current children cumulated memory: 41612 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.77 1.89 5/265 89815
/proc/meminfo: memFree=119865680/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=63148 memory=62276 CPUtime=221.67 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 53991 0 0 0 22152 15 0 0 20 0 1 0 73785157 64663552 15569 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 15787 15569 512 484 0 15198 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 63148 KiB
Current children cumulated memory: 62276 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 3.00 2.03 5/264 89821
/proc/meminfo: memFree=120620232/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=55312 memory=54568 CPUtime=281.5 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 58682 0 0 0 28134 16 0 0 20 0 1 0 73785157 56639488 13642 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 13828 13642 512 484 0 13239 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 55312 KiB
Current children cumulated memory: 54568 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 3.20 2.16 5/263 89823
/proc/meminfo: memFree=120563812/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=79996 memory=79104 CPUtime=341.33 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 63148 0 0 0 34116 17 0 0 20 0 1 0 73785157 81915904 19776 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 19999 19776 512 484 0 19410 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 79996 KiB
Current children cumulated memory: 79104 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.38 2.29 5/263 89828
/proc/meminfo: memFree=120122872/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=65892 memory=64896 CPUtime=401.17 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 66007 0 0 0 40098 19 0 0 20 0 1 0 73785157 67473408 16224 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 16473 16224 512 484 0 15884 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 64896 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.51 2.40 5/263 89830
/proc/meminfo: memFree=119789548/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=99304 memory=98432 CPUtime=460.99 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 71130 0 0 0 46078 21 0 0 20 0 1 0 73785157 101687296 24608 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 24826 24608 512 484 0 24237 0

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

Current children cumulated memory: 235788 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.09 4.00 5/264 89956
/proc/meminfo: memFree=120310284/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=238540 memory=236924 CPUtime=2914.09 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 162310 0 0 0 291265 144 0 0 20 0 1 0 73785157 244264960 59231 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 59635 59231 512 484 0 59046 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 238540 KiB
Current children cumulated memory: 236924 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/263 89958
/proc/meminfo: memFree=120334768/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=240176 memory=238560 CPUtime=2973.93 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 163115 0 0 0 297247 146 0 0 20 0 1 0 73785157 245940224 59640 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 60044 59640 512 484 0 59455 0
Current children cumulated CPU time: 2973.93 s
Current children cumulated vsize: 240176 KiB
Current children cumulated memory: 238560 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/263 89960
/proc/meminfo: memFree=119502464/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=250860 memory=249244 CPUtime=3033.77 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 166350 0 0 0 303225 152 0 0 20 0 1 0 73785157 256880640 62311 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 62715 62311 512 484 0 62126 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 250860 KiB
Current children cumulated memory: 249244 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.01 5/262 89962
/proc/meminfo: memFree=120296088/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=241020 memory=239404 CPUtime=3093.6 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 170178 0 0 0 309202 158 0 0 20 0 1 0 73785157 246804480 59851 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 60255 59851 512 484 0 59666 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 241020 KiB
Current children cumulated memory: 239404 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/262 89964
/proc/meminfo: memFree=119173144/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=265784 memory=264168 CPUtime=3153.44 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 171552 0 0 0 315182 162 0 0 20 0 1 0 73785157 272162816 66042 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 66446 66042 512 484 0 65857 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 265784 KiB
Current children cumulated memory: 264168 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/262 89966
/proc/meminfo: memFree=119823364/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=250784 memory=249168 CPUtime=3213.27 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 174173 0 0 0 321160 167 0 0 20 0 1 0 73785157 256802816 62292 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 62696 62292 512 484 0 62107 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 250784 KiB
Current children cumulated memory: 249168 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/263 89973
/proc/meminfo: memFree=120271664/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=237980 memory=236364 CPUtime=3273.1 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 175540 0 0 0 327141 169 0 0 20 0 1 0 73785157 243691520 59091 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 59495 59091 512 484 0 58906 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 237980 KiB
Current children cumulated memory: 236364 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 89975
/proc/meminfo: memFree=120236132/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=240672 memory=239056 CPUtime=3332.94 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 176700 0 0 0 333123 171 0 0 20 0 1 0 73785157 246448128 59764 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 60168 59764 512 484 0 59579 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 240672 KiB
Current children cumulated memory: 239056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.42 4.16 4.04 5/263 89979
/proc/meminfo: memFree=120201772/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=240888 memory=239348 CPUtime=3392.78 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 177500 0 0 0 339106 172 0 0 20 0 1 0 73785157 246669312 59837 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 60222 59837 512 484 0 59633 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 240888 KiB
Current children cumulated memory: 239348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.16 4.04 5/263 89981
/proc/meminfo: memFree=120326304/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=242192 memory=240576 CPUtime=3452.61 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 178612 0 0 0 345087 174 0 0 20 0 1 0 73785157 248004608 60144 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 60548 60144 512 484 0 59959 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 242192 KiB
Current children cumulated memory: 240576 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.04 5/263 89983
/proc/meminfo: memFree=120271172/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=242844 memory=241228 CPUtime=3512.45 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 180078 0 0 0 351069 176 0 0 20 0 1 0 73785157 248672256 60307 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 60711 60307 512 484 0 60122 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 242844 KiB
Current children cumulated memory: 241228 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.04 5/263 89985
/proc/meminfo: memFree=119378868/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=243296 memory=241680 CPUtime=3572.29 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 180450 0 0 0 357052 177 0 0 20 0 1 0 73785157 249135104 60420 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 60824 60420 512 484 0 60235 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 243296 KiB
Current children cumulated memory: 241680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.08 4.12 4.04 5/263 90121
/proc/meminfo: memFree=128839604/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=243496 memory=241880 CPUtime=3600.01 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 180872 0 0 0 359823 178 0 0 20 0 1 0 73785157 249339904 60470 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 60874 60470 512 484 0 60285 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 243496 KiB
Current children cumulated memory: 241880 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.24 s, system=1.78866 s

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

[startup+3610.11 s]
/proc/loadavg: 4.08 4.12 4.04 5/263 90121
/proc/meminfo: memFree=128839604/131250000 swapFree=33008100/33010684
[pid=89806] ppid=89803 vsize=243496 memory=241880 CPUtime=3600.01 cores=5,7
/proc/89806/stat : 89806 (uwrmaxsat) R 89803 89806 89108 0 -1 4194304 180872 0 0 0 359823 178 0 0 20 0 1 0 73785157 249339904 60470 18446744073709551615 4198400 6176925 140724873267168 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 32518144 140724873271658 140724873271785 140724873271785 140724873277387 0
/proc/89806/statm: 60874 60470 512 484 0 60285 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 243496 KiB
Current children cumulated memory: 241880 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.03
CPU user time (s): 3598.24
CPU system time (s): 1.78866
CPU usage (%): 99.7207
Max. virtual memory (cumulated for all children) (KiB): 453628
Max. memory (cumulated for all children) (KiB): 439012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.24
system time used= 1.78866
maximum resident set size= 449252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180875
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= 2
involuntary context switches= 1699


# summary of solver processes directly reported to runsolver:
#   pid: 89806
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.24
#   total CPU system time (s): 1.78866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63428 second user time and 16.207 second system time

The end