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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433425-1721071615/watcher-4433425-1721071615 -o /tmp/evaluation-result-4433425-1721071615/solver-4433425-1721071615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721071603-818143 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1257368712 HOME/instance-4433425-1721071615.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=818485, runsolver pid=818482

[startup+0.10055 s]*
/proc/loadavg: 2.12 1.35 1.64 5/258 818486
/proc/meminfo: memFree=127936708/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=30360 memory=10520 CPUtime=0.09 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 1417 0 0 0 9 0 0 0 20 0 1 0 159330416 31088640 2630 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 7590 2630 851 746 0 6654 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30360 KiB
Current children cumulated memory: 10520 KiB

[startup+0.205457 s]*
/proc/loadavg: 2.12 1.35 1.64 5/258 818486
/proc/meminfo: memFree=127936372/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=30492 memory=10784 CPUtime=0.2 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 1463 0 0 0 20 0 0 0 20 0 1 0 159330416 31223808 2696 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 7623 2696 851 746 0 6687 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30492 KiB
Current children cumulated memory: 10784 KiB

[startup+0.305317 s]*
/proc/loadavg: 2.12 1.35 1.64 5/258 818486
/proc/meminfo: memFree=127933792/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=30640 memory=12832 CPUtime=0.3 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 1494 0 0 0 30 0 0 0 20 0 1 0 159330416 31375360 3208 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 7660 3208 851 746 0 6724 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30640 KiB
Current children cumulated memory: 12832 KiB

[startup+0.700189 s]
/proc/loadavg: 2.12 1.35 1.64 5/258 818486
/proc/meminfo: memFree=127932784/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=31168 memory=15664 CPUtime=0.69 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 1644 0 0 0 69 0 0 0 20 0 1 0 159330416 31916032 3916 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 7792 3916 851 746 0 6856 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31168 KiB
Current children cumulated memory: 15664 KiB

[startup+1.50018 s]
/proc/loadavg: 2.12 1.35 1.64 5/258 818486
/proc/meminfo: memFree=127929260/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=32552 memory=18900 CPUtime=1.48 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 2078 0 0 0 148 0 0 0 20 0 1 0 159330416 33333248 4725 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 8138 4725 851 746 0 7202 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 18900 KiB

[startup+3.10572 s]
/proc/loadavg: 2.12 1.35 1.64 5/258 818488
/proc/meminfo: memFree=127887340/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=35764 memory=26064 CPUtime=3.08 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 2944 0 0 0 308 0 0 0 20 0 1 0 159330416 36622336 6516 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 8941 6516 851 746 0 8005 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 35764 KiB
Current children cumulated memory: 26064 KiB

[startup+6.30019 s]
/proc/loadavg: 2.27 1.40 1.65 5/258 818488
/proc/meminfo: memFree=127870960/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=40420 memory=32428 CPUtime=6.26 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 4270 0 0 0 626 0 0 0 20 0 1 0 159330416 41390080 8107 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 10105 8107 851 746 0 9169 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 40420 KiB
Current children cumulated memory: 32428 KiB

[startup+12.7002 s]
/proc/loadavg: 2.41 1.44 1.67 5/258 818488
/proc/meminfo: memFree=127834532/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=55784 memory=38896 CPUtime=12.65 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 5340 0 0 0 1264 1 0 0 20 0 1 0 159330416 57122816 9724 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 13946 9724 851 746 0 13010 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55784 KiB
Current children cumulated memory: 38896 KiB

[startup+25.5002 s]
/proc/loadavg: 2.83 1.58 1.71 5/258 818491
/proc/meminfo: memFree=127761308/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=60008 memory=44304 CPUtime=25.4 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 6245 0 0 0 2539 1 0 0 20 0 1 0 159330416 61448192 11076 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 15002 11076 851 746 0 14066 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 60008 KiB
Current children cumulated memory: 44304 KiB

