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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433418-1721073701/watcher-4433418-1721073701 -o /tmp/evaluation-result-4433418-1721073701/solver-4433418-1721073701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721070103-810022 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=760742754 HOME/instance-4433418-1721073701.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=812053, runsolver pid=812049

[startup+0.100207 s]*
/proc/loadavg: 4.12 4.11 4.09 5/235 812071
/proc/meminfo: memFree=128641976/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=30152 memory=10132 CPUtime=0.1 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 1420 0 0 0 10 0 0 0 20 0 1 0 159526209 30875648 2533 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 7538 2533 755 746 0 6602 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30152 KiB
Current children cumulated memory: 10132 KiB

[startup+0.213297 s]*
/proc/loadavg: 4.12 4.11 4.09 5/241 812090
/proc/meminfo: memFree=128639536/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=34104 memory=16264 CPUtime=0.21 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 2416 0 0 0 21 0 0 0 20 0 1 0 159526209 34922496 4066 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 8526 4066 771 746 0 7590 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34104 KiB
Current children cumulated memory: 16264 KiB

[startup+0.313228 s]*
/proc/loadavg: 4.12 4.11 4.09 5/245 812101
/proc/meminfo: memFree=128628092/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=37408 memory=21596 CPUtime=0.3 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 3262 0 0 0 30 0 0 0 20 0 1 0 159526209 38305792 5399 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 9352 5399 803 746 0 8416 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 21596 KiB

[startup+0.700279 s]
/proc/loadavg: 4.12 4.11 4.09 4/242 812115
/proc/meminfo: memFree=128626372/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=38104 memory=22568 CPUtime=0.67 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 3434 0 0 0 67 0 0 0 20 0 1 0 159526209 39018496 5642 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 9526 5642 851 746 0 8590 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 38104 KiB
Current children cumulated memory: 22568 KiB

[startup+1.50031 s]
/proc/loadavg: 4.12 4.11 4.09 6/245 812147
/proc/meminfo: memFree=128619128/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=38896 memory=27448 CPUtime=1.47 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 3646 0 0 0 147 0 0 0 20 0 1 0 159526209 39829504 6862 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 9724 6862 851 746 0 8788 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 27448 KiB

