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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433019-1721072654/watcher-4433019-1721072654 -o /tmp/evaluation-result-4433019-1721072654/solver-4433019-1721072654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721072667-858462 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=147776333 HOME/instance-4433019-1721072654.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=858570, runsolver pid=858567
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 3.77 4.02 4.07 5/259 858571
/proc/meminfo: memFree=128362024/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=34404 memory=15956 CPUtime=0.09 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 2258 0 0 0 9 0 0 0 20 0 1 0 159433553 35229696 3989 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 8601 3989 884 1005 0 7364 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34404 KiB
Current children cumulated memory: 15956 KiB

[startup+0.205942 s]*
/proc/loadavg: 3.77 4.02 4.07 5/259 858571
/proc/meminfo: memFree=128344168/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=60240 memory=41572 CPUtime=0.2 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 7831 0 0 0 19 1 0 0 20 0 1 0 159433553 61685760 10393 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 15060 10393 1044 1005 0 13823 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60240 KiB
Current children cumulated memory: 41572 KiB

[startup+0.305525 s]*
/proc/loadavg: 3.77 4.02 4.07 5/259 858571
/proc/meminfo: memFree=128321476/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=72276 memory=54328 CPUtime=0.3 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 12515 0 0 0 28 2 0 0 20 0 1 0 159433553 74010624 13582 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 18069 13582 1060 1005 0 16832 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72276 KiB
Current children cumulated memory: 54328 KiB

[startup+0.700175 s]
/proc/loadavg: 3.77 4.02 4.07 5/259 858571
/proc/meminfo: memFree=128319320/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=74148 memory=55640 CPUtime=0.69 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 12856 0 0 0 67 2 0 0 20 0 1 0 159433553 75927552 13910 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 18537 13910 1060 1005 0 17300 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74148 KiB
Current children cumulated memory: 55640 KiB

[startup+1.50018 s]
/proc/loadavg: 3.77 4.02 4.07 5/259 858571
/proc/meminfo: memFree=128314848/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=75364 memory=59536 CPUtime=1.48 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 13271 0 0 0 146 2 0 0 20 0 1 0 159433553 77172736 14884 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 18841 14884 1060 1005 0 17604 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75364 KiB
Current children cumulated memory: 59536 KiB

[startup+3.10532 s]
/proc/loadavg: 3.77 4.02 4.07 5/259 858571
/proc/meminfo: memFree=128291100/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=76488 memory=66944 CPUtime=3.08 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 13562 0 0 0 306 2 0 0 20 0 1 0 159433553 78323712 16736 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 19122 16736 1124 1005 0 17885 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 76488 KiB
Current children cumulated memory: 66944 KiB

[startup+6.30017 s]
/proc/loadavg: 3.78 4.02 4.07 5/259 858571
/proc/meminfo: memFree=128265672/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=91444 memory=80712 CPUtime=6.27 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 14173 0 0 0 624 3 0 0 20 0 1 0 159433553 93638656 20178 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 22861 20178 1124 1005 0 21624 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 91444 KiB
Current children cumulated memory: 80712 KiB

[startup+12.7002 s]
/proc/loadavg: 3.88 4.04 4.07 5/259 858572
/proc/meminfo: memFree=128248964/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=97128 memory=86440 CPUtime=12.66 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 15593 0 0 0 1263 3 0 0 20 0 1 0 159433553 99459072 21610 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 24282 21610 1124 1005 0 23045 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 97128 KiB
Current children cumulated memory: 86440 KiB

[startup+25.5002 s]
/proc/loadavg: 3.91 4.03 4.07 5/259 858574
/proc/meminfo: memFree=128216776/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=124668 memory=101060 CPUtime=25.43 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 18600 0 0 0 2538 5 0 0 20 0 1 0 159433553 127660032 25265 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 31167 25265 1140 1005 0 29930 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 124668 KiB
Current children cumulated memory: 101060 KiB

