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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433510-1721064696/watcher-4433510-1721064696 -o /tmp/evaluation-result-4433510-1721064696/solver-4433510-1721064696 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809826 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1116363460 HOME/instance-4433510-1721064696.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
Current StackSize limit: 8192 KiB

solver pid=811757, runsolver pid=811754

[startup+0.100239 s]*
/proc/loadavg: 4.09 4.21 4.22 5/241 811766
/proc/meminfo: memFree=128251440/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=28804 memory=7900 CPUtime=0.1 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 1395 0 0 0 10 0 0 0 20 0 1 0 158628464 29495296 1975 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 7201 1975 755 746 0 6265 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28804 KiB
Current children cumulated memory: 7900 KiB

[startup+0.213059 s]*
/proc/loadavg: 4.09 4.21 4.22 5/244 811772
/proc/meminfo: memFree=128242368/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=32488 memory=16096 CPUtime=0.21 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 2438 0 0 0 21 0 0 0 20 0 1 0 158628464 33267712 4024 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 8122 4024 755 746 0 7186 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32488 KiB
Current children cumulated memory: 16096 KiB

[startup+0.313183 s]*
/proc/loadavg: 4.09 4.21 4.22 5/244 811772
/proc/meminfo: memFree=128239512/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=34604 memory=18208 CPUtime=0.3 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 3019 0 0 0 30 0 0 0 20 0 1 0 158628464 35434496 4552 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 8651 4552 755 746 0 7715 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34604 KiB
Current children cumulated memory: 18208 KiB

[startup+0.700295 s]
/proc/loadavg: 4.09 4.21 4.22 5/241 811789
/proc/meminfo: memFree=128242752/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=36420 memory=28536 CPUtime=0.69 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 3445 0 0 0 68 1 0 0 20 0 1 0 158628464 37294080 7134 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 9105 7134 835 746 0 8169 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36420 KiB
Current children cumulated memory: 28536 KiB

[startup+1.50033 s]
/proc/loadavg: 4.09 4.21 4.22 5/246 811804
/proc/meminfo: memFree=128191876/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=49760 memory=33952 CPUtime=1.49 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 3990 0 0 0 147 2 0 0 20 0 1 0 158628464 50954240 8488 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 12440 8488 835 746 0 11504 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49760 KiB
Current children cumulated memory: 33952 KiB

[startup+3.11295 s]
/proc/loadavg: 4.00 4.19 4.22 6/246 811898
/proc/meminfo: memFree=128332936/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=62208 memory=50072 CPUtime=3.09 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 6757 0 0 0 307 2 0 0 20 0 1 0 158628464 63700992 12518 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 15552 12518 835 746 0 14616 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 62208 KiB
Current children cumulated memory: 50072 KiB

[startup+6.30028 s]
/proc/loadavg: 4.00 4.19 4.22 5/246 811898
/proc/meminfo: memFree=128196800/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=63216 memory=55592 CPUtime=6.26 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 7032 0 0 0 624 2 0 0 20 0 1 0 158628464 64733184 13898 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 15804 13898 835 746 0 14868 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 63216 KiB
Current children cumulated memory: 55592 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.20 4.22 5/246 811898
/proc/meminfo: memFree=128023260/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=88420 memory=82300 CPUtime=12.65 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 8026 0 0 0 1261 4 0 0 20 0 1 0 158628464 90542080 20575 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 22105 20575 835 746 0 21169 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 88420 KiB
Current children cumulated memory: 82300 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.21 4.22 5/246 811901
/proc/meminfo: memFree=127765492/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=89980 memory=83708 CPUtime=25.41 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 8470 0 0 0 2537 4 0 0 20 0 1 0 158628464 92139520 20927 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 22495 20927 835 746 0 21559 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 89980 KiB
Current children cumulated memory: 83708 KiB

