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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525663-1751624136/watcher-4525663-1751624136 -o /tmp/evaluation-result-4525663-1751624136/solver-4525663-1751624136 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751624136-90938 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1297113204 --ls=360 --inp-dombreaklim=0 HOME/instance-4525663-1751624136.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100078 s]*
/proc/loadavg: 0.95 2.05 3.16 5/242 90973
/proc/meminfo: memFree=129751932/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=48196 memory=23308 CPUtime=0.1 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 6522 0 0 0 8 2 0 0 20 0 1 0 78093023 49352704 5827 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 12049 5827 1024 1200 0 10529 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 23308 KiB

[startup+0.213944 s]*
/proc/loadavg: 0.95 2.05 3.16 5/243 90980
/proc/meminfo: memFree=129730700/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=68104 memory=41828 CPUtime=0.22 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 12691 0 0 0 18 4 0 0 20 0 1 0 78093023 69738496 10457 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 17026 10457 1024 1200 0 15506 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 68104 KiB
Current children cumulated memory: 41828 KiB

[startup+0.313895 s]*
/proc/loadavg: 0.95 2.05 3.16 5/243 90981
/proc/meminfo: memFree=129697624/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=79212 memory=54492 CPUtime=0.32 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 15276 0 0 0 27 5 0 0 20 0 1 0 78093023 81113088 13623 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 19803 13623 1024 1200 0 18283 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 79212 KiB
Current children cumulated memory: 54492 KiB

[startup+0.70033 s]
/proc/loadavg: 0.95 2.05 3.16 6/251 90995
/proc/meminfo: memFree=129591712/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=141340 memory=120444 CPUtime=0.69 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 30520 0 0 0 58 11 0 0 20 0 1 0 78093023 144732160 30111 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 35335 30111 1024 1200 0 33815 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 141340 KiB
Current children cumulated memory: 120444 KiB

[startup+1.50033 s]
/proc/loadavg: 0.95 2.05 3.16 5/253 91000
/proc/meminfo: memFree=129221560/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=374352 memory=316508 CPUtime=1.48 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 53737 0 0 0 126 22 0 0 20 0 1 0 78093023 383336448 79127 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 93588 79127 1024 1200 0 92068 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 374352 KiB
Current children cumulated memory: 316508 KiB

[startup+3.1135 s]
/proc/loadavg: 1.20 2.08 3.17 5/253 91000
/proc/meminfo: memFree=127282796/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=606952 memory=587280 CPUtime=3.09 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 95861 0 0 0 276 33 0 0 20 0 1 0 78093023 621518848 146820 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 151738 146820 1024 1200 0 150218 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 587280 KiB

[startup+6.30029 s]
/proc/loadavg: 1.20 2.08 3.17 5/253 91000
/proc/meminfo: memFree=124516472/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=606952 memory=587280 CPUtime=6.27 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 95884 0 0 0 594 33 0 0 20 0 1 0 78093023 621518848 146820 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 151738 146820 1024 1200 0 150218 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 587280 KiB

[startup+12.7003 s]
/proc/loadavg: 1.78 2.18 3.19 5/253 91000
/proc/meminfo: memFree=120881824/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=606952 memory=587280 CPUtime=12.64 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 96977 0 0 0 1231 33 0 0 20 0 1 0 78093023 621518848 146820 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 151738 146820 1024 1200 0 150218 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 587280 KiB

[startup+25.5003 s]
/proc/loadavg: 2.28 2.27 3.21 5/253 91000
/proc/meminfo: memFree=119288824/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=606952 memory=587280 CPUtime=25.37 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 97024 0 0 0 2504 33 0 0 20 0 1 0 78093023 621518848 146820 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 151738 146820 1024 1200 0 150218 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 587280 KiB

[startup+51.1139 s]
/proc/loadavg: 3.34 2.52 3.27 5/253 91000
/proc/meminfo: memFree=119269352/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=606952 memory=587280 CPUtime=50.83 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 97068 0 0 0 5050 33 0 0 20 0 1 0 78093023 621518848 146820 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 151738 146820 1024 1200 0 150218 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 587280 KiB

