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

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


[startup+0.100086 s]*
/proc/loadavg: 4.15 4.11 4.10 5/258 840009
/proc/meminfo: memFree=124607824/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=31784 memory=13148 CPUtime=0.09 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 2136 0 0 0 9 0 0 0 20 0 1 0 162234042 32546816 3287 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 7946 3287 787 746 0 7010 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31784 KiB
Current children cumulated memory: 13148 KiB

[startup+0.205764 s]*
/proc/loadavg: 4.15 4.11 4.10 5/258 840009
/proc/meminfo: memFree=124605640/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=33296 memory=14972 CPUtime=0.2 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 2531 0 0 0 20 0 0 0 20 0 1 0 162234042 34095104 3743 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 8324 3743 851 746 0 7388 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 14972 KiB

[startup+0.305626 s]*
/proc/loadavg: 4.15 4.11 4.10 5/258 840009
/proc/meminfo: memFree=124604716/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=33428 memory=14972 CPUtime=0.3 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 2545 0 0 0 30 0 0 0 20 0 1 0 162234042 34230272 3743 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 8357 3743 851 746 0 7421 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33428 KiB
Current children cumulated memory: 14972 KiB

[startup+0.700207 s]
/proc/loadavg: 4.15 4.11 4.10 5/258 840009
/proc/meminfo: memFree=124604176/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=34072 memory=15732 CPUtime=0.68 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 2678 0 0 0 68 0 0 0 20 0 1 0 162234042 34889728 3933 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 8518 3933 851 746 0 7582 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34072 KiB
Current children cumulated memory: 15732 KiB

[startup+1.5002 s]
/proc/loadavg: 4.15 4.11 4.10 5/258 840009
/proc/meminfo: memFree=124600676/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=34936 memory=16520 CPUtime=1.48 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 2877 0 0 0 148 0 0 0 20 0 1 0 162234042 35774464 4130 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 8734 4130 851 746 0 7798 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 16520 KiB

[startup+3.10573 s]
/proc/loadavg: 4.15 4.11 4.10 5/258 840011
/proc/meminfo: memFree=124588132/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=35524 memory=19084 CPUtime=3.08 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 3049 0 0 0 308 0 0 0 20 0 1 0 162234042 36376576 4771 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 8881 4771 851 746 0 7945 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 35524 KiB
Current children cumulated memory: 19084 KiB

[startup+6.3002 s]
/proc/loadavg: 4.14 4.11 4.10 5/258 840011
/proc/meminfo: memFree=124565688/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=36648 memory=22228 CPUtime=6.27 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 3479 0 0 0 627 0 0 0 20 0 1 0 162234042 37527552 5557 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 9162 5557 851 746 0 8226 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36648 KiB
Current children cumulated memory: 22228 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.10 5/258 840012
/proc/meminfo: memFree=123689876/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=37512 memory=22908 CPUtime=12.65 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 3837 0 0 0 1265 0 0 0 20 0 1 0 162234042 38412288 5727 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 9378 5727 851 746 0 8442 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 37512 KiB
Current children cumulated memory: 22908 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.11 4.11 5/258 840015
/proc/meminfo: memFree=124465472/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=37764 memory=23092 CPUtime=25.42 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 4484 0 0 0 2542 0 0 0 20 0 1 0 162234042 38670336 5773 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 9441 5773 851 746 0 8505 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 23092 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.10 4.10 5/257 840018
/proc/meminfo: memFree=124311968/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=38468 memory=23796 CPUtime=50.97 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 5494 0 0 0 5096 1 0 0 20 0 1 0 162234042 39391232 5949 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 9617 5949 851 746 0 8681 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 38468 KiB
Current children cumulated memory: 23796 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/256 840028
/proc/meminfo: memFree=124229860/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=39556 memory=24860 CPUtime=102.03 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 7495 0 0 0 10202 1 0 0 20 0 1 0 162234042 40505344 6215 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 9889 6215 851 746 0 8953 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 39556 KiB
Current children cumulated memory: 24860 KiB