[startup+51.113 s]
/proc/loadavg: 4.17 4.21 4.22 5/246 811905
/proc/meminfo: memFree=127427460/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=132160 memory=96980 CPUtime=50.96 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 9721 0 0 0 5091 5 0 0 20 0 1 0 158628464 135331840 24245 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 33040 24245 835 746 0 32104 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 132160 KiB
Current children cumulated memory: 96980 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.19 4.21 5/247 811914
/proc/meminfo: memFree=127215664/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=136564 memory=128048 CPUtime=102.03 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 10946 0 0 0 10197 6 0 0 20 0 1 0 158628464 139841536 32012 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 34141 32012 835 746 0 33205 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 136564 KiB
Current children cumulated memory: 128048 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.20 5/245 811925
/proc/meminfo: memFree=127202900/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=139520 memory=130916 CPUtime=161.88 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 11768 0 0 0 16182 6 0 0 20 0 1 0 158628464 142868480 32729 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 34880 32729 835 746 0 33944 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 139520 KiB
Current children cumulated memory: 130916 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.20 5/245 811935
/proc/meminfo: memFree=127174936/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=209960 memory=144312 CPUtime=221.73 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 12764 0 0 0 22165 8 0 0 20 0 1 0 158628464 214999040 36078 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 52490 36078 835 746 0 51554 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 209960 KiB
Current children cumulated memory: 144312 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.17 4.19 5/242 811946
/proc/meminfo: memFree=127117560/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=212104 memory=146444 CPUtime=281.59 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 13345 0 0 0 28151 8 0 0 20 0 1 0 158628464 217194496 36611 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 53026 36611 835 746 0 52090 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 212104 KiB
Current children cumulated memory: 146444 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.13 4.17 5/242 811956
/proc/meminfo: memFree=127050408/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=214240 memory=148488 CPUtime=341.44 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 13960 0 0 0 34136 8 0 0 20 0 1 0 158628464 219381760 37122 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 53560 37122 835 746 0 52624 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 214240 KiB
Current children cumulated memory: 148488 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.12 4.17 5/242 811966
/proc/meminfo: memFree=127023292/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=214940 memory=149472 CPUtime=401.3 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 14198 0 0 0 40122 8 0 0 20 0 1 0 158628464 220098560 37368 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 53735 37368 835 746 0 52799 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 214940 KiB
Current children cumulated memory: 149472 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/242 811978
/proc/meminfo: memFree=126991632/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=216848 memory=159388 CPUtime=461.16 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 14986 0 0 0 46107 9 0 0 20 0 1 0 158628464 222052352 39847 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 54212 39847 835 746 0 53276 0

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

