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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456503-1721724393/watcher-4456503-1721724393 -o /tmp/evaluation-result-4456503-1721724393/solver-4456503-1721724393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721718370-86441 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2107806704 HOME/instance-4456503-1721724393.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100087 s]*
/proc/loadavg: 4.07 4.13 4.10 6/255 90318
/proc/meminfo: memFree=102331924/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=63240 memory=42688 CPUtime=0.09 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 12663 0 0 0 8 1 0 0 20 0 1 0 8963226 64757760 10672 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 15810 10672 803 746 0 14874 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63240 KiB
Current children cumulated memory: 42688 KiB

[startup+0.205674 s]*
/proc/loadavg: 4.07 4.13 4.10 5/255 90318
/proc/meminfo: memFree=102331588/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=63636 memory=43216 CPUtime=0.19 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 12770 0 0 0 18 1 0 0 20 0 1 0 8963226 65163264 10804 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 15909 10804 803 746 0 14973 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63636 KiB
Current children cumulated memory: 43216 KiB

[startup+0.30558 s]*
/proc/loadavg: 4.07 4.13 4.10 5/255 90318
/proc/meminfo: memFree=102327892/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=69276 memory=47092 CPUtime=0.3 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 13715 0 0 0 28 2 0 0 20 0 1 0 8963226 70938624 11773 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 17319 11773 851 746 0 16383 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69276 KiB
Current children cumulated memory: 47092 KiB

[startup+0.700178 s]
/proc/loadavg: 4.07 4.13 4.10 5/255 90318
/proc/meminfo: memFree=102324876/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=70948 memory=54808 CPUtime=0.69 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 14140 0 0 0 67 2 0 0 20 0 1 0 8963226 72650752 13702 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 17737 13702 851 746 0 16801 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70948 KiB
Current children cumulated memory: 54808 KiB

[startup+1.50018 s]
/proc/loadavg: 4.06 4.12 4.10 5/255 90318
/proc/meminfo: memFree=102318920/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=72588 memory=58440 CPUtime=1.48 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 14526 0 0 0 146 2 0 0 20 0 1 0 8963226 74330112 14610 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 18147 14610 851 746 0 17211 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72588 KiB
Current children cumulated memory: 58440 KiB

[startup+3.10555 s]
/proc/loadavg: 4.06 4.12 4.10 5/255 90318
/proc/meminfo: memFree=102309560/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=75412 memory=64872 CPUtime=3.08 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 15113 0 0 0 306 2 0 0 20 0 1 0 8963226 77221888 16218 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 18853 16218 851 746 0 17917 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 75412 KiB
Current children cumulated memory: 64872 KiB

[startup+6.30016 s]
/proc/loadavg: 4.06 4.12 4.10 5/255 90318
/proc/meminfo: memFree=102305824/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=76904 memory=68472 CPUtime=6.27 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 15498 0 0 0 625 2 0 0 20 0 1 0 8963226 78749696 17118 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 19226 17118 851 746 0 18290 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76904 KiB
Current children cumulated memory: 68472 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.12 4.10 5/255 90320
/proc/meminfo: memFree=102297248/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=96544 memory=80372 CPUtime=12.66 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 17162 0 0 0 1263 3 0 0 20 0 1 0 8963226 98861056 20093 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 24136 20093 851 746 0 23200 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 96544 KiB
Current children cumulated memory: 80372 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.12 4.10 5/255 90321
/proc/meminfo: memFree=102277272/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=123592 memory=96808 CPUtime=25.43 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 18666 0 0 0 2538 5 0 0 20 0 1 0 8963226 126558208 24202 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 30898 24202 851 746 0 29962 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 123592 KiB
Current children cumulated memory: 96808 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.12 4.10 5/255 90326
/proc/meminfo: memFree=102272296/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=127628 memory=100884 CPUtime=50.98 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 19687 0 0 0 5093 5 0 0 20 0 1 0 8963226 130691072 25221 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 31907 25221 851 746 0 30971 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 127628 KiB
Current children cumulated memory: 100884 KiB

[startup+102.3 s]
/proc/loadavg: 4.35 4.19 4.12 5/254 90336
/proc/meminfo: memFree=102245072/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=137036 memory=124844 CPUtime=102.04 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 22161 0 0 0 10198 6 0 0 20 0 1 0 8963226 140324864 31211 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 34259 31211 851 746 0 33323 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 137036 KiB
Current children cumulated memory: 124844 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/254 90346
/proc/meminfo: memFree=102237636/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=140696 memory=130604 CPUtime=161.89 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 23107 0 0 0 16183 6 0 0 20 0 1 0 8963226 144072704 32651 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 35174 32651 851 746 0 34238 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 140696 KiB
Current children cumulated memory: 130604 KiB

