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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459237-1721899903/watcher-4459237-1721899903 -o /tmp/evaluation-result-4459237-1721899903/solver-4459237-1721899903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721899903-227126 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1190851821 HOME/instance-4459237-1721899903.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=227158, runsolver pid=227152

[startup+0.100353 s]*
/proc/loadavg: 3.80 4.09 4.11 5/242 227175
/proc/meminfo: memFree=124806476/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=29372 memory=9528 CPUtime=0.09 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 1226 0 0 0 9 0 0 0 20 0 1 0 25980048 30076928 2382 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 7343 2382 787 746 0 6407 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29372 KiB
Current children cumulated memory: 9528 KiB

[startup+0.213766 s]*
/proc/loadavg: 3.80 4.09 4.11 5/242 227175
/proc/meminfo: memFree=124796752/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=29636 memory=9972 CPUtime=0.21 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 1284 0 0 0 21 0 0 0 20 0 1 0 25980048 30347264 2493 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 7409 2493 835 746 0 6473 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 9972 KiB

[startup+0.312431 s]*
/proc/loadavg: 3.80 4.09 4.11 5/241 227176
/proc/meminfo: memFree=124793636/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=29768 memory=9972 CPUtime=0.3 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 1309 0 0 0 30 0 0 0 20 0 1 0 25980048 30482432 2493 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 7442 2493 835 746 0 6506 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 9972 KiB

[startup+0.700419 s]
/proc/loadavg: 3.80 4.09 4.11 5/241 227187
/proc/meminfo: memFree=124764132/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=30036 memory=10236 CPUtime=0.68 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 1380 0 0 0 67 1 0 0 20 0 1 0 25980048 30756864 2559 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 7509 2559 835 746 0 6573 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30036 KiB
Current children cumulated memory: 10236 KiB

[startup+1.50038 s]
/proc/loadavg: 3.80 4.09 4.11 5/244 227200
/proc/meminfo: memFree=124727436/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=30920 memory=15276 CPUtime=1.47 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 1628 0 0 0 146 1 0 0 20 0 1 0 25980048 31662080 3819 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 7730 3819 835 746 0 6794 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 30920 KiB
Current children cumulated memory: 15276 KiB

[startup+3.11298 s]
/proc/loadavg: 3.90 4.10 4.12 5/246 227234
/proc/meminfo: memFree=124564576/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=32716 memory=27260 CPUtime=3.08 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 2194 0 0 0 306 2 0 0 20 0 1 0 25980048 33501184 6815 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 8179 6815 835 746 0 7243 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32716 KiB
Current children cumulated memory: 27260 KiB

[startup+6.30028 s]
/proc/loadavg: 3.90 4.10 4.12 5/246 227234
/proc/meminfo: memFree=124412312/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=35256 memory=29808 CPUtime=6.26 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 2925 0 0 0 624 2 0 0 20 0 1 0 25980048 36102144 7452 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 8814 7452 835 746 0 7878 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 35256 KiB
Current children cumulated memory: 29808 KiB

[startup+12.7003 s]
/proc/loadavg: 3.91 4.10 4.11 5/246 227234
/proc/meminfo: memFree=124169712/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=50624 memory=45284 CPUtime=12.64 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 3943 0 0 0 1261 3 0 0 20 0 1 0 25980048 51838976 11321 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 12656 11321 835 746 0 11720 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 50624 KiB
Current children cumulated memory: 45284 KiB

[startup+25.5004 s]
/proc/loadavg: 3.93 4.09 4.11 5/246 227237
/proc/meminfo: memFree=123792244/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=79376 memory=56700 CPUtime=25.41 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 5706 0 0 0 2537 4 0 0 20 0 1 0 25980048 81281024 14175 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 19844 14175 835 746 0 18908 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 79376 KiB
Current children cumulated memory: 56700 KiB

