runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62106 MiB free)
  memory of node 1: 64510 MiB (62188 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433468-1721100544/watcher-4433468-1721100544 -o /tmp/evaluation-result-4433468-1721100544/solver-4433468-1721100544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721093336-835403 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1794886781 HOME/instance-4433468-1721100544.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=839458, runsolver pid=839455
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 4.06 4.08 4.11 5/260 839459
/proc/meminfo: memFree=127268932/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=31852 memory=11792 CPUtime=0.1 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 1796 0 0 0 10 0 0 0 20 0 1 0 162213512 32616448 2948 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 7963 2948 787 746 0 7027 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31852 KiB
Current children cumulated memory: 11792 KiB

[startup+0.205474 s]*
/proc/loadavg: 4.06 4.08 4.11 5/260 839459
/proc/meminfo: memFree=127267084/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=33500 memory=13556 CPUtime=0.2 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 2185 0 0 0 20 0 0 0 20 0 1 0 162213512 34304000 3389 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 8375 3389 835 746 0 7439 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33500 KiB
Current children cumulated memory: 13556 KiB

[startup+0.305202 s]*
/proc/loadavg: 4.06 4.08 4.11 5/260 839459
/proc/meminfo: memFree=127264728/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=33500 memory=15604 CPUtime=0.3 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 2187 0 0 0 30 0 0 0 20 0 1 0 162213512 34304000 3901 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 8375 3901 835 746 0 7439 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33500 KiB
Current children cumulated memory: 15604 KiB

[startup+0.700157 s]
/proc/loadavg: 4.06 4.08 4.11 5/260 839459
/proc/meminfo: memFree=127264588/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=34740 memory=16452 CPUtime=0.69 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 2382 0 0 0 69 0 0 0 20 0 1 0 162213512 35573760 4113 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 8685 4113 851 746 0 7749 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 16452 KiB

[startup+1.50015 s]
/proc/loadavg: 4.06 4.08 4.11 5/260 839459
/proc/meminfo: memFree=127263468/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=35784 memory=17508 CPUtime=1.49 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 2611 0 0 0 149 0 0 0 20 0 1 0 162213512 36642816 4377 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 8946 4377 851 746 0 8010 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35784 KiB
Current children cumulated memory: 17508 KiB

[startup+3.10555 s]
/proc/loadavg: 4.06 4.08 4.11 4/254 839490
/proc/meminfo: memFree=127288404/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=36664 memory=20192 CPUtime=3.09 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 2814 0 0 0 309 0 0 0 20 0 1 0 162213512 37543936 5048 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 9166 5048 851 746 0 8230 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36664 KiB
Current children cumulated memory: 20192 KiB

[startup+6.30015 s]
/proc/loadavg: 4.13 4.10 4.11 5/260 839597
/proc/meminfo: memFree=127072380/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=37980 memory=23484 CPUtime=6.27 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 3228 0 0 0 627 0 0 0 20 0 1 0 162213512 38891520 5871 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 9495 5871 851 746 0 8559 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 37980 KiB
Current children cumulated memory: 23484 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.11 5/260 839691
/proc/meminfo: memFree=126593328/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=38752 memory=24428 CPUtime=12.65 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 3614 0 0 0 1265 0 0 0 20 0 1 0 162213512 39682048 6107 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 9688 6107 851 746 0 8752 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 38752 KiB
Current children cumulated memory: 24428 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.11 5/260 839692
/proc/meminfo: memFree=125589616/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=39296 memory=24932 CPUtime=25.42 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 4222 0 0 0 2542 0 0 0 20 0 1 0 162213512 40239104 6233 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 9824 6233 851 746 0 8888 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 39296 KiB
Current children cumulated memory: 24932 KiB

[startup+51.1055 s]
/proc/loadavg: 4.14 4.10 4.11 5/260 839697
/proc/meminfo: memFree=125299464/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=40220 memory=25764 CPUtime=50.97 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 5234 0 0 0 5096 1 0 0 20 0 1 0 162213512 41185280 6441 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 10055 6441 851 746 0 9119 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 40220 KiB
Current children cumulated memory: 25764 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.11 4.11 5/258 839854
/proc/meminfo: memFree=124172956/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=40572 memory=26212 CPUtime=102.01 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 6692 0 0 0 10200 1 0 0 20 0 1 0 162213512 41545728 6553 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 10143 6553 851 746 0 9207 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 26212 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 839864
/proc/meminfo: memFree=123641856/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=41148 memory=26824 CPUtime=161.81 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 8245 0 0 0 16180 1 0 0 20 0 1 0 162213512 42135552 6706 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 10287 6706 851 746 0 9351 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 26824 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.12 4.11 5/258 840013
/proc/meminfo: memFree=124511492/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=41532 memory=27208 CPUtime=221.62 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 9824 0 0 0 22160 2 0 0 20 0 1 0 162213512 42528768 6802 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 10383 6802 851 746 0 9447 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 41532 KiB
Current children cumulated memory: 27208 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/256 840023
/proc/meminfo: memFree=124236860/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=41724 memory=27916 CPUtime=281.47 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 11195 0 0 0 28145 2 0 0 20 0 1 0 162213512 42725376 6979 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 10431 6979 851 746 0 9495 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 27916 KiB

[startup+342.3 s]
/proc/loadavg: 4.53 4.22 4.14 5/256 840035
/proc/meminfo: memFree=124227328/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=42492 memory=28604 CPUtime=341.32 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 12682 0 0 0 34130 2 0 0 20 0 1 0 162213512 43511808 7151 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 10623 7151 851 746 0 9687 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 42492 KiB
Current children cumulated memory: 28604 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.19 4.13 5/255 840046
/proc/meminfo: memFree=124222892/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=42684 memory=28768 CPUtime=401.17 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 14125 0 0 0 40114 3 0 0 20 0 1 0 162213512 43708416 7192 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 10671 7192 851 746 0 9735 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 42684 KiB
Current children cumulated memory: 28768 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/255 840056
/proc/meminfo: memFree=124219372/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=42940 memory=29024 CPUtime=461.03 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 14808 0 0 0 46100 3 0 0 20 0 1 0 162213512 43970560 7256 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 10735 7256 851 746 0 9799 0

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

Current children cumulated memory: 35992 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 841091
/proc/meminfo: memFree=123476648/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=47932 memory=35992 CPUtime=2914.77 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 61802 0 0 0 291466 11 0 0 20 0 1 0 162213512 49082368 8998 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 11983 8998 851 746 0 11047 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 47932 KiB
Current children cumulated memory: 35992 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/258 841101
/proc/meminfo: memFree=123475668/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=47996 memory=36288 CPUtime=2974.6 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 62792 0 0 0 297448 12 0 0 20 0 1 0 162213512 49147904 9072 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 11999 9072 851 746 0 11063 0
Current children cumulated CPU time: 2974.6 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 36288 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/255 841111
/proc/meminfo: memFree=123474432/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48124 memory=36416 CPUtime=3034.44 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 63795 0 0 0 303432 12 0 0 20 0 1 0 162213512 49278976 9104 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12031 9104 851 746 0 11095 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 48124 KiB
Current children cumulated memory: 36416 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 841126
/proc/meminfo: memFree=123473600/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48188 memory=36480 CPUtime=3094.29 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 64869 0 0 0 309417 12 0 0 20 0 1 0 162213512 49344512 9120 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12047 9120 851 746 0 11111 0
Current children cumulated CPU time: 3094.29 s
Current children cumulated vsize: 48188 KiB
Current children cumulated memory: 36480 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 841137
/proc/meminfo: memFree=123366948/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48252 memory=36544 CPUtime=3154.14 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 66030 0 0 0 315402 12 0 0 20 0 1 0 162213512 49410048 9136 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12063 9136 851 746 0 11127 0
Current children cumulated CPU time: 3154.14 s
Current children cumulated vsize: 48252 KiB
Current children cumulated memory: 36544 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 841148
/proc/meminfo: memFree=123365512/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48316 memory=36608 CPUtime=3213.98 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 67191 0 0 0 321386 12 0 0 20 0 1 0 162213512 49475584 9152 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12079 9152 851 746 0 11143 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 48316 KiB
Current children cumulated memory: 36608 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 841158
/proc/meminfo: memFree=123364736/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48316 memory=36608 CPUtime=3273.84 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 68163 0 0 0 327371 13 0 0 20 0 1 0 162213512 49475584 9152 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12079 9152 851 746 0 11143 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 48316 KiB
Current children cumulated memory: 36608 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.16 4.11 5/258 841170
/proc/meminfo: memFree=123363684/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48316 memory=36608 CPUtime=3333.69 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 69308 0 0 0 333356 13 0 0 20 0 1 0 162213512 49475584 9152 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12079 9152 851 746 0 11143 0
Current children cumulated CPU time: 3333.69 s
Current children cumulated vsize: 48316 KiB
Current children cumulated memory: 36608 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/258 841567
/proc/meminfo: memFree=123464104/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48316 memory=36608 CPUtime=3393.53 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 70365 0 0 0 339340 13 0 0 20 0 1 0 162213512 49475584 9152 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12079 9152 851 746 0 11143 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 48316 KiB
Current children cumulated memory: 36608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/257 841577
/proc/meminfo: memFree=123463780/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48316 memory=36608 CPUtime=3453.38 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 71424 0 0 0 345324 14 0 0 20 0 1 0 162213512 49475584 9152 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12079 9152 851 746 0 11143 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 48316 KiB
Current children cumulated memory: 36608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 841589
/proc/meminfo: memFree=123462412/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48316 memory=36608 CPUtime=3513.23 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 72308 0 0 0 351308 15 0 0 20 0 1 0 162213512 49475584 9152 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12079 9152 851 746 0 11143 0
Current children cumulated CPU time: 3513.23 s
Current children cumulated vsize: 48316 KiB
Current children cumulated memory: 36608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 841769
/proc/meminfo: memFree=123460940/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48380 memory=36672 CPUtime=3573.07 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 73294 0 0 0 357292 15 0 0 20 0 1 0 162213512 49541120 9168 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12095 9168 851 746 0 11159 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 48380 KiB
Current children cumulated memory: 36672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 841774
/proc/meminfo: memFree=123460852/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48380 memory=36672 CPUtime=3600.01 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 73643 0 0 0 359985 16 0 0 20 0 1 0 162213512 49541120 9168 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12095 9168 851 746 0 11159 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 48380 KiB
Current children cumulated memory: 36672 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.86 s, system=0.161511 s

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

[startup+3609.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 841774
/proc/meminfo: memFree=123460852/131524600 swapFree=130796056/131071996
[pid=839458] ppid=839455 vsize=48380 memory=36672 CPUtime=3600.01 cores=4,6
/proc/839458/stat : 839458 (Exact_nosoplex) R 839455 839458 835392 0 -1 4194304 73643 0 0 0 359985 16 0 0 20 0 1 0 162213512 49541120 9168 134679101440 4194304 7248369 140726801595840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19607552 140726801597356 140726801597535 140726801597535 140726801604550 0
/proc/839458/statm: 12095 9168 851 746 0 11159 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 48380 KiB
Current children cumulated memory: 36672 KiB

Child status: 10

Real time (s): 3609.3
CPU time (s): 3600.02
CPU user time (s): 3599.86
CPU system time (s): 0.161511
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 48792
Max. memory (cumulated for all children) (KiB): 36868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.86
system time used= 0.161511
maximum resident set size= 36932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73644
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 2531


# summary of solver processes directly reported to runsolver:
#   pid: 839458
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.86
#   total CPU system time (s): 0.161511

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6797 second user time and 12.536 second system time

The end