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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425495-1720890808/watcher-4425495-1720890808 -o /tmp/evaluation-result-4425495-1720890808/solver-4425495-1720890808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720890801-714412 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1186498392 HOME/instance-4425495-1720890808.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=715029, runsolver pid=715026

[startup+0.100257 s]*
/proc/loadavg: 1.14 0.33 0.17 5/257 715030
/proc/meminfo: memFree=129357460/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=78252 memory=55456 CPUtime=0.09 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 15423 0 0 0 7 2 0 0 20 0 1 0 141247819 80130048 13864 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 19563 13864 755 746 0 18627 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78252 KiB
Current children cumulated memory: 55456 KiB

[startup+0.205592 s]*
/proc/loadavg: 1.14 0.33 0.17 5/257 715030
/proc/meminfo: memFree=129311796/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=130932 memory=109500 CPUtime=0.19 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 24742 0 0 0 16 3 0 0 20 0 1 0 141247819 134074368 27375 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 32733 27375 755 746 0 31797 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130932 KiB
Current children cumulated memory: 109500 KiB

[startup+0.305642 s]*
/proc/loadavg: 1.14 0.33 0.17 5/257 715030
/proc/meminfo: memFree=129284872/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=151564 memory=130588 CPUtime=0.3 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 30242 0 0 0 25 5 0 0 20 0 1 0 141247819 155201536 32647 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 37891 32647 755 746 0 36955 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 151564 KiB
Current children cumulated memory: 130588 KiB

[startup+0.700239 s]
/proc/loadavg: 1.14 0.33 0.17 5/257 715030
/proc/meminfo: memFree=129188872/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=307804 memory=282492 CPUtime=0.69 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 52371 0 0 0 56 13 0 0 20 0 1 0 141247819 315191296 70623 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 76951 70623 755 746 0 76015 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 307804 KiB
Current children cumulated memory: 282492 KiB

[startup+1.50019 s]
/proc/loadavg: 1.14 0.33 0.17 5/257 715030
/proc/meminfo: memFree=128976188/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=600756 memory=580900 CPUtime=1.48 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 88564 0 0 0 124 24 0 0 20 0 1 0 141247819 615174144 145225 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 150222 145225 755 746 0 149286 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 600756 KiB
Current children cumulated memory: 580900 KiB

[startup+3.10542 s]
/proc/loadavg: 1.14 0.33 0.17 5/257 715032
/proc/meminfo: memFree=128310268/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=1202520 memory=1115536 CPUtime=3.09 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 155514 0 0 0 263 46 0 0 20 0 1 0 141247819 1231380480 278884 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 300630 278884 787 746 0 299694 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1202520 KiB
Current children cumulated memory: 1115536 KiB

[startup+6.30023 s]
/proc/loadavg: 1.37 0.39 0.19 5/257 715032
/proc/meminfo: memFree=128073932/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=1435056 memory=1322140 CPUtime=6.27 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 185920 0 0 0 573 54 0 0 20 0 1 0 141247819 1469497344 330535 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 358764 330535 851 746 0 357828 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1435056 KiB
Current children cumulated memory: 1322140 KiB

[startup+12.7002 s]
/proc/loadavg: 1.58 0.45 0.21 5/257 715033
/proc/meminfo: memFree=127898776/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=1525576 memory=1476452 CPUtime=12.65 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 208801 0 0 0 1207 58 0 0 20 0 1 0 141247819 1562189824 369113 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 381394 369113 851 746 0 380458 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1525576 KiB
Current children cumulated memory: 1476452 KiB

[startup+25.5002 s]
/proc/loadavg: 2.19 0.64 0.28 5/257 715035
/proc/meminfo: memFree=127713032/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=1754972 memory=1648516 CPUtime=25.43 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 236341 0 0 0 2476 67 0 0 20 0 1 0 141247819 1797091328 412129 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 438743 412129 851 746 0 437807 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1754972 KiB
Current children cumulated memory: 1648516 KiB

[startup+51.1054 s]
/proc/loadavg: 2.81 0.91 0.38 5/257 715038
/proc/meminfo: memFree=127474860/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=2074488 memory=1845568 CPUtime=50.98 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 263848 0 0 0 5021 77 0 0 20 0 1 0 141247819 2124275712 461392 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 518622 461392 851 746 0 517686 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2074488 KiB
Current children cumulated memory: 1845568 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 1.40 0.57 5/255 715048
/proc/meminfo: memFree=126894456/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=2769104 memory=2364168 CPUtime=102.06 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 346241 0 0 0 10105 101 0 0 20 0 1 0 141247819 2835562496 591042 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 692276 591042 851 746 0 691340 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 2769104 KiB
Current children cumulated memory: 2364168 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.89 0.80 5/255 715059
/proc/meminfo: memFree=126275660/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=3173668 memory=2946964 CPUtime=161.93 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 448092 0 0 0 16075 118 0 0 20 0 1 0 141247819 3249836032 736741 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 793417 736741 851 746 0 792481 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 3173668 KiB
Current children cumulated memory: 2946964 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.29 1.01 5/255 715069
/proc/meminfo: memFree=126100500/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=3175840 memory=3110864 CPUtime=221.8 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 449224 0 0 0 22058 122 0 0 20 0 1 0 141247819 3252060160 777716 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 793960 777716 851 746 0 793024 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 3175840 KiB
Current children cumulated memory: 3110864 KiB

