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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509120-1751506606/watcher-4509120-1751506606 -o /tmp/evaluation-result-4509120-1751506606/solver-4509120-1751506606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751497620-78613 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=538311031 --ls=0 --inp-dombreaklim=0 HOME/instance-4509120-1751506606.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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=80846, runsolver pid=80843
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.07 4.08 4.09 5/263 80847
/proc/meminfo: memFree=118483404/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=40024 memory=17388 CPUtime=0.1 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 3779 0 0 0 9 1 0 0 20 0 1 0 66339370 40984576 4347 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 10006 4347 1280 1200 0 8486 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40024 KiB
Current children cumulated memory: 17388 KiB

[startup+0.20553 s]*
/proc/loadavg: 4.07 4.08 4.09 5/263 80847
/proc/meminfo: memFree=118482396/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=41100 memory=18796 CPUtime=0.2 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 4132 0 0 0 19 1 0 0 20 0 1 0 66339370 42086400 4699 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 10275 4699 1280 1200 0 8755 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41100 KiB
Current children cumulated memory: 18796 KiB

[startup+0.305453 s]*
/proc/loadavg: 4.07 4.08 4.09 5/263 80847
/proc/meminfo: memFree=118480380/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=41456 memory=19564 CPUtime=0.3 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 4309 0 0 0 29 1 0 0 20 0 1 0 66339370 42450944 4891 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 10364 4891 1280 1200 0 8844 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41456 KiB
Current children cumulated memory: 19564 KiB

[startup+0.700172 s]
/proc/loadavg: 4.07 4.08 4.09 6/263 80847
/proc/meminfo: memFree=118480380/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=42352 memory=22736 CPUtime=0.69 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 4598 0 0 0 68 1 0 0 20 0 1 0 66339370 43368448 5684 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 10588 5684 1280 1200 0 9068 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42352 KiB
Current children cumulated memory: 22736 KiB