[startup+51.1053 s]
/proc/loadavg: 4.00 4.05 4.07 5/259 858579
/proc/meminfo: memFree=128187748/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=132788 memory=120708 CPUtime=50.97 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 20521 0 0 0 5090 7 0 0 20 0 1 0 159433553 135974912 30177 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 33197 30177 1140 1005 0 31960 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 132788 KiB
Current children cumulated memory: 120708 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.07 4.08 5/257 858588
/proc/meminfo: memFree=128161828/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=152580 memory=138216 CPUtime=102.04 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 25002 0 0 0 10194 10 0 0 20 0 1 0 159433553 156241920 34554 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 38145 34554 1140 1005 0 36908 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 152580 KiB
Current children cumulated memory: 138216 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.09 4.09 5/256 858599
/proc/meminfo: memFree=128145752/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=153948 memory=143244 CPUtime=161.88 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 25547 0 0 0 16174 14 0 0 20 0 1 0 159433553 157642752 35811 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 38487 35811 1140 1005 0 37250 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 153948 KiB
Current children cumulated memory: 143244 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 858612
/proc/meminfo: memFree=128137504/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=157108 memory=146416 CPUtime=221.73 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 26400 0 0 0 22158 15 0 0 20 0 1 0 159433553 160878592 36604 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 39277 36604 1140 1005 0 38040 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 157108 KiB
Current children cumulated memory: 146416 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 858622
/proc/meminfo: memFree=128129188/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=159568 memory=148808 CPUtime=281.59 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 27071 0 0 0 28141 18 0 0 20 0 1 0 159433553 163397632 37202 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 39892 37202 1140 1005 0 38655 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 159568 KiB
Current children cumulated memory: 148808 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 858632
/proc/meminfo: memFree=128121036/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=162400 memory=151720 CPUtime=341.45 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 27856 0 0 0 34126 19 0 0 20 0 1 0 159433553 166297600 37930 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 40600 37930 1140 1005 0 39363 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 162400 KiB
Current children cumulated memory: 151720 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 858647
/proc/meminfo: memFree=128109612/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=166632 memory=155940 CPUtime=401.31 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 28963 0 0 0 40108 23 0 0 20 0 1 0 159433553 170631168 38985 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 41658 38985 1140 1005 0 40421 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 166632 KiB
Current children cumulated memory: 155940 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 858658
/proc/meminfo: memFree=128096936/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=169000 memory=157236 CPUtime=461.17 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 29348 0 0 0 46093 24 0 0 20 0 1 0 159433553 173056000 39309 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 42250 39309 1140 1005 0 41013 0

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