[startup+222.3 s]
/proc/loadavg: 4.45 4.23 4.14 5/256 90360
/proc/meminfo: memFree=102229680/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=142784 memory=132876 CPUtime=221.75 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 23737 0 0 0 22169 6 0 0 20 0 1 0 8963226 146210816 33219 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 35696 33219 851 746 0 34760 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 142784 KiB
Current children cumulated memory: 132876 KiB

[startup+282.3 s]
/proc/loadavg: 4.24 4.22 4.14 5/256 90372
/proc/meminfo: memFree=102216304/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=150480 memory=140968 CPUtime=281.6 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 25795 0 0 0 28154 6 0 0 20 0 1 0 8963226 154091520 35242 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 37620 35242 851 746 0 36684 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 150480 KiB
Current children cumulated memory: 140968 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.21 4.14 5/256 90383
/proc/meminfo: memFree=102194028/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=173772 memory=162116 CPUtime=341.46 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 30801 0 0 0 34138 8 0 0 20 0 1 0 8963226 177942528 40529 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 43443 40529 851 746 0 42507 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 173772 KiB
Current children cumulated memory: 162116 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/257 90395
/proc/meminfo: memFree=102176172/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=225952 memory=179656 CPUtime=401.3 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 34127 0 0 0 40121 9 0 0 20 0 1 0 8963226 231374848 44914 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 56488 44914 851 746 0 55552 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 225952 KiB
Current children cumulated memory: 179656 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/257 90405
/proc/meminfo: memFree=102160700/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=238284 memory=193440 CPUtime=461.16 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 37135 0 0 0 46106 10 0 0 20 0 1 0 8963226 244002816 48360 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 59571 48360 851 746 0 58635 0
Current children cumulated CPU time: 461.16 s

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

Current children cumulated memory: 342356 KiB

[startup+2922.3 s]
/proc/loadavg: 1.12 1.14 1.77 2/233 92128
/proc/meminfo: memFree=103896336/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=414096 memory=342356 CPUtime=2915.63 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 58957 0 0 0 291546 17 0 0 20 0 1 0 8963226 424034304 85589 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 103524 85589 851 746 0 102588 0
Current children cumulated CPU time: 2915.63 s
Current children cumulated vsize: 414096 KiB
Current children cumulated memory: 342356 KiB

[startup+2982.3 s]
/proc/loadavg: 1.10 1.13 1.72 2/233 92139
/proc/meminfo: memFree=103895632/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=414096 memory=342356 CPUtime=2975.51 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 59144 0 0 0 297534 17 0 0 20 0 1 0 8963226 424034304 85589 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 103524 85589 851 746 0 102588 0
Current children cumulated CPU time: 2975.51 s
Current children cumulated vsize: 414096 KiB
Current children cumulated memory: 342356 KiB

[startup+3042.3 s]
/proc/loadavg: 1.08 1.12 1.68 2/233 92149
/proc/meminfo: memFree=103894844/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=414096 memory=342484 CPUtime=3035.38 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 59299 0 0 0 303521 17 0 0 20 0 1 0 8963226 424034304 85621 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 103524 85621 851 746 0 102588 0
Current children cumulated CPU time: 3035.38 s
Current children cumulated vsize: 414096 KiB
Current children cumulated memory: 342484 KiB

[startup+3102.3 s]
/proc/loadavg: 1.09 1.11 1.64 2/233 92161
/proc/meminfo: memFree=103894080/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=414096 memory=342484 CPUtime=3095.25 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 59437 0 0 0 309508 17 0 0 20 0 1 0 8963226 424034304 85621 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 103524 85621 851 746 0 102588 0
Current children cumulated CPU time: 3095.25 s
Current children cumulated vsize: 414096 KiB
Current children cumulated memory: 342484 KiB

[startup+3162.3 s]
/proc/loadavg: 1.08 1.10 1.60 2/233 92171
/proc/meminfo: memFree=103893536/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=414096 memory=342484 CPUtime=3155.13 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 59594 0 0 0 315496 17 0 0 20 0 1 0 8963226 424034304 85621 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 103524 85621 851 746 0 102588 0
Current children cumulated CPU time: 3155.13 s
Current children cumulated vsize: 414096 KiB
Current children cumulated memory: 342484 KiB

[startup+3222.3 s]
/proc/loadavg: 1.15 1.11 1.57 2/236 92187
/proc/meminfo: memFree=103888780/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=416276 memory=346416 CPUtime=3215 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 60267 0 0 0 321483 17 0 0 20 0 1 0 8963226 426266624 86604 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 104069 86604 851 746 0 103133 0
Current children cumulated CPU time: 3215 s
Current children cumulated vsize: 416276 KiB
Current children cumulated memory: 346416 KiB