[startup+1.50017 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 80847
/proc/meminfo: memFree=118476348/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=44768 memory=27012 CPUtime=1.49 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 5156 0 0 0 147 2 0 0 20 0 1 0 66339370 45842432 6753 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 11192 6753 1280 1200 0 9672 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44768 KiB
Current children cumulated memory: 27012 KiB

[startup+3.10535 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 80847
/proc/meminfo: memFree=118468800/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=50348 memory=36680 CPUtime=3.08 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 6532 0 0 0 305 3 0 0 20 0 1 0 66339370 51556352 9170 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 12587 9170 1280 1200 0 11067 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50348 KiB
Current children cumulated memory: 36680 KiB

[startup+6.30012 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 80847
/proc/meminfo: memFree=118461460/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=57452 memory=49712 CPUtime=6.27 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 8284 0 0 0 621 6 0 0 20 0 1 0 66339370 58830848 12428 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 14363 12428 1280 1200 0 12843 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57452 KiB
Current children cumulated memory: 49712 KiB

[startup+12.7001 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 80847
/proc/meminfo: memFree=118435524/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=80356 memory=67856 CPUtime=12.65 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 11537 0 0 0 1255 10 0 0 20 0 1 0 66339370 82284544 16964 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 20089 16964 1280 1200 0 18569 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 80356 KiB
Current children cumulated memory: 67856 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 80847
/proc/meminfo: memFree=118428988/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=89956 memory=77072 CPUtime=25.42 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 13866 0 0 0 2525 17 0 0 20 0 1 0 66339370 92114944 19268 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 22489 19268 1280 1200 0 20969 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 89956 KiB
Current children cumulated memory: 77072 KiB

[startup+51.1054 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 80848
/proc/meminfo: memFree=118415396/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=103236 memory=88976 CPUtime=50.95 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 16837 0 0 0 5066 29 0 0 20 0 1 0 66339370 105713664 22244 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 25809 22244 1280 1200 0 24289 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 103236 KiB
Current children cumulated memory: 88976 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 80849
/proc/meminfo: memFree=118365968/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=115204 memory=101136 CPUtime=102 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 19884 0 0 0 10150 50 0 0 20 0 1 0 66339370 117968896 25284 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 28801 25284 1280 1200 0 27281 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 115204 KiB
Current children cumulated memory: 101136 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 80852
/proc/meminfo: memFree=118358024/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=124948 memory=110608 CPUtime=161.82 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 22290 0 0 0 16109 73 0 0 20 0 1 0 66339370 127946752 27652 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 31237 27652 1280 1200 0 29717 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 124948 KiB
Current children cumulated memory: 110608 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 80857
/proc/meminfo: memFree=118350396/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=130540 memory=116240 CPUtime=221.65 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 23709 0 0 0 22066 99 0 0 20 0 1 0 66339370 133672960 29060 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 32635 29060 1280 1200 0 31115 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 130540 KiB
Current children cumulated memory: 116240 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 80863
/proc/meminfo: memFree=118342284/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=134956 memory=120720 CPUtime=281.48 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 24838 0 0 0 28023 125 0 0 20 0 1 0 66339370 138194944 30180 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 33739 30180 1280 1200 0 32219 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 134956 KiB
Current children cumulated memory: 120720 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 80910
/proc/meminfo: memFree=118137204/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=139364 memory=125200 CPUtime=341.31 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 25955 0 0 0 33982 149 0 0 20 0 1 0 66339370 142708736 31300 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 34841 31300 1280 1200 0 33321 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 139364 KiB
Current children cumulated memory: 125200 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 80912
/proc/meminfo: memFree=117166848/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=145124 memory=130320 CPUtime=401.12 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 27251 0 0 0 39941 171 0 0 20 0 1 0 66339370 148606976 32580 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 36281 32580 1280 1200 0 34761 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 145124 KiB
Current children cumulated memory: 130320 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 80915
/proc/meminfo: memFree=116542732/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=150968 memory=138180 CPUtime=460.95 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 28685 0 0 0 45899 196 0 0 20 0 1 0 66339370 154591232 34545 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 37742 34545 1280 1200 0 36222 0

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

Current children cumulated memory: 205248 KiB

[startup+2862.3 s]
/proc/loadavg: 2.12 2.18 2.80 3/252 81098
/proc/meminfo: memFree=123030164/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=232692 memory=206272 CPUtime=2853.41 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 44226 0 0 0 284183 1158 0 0 20 0 1 0 66339370 238276608 51568 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 58173 51568 1280 1200 0 56653 0
Current children cumulated CPU time: 2853.41 s
Current children cumulated vsize: 232692 KiB
Current children cumulated memory: 206272 KiB

[startup+2922.3 s]
/proc/loadavg: 2.15 2.18 2.76 3/252 81100
/proc/meminfo: memFree=123002552/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=233944 memory=207296 CPUtime=2913.21 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 44495 0 0 0 290140 1181 0 0 20 0 1 0 66339370 239558656 51824 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 58486 51824 1280 1200 0 56966 0
Current children cumulated CPU time: 2913.21 s
Current children cumulated vsize: 233944 KiB
Current children cumulated memory: 207296 KiB

[startup+2982.3 s]
/proc/loadavg: 2.10 2.16 2.72 3/252 81102
/proc/meminfo: memFree=122967696/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=234748 memory=208192 CPUtime=2973.01 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 44707 0 0 0 296098 1203 0 0 20 0 1 0 66339370 240381952 52048 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 58687 52048 1280 1200 0 57167 0
Current children cumulated CPU time: 2973.01 s
Current children cumulated vsize: 234748 KiB
Current children cumulated memory: 208192 KiB

[startup+3042.3 s]
/proc/loadavg: 2.10 2.14 2.67 3/251 81104
/proc/meminfo: memFree=122946600/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=235192 memory=208576 CPUtime=3032.81 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 44807 0 0 0 302054 1227 0 0 20 0 1 0 66339370 240836608 52144 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 58798 52144 1280 1200 0 57278 0
Current children cumulated CPU time: 3032.81 s
Current children cumulated vsize: 235192 KiB
Current children cumulated memory: 208576 KiB

[startup+3102.3 s]
/proc/loadavg: 2.08 2.13 2.63 3/251 81106
/proc/meminfo: memFree=122613012/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=236308 memory=209472 CPUtime=3092.61 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 45040 0 0 0 308008 1253 0 0 20 0 1 0 66339370 241979392 52368 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 59077 52368 1280 1200 0 57557 0
Current children cumulated CPU time: 3092.61 s
Current children cumulated vsize: 236308 KiB
Current children cumulated memory: 209472 KiB

[startup+3162.3 s]
/proc/loadavg: 2.15 2.14 2.60 3/250 81108
/proc/meminfo: memFree=122116500/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=236308 memory=209472 CPUtime=3152.41 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 45049 0 0 0 313966 1275 0 0 20 0 1 0 66339370 241979392 52368 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 59077 52368 1280 1200 0 57557 0
Current children cumulated CPU time: 3152.41 s
Current children cumulated vsize: 236308 KiB
Current children cumulated memory: 209472 KiB

[startup+3222.3 s]
/proc/loadavg: 2.05 2.11 2.56 3/250 81110
/proc/meminfo: memFree=121823568/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=237220 memory=210368 CPUtime=3212.21 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 45275 0 0 0 319920 1301 0 0 20 0 1 0 66339370 242913280 52592 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 59305 52592 1280 1200 0 57785 0
Current children cumulated CPU time: 3212.21 s
Current children cumulated vsize: 237220 KiB
Current children cumulated memory: 210368 KiB

[startup+3282.3 s]
/proc/loadavg: 2.06 2.10 2.53 3/251 81116
/proc/meminfo: memFree=121811536/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=238216 memory=211264 CPUtime=3272.01 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 45514 0 0 0 325877 1324 0 0 20 0 1 0 66339370 243933184 52816 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 59554 52816 1280 1200 0 58034 0
Current children cumulated CPU time: 3272.01 s
Current children cumulated vsize: 238216 KiB
Current children cumulated memory: 211264 KiB

[startup+3342.3 s]
/proc/loadavg: 2.12 2.11 2.51 3/252 81123
/proc/meminfo: memFree=121786636/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=238940 memory=212032 CPUtime=3331.81 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 45703 0 0 0 331832 1349 0 0 20 0 1 0 66339370 244674560 53008 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 59735 53008 1280 1200 0 58215 0
Current children cumulated CPU time: 3331.81 s
Current children cumulated vsize: 238940 KiB
Current children cumulated memory: 212032 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.11 2.48 3/252 81125
/proc/meminfo: memFree=121766196/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=239452 memory=212672 CPUtime=3391.61 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 45839 0 0 0 337786 1375 0 0 20 0 1 0 66339370 245198848 53168 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 59863 53168 1280 1200 0 58343 0
Current children cumulated CPU time: 3391.61 s
Current children cumulated vsize: 239452 KiB
Current children cumulated memory: 212672 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.10 2.45 3/252 81127
/proc/meminfo: memFree=121735220/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=241296 memory=214208 CPUtime=3451.41 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 46237 0 0 0 343742 1399 0 0 20 0 1 0 66339370 247087104 53552 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 60324 53552 1280 1200 0 58804 0
Current children cumulated CPU time: 3451.41 s
Current children cumulated vsize: 241296 KiB
Current children cumulated memory: 214208 KiB

[startup+3522.3 s]
/proc/loadavg: 2.09 2.09 2.43 3/252 81129
/proc/meminfo: memFree=121714316/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=241732 memory=214592 CPUtime=3511.21 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 46346 0 0 0 349705 1416 0 0 20 0 1 0 66339370 247533568 53648 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 60433 53648 1280 1200 0 58913 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 241732 KiB
Current children cumulated memory: 214592 KiB

[startup+3582.3 s]
/proc/loadavg: 2.08 2.09 2.40 3/252 81131
/proc/meminfo: memFree=121673540/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=242300 memory=215232 CPUtime=3571.01 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 46488 0 0 0 355662 1439 0 0 20 0 1 0 66339370 248115200 53808 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 60575 53808 1280 1200 0 59055 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 242300 KiB
Current children cumulated memory: 215232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 2.10 2.09 2.39 3/252 81133
/proc/meminfo: memFree=121655336/131249992 swapFree=33010160/33010684
[pid=80846] ppid=80843 vsize=242676 memory=215616 CPUtime=3600.01 cores=4,6
/proc/80846/stat : 80846 (Exact) R 80843 80846 78602 0 -1 4194304 46582 0 0 0 358550 1451 0 0 20 0 1 0 66339370 248500224 53904 18446744073709551615 4198400 9112445 140729087148272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45346816 140729087150377 140729087150573 140729087150573 140729087156175 0
/proc/80846/statm: 60669 53904 1280 1200 0 59149 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 242676 KiB
Current children cumulated memory: 215616 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.51 s, system=14.5207 s

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

Child status: 10

Real time (s): 3611.41
CPU time (s): 3600.03
CPU user time (s): 3585.51
CPU system time (s): 14.5207
CPU usage (%): 99.6849
Max. virtual memory (cumulated for all children) (KiB): 242676
Max. memory (cumulated for all children) (KiB): 215616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.51
system time used= 14.5207
maximum resident set size= 216628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46584
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= 60
involuntary context switches= 21261


# summary of solver processes directly reported to runsolver:
#   pid: 80846
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3585.51
#   total CPU system time (s): 14.5207

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02762 second user time and 13.8754 second system time

The end