Current children cumulated memory: 218436 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/256 860283
/proc/meminfo: memFree=127932156/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=258824 memory=218436 CPUtime=2855.47 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 44853 0 0 0 285439 108 0 0 20 0 1 0 159433553 265035776 54609 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 64706 54609 1140 1005 0 63469 0
Current children cumulated CPU time: 2855.47 s
Current children cumulated vsize: 258824 KiB
Current children cumulated memory: 218436 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.09 4.11 5/256 860293
/proc/meminfo: memFree=127930044/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=259912 memory=219412 CPUtime=2915.33 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 45222 0 0 0 291425 108 0 0 20 0 1 0 159433553 266149888 54853 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 64978 54853 1140 1005 0 63741 0
Current children cumulated CPU time: 2915.33 s
Current children cumulated vsize: 259912 KiB
Current children cumulated memory: 219412 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/256 860305
/proc/meminfo: memFree=127928364/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=259912 memory=219524 CPUtime=2975.2 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 45310 0 0 0 297409 111 0 0 20 0 1 0 159433553 266149888 54881 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 64978 54881 1140 1005 0 63741 0
Current children cumulated CPU time: 2975.2 s
Current children cumulated vsize: 259912 KiB
Current children cumulated memory: 219524 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/256 860315
/proc/meminfo: memFree=127927264/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=259912 memory=219524 CPUtime=3035.05 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 45403 0 0 0 303392 113 0 0 20 0 1 0 159433553 266149888 54881 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 64978 54881 1140 1005 0 63741 0
Current children cumulated CPU time: 3035.05 s
Current children cumulated vsize: 259912 KiB
Current children cumulated memory: 219524 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/255 860325
/proc/meminfo: memFree=127925704/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=259912 memory=219524 CPUtime=3094.92 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 45507 0 0 0 309376 116 0 0 20 0 1 0 159433553 266149888 54881 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 64978 54881 1140 1005 0 63741 0
Current children cumulated CPU time: 3094.92 s
Current children cumulated vsize: 259912 KiB
Current children cumulated memory: 219524 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/255 860336
/proc/meminfo: memFree=127922840/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=259912 memory=219524 CPUtime=3154.78 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 45594 0 0 0 315359 119 0 0 20 0 1 0 159433553 266149888 54881 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 64978 54881 1140 1005 0 63741 0
Current children cumulated CPU time: 3154.78 s
Current children cumulated vsize: 259912 KiB
Current children cumulated memory: 219524 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/255 860347
/proc/meminfo: memFree=127921176/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=260456 memory=219852 CPUtime=3214.64 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 45831 0 0 0 321343 121 0 0 20 0 1 0 159433553 266706944 54963 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 65114 54963 1140 1005 0 63877 0
Current children cumulated CPU time: 3214.64 s
Current children cumulated vsize: 260456 KiB
Current children cumulated memory: 219852 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/255 860358
/proc/meminfo: memFree=127917408/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=260728 memory=220340 CPUtime=3274.5 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 45997 0 0 0 327329 121 0 0 20 0 1 0 159433553 266985472 55085 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 65182 55085 1140 1005 0 63945 0
Current children cumulated CPU time: 3274.5 s
Current children cumulated vsize: 260728 KiB
Current children cumulated memory: 220340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 860368
/proc/meminfo: memFree=127915860/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=260728 memory=220960 CPUtime=3334.36 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 46091 0 0 0 333313 123 0 0 20 0 1 0 159433553 266985472 55240 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 65182 55240 1140 1005 0 63945 0
Current children cumulated CPU time: 3334.36 s
Current children cumulated vsize: 260728 KiB
Current children cumulated memory: 220960 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 860386
/proc/meminfo: memFree=127915116/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=260728 memory=220960 CPUtime=3394.22 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 46180 0 0 0 339297 125 0 0 20 0 1 0 159433553 266985472 55240 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 65182 55240 1140 1005 0 63945 0
Current children cumulated CPU time: 3394.22 s
Current children cumulated vsize: 260728 KiB
Current children cumulated memory: 220960 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 860397
/proc/meminfo: memFree=127913212/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=260728 memory=221000 CPUtime=3454.09 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 46293 0 0 0 345280 129 0 0 20 0 1 0 159433553 266985472 55250 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 65182 55250 1140 1005 0 63945 0
Current children cumulated CPU time: 3454.09 s
Current children cumulated vsize: 260728 KiB
Current children cumulated memory: 221000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 860407
/proc/meminfo: memFree=127909164/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=261124 memory=221356 CPUtime=3513.94 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 46472 0 0 0 351265 129 0 0 20 0 1 0 159433553 267390976 55339 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 65281 55339 1140 1005 0 64044 0
Current children cumulated CPU time: 3513.94 s
Current children cumulated vsize: 261124 KiB
Current children cumulated memory: 221356 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 860419
/proc/meminfo: memFree=127907588/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=261620 memory=221852 CPUtime=3573.81 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 46697 0 0 0 357247 134 0 0 20 0 1 0 159433553 267898880 55463 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 65405 55463 1140 1005 0 64168 0
Current children cumulated CPU time: 3573.81 s
Current children cumulated vsize: 261620 KiB
Current children cumulated memory: 221852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 860425
/proc/meminfo: memFree=127907180/131524600 swapFree=131071996/131071996
[pid=858570] ppid=858567 vsize=261620 memory=221852 CPUtime=3600.05 cores=4,6
/proc/858570/stat : 858570 (Exact) R 858567 858570 858451 0 -1 4194304 46697 0 0 0 359871 134 0 0 20 0 1 0 159433553 267898880 55463 134679101440 4194304 8309489 140725477903888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20893696 140725477905343 140725477905512 140725477905512 140725477912527 0
/proc/858570/statm: 65405 55463 1140 1005 0 64168 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 261620 KiB
Current children cumulated memory: 221852 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.72 s, system=1.3457 s

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

Child status: 10

Real time (s): 3608.6
CPU time (s): 3600.06
CPU user time (s): 3598.72
CPU system time (s): 1.3457
CPU usage (%): 99.7633
Max. virtual memory (cumulated for all children) (KiB): 261620
Max. memory (cumulated for all children) (KiB): 221852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.72
system time used= 1.3457
maximum resident set size= 224380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46702
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= 43
involuntary context switches= 1443


# summary of solver processes directly reported to runsolver:
#   pid: 858570
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.72
#   total CPU system time (s): 1.3457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50312 second user time and 14.939 second system time

The end