[startup+102.3 s]
/proc/loadavg: 3.96 2.85 3.34 5/254 91003
/proc/meminfo: memFree=119253768/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=606952 memory=587280 CPUtime=101.75 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 97201 0 0 0 10142 33 0 0 20 0 1 0 78093023 621518848 146820 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 151738 146820 1024 1200 0 150218 0
Current children cumulated CPU time: 101.75 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 587280 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.08 3.39 5/254 91005
/proc/meminfo: memFree=119261116/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=606952 memory=587536 CPUtime=161.36 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 97389 0 0 0 16103 33 0 0 20 0 1 0 78093023 621518848 146884 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 151738 146884 1024 1200 0 150218 0
Current children cumulated CPU time: 161.36 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 587536 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 3.29 3.45 5/254 91007
/proc/meminfo: memFree=119266660/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=606952 memory=590480 CPUtime=220.99 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 97525 0 0 0 22066 33 0 0 20 0 1 0 78093023 621518848 147620 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 151738 147620 1024 1200 0 150218 0
Current children cumulated CPU time: 220.99 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 590480 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.44 3.49 5/255 91014
/proc/meminfo: memFree=119266272/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=606952 memory=590864 CPUtime=280.65 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 98563 0 0 0 28031 34 0 0 20 0 1 0 78093023 621518848 147716 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 151738 147716 1024 1200 0 150218 0
Current children cumulated CPU time: 280.65 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 590864 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.57 3.53 5/252 91016
/proc/meminfo: memFree=119271736/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=606952 memory=597776 CPUtime=340.31 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 98716 0 0 0 33997 34 0 0 20 0 1 0 78093023 621518848 149444 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 151738 149444 1024 1200 0 150218 0
Current children cumulated CPU time: 340.31 s
Current children cumulated vsize: 606952 KiB
Current children cumulated memory: 597776 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.67 3.57 5/251 91018
/proc/meminfo: memFree=111786956/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=1740732 memory=1681396 CPUtime=400.06 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 237528 0 0 0 39932 74 0 0 20 0 1 0 78093023 1782509568 420349 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 435183 420349 1280 1200 0 433663 0
Current children cumulated CPU time: 400.06 s
Current children cumulated vsize: 1740732 KiB
Current children cumulated memory: 1681396 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.75 3.61 5/251 91020
/proc/meminfo: memFree=106467364/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=2765060 memory=2483164 CPUtime=459.91 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 342788 0 0 0 45879 112 0 0 20 0 1 0 78093023 2831421440 620791 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 691265 620791 1280 1200 0 689745 0
Current children cumulated CPU time: 459.91 s

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

