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: 63968 MiB (53300 MiB free)
  memory of node 1: 64473 MiB (46271 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456504-1721722226/watcher-4456504-1721722226 -o /tmp/evaluation-result-4456504-1721722226/solver-4456504-1721722226 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721718373-89089 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1323864220 HOME/instance-4456504-1721722226.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=91952, runsolver pid=91949
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 4.18 4.18 4.10 5/257 91953
/proc/meminfo: memFree=101923380/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=64460 memory=41688 CPUtime=0.09 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 12790 0 0 0 8 1 0 0 20 0 1 0 8752016 66007040 10422 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 16115 10422 916 1005 0 14878 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64460 KiB
Current children cumulated memory: 41688 KiB

[startup+0.20573 s]*
/proc/loadavg: 4.18 4.18 4.10 5/257 91953
/proc/meminfo: memFree=101923044/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=64856 memory=41952 CPUtime=0.19 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 12909 0 0 0 18 1 0 0 20 0 1 0 8752016 66412544 10488 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 16214 10488 916 1005 0 14977 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64856 KiB
Current children cumulated memory: 41952 KiB

[startup+0.305105 s]*
/proc/loadavg: 4.18 4.18 4.10 5/257 91953
/proc/meminfo: memFree=101897952/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=91448 memory=67672 CPUtime=0.3 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 18853 0 0 0 27 3 0 0 20 0 1 0 8752016 93642752 16918 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 22862 16918 1076 1005 0 21625 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 91448 KiB
Current children cumulated memory: 67672 KiB

[startup+0.700179 s]
/proc/loadavg: 4.18 4.18 4.10 5/257 91953
/proc/meminfo: memFree=101888548/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=99552 memory=78812 CPUtime=0.69 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 20585 0 0 0 65 4 0 0 20 0 1 0 8752016 101941248 19703 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 24888 19703 1124 1005 0 23651 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 99552 KiB
Current children cumulated memory: 78812 KiB

[startup+1.50018 s]
/proc/loadavg: 4.18 4.18 4.10 6/257 91953
/proc/meminfo: memFree=101883352/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=101768 memory=82960 CPUtime=1.48 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 21140 0 0 0 144 4 0 0 20 0 1 0 8752016 104210432 20740 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 25442 20740 1124 1005 0 24205 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101768 KiB
Current children cumulated memory: 82960 KiB

[startup+3.10474 s]
/proc/loadavg: 4.17 4.18 4.10 6/257 91953
/proc/meminfo: memFree=101876276/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=103548 memory=89144 CPUtime=3.09 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 21646 0 0 0 305 4 0 0 20 0 1 0 8752016 106033152 22286 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 25887 22286 1124 1005 0 24650 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 103548 KiB
Current children cumulated memory: 89144 KiB

[startup+6.30016 s]
/proc/loadavg: 4.17 4.18 4.10 6/257 91956
/proc/meminfo: memFree=101862440/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=122948 memory=102400 CPUtime=6.27 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 23614 0 0 0 622 5 0 0 20 0 1 0 8752016 125898752 25600 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 30737 25600 1140 1005 0 29500 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 122948 KiB
Current children cumulated memory: 102400 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.18 4.10 6/257 91956
/proc/meminfo: memFree=101854376/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=129824 memory=112696 CPUtime=12.66 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 25251 0 0 0 1260 6 0 0 20 0 1 0 8752016 132939776 28174 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 32456 28174 1140 1005 0 31219 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 129824 KiB
Current children cumulated memory: 112696 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.19 4.10 6/257 91959
/proc/meminfo: memFree=101819396/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=163272 memory=139716 CPUtime=25.43 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 28333 0 0 0 2534 9 0 0 20 0 1 0 8752016 167190528 34929 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 40818 34929 1140 1005 0 39581 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 163272 KiB
Current children cumulated memory: 139716 KiB

[startup+51.1051 s]
/proc/loadavg: 4.13 4.17 4.10 6/256 91964
/proc/meminfo: memFree=101813720/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=167588 memory=144576 CPUtime=50.98 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 29550 0 0 0 5085 13 0 0 20 0 1 0 8752016 171610112 36144 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 41897 36144 1140 1005 0 40660 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 167588 KiB
Current children cumulated memory: 144576 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.16 4.09 6/256 91974
/proc/meminfo: memFree=101796796/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=176436 memory=155112 CPUtime=102.05 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 31779 0 0 0 10188 17 0 0 20 0 1 0 8752016 180670464 38778 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 44109 38778 1140 1005 0 42872 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 176436 KiB
Current children cumulated memory: 155112 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.09 6/255 91985
/proc/meminfo: memFree=101783688/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=178100 memory=163976 CPUtime=161.89 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 32488 0 0 0 16166 23 0 0 20 0 1 0 8752016 182374400 40994 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 44525 40994 1140 1005 0 43288 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 178100 KiB
Current children cumulated memory: 163976 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.09 6/255 92041
/proc/meminfo: memFree=106875020/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=198668 memory=186164 CPUtime=221.75 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 37273 0 0 0 22145 30 0 0 20 0 1 0 8752016 203436032 46541 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 49667 46541 1140 1005 0 48430 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 198668 KiB
Current children cumulated memory: 186164 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.09 6/255 92052
/proc/meminfo: memFree=106805044/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=240600 memory=191328 CPUtime=281.58 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 38503 0 0 0 28120 38 0 0 20 0 1 0 8752016 246374400 47832 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 60150 47832 1140 1005 0 58913 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 240600 KiB
Current children cumulated memory: 191328 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.15 4.10 6/255 92063
/proc/meminfo: memFree=106774344/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=243876 memory=199228 CPUtime=341.4 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 39483 0 0 0 34095 45 0 0 20 0 1 0 8752016 249729024 49807 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 60969 49807 1140 1005 0 59732 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 243876 KiB
Current children cumulated memory: 199228 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.09 6/255 92073
/proc/meminfo: memFree=106754680/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=245340 memory=200688 CPUtime=401.22 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 39933 0 0 0 40071 51 0 0 20 0 1 0 8752016 251228160 50172 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 61335 50172 1140 1005 0 60098 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 245340 KiB
Current children cumulated memory: 200688 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.09 6/254 92083
/proc/meminfo: memFree=106743864/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=249056 memory=205012 CPUtime=461.05 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 41008 0 0 0 46047 58 0 0 20 0 1 0 8752016 255033344 51253 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 62264 51253 1140 1005 0 61027 0
Current children cumulated CPU time: 461.05 s

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

Current children cumulated memory: 340652 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.14 4.10 6/257 93562
/proc/meminfo: memFree=110171608/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=350556 memory=340652 CPUtime=2854.89 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 61920 0 0 0 285210 279 0 0 20 0 1 0 8752016 358969344 85163 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 87639 85163 1140 1005 0 86402 0
Current children cumulated CPU time: 2854.89 s
Current children cumulated vsize: 350556 KiB
Current children cumulated memory: 340652 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.14 4.10 6/258 93741
/proc/meminfo: memFree=110168160/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=350952 memory=340656 CPUtime=2914.75 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 62078 0 0 0 291190 285 0 0 20 0 1 0 8752016 359374848 85164 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 87738 85164 1140 1005 0 86501 0
Current children cumulated CPU time: 2914.75 s
Current children cumulated vsize: 350952 KiB
Current children cumulated memory: 340656 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.10 6/258 93751
/proc/meminfo: memFree=110163020/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=352548 memory=344672 CPUtime=2974.61 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 62714 0 0 0 297173 288 0 0 20 0 1 0 8752016 361009152 86168 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88137 86168 1140 1005 0 86900 0
Current children cumulated CPU time: 2974.61 s
Current children cumulated vsize: 352548 KiB
Current children cumulated memory: 344672 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.15 4.10 6/256 93775
/proc/meminfo: memFree=110158240/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=353212 memory=345180 CPUtime=3034.47 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 63036 0 0 0 303154 293 0 0 20 0 1 0 8752016 361689088 86295 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88303 86295 1140 1005 0 87066 0
Current children cumulated CPU time: 3034.47 s
Current children cumulated vsize: 353212 KiB
Current children cumulated memory: 345180 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.10 6/256 93786
/proc/meminfo: memFree=110156264/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=353572 memory=345336 CPUtime=3094.33 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 63193 0 0 0 309132 301 0 0 20 0 1 0 8752016 362057728 86334 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88393 86334 1140 1005 0 87156 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 353572 KiB
Current children cumulated memory: 345336 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.15 4.10 6/256 93796
/proc/meminfo: memFree=110154796/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=353572 memory=345340 CPUtime=3154.19 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 63340 0 0 0 315112 307 0 0 20 0 1 0 8752016 362057728 86335 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88393 86335 1140 1005 0 87156 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 353572 KiB
Current children cumulated memory: 345340 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/254 93806
/proc/meminfo: memFree=110153920/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=353572 memory=345352 CPUtime=3214.05 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 63501 0 0 0 321092 313 0 0 20 0 1 0 8752016 362057728 86338 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88393 86338 1140 1005 0 87156 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 353572 KiB
Current children cumulated memory: 345352 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/254 93817
/proc/meminfo: memFree=110150972/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=353752 memory=345364 CPUtime=3273.9 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 63660 0 0 0 327074 316 0 0 20 0 1 0 8752016 362242048 86341 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88438 86341 1140 1005 0 87201 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 353752 KiB
Current children cumulated memory: 345364 KiB

[startup+3342.3 s]
/proc/loadavg: 4.56 4.23 4.13 6/255 93828
/proc/meminfo: memFree=110147260/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=354380 memory=345880 CPUtime=3333.76 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 63953 0 0 0 333054 322 0 0 20 0 1 0 8752016 362885120 86470 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88595 86470 1140 1005 0 87358 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 354380 KiB
Current children cumulated memory: 345880 KiB

[startup+3402.3 s]
/proc/loadavg: 4.39 4.26 4.14 6/255 93838
/proc/meminfo: memFree=110143540/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=354380 memory=345944 CPUtime=3393.62 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 64143 0 0 0 339036 326 0 0 20 0 1 0 8752016 362885120 86486 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88595 86486 1140 1005 0 87358 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 354380 KiB
Current children cumulated memory: 345944 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.22 4.14 6/255 93849
/proc/meminfo: memFree=110138084/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=354380 memory=348652 CPUtime=3453.48 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 64475 0 0 0 345016 332 0 0 20 0 1 0 8752016 362885120 87163 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88595 87163 1140 1005 0 87358 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 354380 KiB
Current children cumulated memory: 348652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.14 6/255 93859
/proc/meminfo: memFree=110136940/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=355004 memory=348804 CPUtime=3513.34 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 64621 0 0 0 350996 338 0 0 20 0 1 0 8752016 363524096 87201 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88751 87201 1140 1005 0 87514 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 355004 KiB
Current children cumulated memory: 348804 KiB

[startup+3582.3 s]
/proc/loadavg: 3.50 4.02 4.07 4/248 93899
/proc/meminfo: memFree=111047568/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=355240 memory=349492 CPUtime=3573.21 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 64999 0 0 0 356978 343 0 0 20 0 1 0 8752016 363765760 87373 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88810 87373 1140 1005 0 87573 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 355240 KiB
Current children cumulated memory: 349492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 3.36 3.93 4.04 4/251 93910
/proc/meminfo: memFree=111046728/131524600 swapFree=131071996/131071996
[pid=91952] ppid=91949 vsize=355936 memory=349660 CPUtime=3600.05 cores=4,6
/proc/91952/stat : 91952 (Exact) R 91949 91952 89078 0 -1 4194304 65029 0 0 0 359660 345 0 0 20 0 1 0 8752016 364478464 87415 134679101440 4194304 8309489 140735186720320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 17358848 140735186723773 140735186723943 140735186723943 140735186730959 0
/proc/91952/statm: 88984 87415 1140 1005 0 87747 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 355936 KiB
Current children cumulated memory: 349660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.64 s, system=3.46037 s

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

Child status: 10

Real time (s): 3609.23
CPU time (s): 3600.1
CPU user time (s): 3596.64
CPU system time (s): 3.46037
CPU usage (%): 99.747
Max. virtual memory (cumulated for all children) (KiB): 355936
Max. memory (cumulated for all children) (KiB): 349660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.64
system time used= 3.46037
maximum resident set size= 349660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65034
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= 66
involuntary context switches= 3660


# summary of solver processes directly reported to runsolver:
#   pid: 91952
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3596.64
#   total CPU system time (s): 3.46037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92706 second user time and 14.9835 second system time

The end