[startup+162.3 s]
/proc/loadavg: 4.35 4.20 4.13 5/256 840038
/proc/meminfo: memFree=124226712/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=39940 memory=25328 CPUtime=161.88 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 9538 0 0 0 16186 2 0 0 20 0 1 0 162234042 40898560 6332 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 9985 6332 851 746 0 9049 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 39940 KiB
Current children cumulated memory: 25328 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/255 840049
/proc/meminfo: memFree=124222312/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=40356 memory=25800 CPUtime=221.72 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 11201 0 0 0 22170 2 0 0 20 0 1 0 162234042 41324544 6450 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 10089 6450 851 746 0 9153 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 40356 KiB
Current children cumulated memory: 25800 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/256 840060
/proc/meminfo: memFree=124216036/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=40452 memory=27984 CPUtime=281.56 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 12763 0 0 0 28154 2 0 0 20 0 1 0 162234042 41422848 6996 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 10113 6996 851 746 0 9177 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 27984 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/256 840072
/proc/meminfo: memFree=124183964/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=40548 memory=28100 CPUtime=341.41 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 14428 0 0 0 34138 3 0 0 20 0 1 0 162234042 41521152 7025 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 10137 7025 851 746 0 9201 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 40548 KiB
Current children cumulated memory: 28100 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/256 840082
/proc/meminfo: memFree=124169996/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=41092 memory=28636 CPUtime=401.25 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 15997 0 0 0 40122 3 0 0 20 0 1 0 162234042 42078208 7159 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 10273 7159 851 746 0 9337 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 41092 KiB
Current children cumulated memory: 28636 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/256 840092
/proc/meminfo: memFree=124164652/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=41616 memory=29204 CPUtime=461.11 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 17595 0 0 0 46107 4 0 0 20 0 1 0 162234042 42614784 7301 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 10404 7301 851 746 0 9468 0

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

Current children cumulated memory: 35348 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 841114
/proc/meminfo: memFree=123474236/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47304 memory=35348 CPUtime=2855.12 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 73055 0 0 0 285498 14 0 0 20 0 1 0 162234042 48439296 8837 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11826 8837 851 746 0 10890 0
Current children cumulated CPU time: 2855.12 s
Current children cumulated vsize: 47304 KiB
Current children cumulated memory: 35348 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 841129
/proc/meminfo: memFree=123432848/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47432 memory=35476 CPUtime=2914.97 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 74493 0 0 0 291483 14 0 0 20 0 1 0 162234042 48570368 8869 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11858 8869 851 746 0 10922 0
Current children cumulated CPU time: 2914.97 s
Current children cumulated vsize: 47432 KiB
Current children cumulated memory: 35476 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 841141
/proc/meminfo: memFree=123366532/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47496 memory=35540 CPUtime=2974.83 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 75915 0 0 0 297468 15 0 0 20 0 1 0 162234042 48635904 8885 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11874 8885 851 746 0 10938 0
Current children cumulated CPU time: 2974.83 s
Current children cumulated vsize: 47496 KiB
Current children cumulated memory: 35540 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 841151
/proc/meminfo: memFree=123365224/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47688 memory=35732 CPUtime=3034.68 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 77108 0 0 0 303453 15 0 0 20 0 1 0 162234042 48832512 8933 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11922 8933 851 746 0 10986 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 47688 KiB
Current children cumulated memory: 35732 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 841163
/proc/meminfo: memFree=123364220/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47688 memory=35732 CPUtime=3094.53 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 78340 0 0 0 309438 15 0 0 20 0 1 0 162234042 48832512 8933 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11922 8933 851 746 0 10986 0
Current children cumulated CPU time: 3094.53 s
Current children cumulated vsize: 47688 KiB
Current children cumulated memory: 35732 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/258 841173
/proc/meminfo: memFree=123363312/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47752 memory=35796 CPUtime=3154.39 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 79762 0 0 0 315423 16 0 0 20 0 1 0 162234042 48898048 8949 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11938 8949 851 746 0 11002 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 47752 KiB
Current children cumulated memory: 35796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/258 841570
/proc/meminfo: memFree=123464040/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47752 memory=35796 CPUtime=3214.24 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 81167 0 0 0 321408 16 0 0 20 0 1 0 162234042 48898048 8949 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11938 8949 851 746 0 11002 0
Current children cumulated CPU time: 3214.24 s
Current children cumulated vsize: 47752 KiB
Current children cumulated memory: 35796 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 841580
/proc/meminfo: memFree=123462840/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47752 memory=35796 CPUtime=3274.09 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 82486 0 0 0 327393 16 0 0 20 0 1 0 162234042 48898048 8949 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11938 8949 851 746 0 11002 0
Current children cumulated CPU time: 3274.09 s
Current children cumulated vsize: 47752 KiB
Current children cumulated memory: 35796 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 841592
/proc/meminfo: memFree=123462188/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47752 memory=35796 CPUtime=3333.95 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 83718 0 0 0 333379 16 0 0 20 0 1 0 162234042 48898048 8949 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11938 8949 851 746 0 11002 0
Current children cumulated CPU time: 3333.95 s
Current children cumulated vsize: 47752 KiB
Current children cumulated memory: 35796 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 841772
/proc/meminfo: memFree=123460976/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47752 memory=35796 CPUtime=3393.79 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 85038 0 0 0 339363 16 0 0 20 0 1 0 162234042 48898048 8949 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11938 8949 851 746 0 11002 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 47752 KiB
Current children cumulated memory: 35796 KiB