[startup+51.1137 s]
/proc/loadavg: 4.09 4.12 4.12 5/246 227240
/proc/meminfo: memFree=123220052/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=82652 memory=70192 CPUtime=50.95 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 6530 0 0 0 5091 4 0 0 20 0 1 0 25980048 84635648 17548 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 20663 17548 835 746 0 19727 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 82652 KiB
Current children cumulated memory: 70192 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/246 227248
/proc/meminfo: memFree=122749340/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=88248 memory=82576 CPUtime=101.99 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 7929 0 0 0 10194 5 0 0 20 0 1 0 25980048 90365952 20644 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 22062 20644 835 746 0 21126 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 88248 KiB
Current children cumulated memory: 82576 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/245 227258
/proc/meminfo: memFree=122404988/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=94188 memory=87928 CPUtime=161.83 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 9356 0 0 0 16178 5 0 0 20 0 1 0 25980048 96448512 21982 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 23547 21982 835 746 0 22611 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 94188 KiB
Current children cumulated memory: 87928 KiB

[startup+222.3 s]
/proc/loadavg: 4.25 4.15 4.12 5/242 227269
/proc/meminfo: memFree=122077884/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=96172 memory=89868 CPUtime=221.68 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 9872 0 0 0 22162 6 0 0 20 0 1 0 25980048 98480128 22467 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 24043 22467 835 746 0 23107 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 96172 KiB
Current children cumulated memory: 89868 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.15 4.12 5/244 227282
/proc/meminfo: memFree=121704940/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=99700 memory=93164 CPUtime=281.52 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 10723 0 0 0 28146 6 0 0 20 0 1 0 25980048 102092800 23291 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 24925 23291 835 746 0 23989 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 99700 KiB
Current children cumulated memory: 93164 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/243 227292
/proc/meminfo: memFree=121492132/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=101700 memory=95132 CPUtime=341.37 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 11239 0 0 0 34131 6 0 0 20 0 1 0 25980048 104140800 23783 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 25425 23783 835 746 0 24489 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 101700 KiB
Current children cumulated memory: 95132 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/243 227302
/proc/meminfo: memFree=121366764/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=105920 memory=98956 CPUtime=401.21 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 12263 0 0 0 40114 7 0 0 20 0 1 0 25980048 108462080 24739 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 26480 24739 835 746 0 25544 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 105920 KiB
Current children cumulated memory: 98956 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/245 227316
/proc/meminfo: memFree=121222276/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=108772 memory=102004 CPUtime=461.06 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 13000 0 0 0 46099 7 0 0 20 0 1 0 25980048 111382528 25501 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 27193 25501 835 746 0 26257 0

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

Current children cumulated memory: 147656 KiB

[startup+2862.3 s]
/proc/loadavg: 4.24 4.26 4.17 5/242 228318
/proc/meminfo: memFree=118515396/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=184940 memory=147832 CPUtime=2854.98 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 24041 0 0 0 285480 18 0 0 20 0 1 0 25980048 189378560 36958 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 46235 36958 835 746 0 45299 0
Current children cumulated CPU time: 2854.98 s
Current children cumulated vsize: 184940 KiB
Current children cumulated memory: 147832 KiB

[startup+2922.3 s]
/proc/loadavg: 4.53 4.33 4.20 5/244 228332
/proc/meminfo: memFree=118503540/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=185132 memory=147992 CPUtime=2914.83 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 24129 0 0 0 291465 18 0 0 20 0 1 0 25980048 189575168 36998 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 46283 36998 835 746 0 45347 0
Current children cumulated CPU time: 2914.83 s
Current children cumulated vsize: 185132 KiB
Current children cumulated memory: 147992 KiB

[startup+2982.3 s]
/proc/loadavg: 4.59 4.40 4.23 5/244 228343
/proc/meminfo: memFree=118495072/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189004 memory=151832 CPUtime=2974.69 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 24645 0 0 0 297451 18 0 0 20 0 1 0 25980048 193540096 37958 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47251 37958 835 746 0 46315 0
Current children cumulated CPU time: 2974.69 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 151832 KiB