[startup+3.11261 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 812149
/proc/meminfo: memFree=128601672/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=40376 memory=32996 CPUtime=3.08 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 4255 0 0 0 307 1 0 0 20 0 1 0 159526209 41345024 8249 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 10094 8249 851 746 0 9158 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40376 KiB
Current children cumulated memory: 32996 KiB

[startup+6.30027 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 812195
/proc/meminfo: memFree=128967876/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=56328 memory=43276 CPUtime=6.26 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 5520 0 0 0 624 2 0 0 20 0 1 0 159526209 57679872 10819 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 14082 10819 851 746 0 13146 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 56328 KiB
Current children cumulated memory: 43276 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.09 5/245 812195
/proc/meminfo: memFree=128936496/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=58344 memory=51392 CPUtime=12.64 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 6069 0 0 0 1262 2 0 0 20 0 1 0 159526209 59744256 12848 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 14586 12848 851 746 0 13650 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 58344 KiB
Current children cumulated memory: 51392 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.09 5/245 812198
/proc/meminfo: memFree=128904632/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=84072 memory=60448 CPUtime=25.4 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 7182 0 0 0 2538 2 0 0 20 0 1 0 159526209 86089728 15112 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 21018 15112 851 746 0 20082 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 84072 KiB
Current children cumulated memory: 60448 KiB

[startup+51.1136 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 812202
/proc/meminfo: memFree=128879860/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=86512 memory=67016 CPUtime=50.95 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 7961 0 0 0 5092 3 0 0 20 0 1 0 159526209 88588288 16754 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 21628 16754 851 746 0 20692 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 86512 KiB
Current children cumulated memory: 67016 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/244 812210
/proc/meminfo: memFree=128860684/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=89352 memory=69608 CPUtime=102.01 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 8699 0 0 0 10198 3 0 0 20 0 1 0 159526209 91496448 17402 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 22338 17402 851 746 0 21402 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 89352 KiB
Current children cumulated memory: 69608 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 812220
/proc/meminfo: memFree=128844684/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=92324 memory=74864 CPUtime=161.87 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 9498 0 0 0 16183 4 0 0 20 0 1 0 159526209 94539776 18716 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 23081 18716 851 746 0 22145 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 92324 KiB
Current children cumulated memory: 74864 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 812231
/proc/meminfo: memFree=128831876/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=94048 memory=86844 CPUtime=221.72 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 9962 0 0 0 22168 4 0 0 20 0 1 0 159526209 96305152 21711 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 23512 21711 851 746 0 22576 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 94048 KiB
Current children cumulated memory: 86844 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/242 812243
/proc/meminfo: memFree=128812324/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=98024 memory=92704 CPUtime=281.57 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 10987 0 0 0 28152 5 0 0 20 0 1 0 159526209 100376576 23176 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 24506 23176 851 746 0 23570 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 98024 KiB
Current children cumulated memory: 92704 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/242 812253
/proc/meminfo: memFree=128805284/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=98644 memory=93388 CPUtime=341.42 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 11197 0 0 0 34137 5 0 0 20 0 1 0 159526209 101011456 23347 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 24661 23347 851 746 0 23725 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 98644 KiB
Current children cumulated memory: 93388 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/242 812264
/proc/meminfo: memFree=128796032/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=100816 memory=95560 CPUtime=401.26 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 11763 0 0 0 40121 5 0 0 20 0 1 0 159526209 103235584 23890 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 25204 23890 851 746 0 24268 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 100816 KiB
Current children cumulated memory: 95560 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 812275
/proc/meminfo: memFree=128790932/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=102168 memory=96988 CPUtime=461.07 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 12147 0 0 0 46102 5 0 0 20 0 1 0 159526209 104620032 24247 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 25542 24247 851 746 0 24606 0

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

Current children cumulated memory: 174448 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/243 813339
/proc/meminfo: memFree=128628968/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=206568 memory=174448 CPUtime=2914.56 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 29835 0 0 0 291445 11 0 0 20 0 1 0 159526209 211525632 43612 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 51642 43612 851 746 0 50706 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 206568 KiB
Current children cumulated memory: 174448 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/243 813349
/proc/meminfo: memFree=128628408/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=206568 memory=174448 CPUtime=2974.38 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 29912 0 0 0 297426 12 0 0 20 0 1 0 159526209 211525632 43612 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 51642 43612 851 746 0 50706 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 206568 KiB
Current children cumulated memory: 174448 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/243 813360
/proc/meminfo: memFree=128627632/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=206568 memory=174448 CPUtime=3034.19 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 29989 0 0 0 303407 12 0 0 20 0 1 0 159526209 211525632 43612 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 51642 43612 851 746 0 50706 0
Current children cumulated CPU time: 3034.19 s
Current children cumulated vsize: 206568 KiB
Current children cumulated memory: 174448 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/243 813370
/proc/meminfo: memFree=128626344/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=206568 memory=174452 CPUtime=3094.01 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 30081 0 0 0 309389 12 0 0 20 0 1 0 159526209 211525632 43613 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 51642 43613 851 746 0 50706 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 206568 KiB
Current children cumulated memory: 174452 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/243 813380
/proc/meminfo: memFree=128625132/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=207276 memory=174964 CPUtime=3153.82 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 30304 0 0 0 315370 12 0 0 20 0 1 0 159526209 212250624 43741 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 51819 43741 851 746 0 50883 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 207276 KiB
Current children cumulated memory: 174964 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/245 813775
/proc/meminfo: memFree=128623160/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=207452 memory=175268 CPUtime=3213.64 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 30456 0 0 0 321352 12 0 0 20 0 1 0 159526209 212430848 43817 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 51863 43817 851 746 0 50927 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 207452 KiB
Current children cumulated memory: 175268 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/243 813786
/proc/meminfo: memFree=128622148/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=207916 memory=175696 CPUtime=3273.45 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 30612 0 0 0 327333 12 0 0 20 0 1 0 159526209 212905984 43924 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 51979 43924 851 746 0 51043 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 207916 KiB
Current children cumulated memory: 175696 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.11 5/243 813796
/proc/meminfo: memFree=128621084/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=208348 memory=176164 CPUtime=3333.28 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 30824 0 0 0 333316 12 0 0 20 0 1 0 159526209 213348352 44041 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 52087 44041 851 746 0 51151 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 208348 KiB
Current children cumulated memory: 176164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.10 4.11 5/245 813976
/proc/meminfo: memFree=128605060/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=208700 memory=178668 CPUtime=3393.13 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 31000 0 0 0 339301 12 0 0 20 0 1 0 159526209 213708800 44667 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 52175 44667 851 746 0 51239 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 208700 KiB
Current children cumulated memory: 178668 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/246 813988
/proc/meminfo: memFree=128602420/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=209868 memory=179660 CPUtime=3452.98 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 31341 0 0 0 345286 12 0 0 20 0 1 0 159526209 214904832 44915 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 52467 44915 851 746 0 51531 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 209868 KiB
Current children cumulated memory: 179660 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/247 814001
/proc/meminfo: memFree=128599880/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=210108 memory=179972 CPUtime=3512.84 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 31511 0 0 0 351272 12 0 0 20 0 1 0 159526209 215150592 44993 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 52527 44993 851 746 0 51591 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 210108 KiB
Current children cumulated memory: 179972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/246 814022
/proc/meminfo: memFree=128598484/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=210492 memory=180356 CPUtime=3572.69 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 31652 0 0 0 357257 12 0 0 20 0 1 0 159526209 215543808 45089 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 52623 45089 851 746 0 51687 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 210492 KiB
Current children cumulated memory: 180356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.17 4.12 4.10 5/246 814027
/proc/meminfo: memFree=128598012/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=210492 memory=180356 CPUtime=3600.03 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 31654 0 0 0 359991 12 0 0 20 0 1 0 159526209 215543808 45089 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 52623 45089 851 746 0 51687 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 210492 KiB
Current children cumulated memory: 180356 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.92 s, system=0.130762 s

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

[startup+3609.7 s]
/proc/loadavg: 4.17 4.12 4.10 5/246 814027
/proc/meminfo: memFree=128598012/131655788 swapFree=131071996/131071996
[pid=812053] ppid=812049 vsize=210492 memory=180356 CPUtime=3600.03 cores=5,7
/proc/812053/stat : 812053 (Exact_nosoplex) R 812049 812053 810009 0 -1 4194304 31654 0 0 0 359991 12 0 0 20 0 1 0 159526209 215543808 45089 134679101440 4194304 7248369 140725396416048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38719488 140725396419501 140725396419679 140725396419679 140725396426694 0
/proc/812053/statm: 52623 45089 851 746 0 51687 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 210492 KiB
Current children cumulated memory: 180356 KiB

Child status: 10

Real time (s): 3609.7
CPU time (s): 3600.05
CPU user time (s): 3599.92
CPU system time (s): 0.130762
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 210492
Max. memory (cumulated for all children) (KiB): 180356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.92
system time used= 0.130762
maximum resident set size= 180356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31656
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= 46
involuntary context switches= 1871


# summary of solver processes directly reported to runsolver:
#   pid: 812053
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.92
#   total CPU system time (s): 0.130762

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.412 second user time and 33.5514 second system time

The end