[startup+282.3 s]
/proc/loadavg: 4.40 2.70 1.23 5/255 715079
/proc/meminfo: memFree=125928864/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=3836520 memory=3256424 CPUtime=281.67 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 453166 0 0 0 28025 142 0 0 20 0 1 0 141247819 3928596480 814106 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 959130 814106 851 746 0 958194 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 3836520 KiB
Current children cumulated memory: 3256424 KiB

[startup+342.3 s]
/proc/loadavg: 4.29 2.99 1.42 5/254 715090
/proc/meminfo: memFree=124797740/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=4859688 memory=4353068 CPUtime=341.54 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 664136 0 0 0 33977 177 0 0 20 0 1 0 141247819 4976320512 1088267 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 1214922 1088267 851 746 0 1213986 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 4859688 KiB
Current children cumulated memory: 4353068 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.17 1.58 5/256 715104
/proc/meminfo: memFree=124085900/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=6292168 memory=5035076 CPUtime=401.41 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 755544 0 0 0 39915 226 0 0 20 0 1 0 141247819 6443180032 1258769 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 1573042 1258769 851 746 0 1572106 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 6292168 KiB
Current children cumulated memory: 5035076 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.36 1.75 5/256 715114
/proc/meminfo: memFree=123738068/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=6293752 memory=5375464 CPUtime=461.28 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 770924 0 0 0 45892 236 0 0 20 0 1 0 141247819 6444802048 1343866 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 1573438 1343866 851 746 0 1572502 0
Current children cumulated CPU time: 461.28 s

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

Current children cumulated memory: 14505420 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.01 5/256 716759
/proc/meminfo: memFree=114333876/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18395748 memory=14582588 CPUtime=3035.95 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2275345 0 0 0 302849 746 0 0 20 0 1 0 141247819 18837245952 3645647 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4598937 3645647 851 746 0 4598001 0
Current children cumulated CPU time: 3035.95 s
Current children cumulated vsize: 18395748 KiB
Current children cumulated memory: 14582588 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.01 5/255 716769
/proc/meminfo: memFree=114247524/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18395748 memory=14668252 CPUtime=3095.83 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2287315 0 0 0 308831 752 0 0 20 0 1 0 141247819 18837245952 3667063 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4598937 3667063 851 746 0 4598001 0
Current children cumulated CPU time: 3095.83 s
Current children cumulated vsize: 18395748 KiB
Current children cumulated memory: 14668252 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.01 5/257 716783
/proc/meminfo: memFree=114145060/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18395748 memory=14766140 CPUtime=3155.71 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2300406 0 0 0 314813 758 0 0 20 0 1 0 141247819 18837245952 3691535 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4598937 3691535 851 746 0 4598001 0
Current children cumulated CPU time: 3155.71 s
Current children cumulated vsize: 18395748 KiB
Current children cumulated memory: 14766140 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.01 5/257 716794
/proc/meminfo: memFree=114056020/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18395748 memory=14852392 CPUtime=3215.58 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2312580 0 0 0 320796 762 0 0 20 0 1 0 141247819 18837245952 3713098 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4598937 3713098 851 746 0 4598001 0
Current children cumulated CPU time: 3215.58 s
Current children cumulated vsize: 18395748 KiB
Current children cumulated memory: 14852392 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.12 4.02 5/257 716804
/proc/meminfo: memFree=113972896/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18395748 memory=14932188 CPUtime=3275.46 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2323913 0 0 0 326778 768 0 0 20 0 1 0 141247819 18837245952 3733047 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4598937 3733047 851 746 0 4598001 0
Current children cumulated CPU time: 3275.46 s
Current children cumulated vsize: 18395748 KiB
Current children cumulated memory: 14932188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.14 4.03 5/257 716814
/proc/meminfo: memFree=113880604/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18397852 memory=15022020 CPUtime=3335.33 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2336623 0 0 0 332759 774 0 0 20 0 1 0 141247819 18839400448 3755505 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4599463 3755505 851 746 0 4598527 0
Current children cumulated CPU time: 3335.33 s
Current children cumulated vsize: 18397852 KiB
Current children cumulated memory: 15022020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.03 5/257 716827
/proc/meminfo: memFree=113748984/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18397852 memory=15152948 CPUtime=3395.21 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2353028 0 0 0 338740 781 0 0 20 0 1 0 141247819 18839400448 3788237 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4599463 3788237 851 746 0 4598527 0
Current children cumulated CPU time: 3395.21 s
Current children cumulated vsize: 18397852 KiB
Current children cumulated memory: 15152948 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/258 716839
/proc/meminfo: memFree=113572412/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18397852 memory=15328024 CPUtime=3455.09 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2373321 0 0 0 344721 788 0 0 20 0 1 0 141247819 18839400448 3832006 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4599463 3832006 851 746 0 4598527 0
Current children cumulated CPU time: 3455.09 s
Current children cumulated vsize: 18397852 KiB
Current children cumulated memory: 15328024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/256 716849
/proc/meminfo: memFree=113456960/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18401924 memory=15433872 CPUtime=3514.96 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2388335 0 0 0 350703 793 0 0 20 0 1 0 141247819 18843570176 3858468 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4600481 3858468 851 746 0 4599545 0
Current children cumulated CPU time: 3514.96 s
Current children cumulated vsize: 18401924 KiB
Current children cumulated memory: 15433872 KiB