/proc/90969/statm: 3387256 3345000 1280 1200 0 3385736 0
Current children cumulated CPU time: 2911.88 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380000 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/252 91237
/proc/meminfo: memFree=85156036/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380000 CPUtime=2971.68 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2106913 0 0 0 296420 748 0 0 20 0 1 0 78093023 13874200576 3345000 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345000 1280 1200 0 3385736 0
Current children cumulated CPU time: 2971.68 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380000 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/252 91240
/proc/meminfo: memFree=84937028/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380256 CPUtime=3031.49 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2110295 0 0 0 302394 755 0 0 20 0 1 0 78093023 13874200576 3345064 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345064 1280 1200 0 3385736 0
Current children cumulated CPU time: 3031.49 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380256 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/251 91243
/proc/meminfo: memFree=81840168/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380256 CPUtime=3091.3 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2113798 0 0 0 308372 758 0 0 20 0 1 0 78093023 13874200576 3345064 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345064 1280 1200 0 3385736 0
Current children cumulated CPU time: 3091.3 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380256 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/252 91248
/proc/meminfo: memFree=80648544/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380512 CPUtime=3151.1 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2118219 0 0 0 314345 765 0 0 20 0 1 0 78093023 13874200576 3345128 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345128 1280 1200 0 3385736 0
Current children cumulated CPU time: 3151.1 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380512 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/252 91250
/proc/meminfo: memFree=80547504/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380640 CPUtime=3210.9 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2121368 0 0 0 320319 771 0 0 20 0 1 0 78093023 13874200576 3345160 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345160 1280 1200 0 3385736 0
Current children cumulated CPU time: 3210.9 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380640 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 91252
/proc/meminfo: memFree=80068384/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380768 CPUtime=3270.71 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2131587 0 0 0 326296 775 0 0 20 0 1 0 78093023 13874200576 3345192 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345192 1280 1200 0 3385736 0
Current children cumulated CPU time: 3270.71 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380768 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 91254
/proc/meminfo: memFree=79150388/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380768 CPUtime=3330.5 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2132967 0 0 0 332270 780 0 0 20 0 1 0 78093023 13874200576 3345192 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345192 1280 1200 0 3385736 0
Current children cumulated CPU time: 3330.5 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 91260
/proc/meminfo: memFree=78357540/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380896 CPUtime=3390.31 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2135532 0 0 0 338245 786 0 0 20 0 1 0 78093023 13874200576 3345224 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345224 1280 1200 0 3385736 0
Current children cumulated CPU time: 3390.31 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 91262
/proc/meminfo: memFree=78016832/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380896 CPUtime=3450.12 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2137604 0 0 0 344219 793 0 0 20 0 1 0 78093023 13874200576 3345224 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345224 1280 1200 0 3385736 0
Current children cumulated CPU time: 3450.12 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380896 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 91264
/proc/meminfo: memFree=76737256/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380896 CPUtime=3509.93 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2140078 0 0 0 350195 798 0 0 20 0 1 0 78093023 13874200576 3345224 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345224 1280 1200 0 3385736 0
Current children cumulated CPU time: 3509.93 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/250 91266
/proc/meminfo: memFree=76090452/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380896 CPUtime=3569.73 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2142545 0 0 0 356170 803 0 0 20 0 1 0 78093023 13874200576 3345224 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345224 1280 1200 0 3385736 0
Current children cumulated CPU time: 3569.73 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.17 4.13 4.09 5/250 91267
/proc/meminfo: memFree=75930792/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13549024 memory=13380896 CPUtime=3600.04 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2143826 0 0 0 359198 806 0 0 20 0 1 0 78093023 13874200576 3345224 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3387256 3345224 1280 1200 0 3385736 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 13549024 KiB
Current children cumulated memory: 13380896 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.22 s, system=8.40747 s

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

[startup+3612.8 s]
/proc/loadavg: 4.17 4.13 4.09 5/250 91267
/proc/meminfo: memFree=75930792/131382116 swapFree=33005528/33010684
[pid=90969] ppid=90966 vsize=13504728 memory=13336704 CPUtime=3600.14 cores=0,2
/proc/90969/stat : 90969 (Exact) R 90966 90969 90928 0 -1 4194304 2143909 0 0 0 359208 806 0 0 20 0 1 0 78093023 13828841472 3334176 18446744073709551615 4198400 9112445 140723886829376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16158720 140723886831908 140723886832107 140723886832107 140723886837711 0
/proc/90969/statm: 3376182 3334176 1280 1200 0 3374662 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 13504728 KiB
Current children cumulated memory: 13336704 KiB

[startup+3613.2 s]
/proc/loadavg: 4.17 4.13 4.09 5/250 91267
/proc/meminfo: memFree=88254516/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3613.28
CPU time (s): 3600.62
CPU user time (s): 3592.22
CPU system time (s): 8.40747
CPU usage (%): 99.6497
Max. virtual memory (cumulated for all children) (KiB): 13777872
Max. memory (cumulated for all children) (KiB): 13380896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.22
system time used= 8.40747
maximum resident set size= 13380896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2144423
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= 59
involuntary context switches= 8397


# summary of solver processes directly reported to runsolver:
#   pid: 90969
#   total CPU time (s): 3600.62
#   total CPU user time (s): 3592.22
#   total CPU system time (s): 8.40747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4529 second user time and 36.3144 second system time

The end