[startup+51.1054 s]
/proc/loadavg: 3.23 1.78 1.77 5/258 818494
/proc/meminfo: memFree=127596608/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=63816 memory=47920 CPUtime=50.92 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 7171 0 0 0 5091 1 0 0 20 0 1 0 159330416 65347584 11980 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 15954 11980 851 746 0 15018 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 63816 KiB
Current children cumulated memory: 47920 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 2.14 1.90 5/260 818672
/proc/meminfo: memFree=126914272/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=65672 memory=52216 CPUtime=101.95 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 7713 0 0 0 10193 2 0 0 20 0 1 0 159330416 67248128 13054 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 16418 13054 851 746 0 15482 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 65672 KiB
Current children cumulated memory: 52216 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 2.52 2.05 5/260 818685
/proc/meminfo: memFree=126402252/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=68960 memory=55340 CPUtime=161.75 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 8530 0 0 0 16173 2 0 0 20 0 1 0 159330416 70615040 13835 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 17240 13835 851 746 0 16304 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 68960 KiB
Current children cumulated memory: 55340 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.81 2.18 5/260 818695
/proc/meminfo: memFree=126156032/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=71148 memory=61452 CPUtime=221.56 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 9092 0 0 0 22153 3 0 0 20 0 1 0 159330416 72855552 15363 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 17787 15363 851 746 0 16851 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 71148 KiB
Current children cumulated memory: 61452 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.06 2.31 5/261 818764
/proc/meminfo: memFree=125695100/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=72996 memory=63524 CPUtime=281.36 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 9592 0 0 0 28132 4 0 0 20 0 1 0 159330416 74747904 15881 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 18249 15881 851 746 0 17313 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 72996 KiB
Current children cumulated memory: 63524 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.25 2.42 5/260 818776
/proc/meminfo: memFree=125330008/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=74360 memory=65044 CPUtime=341.16 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 9959 0 0 0 34112 4 0 0 20 0 1 0 159330416 76144640 16261 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 18590 16261 851 746 0 17654 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 74360 KiB
Current children cumulated memory: 65044 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.42 2.53 5/260 818786
/proc/meminfo: memFree=124996136/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=75440 memory=66052 CPUtime=400.96 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 10234 0 0 0 40092 4 0 0 20 0 1 0 159330416 77250560 16513 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 18860 16513 851 746 0 17924 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 75440 KiB
Current children cumulated memory: 66052 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.54 2.63 5/259 818796
/proc/meminfo: memFree=124770956/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=77276 memory=67844 CPUtime=460.76 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 10707 0 0 0 46072 4 0 0 20 0 1 0 159330416 79130624 16961 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 19319 16961 851 746 0 18383 0

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

Current children cumulated memory: 96620 KiB