[startup+3582.3 s]
/proc/loadavg: 4.43 4.19 4.06 5/256 716860
/proc/meminfo: memFree=113367164/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18401924 memory=15522716 CPUtime=3574.84 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2401588 0 0 0 356685 799 0 0 20 0 1 0 141247819 18843570176 3880679 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4600481 3880679 851 746 0 4599545 0
Current children cumulated CPU time: 3574.84 s
Current children cumulated vsize: 18401924 KiB
Current children cumulated memory: 15522716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.6 s]
/proc/loadavg: 3.96 4.11 4.04 2/235 716956
/proc/meminfo: memFree=114223328/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=18401924 memory=15556084 CPUtime=3600.08 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2407234 0 0 0 359207 801 0 0 20 0 1 0 141247819 18843570176 3889021 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 4600481 3889021 851 746 0 4599545 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 18401924 KiB
Current children cumulated memory: 15556084 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.64 s, system=8.17725 s

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

[startup+3608 s]*
/proc/loadavg: 3.96 4.11 4.04 2/235 716956
/proc/meminfo: memFree=120771120/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=9999016 memory=9020776 CPUtime=3600.48 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2409151 0 0 0 359245 803 0 0 20 0 1 0 141247819 10238992384 2255194 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 2499754 2255194 851 746 0 2498818 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 9999016 KiB
Current children cumulated memory: 9020776 KiB

[startup+3608.2 s]
/proc/loadavg: 3.96 4.11 4.04 2/235 716956
/proc/meminfo: memFree=120771120/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=9811684 memory=6384852 CPUtime=3600.68 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2409306 0 0 0 359264 804 0 0 20 0 1 0 141247819 10047164416 1596213 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 2452921 1596213 851 746 0 2451985 0
Current children cumulated CPU time: 3600.68 s
Current children cumulated vsize: 9811684 KiB
Current children cumulated memory: 6384852 KiB

[startup+3608.3 s]
/proc/loadavg: 3.96 4.11 4.04 2/235 716956
/proc/meminfo: memFree=120771120/131524600 swapFree=131071996/131071996
[pid=715029] ppid=715026 vsize=9811684 memory=3514244 CPUtime=3600.78 cores=4,6
/proc/715029/stat : 715029 (Exact_nosoplex) R 715026 715029 714401 0 -1 4194304 2409306 0 0 0 359264 814 0 0 20 0 1 0 141247819 10047164416 878561 134679101440 4194304 7248369 140736835207504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 43368448 140736835212234 140736835212413 140736835212413 140736835219398 0
/proc/715029/statm: 2452921 878561 851 746 0 2451985 0
Current children cumulated CPU time: 3600.78 s
Current children cumulated vsize: 9811684 KiB
Current children cumulated memory: 3514244 KiB

Child status: 10

Real time (s): 3608.33
CPU time (s): 3600.82
CPU user time (s): 3592.64
CPU system time (s): 8.17725
CPU usage (%): 99.7918
Max. virtual memory (cumulated for all children) (KiB): 19806300
Max. memory (cumulated for all children) (KiB): 15761860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.64
system time used= 8.17726
maximum resident set size= 16019908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2409314
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= 36
involuntary context switches= 4608


# summary of solver processes directly reported to runsolver:
#   pid: 715029
#   total CPU time (s): 3600.82
#   total CPU user time (s): 3592.64
#   total CPU system time (s): 8.17725

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23338 second user time and 16.7597 second system time

The end