[startup+3462.3 s]
/proc/loadavg: 2.99 3.80 3.98 3/245 841843
/proc/meminfo: memFree=126811964/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47816 memory=35860 CPUtime=3453.65 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 86459 0 0 0 345348 17 0 0 20 0 1 0 162234042 48963584 8965 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11954 8965 851 746 0 11018 0
Current children cumulated CPU time: 3453.65 s
Current children cumulated vsize: 47816 KiB
Current children cumulated memory: 35860 KiB

[startup+3522.3 s]
/proc/loadavg: 1.85 3.33 3.81 2/240 841945
/proc/meminfo: memFree=127392544/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47944 memory=35988 CPUtime=3513.51 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 87726 0 0 0 351334 17 0 0 20 0 1 0 162234042 49094656 8997 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11986 8997 851 746 0 11050 0
Current children cumulated CPU time: 3513.51 s
Current children cumulated vsize: 47944 KiB
Current children cumulated memory: 35988 KiB

[startup+3582.3 s]
/proc/loadavg: 1.36 2.92 3.64 2/241 841957
/proc/meminfo: memFree=127391876/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47944 memory=35988 CPUtime=3573.38 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 89133 0 0 0 357321 17 0 0 20 0 1 0 162234042 49094656 8997 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11986 8997 851 746 0 11050 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 47944 KiB
Current children cumulated memory: 35988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 1.30 2.78 3.57 2/241 841962
/proc/meminfo: memFree=127391652/131524600 swapFree=130796056/131071996
[pid=840008] ppid=840005 vsize=47944 memory=35988 CPUtime=3600.03 cores=5,7
/proc/840008/stat : 840008 (Exact_nosoplex) R 840005 840008 835392 0 -1 4194304 89742 0 0 0 359986 17 0 0 20 0 1 0 162234042 49094656 8997 134679101440 4194304 7248369 140735669510672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39751680 140735669515181 140735669515359 140735669515359 140735669522374 0
/proc/840008/statm: 11986 8997 851 746 0 11050 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 47944 KiB
Current children cumulated memory: 35988 KiB

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

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

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

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

Child status: 10

Real time (s): 3609.01
CPU time (s): 3600.04
CPU user time (s): 3599.86
CPU system time (s): 0.178601
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 48292
Max. memory (cumulated for all children) (KiB): 36120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.86
system time used= 0.178601
maximum resident set size= 36248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89744
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= 13
involuntary context switches= 2845


# summary of solver processes directly reported to runsolver:
#   pid: 840008
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.86
#   total CPU system time (s): 0.178601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19455 second user time and 17.7325 second system time

The end