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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425553-1720881701/watcher-4425553-1720881701 -o /tmp/evaluation-result-4425553-1720881701/solver-4425553-1720881701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720881285-709136 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=867897624 HOME/instance-4425553-1720881701.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=709690, runsolver pid=709687

[startup+0.101059 s]*
/proc/loadavg: 4.20 3.49 2.31 5/256 709691
/proc/meminfo: memFree=126495132/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=78376 memory=56060 CPUtime=0.09 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 15536 0 0 0 8 1 0 0 20 0 1 0 140334271 80257024 14015 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 19594 14015 755 746 0 18658 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78376 KiB
Current children cumulated memory: 56060 KiB

[startup+0.205632 s]*
/proc/loadavg: 4.20 3.49 2.31 5/256 709691
/proc/meminfo: memFree=126448376/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=124288 memory=101580 CPUtime=0.2 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 24682 0 0 0 17 3 0 0 20 0 1 0 140334271 127270912 25395 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 31072 25395 755 746 0 30136 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 124288 KiB
Current children cumulated memory: 101580 KiB

[startup+0.305582 s]*
/proc/loadavg: 4.20 3.49 2.31 5/256 709691
/proc/meminfo: memFree=126412820/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=151508 memory=132072 CPUtime=0.3 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 31045 0 0 0 25 5 0 0 20 0 1 0 140334271 155144192 33018 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 37877 33018 755 746 0 36941 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 151508 KiB
Current children cumulated memory: 132072 KiB

[startup+0.700243 s]
/proc/loadavg: 4.20 3.49 2.31 5/256 709691
/proc/meminfo: memFree=126312228/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=312280 memory=285156 CPUtime=0.68 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 52322 0 0 0 58 10 0 0 20 0 1 0 140334271 319774720 71289 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 78070 71289 771 746 0 77134 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 312280 KiB
Current children cumulated memory: 285156 KiB

[startup+1.50024 s]
/proc/loadavg: 4.20 3.49 2.31 5/256 709691
/proc/meminfo: memFree=126186588/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=390732 memory=377232 CPUtime=1.48 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 74614 0 0 0 134 14 0 0 20 0 1 0 140334271 400109568 94308 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 97683 94308 851 746 0 96747 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 390732 KiB
Current children cumulated memory: 377232 KiB

[startup+3.10548 s]
/proc/loadavg: 4.18 3.50 2.32 5/256 709691
/proc/meminfo: memFree=126120680/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=431540 memory=401796 CPUtime=3.08 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 79145 0 0 0 293 15 0 0 20 0 1 0 140334271 441896960 100449 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 107885 100449 851 746 0 106949 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 431540 KiB
Current children cumulated memory: 401796 KiB

[startup+6.30023 s]
/proc/loadavg: 4.18 3.50 2.32 5/256 709691
/proc/meminfo: memFree=126056864/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=506412 memory=457780 CPUtime=6.27 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 88537 0 0 0 609 18 0 0 20 0 1 0 140334271 518565888 114445 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 126603 114445 851 746 0 125667 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 506412 KiB
Current children cumulated memory: 457780 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 3.51 2.33 5/256 709692
/proc/meminfo: memFree=125918904/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=553008 memory=537316 CPUtime=12.66 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 100326 0 0 0 1245 21 0 0 20 0 1 0 140334271 566280192 134329 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 138252 134329 851 746 0 137316 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 553008 KiB
Current children cumulated memory: 537316 KiB