Current children cumulated memory: 193240 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.20 4.22 5/242 812986
/proc/meminfo: memFree=126689384/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=246728 memory=193340 CPUtime=2855.26 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 25486 0 0 0 285515 11 0 0 20 0 1 0 158628464 252649472 48335 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 61682 48335 835 746 0 60746 0
Current children cumulated CPU time: 2855.26 s
Current children cumulated vsize: 246728 KiB
Current children cumulated memory: 193340 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.18 4.21 5/241 812996
/proc/meminfo: memFree=126688040/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=247464 memory=194128 CPUtime=2915.13 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 25708 0 0 0 291501 12 0 0 20 0 1 0 158628464 253403136 48532 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 61866 48532 835 746 0 60930 0
Current children cumulated CPU time: 2915.13 s
Current children cumulated vsize: 247464 KiB
Current children cumulated memory: 194128 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.16 4.20 5/243 813010
/proc/meminfo: memFree=126686324/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=247464 memory=194316 CPUtime=2974.99 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 25837 0 0 0 297487 12 0 0 20 0 1 0 158628464 253403136 48579 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 61866 48579 835 746 0 60930 0
Current children cumulated CPU time: 2974.99 s
Current children cumulated vsize: 247464 KiB
Current children cumulated memory: 194316 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.16 4.19 5/244 813022
/proc/meminfo: memFree=126668724/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=247800 memory=198672 CPUtime=3034.85 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 25993 0 0 0 303473 12 0 0 20 0 1 0 158628464 253747200 49668 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 61950 49668 835 746 0 61014 0
Current children cumulated CPU time: 3034.85 s
Current children cumulated vsize: 247800 KiB
Current children cumulated memory: 198672 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.19 5/244 813032
/proc/meminfo: memFree=126666928/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=248024 memory=198900 CPUtime=3094.72 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 26143 0 0 0 309460 12 0 0 20 0 1 0 158628464 253976576 49725 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 62006 49725 835 746 0 61070 0
Current children cumulated CPU time: 3094.72 s
Current children cumulated vsize: 248024 KiB
Current children cumulated memory: 198900 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.18 5/244 813043
/proc/meminfo: memFree=126639500/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=248280 memory=199168 CPUtime=3154.58 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 26298 0 0 0 315446 12 0 0 20 0 1 0 158628464 254238720 49792 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 62070 49792 835 746 0 61134 0
Current children cumulated CPU time: 3154.58 s
Current children cumulated vsize: 248280 KiB
Current children cumulated memory: 199168 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/244 813053
/proc/meminfo: memFree=126635124/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=249432 memory=202336 CPUtime=3214.44 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 26662 0 0 0 321432 12 0 0 20 0 1 0 158628464 255418368 50584 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 62358 50584 835 746 0 61422 0
Current children cumulated CPU time: 3214.44 s
Current children cumulated vsize: 249432 KiB
Current children cumulated memory: 202336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 813448
/proc/meminfo: memFree=126633756/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=249832 memory=202800 CPUtime=3274.3 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 26871 0 0 0 327418 12 0 0 20 0 1 0 158628464 255827968 50700 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 62458 50700 835 746 0 61522 0
Current children cumulated CPU time: 3274.3 s
Current children cumulated vsize: 249832 KiB
Current children cumulated memory: 202800 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.17 5/243 813458
/proc/meminfo: memFree=126628004/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=254732 memory=207540 CPUtime=3334.16 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 28174 0 0 0 333404 12 0 0 20 0 1 0 158628464 260845568 51885 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 63683 51885 835 746 0 62747 0
Current children cumulated CPU time: 3334.16 s
Current children cumulated vsize: 254732 KiB
Current children cumulated memory: 207540 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/244 813469
/proc/meminfo: memFree=126626940/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=255276 memory=207988 CPUtime=3394.02 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 28397 0 0 0 339390 12 0 0 20 0 1 0 158628464 261402624 51997 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 63819 51997 835 746 0 62883 0
Current children cumulated CPU time: 3394.02 s
Current children cumulated vsize: 255276 KiB
Current children cumulated memory: 207988 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/246 813650
/proc/meminfo: memFree=126615116/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=255436 memory=208184 CPUtime=3453.88 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 28519 0 0 0 345376 12 0 0 20 0 1 0 158628464 261566464 52046 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 63859 52046 835 746 0 62923 0
Current children cumulated CPU time: 3453.88 s
Current children cumulated vsize: 255436 KiB
Current children cumulated memory: 208184 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/246 813716
/proc/meminfo: memFree=126612192/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=256704 memory=209608 CPUtime=3513.75 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 28885 0 0 0 351362 13 0 0 20 0 1 0 158628464 262864896 52402 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 64176 52402 835 746 0 63240 0
Current children cumulated CPU time: 3513.75 s
Current children cumulated vsize: 256704 KiB
Current children cumulated memory: 209608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/244 813726
/proc/meminfo: memFree=126609004/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=257408 memory=210312 CPUtime=3573.61 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 29146 0 0 0 357348 13 0 0 20 0 1 0 158628464 263585792 52578 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 64352 52578 835 746 0 63416 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 257408 KiB
Current children cumulated memory: 210312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.09 4.11 4.15 5/244 813731
/proc/meminfo: memFree=126608648/131655788 swapFree=131071996/131071996
[pid=811757] ppid=811754 vsize=257408 memory=210312 CPUtime=3600.05 cores=4,6
/proc/811757/stat : 811757 (Exact_nosoplex) R 811754 811757 809815 0 -1 4194304 29177 0 0 0 359992 13 0 0 20 0 1 0 158628464 263585792 52578 134679101440 4194304 7248369 140736276962880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19628032 140736276968364 140736276968543 140736276968543 140736276975558 0
/proc/811757/statm: 64352 52578 835 746 0 63416 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 257408 KiB
Current children cumulated memory: 210312 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.93 s, system=0.13254 s

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

Child status: 10

Real time (s): 3608.81
CPU time (s): 3600.06
CPU user time (s): 3599.93
CPU system time (s): 0.13254
CPU usage (%): 99.7576
Max. virtual memory (cumulated for all children) (KiB): 301348
Max. memory (cumulated for all children) (KiB): 210312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.93
system time used= 0.13254
maximum resident set size= 227612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29178
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= 31
involuntary context switches= 1902


# summary of solver processes directly reported to runsolver:
#   pid: 811757
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.93
#   total CPU system time (s): 0.13254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1292 second user time and 33.7263 second system time

The end