[startup+3042.3 s]
/proc/loadavg: 4.27 4.34 4.22 5/244 228354
/proc/meminfo: memFree=118466548/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189004 memory=151864 CPUtime=3034.55 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 24711 0 0 0 303436 19 0 0 20 0 1 0 25980048 193540096 37966 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47251 37966 835 746 0 46315 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 151864 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.29 4.21 5/244 228364
/proc/meminfo: memFree=118462476/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189004 memory=151864 CPUtime=3094.4 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 24758 0 0 0 309420 20 0 0 20 0 1 0 25980048 193540096 37966 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47251 37966 835 746 0 46315 0
Current children cumulated CPU time: 3094.4 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 151864 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.26 4.20 5/244 228374
/proc/meminfo: memFree=118460964/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189004 memory=151864 CPUtime=3154.25 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 24833 0 0 0 315405 20 0 0 20 0 1 0 25980048 193540096 37966 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47251 37966 835 746 0 46315 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 151864 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.25 4.19 5/246 228771
/proc/meminfo: memFree=118450880/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189004 memory=151864 CPUtime=3214.1 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 24891 0 0 0 321390 20 0 0 20 0 1 0 25980048 193540096 37966 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47251 37966 835 746 0 46315 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 151864 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.24 4.19 5/245 228781
/proc/meminfo: memFree=118443228/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189004 memory=158016 CPUtime=3273.95 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 24964 0 0 0 327375 20 0 0 20 0 1 0 25980048 193540096 39504 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47251 39504 835 746 0 46315 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 158016 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.21 4.18 5/245 228791
/proc/meminfo: memFree=118436832/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189004 memory=158020 CPUtime=3333.8 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 25018 0 0 0 333360 20 0 0 20 0 1 0 25980048 193540096 39505 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47251 39505 835 746 0 46315 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 158020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/246 228971
/proc/meminfo: memFree=118426476/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189004 memory=158020 CPUtime=3393.66 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 25090 0 0 0 339346 20 0 0 20 0 1 0 25980048 193540096 39505 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47251 39505 835 746 0 46315 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 158020 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/246 228981
/proc/meminfo: memFree=118425100/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189004 memory=158020 CPUtime=3453.51 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 25137 0 0 0 345331 20 0 0 20 0 1 0 25980048 193540096 39505 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47251 39505 835 746 0 46315 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 158020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/247 229048
/proc/meminfo: memFree=118420960/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189004 memory=158020 CPUtime=3513.36 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 25202 0 0 0 351316 20 0 0 20 0 1 0 25980048 193540096 39505 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47251 39505 835 746 0 46315 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 158020 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/245 229059
/proc/meminfo: memFree=118417948/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=189932 memory=158880 CPUtime=3573.22 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 25476 0 0 0 357301 21 0 0 20 0 1 0 25980048 194490368 39720 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47483 39720 835 746 0 46547 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 189932 KiB
Current children cumulated memory: 158880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.08 4.14 4.16 5/245 229066
/proc/meminfo: memFree=118409324/131655788 swapFree=131057052/131071996
[pid=227158] ppid=227152 vsize=190348 memory=163268 CPUtime=3600.06 cores=5,7
/proc/227158/stat : 227158 (Exact_nosoplex) R 227152 227158 227113 0 -1 4194304 25605 0 0 0 359985 21 0 0 20 0 1 0 25980048 194916352 40817 134679101440 4194304 7248369 140726385340768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 21839872 140726385349548 140726385349727 140726385349727 140726385356742 0
/proc/227158/statm: 47587 40817 835 746 0 46651 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 190348 KiB
Current children cumulated memory: 163268 KiB

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

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

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

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

Child status: 10

Real time (s): 3609.2
CPU time (s): 3600.07
CPU user time (s): 3599.86
CPU system time (s): 0.213374
CPU usage (%): 99.7469
Max. virtual memory (cumulated for all children) (KiB): 190348
Max. memory (cumulated for all children) (KiB): 163268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.86
system time used= 0.213374
maximum resident set size= 163268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25607
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= 2032


# summary of solver processes directly reported to runsolver:
#   pid: 227158
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.86
#   total CPU system time (s): 0.213374

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4757 second user time and 33.7652 second system time

The end