[startup+3282.3 s]
/proc/loadavg: 1.05 1.09 1.53 2/236 92198
/proc/meminfo: memFree=103887764/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=416468 memory=346776 CPUtime=3274.87 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 60470 0 0 0 327470 17 0 0 20 0 1 0 8963226 426463232 86694 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 104117 86694 851 746 0 103181 0
Current children cumulated CPU time: 3274.87 s
Current children cumulated vsize: 416468 KiB
Current children cumulated memory: 346776 KiB

[startup+3342.3 s]
/proc/loadavg: 1.06 1.09 1.50 2/236 92210
/proc/meminfo: memFree=103886984/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=416468 memory=346776 CPUtime=3334.75 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 60627 0 0 0 333458 17 0 0 20 0 1 0 8963226 426463232 86694 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 104117 86694 851 746 0 103181 0
Current children cumulated CPU time: 3334.75 s
Current children cumulated vsize: 416468 KiB
Current children cumulated memory: 346776 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.10 1.48 2/236 92220
/proc/meminfo: memFree=103886392/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=416468 memory=346776 CPUtime=3394.62 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 60795 0 0 0 339445 17 0 0 20 0 1 0 8963226 426463232 86694 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 104117 86694 851 746 0 103181 0
Current children cumulated CPU time: 3394.62 s
Current children cumulated vsize: 416468 KiB
Current children cumulated memory: 346776 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.09 1.45 2/236 92231
/proc/meminfo: memFree=103885140/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=416724 memory=346976 CPUtime=3454.5 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 61016 0 0 0 345433 17 0 0 20 0 1 0 8963226 426725376 86744 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 104181 86744 851 746 0 103245 0
Current children cumulated CPU time: 3454.5 s
Current children cumulated vsize: 416724 KiB
Current children cumulated memory: 346976 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.09 1.43 2/236 92242
/proc/meminfo: memFree=103884464/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=416724 memory=347032 CPUtime=3514.37 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 61172 0 0 0 351420 17 0 0 20 0 1 0 8963226 426725376 86758 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 104181 86758 851 746 0 103245 0
Current children cumulated CPU time: 3514.37 s
Current children cumulated vsize: 416724 KiB
Current children cumulated memory: 347032 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.09 1.41 2/233 92252
/proc/meminfo: memFree=103883632/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=416724 memory=347032 CPUtime=3574.25 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 61328 0 0 0 357408 17 0 0 20 0 1 0 8963226 426725376 86758 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 104181 86758 851 746 0 103245 0
Current children cumulated CPU time: 3574.25 s
Current children cumulated vsize: 416724 KiB
Current children cumulated memory: 347032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.1 s]
/proc/loadavg: 1.14 1.10 1.40 2/233 92256
/proc/meminfo: memFree=103883628/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=416724 memory=347032 CPUtime=3600 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 61416 0 0 0 359983 17 0 0 20 0 1 0 8963226 426725376 86758 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 104181 86758 851 746 0 103245 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 416724 KiB
Current children cumulated memory: 347032 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.87 s, system=0.177562 s

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

[startup+3608.1 s]
/proc/loadavg: 1.14 1.10 1.40 2/233 92256
/proc/meminfo: memFree=103883628/131524600 swapFree=131071996/131071996
[pid=90317] ppid=90314 vsize=416724 memory=347032 CPUtime=3600 cores=1,3
/proc/90317/stat : 90317 (Exact_nosoplex) R 90314 90317 86429 0 -1 4194304 61416 0 0 0 359983 17 0 0 20 0 1 0 8963226 426725376 86758 134679101440 4194304 7248369 140720760143184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 22339584 140720760144811 140720760144990 140720760144990 140720760152006 0
/proc/90317/statm: 104181 86758 851 746 0 103245 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 416724 KiB
Current children cumulated memory: 347032 KiB

Child status: 10

Real time (s): 3608.14
CPU time (s): 3600.05
CPU user time (s): 3599.87
CPU system time (s): 0.177562
CPU usage (%): 99.7757
Max. virtual memory (cumulated for all children) (KiB): 416724
Max. memory (cumulated for all children) (KiB): 347032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.87
system time used= 0.177562
maximum resident set size= 404304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61452
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= 2095


# summary of solver processes directly reported to runsolver:
#   pid: 90317
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.87
#   total CPU system time (s): 0.177562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48391 second user time and 15.5082 second system time

The end