[startup+25.5003 s]
/proc/loadavg: 4.21 3.55 2.36 5/256 709694
/proc/meminfo: memFree=125623272/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=721372 memory=701952 CPUtime=25.42 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 125924 0 0 0 2515 27 0 0 20 0 1 0 140334271 738684928 175488 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 180343 175488 851 746 0 179407 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 721372 KiB
Current children cumulated memory: 701952 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 3.58 2.40 5/256 709698
/proc/meminfo: memFree=125143900/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=938460 memory=863732 CPUtime=50.96 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 150416 0 0 0 5062 34 0 0 20 0 1 0 140334271 960983040 215933 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 234615 215933 851 746 0 233679 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 938460 KiB
Current children cumulated memory: 863732 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 3.68 2.50 5/256 709707
/proc/meminfo: memFree=123825200/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=1342136 memory=1114924 CPUtime=102.02 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 188827 0 0 0 10155 47 0 0 20 0 1 0 140334271 1374347264 278731 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 335534 278731 851 746 0 334598 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1342136 KiB
Current children cumulated memory: 1114924 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 3.77 2.61 5/256 709719
/proc/meminfo: memFree=123262404/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=1479360 memory=1430304 CPUtime=161.86 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 233172 0 0 0 16131 55 0 0 20 0 1 0 140334271 1514864640 357576 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 369840 357576 851 746 0 368904 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1479360 KiB
Current children cumulated memory: 1430304 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 3.84 2.71 5/255 709730
/proc/meminfo: memFree=122865344/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=1861340 memory=1485436 CPUtime=221.72 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 237243 0 0 0 22105 67 0 0 20 0 1 0 140334271 1906012160 371359 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 465335 371359 851 746 0 464399 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1861340 KiB
Current children cumulated memory: 1485436 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.89 2.80 5/255 709740
/proc/meminfo: memFree=122759652/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=1861912 memory=1524856 CPUtime=281.55 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 237778 0 0 0 28088 67 0 0 20 0 1 0 140334271 1906597888 381214 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 465478 381214 851 746 0 464542 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1861912 KiB
Current children cumulated memory: 1524856 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.93 2.88 5/255 709751
/proc/meminfo: memFree=121898776/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=2245876 memory=1840564 CPUtime=341.39 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 302749 0 0 0 34062 77 0 0 20 0 1 0 140334271 2299777024 460141 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 561469 460141 851 746 0 560533 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 2245876 KiB
Current children cumulated memory: 1840564 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.96 2.96 5/255 709761
/proc/meminfo: memFree=121772040/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=2247596 memory=1915048 CPUtime=401.24 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 309581 0 0 0 40043 81 0 0 20 0 1 0 140334271 2301538304 478762 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 561899 478762 851 746 0 560963 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 2247596 KiB
Current children cumulated memory: 1915048 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.01 3.04 5/255 709771
/proc/meminfo: memFree=121650764/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=2249220 memory=1985916 CPUtime=461.09 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 316084 0 0 0 46025 84 0 0 20 0 1 0 140334271 2303201280 496479 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 562305 496479 851 746 0 561369 0
Current children cumulated CPU time: 461.09 s

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

/proc/709690/statm: 1690524 1432142 851 746 0 1689588 0
Current children cumulated CPU time: 2914.9 s
Current children cumulated vsize: 6762096 KiB
Current children cumulated memory: 5728568 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.13 4.08 5/257 711404
/proc/meminfo: memFree=116636828/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6762096 memory=5728576 CPUtime=2974.76 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 937613 0 0 0 297165 311 0 0 20 0 1 0 140334271 6924386304 1432144 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1690524 1432144 851 746 0 1689588 0
Current children cumulated CPU time: 2974.76 s
Current children cumulated vsize: 6762096 KiB
Current children cumulated memory: 5728576 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/257 711414
/proc/meminfo: memFree=116619508/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6762096 memory=5731488 CPUtime=3034.6 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 938410 0 0 0 303147 313 0 0 20 0 1 0 140334271 6924386304 1432872 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1690524 1432872 851 746 0 1689588 0
Current children cumulated CPU time: 3034.6 s
Current children cumulated vsize: 6762096 KiB
Current children cumulated memory: 5731488 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/257 711424
/proc/meminfo: memFree=116615284/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6762380 memory=5732176 CPUtime=3094.44 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 939758 0 0 0 309128 316 0 0 20 0 1 0 140334271 6924677120 1433044 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1690595 1433044 851 746 0 1689659 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 6762380 KiB
Current children cumulated memory: 5732176 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 711436
/proc/meminfo: memFree=116583388/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6762524 memory=5734032 CPUtime=3154.28 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 941119 0 0 0 315109 319 0 0 20 0 1 0 140334271 6924824576 1433508 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1690631 1433508 851 746 0 1689695 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 6762524 KiB
Current children cumulated memory: 5734032 KiB

[startup+3222.3 s]
/proc/loadavg: 3.68 4.01 4.05 4/247 711476
/proc/meminfo: memFree=120188256/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6762964 memory=5734320 CPUtime=3214.14 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 942757 0 0 0 321093 321 0 0 20 0 1 0 140334271 6925275136 1433580 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1690741 1433580 851 746 0 1689805 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 6762964 KiB
Current children cumulated memory: 5734320 KiB