[startup+2922.3 s]
/proc/loadavg: 4.29 4.17 4.05 5/256 819825
/proc/meminfo: memFree=118721168/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=102960 memory=96828 CPUtime=2912.67 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 17982 0 0 0 291251 16 0 0 20 0 1 0 159330416 105431040 24207 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 25740 24207 851 746 0 24804 0
Current children cumulated CPU time: 2912.67 s
Current children cumulated vsize: 102960 KiB
Current children cumulated memory: 96828 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.17 4.06 5/254 819836
/proc/meminfo: memFree=118684112/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=126024 memory=99892 CPUtime=2972.48 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 18643 0 0 0 297231 17 0 0 20 0 1 0 159330416 129048576 24973 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 31506 24973 851 746 0 30570 0
Current children cumulated CPU time: 2972.48 s
Current children cumulated vsize: 126024 KiB
Current children cumulated memory: 99892 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.16 4.06 5/254 819848
/proc/meminfo: memFree=118682432/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=126728 memory=100676 CPUtime=3032.28 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 18834 0 0 0 303211 17 0 0 20 0 1 0 159330416 129769472 25169 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 31682 25169 851 746 0 30746 0
Current children cumulated CPU time: 3032.28 s
Current children cumulated vsize: 126728 KiB
Current children cumulated memory: 100676 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.06 5/254 819858
/proc/meminfo: memFree=118681892/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=126728 memory=100676 CPUtime=3092.09 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 18864 0 0 0 309191 18 0 0 20 0 1 0 159330416 129769472 25169 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 31682 25169 851 746 0 30746 0
Current children cumulated CPU time: 3092.09 s
Current children cumulated vsize: 126728 KiB
Current children cumulated memory: 100676 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.06 5/254 819869
/proc/meminfo: memFree=118680604/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=126728 memory=100832 CPUtime=3151.89 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 18892 0 0 0 315171 18 0 0 20 0 1 0 159330416 129769472 25208 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 31682 25208 851 746 0 30746 0
Current children cumulated CPU time: 3151.89 s
Current children cumulated vsize: 126728 KiB
Current children cumulated memory: 100832 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/255 819882
/proc/meminfo: memFree=118679444/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=126952 memory=100832 CPUtime=3211.7 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 18936 0 0 0 321152 18 0 0 20 0 1 0 159330416 129998848 25208 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 31738 25208 851 746 0 30802 0
Current children cumulated CPU time: 3211.7 s
Current children cumulated vsize: 126952 KiB
Current children cumulated memory: 100832 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.07 5/257 819896
/proc/meminfo: memFree=118678224/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=127400 memory=101484 CPUtime=3271.51 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 19081 0 0 0 327133 18 0 0 20 0 1 0 159330416 130457600 25371 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 31850 25371 851 746 0 30914 0
Current children cumulated CPU time: 3271.51 s
Current children cumulated vsize: 127400 KiB
Current children cumulated memory: 101484 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.08 5/257 819907
/proc/meminfo: memFree=118677028/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=127400 memory=101484 CPUtime=3331.31 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 19108 0 0 0 333113 18 0 0 20 0 1 0 159330416 130457600 25371 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 31850 25371 851 746 0 30914 0
Current children cumulated CPU time: 3331.31 s
Current children cumulated vsize: 127400 KiB
Current children cumulated memory: 101484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.08 5/257 819917
/proc/meminfo: memFree=118675580/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=127780 memory=101676 CPUtime=3391.12 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 19187 0 0 0 339094 18 0 0 20 0 1 0 159330416 130846720 25419 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 31945 25419 851 746 0 31009 0
Current children cumulated CPU time: 3391.12 s
Current children cumulated vsize: 127780 KiB
Current children cumulated memory: 101676 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/257 819928
/proc/meminfo: memFree=118674904/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=127780 memory=101880 CPUtime=3450.92 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 19228 0 0 0 345074 18 0 0 20 0 1 0 159330416 130846720 25470 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 31945 25470 851 746 0 31009 0
Current children cumulated CPU time: 3450.92 s
Current children cumulated vsize: 127780 KiB
Current children cumulated memory: 101880 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/258 820322
/proc/meminfo: memFree=118672044/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=128088 memory=102092 CPUtime=3510.73 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 19303 0 0 0 351055 18 0 0 20 0 1 0 159330416 131162112 25523 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 32022 25523 851 746 0 31086 0
Current children cumulated CPU time: 3510.73 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 102092 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/256 820332
/proc/meminfo: memFree=118672636/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=128408 memory=102528 CPUtime=3570.53 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 19409 0 0 0 357035 18 0 0 20 0 1 0 159330416 131489792 25632 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 32102 25632 851 746 0 31166 0
Current children cumulated CPU time: 3570.53 s
Current children cumulated vsize: 128408 KiB
Current children cumulated memory: 102528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.11 4.12 4.08 5/256 820567
/proc/meminfo: memFree=128006808/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=128708 memory=103340 CPUtime=3600.03 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 19478 0 0 0 359985 18 0 0 20 0 1 0 159330416 131796992 25835 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 32177 25835 851 746 0 31241 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 128708 KiB
Current children cumulated memory: 103340 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.85 s, system=0.186302 s

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

[startup+3611.9 s]
/proc/loadavg: 4.11 4.12 4.08 5/256 820567
/proc/meminfo: memFree=128006808/131524600 swapFree=131071996/131071996
[pid=818485] ppid=818482 vsize=128708 memory=103340 CPUtime=3600.03 cores=0,2
/proc/818485/stat : 818485 (Exact_nosoplex) R 818482 818485 818133 0 -1 4194304 19478 0 0 0 359985 18 0 0 20 0 1 0 159330416 131796992 25835 134679101440 4194304 7248369 140729040015792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 17051648 140729040024492 140729040024671 140729040024671 140729040031686 0
/proc/818485/statm: 32177 25835 851 746 0 31241 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 128708 KiB
Current children cumulated memory: 103340 KiB

Child status: 10

Real time (s): 3611.91
CPU time (s): 3600.04
CPU user time (s): 3599.85
CPU system time (s): 0.186302
CPU usage (%): 99.6715
Max. virtual memory (cumulated for all children) (KiB): 128708
Max. memory (cumulated for all children) (KiB): 103340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.85
system time used= 0.186302
maximum resident set size= 127820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19480
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= 17
involuntary context switches= 25200


# summary of solver processes directly reported to runsolver:
#   pid: 818485
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.85
#   total CPU system time (s): 0.186302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02664 second user time and 16.655 second system time

The end