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: 63931 MiB (62418 MiB free)
  memory of node 1: 64510 MiB (62136 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425830-1720881867/watcher-4425830-1720881867 -o /tmp/evaluation-result-4425830-1720881867/solver-4425830-1720881867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720881340-710405 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1894053258 HOME/instance-4425830-1720881867.wbo 

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=711113, runsolver pid=711110
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.08 3.63 2.49 5/256 711114
/proc/meminfo: memFree=127490404/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=82200 memory=59060 CPUtime=0.09 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 16054 0 0 0 7 2 0 0 20 0 1 0 140354143 84172800 14765 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 20550 14765 884 1005 0 19313 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82200 KiB
Current children cumulated memory: 59060 KiB

[startup+0.205606 s]*
/proc/loadavg: 4.08 3.63 2.49 5/256 711114
/proc/meminfo: memFree=127437868/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=132676 memory=109540 CPUtime=0.2 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 25054 0 0 0 16 4 0 0 20 0 1 0 140354143 135860224 27385 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 33297 27385 884 1005 0 32060 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132676 KiB
Current children cumulated memory: 109540 KiB

[startup+0.305511 s]*
/proc/loadavg: 4.08 3.63 2.49 5/256 711114
/proc/meminfo: memFree=127409844/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=156028 memory=135552 CPUtime=0.3 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 31302 0 0 0 24 6 0 0 20 0 1 0 140354143 159772672 33888 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 39007 33888 884 1005 0 37770 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 156028 KiB
Current children cumulated memory: 135552 KiB

[startup+0.700235 s]
/proc/loadavg: 4.08 3.63 2.49 5/256 711114
/proc/meminfo: memFree=127309216/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=313720 memory=293760 CPUtime=0.68 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 58099 0 0 0 57 11 0 0 20 0 1 0 140354143 321249280 73440 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 78430 73440 900 1005 0 77193 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 313720 KiB
Current children cumulated memory: 293760 KiB

[startup+1.50024 s]
/proc/loadavg: 4.08 3.63 2.49 5/256 711114
/proc/meminfo: memFree=127189628/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=573820 memory=536960 CPUtime=1.48 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 89067 0 0 0 129 19 0 0 20 0 1 0 140354143 587591680 134240 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 143455 134240 1060 1005 0 142218 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 573820 KiB
Current children cumulated memory: 536960 KiB

[startup+3.10552 s]
/proc/loadavg: 4.08 3.63 2.49 5/256 711114
/proc/meminfo: memFree=126946944/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=626096 memory=593464 CPUtime=3.09 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 98529 0 0 0 287 22 0 0 20 0 1 0 140354143 641122304 148366 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 156524 148366 1108 1005 0 155287 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 626096 KiB
Current children cumulated memory: 593464 KiB

[startup+6.30022 s]
/proc/loadavg: 4.07 3.64 2.50 5/256 711116
/proc/meminfo: memFree=126900952/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=691728 memory=636128 CPUtime=6.27 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 105634 0 0 0 603 24 0 0 20 0 1 0 140354143 708329472 159032 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 172932 159032 1108 1005 0 171695 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 691728 KiB
Current children cumulated memory: 636128 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 3.64 2.50 6/256 711116
/proc/meminfo: memFree=126798336/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=764132 memory=719076 CPUtime=12.66 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 111152 0 0 0 1240 26 0 0 20 0 1 0 140354143 782471168 179769 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 191033 179769 1140 1005 0 189796 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 764132 KiB
Current children cumulated memory: 719076 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 3.68 2.53 5/256 711119
/proc/meminfo: memFree=126761696/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=774424 memory=731372 CPUtime=25.43 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 111364 0 0 0 2516 27 0 0 20 0 1 0 140354143 793010176 182843 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 193606 182843 1140 1005 0 192369 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 774424 KiB
Current children cumulated memory: 731372 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 3.71 2.57 5/254 711122
/proc/meminfo: memFree=126564484/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=925504 memory=856832 CPUtime=50.97 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 124827 0 0 0 5065 32 0 0 20 0 1 0 140354143 947716096 214208 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 231376 214208 1140 1005 0 230139 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 925504 KiB
Current children cumulated memory: 856832 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 3.77 2.66 5/254 711131
/proc/meminfo: memFree=126149216/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=1168624 memory=1075388 CPUtime=102.04 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 150885 0 0 0 10163 41 0 0 20 0 1 0 140354143 1196670976 268847 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 292156 268847 1140 1005 0 290919 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1168624 KiB
Current children cumulated memory: 1075388 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.84 2.75 5/254 711142
/proc/meminfo: memFree=125499268/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=1592604 memory=1370692 CPUtime=161.89 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 193181 0 0 0 16132 57 0 0 20 0 1 0 140354143 1630826496 342673 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 398151 342673 1140 1005 0 396914 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1592604 KiB
Current children cumulated memory: 1370692 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.87 2.84 5/254 711152
/proc/meminfo: memFree=125246004/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=1623496 memory=1500784 CPUtime=221.74 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 203909 0 0 0 22113 61 0 0 20 0 1 0 140354143 1662459904 375196 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 405874 375196 1140 1005 0 404637 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 1623496 KiB
Current children cumulated memory: 1500784 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.93 2.92 5/254 711162
/proc/meminfo: memFree=125123384/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=1623496 memory=1569676 CPUtime=281.58 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 205606 0 0 0 28095 63 0 0 20 0 1 0 140354143 1662459904 392419 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 405874 392419 1140 1005 0 404637 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 1623496 KiB
Current children cumulated memory: 1569676 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.96 3.00 5/257 711177
/proc/meminfo: memFree=124310300/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=2416152 memory=1968208 CPUtime=341.42 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 275222 0 0 0 34057 85 0 0 20 0 1 0 140354143 2474139648 492052 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 604038 492052 1140 1005 0 602801 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 2416152 KiB
Current children cumulated memory: 1968208 KiB

[startup+402.3 s]
/proc/loadavg: 4.24 4.03 3.08 6/257 711188
/proc/meminfo: memFree=124059592/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=2417580 memory=2138528 CPUtime=401.27 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 287405 0 0 0 40035 92 0 0 20 0 1 0 140354143 2475601920 534632 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 604395 534632 1140 1005 0 603158 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 2417580 KiB
Current children cumulated memory: 2138528 KiB

[startup+462.3 s]
/proc/loadavg: 4.29 4.07 3.16 5/257 711198
/proc/meminfo: memFree=123780340/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=2419044 memory=2317848 CPUtime=461.11 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 299969 0 0 0 46013 98 0 0 20 0 1 0 140354143 2477101056 579462 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 604761 579462 1140 1005 0 603524 0
Current children cumulated CPU time: 461.11 s

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

/proc/711113/statm: 2405371 1733467 1140 1005 0 2404134 0
Current children cumulated CPU time: 2914.49 s
Current children cumulated vsize: 9621484 KiB
Current children cumulated memory: 6933868 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.19 4.11 5/258 712881
/proc/meminfo: memFree=113708760/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9621484 memory=6934008 CPUtime=2974.34 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1017472 0 0 0 297009 425 0 0 20 0 1 0 140354143 9852399616 1733502 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2405371 1733502 1140 1005 0 2404134 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 9621484 KiB
Current children cumulated memory: 6934008 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.11 5/256 712891
/proc/meminfo: memFree=113705680/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9621484 memory=6934172 CPUtime=3034.18 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1018930 0 0 0 302991 427 0 0 20 0 1 0 140354143 9852399616 1733543 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2405371 1733543 1140 1005 0 2404134 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 9621484 KiB
Current children cumulated memory: 6934172 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.15 4.10 5/254 712901
/proc/meminfo: memFree=113695016/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9621484 memory=6934340 CPUtime=3094.02 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1020508 0 0 0 308972 430 0 0 20 0 1 0 140354143 9852399616 1733585 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2405371 1733585 1140 1005 0 2404134 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 9621484 KiB
Current children cumulated memory: 6934340 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/255 712913
/proc/meminfo: memFree=113691048/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9621484 memory=6934428 CPUtime=3153.86 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1022161 0 0 0 314955 431 0 0 20 0 1 0 140354143 9852399616 1733607 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2405371 1733607 1140 1005 0 2404134 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 9621484 KiB
Current children cumulated memory: 6934428 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/255 712923
/proc/meminfo: memFree=113689920/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9621484 memory=6934452 CPUtime=3213.71 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1023613 0 0 0 320937 434 0 0 20 0 1 0 140354143 9852399616 1733613 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2405371 1733613 1140 1005 0 2404134 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 9621484 KiB
Current children cumulated memory: 6934452 KiB

[startup+3282.3 s]
/proc/loadavg: 3.44 3.94 4.03 4/248 712963
/proc/meminfo: memFree=114221992/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9621484 memory=6934508 CPUtime=3273.55 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1025318 0 0 0 326919 436 0 0 20 0 1 0 140354143 9852399616 1733627 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2405371 1733627 1140 1005 0 2404134 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 9621484 KiB
Current children cumulated memory: 6934508 KiB

[startup+3342.3 s]
/proc/loadavg: 2.97 3.73 3.95 3/243 713008
/proc/meminfo: memFree=119798976/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9621484 memory=6934528 CPUtime=3333.4 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1027235 0 0 0 332902 438 0 0 20 0 1 0 140354143 9852399616 1733632 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2405371 1733632 1140 1005 0 2404134 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 9621484 KiB
Current children cumulated memory: 6934528 KiB

[startup+3402.3 s]
/proc/loadavg: 2.41 3.43 3.83 3/243 713019
/proc/meminfo: memFree=119793448/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9628448 memory=6939640 CPUtime=3393.26 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1028697 0 0 0 338885 441 0 0 20 0 1 0 140354143 9859530752 1734910 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2407112 1734910 1140 1005 0 2405875 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 9628448 KiB
Current children cumulated memory: 6939640 KiB

[startup+3462.3 s]
/proc/loadavg: 2.19 3.18 3.72 3/242 713029
/proc/meminfo: memFree=119791868/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9628448 memory=6940764 CPUtime=3453.12 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1030021 0 0 0 344869 443 0 0 20 0 1 0 140354143 9859530752 1735191 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2407112 1735191 1140 1005 0 2405875 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 9628448 KiB
Current children cumulated memory: 6940764 KiB

[startup+3522.3 s]
/proc/loadavg: 2.12 2.98 3.61 3/242 713040
/proc/meminfo: memFree=119790116/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9628448 memory=6942088 CPUtime=3512.99 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1031475 0 0 0 350854 445 0 0 20 0 1 0 140354143 9859530752 1735522 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2407112 1735522 1140 1005 0 2405875 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 9628448 KiB
Current children cumulated memory: 6942088 KiB

[startup+3582.3 s]
/proc/loadavg: 2.09 2.81 3.52 3/242 713053
/proc/meminfo: memFree=119780316/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9628448 memory=6951156 CPUtime=3572.86 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1032947 0 0 0 356838 448 0 0 20 0 1 0 140354143 9859530752 1737789 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2407112 1737789 1140 1005 0 2405875 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 9628448 KiB
Current children cumulated memory: 6951156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 2.12 2.76 3.48 3/242 713057
/proc/meminfo: memFree=119780084/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=9628448 memory=6951216 CPUtime=3600 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1033589 0 0 0 359551 449 0 0 20 0 1 0 140354143 9859530752 1737804 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 2407112 1737804 1140 1005 0 2405875 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 9628448 KiB
Current children cumulated memory: 6951216 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.65 s, system=4.61022 s

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

[startup+3609.6 s]
/proc/loadavg: 2.12 2.76 3.48 3/242 713057
/proc/meminfo: memFree=119780084/131524600 swapFree=131071996/131071996
[pid=711113] ppid=711110 vsize=4882208 memory=4155156 CPUtime=3600.1 cores=5,7
/proc/711113/stat : 711113 (Exact) R 711110 711113 706101 0 -1 4194304 1033814 0 0 0 359560 450 0 0 20 0 1 0 140354143 4999380992 1038789 134679101440 4194304 8309489 140721188432736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 38281216 140721188438948 140721188439118 140721188439118 140721188446159 0
/proc/711113/statm: 1220552 1038789 1153 1005 0 1219315 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 4882208 KiB
Current children cumulated memory: 4155156 KiB

[startup+3609.7 s]*
/proc/loadavg: 2.12 2.76 3.48 3/242 713057
/proc/meminfo: memFree=124888088/131524600 swapFree=131071996/131071996
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): 3609.76
CPU time (s): 3600.26
CPU user time (s): 3595.65
CPU system time (s): 4.61022
CPU usage (%): 99.7371
Max. virtual memory (cumulated for all children) (KiB): 12223680
Max. memory (cumulated for all children) (KiB): 9375016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.65
system time used= 4.61022
maximum resident set size= 9497896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1033856
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= 11
involuntary context switches= 4152


# summary of solver processes directly reported to runsolver:
#   pid: 711113
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3595.65
#   total CPU system time (s): 4.61022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6277 second user time and 17.0974 second system time

The end