[startup+3282.3 s]
/proc/loadavg: 3.30 3.84 3.99 4/248 711487
/proc/meminfo: memFree=120187508/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6763284 memory=5734732 CPUtime=3274 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 944422 0 0 0 327077 323 0 0 20 0 1 0 140334271 6925602816 1433683 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1690821 1433683 851 746 0 1689885 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 6763284 KiB
Current children cumulated memory: 5734732 KiB

[startup+3342.3 s]
/proc/loadavg: 3.21 3.71 3.93 4/248 711499
/proc/meminfo: memFree=120169616/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6780956 memory=5752340 CPUtime=3333.87 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 948439 0 0 0 333061 326 0 0 20 0 1 0 140334271 6943698944 1438085 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1695239 1438085 851 746 0 1694303 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 6780956 KiB
Current children cumulated memory: 5752340 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.60 3.88 4/251 711514
/proc/meminfo: memFree=120130796/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6816700 memory=5788104 CPUtime=3393.71 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 958188 0 0 0 339043 328 0 0 20 0 1 0 140334271 6980300800 1447026 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1704175 1447026 851 746 0 1703239 0
Current children cumulated CPU time: 3393.71 s
Current children cumulated vsize: 6816700 KiB
Current children cumulated memory: 5788104 KiB

[startup+3462.3 s]
/proc/loadavg: 3.09 3.50 3.83 3/244 711556
/proc/meminfo: memFree=122061392/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6816700 memory=5788740 CPUtime=3453.55 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 959476 0 0 0 345025 330 0 0 20 0 1 0 140334271 6980300800 1447185 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1704175 1447185 851 746 0 1703239 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 6816700 KiB
Current children cumulated memory: 5788740 KiB

[startup+3522.3 s]
/proc/loadavg: 2.05 3.14 3.68 2/238 711599
/proc/meminfo: memFree=124030500/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6816700 memory=5788744 CPUtime=3513.43 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 960772 0 0 0 351011 332 0 0 20 0 1 0 140334271 6980300800 1447186 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1704175 1447186 851 746 0 1703239 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 6816700 KiB
Current children cumulated memory: 5788744 KiB

[startup+3582.3 s]
/proc/loadavg: 1.39 2.75 3.51 2/237 711610
/proc/meminfo: memFree=124030364/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6816700 memory=5788744 CPUtime=3573.3 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 962257 0 0 0 356997 333 0 0 20 0 1 0 140334271 6980300800 1447186 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1704175 1447186 851 746 0 1703239 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 6816700 KiB
Current children cumulated memory: 5788744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 1.29 2.60 3.43 2/237 711615
/proc/meminfo: memFree=124030172/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=6816700 memory=5788744 CPUtime=3600.05 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 963032 0 0 0 359671 334 0 0 20 0 1 0 140334271 6980300800 1447186 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1704175 1447186 851 746 0 1703239 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 6816700 KiB
Current children cumulated memory: 5788744 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.87 s, system=3.43298 s

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

[startup+3609.2 s]
/proc/loadavg: 1.29 2.60 3.43 2/237 711615
/proc/meminfo: memFree=124030172/131524600 swapFree=131071996/131071996
[pid=709690] ppid=709687 vsize=4105752 memory=3582132 CPUtime=3600.14 cores=1,3
/proc/709690/stat : 709690 (Exact_nosoplex) R 709687 709690 704971 0 -1 4194304 963118 0 0 0 359680 334 0 0 20 0 1 0 140334271 4204290048 895533 134679101440 4194304 7248369 140734829419872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20852736 140734829421459 140734829421637 140734829421637 140734829428678 0
/proc/709690/statm: 1026438 895533 851 746 0 1025502 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 4105752 KiB
Current children cumulated memory: 3582132 KiB

[startup+3609.3 s]*
/proc/loadavg: 1.29 2.60 3.43 2/237 711615
/proc/meminfo: memFree=128261824/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3609.35
CPU time (s): 3600.3
CPU user time (s): 3596.87
CPU system time (s): 3.43298
CPU usage (%): 99.7493
Max. virtual memory (cumulated for all children) (KiB): 6816700
Max. memory (cumulated for all children) (KiB): 5788744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.87
system time used= 3.43298
maximum resident set size= 5788744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 963163
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= 27
involuntary context switches= 3497


# summary of solver processes directly reported to runsolver:
#   pid: 709690
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3596.87
#   total CPU system time (s): 3.43298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69276 second user time and 16.5962 second system time

The end