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: 64059 MiB (59693 MiB free)
  memory of node 1: 64510 MiB (61418 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433508-1721059474/watcher-4433508-1721059474 -o /tmp/evaluation-result-4433508-1721059474/solver-4433508-1721059474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721053936-806311 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=363989848 HOME/instance-4433508-1721059474.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=809492, runsolver pid=809489

[startup+0.100098 s]*
/proc/loadavg: 4.17 4.25 4.19 5/243 809493
/proc/meminfo: memFree=124007948/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=32232 memory=15496 CPUtime=0.1 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 2353 0 0 0 10 0 0 0 20 0 1 0 158106169 33005568 3874 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 8058 3874 755 746 0 7122 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32232 KiB
Current children cumulated memory: 15496 KiB

[startup+0.212845 s]*
/proc/loadavg: 4.17 4.25 4.19 5/243 809493
/proc/meminfo: memFree=124004108/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=33208 memory=16732 CPUtime=0.21 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 2595 0 0 0 21 0 0 0 20 0 1 0 158106169 34004992 4183 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 8302 4183 803 746 0 7366 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33208 KiB
Current children cumulated memory: 16732 KiB

[startup+0.312733 s]*
/proc/loadavg: 4.17 4.25 4.19 5/243 809493
/proc/meminfo: memFree=124001556/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=33604 memory=19424 CPUtime=0.31 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 2697 0 0 0 31 0 0 0 20 0 1 0 158106169 34410496 4856 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 8401 4856 835 746 0 7465 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 19424 KiB

[startup+0.700362 s]
/proc/loadavg: 4.17 4.25 4.19 5/243 809493
/proc/meminfo: memFree=123999284/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=33736 memory=23520 CPUtime=0.68 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 2721 0 0 0 68 0 0 0 20 0 1 0 158106169 34545664 5880 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 8434 5880 835 746 0 7498 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 23520 KiB

[startup+1.50034 s]
/proc/loadavg: 4.17 4.25 4.19 5/243 809493
/proc/meminfo: memFree=123986204/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=40456 memory=34856 CPUtime=1.48 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 5622 0 0 0 148 0 0 0 20 0 1 0 158106169 41426944 8714 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 10114 8714 835 746 0 9178 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40456 KiB
Current children cumulated memory: 34856 KiB

[startup+3.11354 s]
/proc/loadavg: 4.17 4.25 4.19 5/243 809493
/proc/meminfo: memFree=123980024/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=53928 memory=42556 CPUtime=3.09 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 6291 0 0 0 308 1 0 0 20 0 1 0 158106169 55222272 10639 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 13482 10639 835 746 0 12546 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53928 KiB
Current children cumulated memory: 42556 KiB

[startup+6.30031 s]
/proc/loadavg: 4.16 4.24 4.19 5/243 809495
/proc/meminfo: memFree=123958508/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=82724 memory=64780 CPUtime=6.27 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 8127 0 0 0 625 2 0 0 20 0 1 0 158106169 84709376 16195 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 20681 16195 835 746 0 19745 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 82724 KiB
Current children cumulated memory: 64780 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.24 4.19 5/243 809495
/proc/meminfo: memFree=123948704/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=83904 memory=65824 CPUtime=12.64 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 8447 0 0 0 1262 2 0 0 20 0 1 0 158106169 85917696 16456 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 20976 16456 835 746 0 20040 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 83904 KiB
Current children cumulated memory: 65824 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.24 4.19 5/243 809498
/proc/meminfo: memFree=123923676/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=85216 memory=73476 CPUtime=25.41 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 8816 0 0 0 2538 3 0 0 20 0 1 0 158106169 87261184 18369 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 21304 18369 835 746 0 20368 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 85216 KiB
Current children cumulated memory: 73476 KiB

[startup+51.1124 s]
/proc/loadavg: 4.12 4.22 4.19 5/241 809501
/proc/meminfo: memFree=123837520/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=128808 memory=88148 CPUtime=50.93 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 10534 0 0 0 5089 4 0 0 20 0 1 0 158106169 131899392 22037 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 32202 22037 835 746 0 31266 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 128808 KiB
Current children cumulated memory: 88148 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.20 4.18 5/241 809510
/proc/meminfo: memFree=123830400/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=131344 memory=94580 CPUtime=101.94 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 11214 0 0 0 10190 4 0 0 20 0 1 0 158106169 134496256 23645 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 32836 23645 835 746 0 31900 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 131344 KiB
Current children cumulated memory: 94580 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/241 809520
/proc/meminfo: memFree=123824496/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=133112 memory=98592 CPUtime=161.75 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 11729 0 0 0 16170 5 0 0 20 0 1 0 158106169 136306688 24648 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 33278 24648 835 746 0 32342 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 133112 KiB
Current children cumulated memory: 98592 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/241 809530
/proc/meminfo: memFree=123817592/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=136084 memory=103380 CPUtime=221.54 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 12496 0 0 0 22149 5 0 0 20 0 1 0 158106169 139350016 25845 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 34021 25845 835 746 0 33085 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 136084 KiB
Current children cumulated memory: 103380 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 809541
/proc/meminfo: memFree=123814296/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=138852 memory=106108 CPUtime=281.34 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 13218 0 0 0 28129 5 0 0 20 0 1 0 158106169 142184448 26527 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 34713 26527 835 746 0 33777 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 138852 KiB
Current children cumulated memory: 106108 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/241 809551
/proc/meminfo: memFree=123802752/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=139100 memory=106516 CPUtime=341.14 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 13342 0 0 0 34109 5 0 0 20 0 1 0 158106169 142438400 26629 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 34775 26629 835 746 0 33839 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 139100 KiB
Current children cumulated memory: 106516 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/244 809566
/proc/meminfo: memFree=123788588/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=140552 memory=110268 CPUtime=400.92 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 13721 0 0 0 40087 5 0 0 20 0 1 0 158106169 143925248 27567 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 35138 27567 835 746 0 34202 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 140552 KiB
Current children cumulated memory: 110268 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/244 809577
/proc/meminfo: memFree=123782444/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=141244 memory=114984 CPUtime=460.72 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 13946 0 0 0 46067 5 0 0 20 0 1 0 158106169 144633856 28746 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 35311 28746 835 746 0 34375 0

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

Current children cumulated memory: 176436 KiB

[startup+2922.3 s]
/proc/loadavg: 1.17 1.28 1.99 2/222 810723
/proc/meminfo: memFree=126240328/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=243808 memory=177012 CPUtime=2913.38 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 25456 0 0 0 291328 10 0 0 20 0 1 0 158106169 249659392 44253 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 60952 44253 835 746 0 60016 0
Current children cumulated CPU time: 2913.38 s
Current children cumulated vsize: 243808 KiB
Current children cumulated memory: 177012 KiB

[startup+2982.3 s]
/proc/loadavg: 1.11 1.25 1.93 2/222 810733
/proc/meminfo: memFree=126238816/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=245020 memory=178012 CPUtime=2973.23 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 25848 0 0 0 297313 10 0 0 20 0 1 0 158106169 250900480 44503 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 61255 44503 835 746 0 60319 0
Current children cumulated CPU time: 2973.23 s
Current children cumulated vsize: 245020 KiB
Current children cumulated memory: 178012 KiB

[startup+3042.3 s]
/proc/loadavg: 1.15 1.23 1.88 2/223 810745
/proc/meminfo: memFree=126238584/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=245020 memory=178288 CPUtime=3033.07 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 25932 0 0 0 303297 10 0 0 20 0 1 0 158106169 250900480 44572 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 61255 44572 835 746 0 60319 0
Current children cumulated CPU time: 3033.07 s
Current children cumulated vsize: 245020 KiB
Current children cumulated memory: 178288 KiB

[startup+3102.3 s]
/proc/loadavg: 1.09 1.20 1.83 2/223 811140
/proc/meminfo: memFree=126237528/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=245212 memory=178416 CPUtime=3092.91 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 26036 0 0 0 309281 10 0 0 20 0 1 0 158106169 251097088 44604 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 61303 44604 835 746 0 60367 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 245212 KiB
Current children cumulated memory: 178416 KiB

[startup+3162.3 s]
/proc/loadavg: 1.21 1.21 1.79 2/223 811150
/proc/meminfo: memFree=126237160/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=245468 memory=178736 CPUtime=3152.76 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 26170 0 0 0 315266 10 0 0 20 0 1 0 158106169 251359232 44684 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 61367 44684 835 746 0 60431 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 245468 KiB
Current children cumulated memory: 178736 KiB

[startup+3222.3 s]
/proc/loadavg: 1.14 1.18 1.75 2/223 811160
/proc/meminfo: memFree=126236612/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=245740 memory=178944 CPUtime=3212.6 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 26283 0 0 0 321250 10 0 0 20 0 1 0 158106169 251637760 44736 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 61435 44736 835 746 0 60499 0
Current children cumulated CPU time: 3212.6 s
Current children cumulated vsize: 245740 KiB
Current children cumulated memory: 178944 KiB

[startup+3282.3 s]
/proc/loadavg: 1.10 1.16 1.70 2/223 811339
/proc/meminfo: memFree=126235752/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=246412 memory=179472 CPUtime=3272.45 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 26558 0 0 0 327235 10 0 0 20 0 1 0 158106169 252325888 44868 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 61603 44868 835 746 0 60667 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 246412 KiB
Current children cumulated memory: 179472 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.15 1.66 2/222 811349
/proc/meminfo: memFree=126235484/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=246412 memory=179616 CPUtime=3332.29 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 26615 0 0 0 333219 10 0 0 20 0 1 0 158106169 252325888 44904 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 61603 44904 835 746 0 60667 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 246412 KiB
Current children cumulated memory: 179616 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.13 1.62 2/222 811373
/proc/meminfo: memFree=126234168/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=247164 memory=180176 CPUtime=3392.13 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 26899 0 0 0 339203 10 0 0 20 0 1 0 158106169 253095936 45044 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 61791 45044 835 746 0 60855 0
Current children cumulated CPU time: 3392.13 s
Current children cumulated vsize: 247164 KiB
Current children cumulated memory: 180176 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.12 1.59 2/222 811384
/proc/meminfo: memFree=126234036/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=247164 memory=180436 CPUtime=3451.98 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 26990 0 0 0 345188 10 0 0 20 0 1 0 158106169 253095936 45109 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 61791 45109 835 746 0 60855 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 247164 KiB
Current children cumulated memory: 180436 KiB

[startup+3522.3 s]
/proc/loadavg: 1.06 1.11 1.55 2/222 811394
/proc/meminfo: memFree=126233556/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=247452 memory=180656 CPUtime=3511.82 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 27108 0 0 0 351172 10 0 0 20 0 1 0 158106169 253390848 45164 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 61863 45164 835 746 0 60927 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 247452 KiB
Current children cumulated memory: 180656 KiB

[startup+3582.3 s]
/proc/loadavg: 1.06 1.10 1.52 2/221 811404
/proc/meminfo: memFree=126232808/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=248092 memory=181108 CPUtime=3571.67 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 27360 0 0 0 357157 10 0 0 20 0 1 0 158106169 254046208 45277 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 62023 45277 835 746 0 61087 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 248092 KiB
Current children cumulated memory: 181108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 1.10 1.11 1.51 2/221 811410
/proc/meminfo: memFree=126232616/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=248092 memory=181108 CPUtime=3600 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 27360 0 0 0 359990 10 0 0 20 0 1 0 158106169 254046208 45277 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 62023 45277 835 746 0 61087 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 248092 KiB
Current children cumulated memory: 181108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.9 s, system=0.105668 s

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

[startup+3610.7 s]
/proc/loadavg: 1.10 1.11 1.51 2/221 811410
/proc/meminfo: memFree=126232616/131655788 swapFree=131071996/131071996
[pid=809492] ppid=809489 vsize=248092 memory=181108 CPUtime=3600 cores=0,2
/proc/809492/stat : 809492 (Exact_nosoplex) R 809489 809492 803278 0 -1 4194304 27360 0 0 0 359990 10 0 0 20 0 1 0 158106169 254046208 45277 134679101440 4194304 7248369 140724497777200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 37031936 140724497781677 140724497781855 140724497781855 140724497788870 0
/proc/809492/statm: 62023 45277 835 746 0 61087 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 248092 KiB
Current children cumulated memory: 181108 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.01
CPU user time (s): 3599.9
CPU system time (s): 0.105668
CPU usage (%): 99.7038
Max. virtual memory (cumulated for all children) (KiB): 327388
Max. memory (cumulated for all children) (KiB): 252400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.9
system time used= 0.105668
maximum resident set size= 254448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27362
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= 29
involuntary context switches= 24640


# summary of solver processes directly reported to runsolver:
#   pid: 809492
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.9
#   total CPU system time (s): 0.105668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5884 second user time and 33.7463 second system time

The end