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: 63968 MiB (61879 MiB free)
  memory of node 1: 64473 MiB (61094 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457966-1721877898/watcher-4457966-1721877898 -o /tmp/evaluation-result-4457966-1721877898/solver-4457966-1721877898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721877898-217721 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4457966-1721877898.opb -total-t=3600 -no-par -v0 

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=217779, runsolver pid=217773

[startup+0.101054 s]*
/proc/loadavg: 0.99 1.14 1.73 6/258 217784
/proc/meminfo: memFree=125804404/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=53296 memory=43264 CPUtime=0.09 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 9672 0 0 0 8 1 0 0 20 0 1 0 24319540 54575104 10816 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 13324 10816 2142 2417 0 10426 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53296 KiB
Current children cumulated memory: 43264 KiB

[startup+0.206201 s]*
/proc/loadavg: 0.99 1.14 1.73 7/258 217784
/proc/meminfo: memFree=125692440/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=96224 memory=85228 CPUtime=0.2 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 19996 0 0 0 17 3 0 0 20 0 1 0 24319540 98533376 21307 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 24056 21307 2350 2417 0 21158 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 96224 KiB
Current children cumulated memory: 85228 KiB

[startup+0.306062 s]*
/proc/loadavg: 0.99 1.14 1.73 6/258 217784
/proc/meminfo: memFree=125604000/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=116056 memory=105352 CPUtime=0.3 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 25019 0 0 0 26 4 0 0 20 0 1 0 24319540 118841344 26338 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 29014 26338 2366 2417 0 26116 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 116056 KiB
Current children cumulated memory: 105352 KiB

[startup+0.700212 s]
/proc/loadavg: 0.99 1.14 1.73 6/258 217784
/proc/meminfo: memFree=125473088/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=221516 memory=200104 CPUtime=0.68 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 33097 0 0 0 62 6 0 0 20 0 1 0 24319540 226832384 50026 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 55379 50026 2414 2417 0 52481 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 200104 KiB

[startup+1.5002 s]
/proc/loadavg: 0.99 1.14 1.73 6/258 217784
/proc/meminfo: memFree=125218688/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=330508 memory=306504 CPUtime=1.48 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 59061 0 0 0 138 10 0 0 20 0 1 0 24319540 338440192 76626 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 82627 76626 2542 2417 0 79729 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 330508 KiB
Current children cumulated memory: 306504 KiB

[startup+3.10596 s]
/proc/loadavg: 0.99 1.14 1.73 6/258 217784
/proc/meminfo: memFree=125080544/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=333872 memory=308876 CPUtime=3.09 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 59644 0 0 0 298 11 0 0 20 0 1 0 24319540 341884928 77219 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 83468 77219 2542 2417 0 80570 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 333872 KiB
Current children cumulated memory: 308876 KiB

[startup+6.3002 s]
/proc/loadavg: 1.23 1.19 1.75 6/258 217784
/proc/meminfo: memFree=125061328/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=334280 memory=309924 CPUtime=6.27 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 59913 0 0 0 616 11 0 0 20 0 1 0 24319540 342302720 77481 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 83570 77481 2542 2417 0 80672 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 334280 KiB
Current children cumulated memory: 309924 KiB

[startup+12.7002 s]
/proc/loadavg: 1.45 1.23 1.76 6/258 217786
/proc/meminfo: memFree=125052376/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=340736 memory=310184 CPUtime=12.65 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 59970 0 0 0 1254 11 0 0 20 0 1 0 24319540 348913664 77546 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 85184 77546 2542 2417 0 82286 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 340736 KiB
Current children cumulated memory: 310184 KiB

[startup+25.5002 s]
/proc/loadavg: 2.02 1.37 1.79 6/256 217787
/proc/meminfo: memFree=124799320/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=441628 memory=400492 CPUtime=25.42 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 86426 0 0 0 2526 16 0 0 20 0 1 0 24319540 452227072 100123 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 110407 100123 2542 2417 0 107509 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 441628 KiB
Current children cumulated memory: 400492 KiB

[startup+51.1063 s]
/proc/loadavg: 2.76 1.60 1.86 6/258 218179
/proc/meminfo: memFree=124767964/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=449808 memory=410724 CPUtime=50.96 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 89052 0 0 0 5079 17 0 0 20 0 1 0 24319540 460603392 102681 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 112452 102681 2542 2417 0 109554 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 449808 KiB
Current children cumulated memory: 410724 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 2.00 1.98 6/258 218188
/proc/meminfo: memFree=124740220/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=449808 memory=410724 CPUtime=102 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 89056 0 0 0 10183 17 0 0 20 0 1 0 24319540 460603392 102681 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 112452 102681 2542 2417 0 109554 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 449808 KiB
Current children cumulated memory: 410724 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.38 2.12 6/258 218198
/proc/meminfo: memFree=124721136/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=449808 memory=410724 CPUtime=161.8 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 89058 0 0 0 16163 17 0 0 20 0 1 0 24319540 460603392 102681 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 112452 102681 2542 2417 0 109554 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 449808 KiB
Current children cumulated memory: 410724 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.69 2.24 6/257 218378
/proc/meminfo: memFree=124510328/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=593692 memory=548516 CPUtime=221.62 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 123563 0 0 0 22139 23 0 0 20 0 1 0 24319540 607940608 137129 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 148423 137129 2542 2417 0 145525 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 593692 KiB
Current children cumulated memory: 548516 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.95 2.36 6/257 218389
/proc/meminfo: memFree=124354164/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=614852 memory=581828 CPUtime=281.43 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 140471 0 0 0 28117 26 0 0 20 0 1 0 24319540 629608448 145457 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 153713 145457 2542 2417 0 150815 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 614852 KiB
Current children cumulated memory: 581828 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.17 2.48 6/258 218459
/proc/meminfo: memFree=124254396/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=625388 memory=591928 CPUtime=341.25 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 149067 0 0 0 34097 28 0 0 20 0 1 0 24319540 640397312 147982 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 156347 147982 2542 2417 0 153449 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 625388 KiB
Current children cumulated memory: 591928 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.34 2.58 6/258 218471
/proc/meminfo: memFree=124193972/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=657584 memory=618636 CPUtime=401.07 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 159665 0 0 0 40077 30 0 0 20 0 1 0 24319540 673366016 154659 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 164396 154659 2542 2417 0 161498 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 657584 KiB
Current children cumulated memory: 618636 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.48 2.68 6/258 218481
/proc/meminfo: memFree=124139608/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=657584 memory=623544 CPUtime=460.88 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 160624 0 0 0 46057 31 0 0 20 0 1 0 24319540 673366016 155886 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 164396 155886 2542 2417 0 161498 0

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

Current children cumulated memory: 758768 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.02 6/256 219500
/proc/meminfo: memFree=123513612/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=768524 memory=758768 CPUtime=2913.84 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 293390 0 0 0 290794 590 0 0 20 0 1 0 24319540 786968576 189692 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 192131 189692 2542 2417 0 189233 0
Current children cumulated CPU time: 2913.84 s
Current children cumulated vsize: 768524 KiB
Current children cumulated memory: 758768 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.11 4.02 6/256 219511
/proc/meminfo: memFree=123508064/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=768524 memory=758768 CPUtime=2973.7 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 294583 0 0 0 296768 602 0 0 20 0 1 0 24319540 786968576 189692 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 192131 189692 2542 2417 0 189233 0
Current children cumulated CPU time: 2973.7 s
Current children cumulated vsize: 768524 KiB
Current children cumulated memory: 758768 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/256 219525
/proc/meminfo: memFree=123510300/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=817844 memory=799728 CPUtime=3033.55 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 300596 0 0 0 302699 656 0 0 20 0 1 0 24319540 837472256 199932 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 204461 199932 2542 2417 0 201563 0
Current children cumulated CPU time: 3033.55 s
Current children cumulated vsize: 817844 KiB
Current children cumulated memory: 799728 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/256 219535
/proc/meminfo: memFree=123500300/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=768524 memory=758768 CPUtime=3093.4 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 303084 0 0 0 308665 675 0 0 20 0 1 0 24319540 786968576 189692 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 192131 189692 2542 2417 0 189233 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 768524 KiB
Current children cumulated memory: 758768 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/256 219545
/proc/meminfo: memFree=123496296/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=848664 memory=812444 CPUtime=3153.26 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 307235 0 0 0 314614 712 0 0 20 0 1 0 24319540 869031936 203111 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 212166 203111 2542 2417 0 209268 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 848664 KiB
Current children cumulated memory: 812444 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.03 6/256 219557
/proc/meminfo: memFree=123502724/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=768524 memory=758768 CPUtime=3213.12 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 311412 0 0 0 320564 748 0 0 20 0 1 0 24319540 786968576 189692 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 192131 189692 2542 2417 0 189233 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 768524 KiB
Current children cumulated memory: 758768 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.03 6/256 219567
/proc/meminfo: memFree=123465456/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=817844 memory=795632 CPUtime=3272.97 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 312978 0 0 0 326533 764 0 0 20 0 1 0 24319540 837472256 198908 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 204461 198908 2542 2417 0 201563 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 817844 KiB
Current children cumulated memory: 795632 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.03 6/257 219582
/proc/meminfo: memFree=123491852/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=768524 memory=758768 CPUtime=3332.84 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 316614 0 0 0 332471 813 0 0 20 0 1 0 24319540 786968576 189692 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 192131 189692 2542 2417 0 189233 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 768524 KiB
Current children cumulated memory: 758768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/257 219594
/proc/meminfo: memFree=123540104/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=768524 memory=758768 CPUtime=3392.69 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 316923 0 0 0 338455 814 0 0 20 0 1 0 24319540 786968576 189692 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 192131 189692 2542 2417 0 189233 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 768524 KiB
Current children cumulated memory: 758768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.03 6/257 219604
/proc/meminfo: memFree=123539536/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=768524 memory=758768 CPUtime=3452.55 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 320724 0 0 0 344395 860 0 0 20 0 1 0 24319540 786968576 189692 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 192131 189692 2542 2417 0 189233 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 768524 KiB
Current children cumulated memory: 758768 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.03 6/257 219615
/proc/meminfo: memFree=123501072/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=768524 memory=758768 CPUtime=3512.4 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 322190 0 0 0 350364 876 0 0 20 0 1 0 24319540 786968576 189692 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 192131 189692 2542 2417 0 189233 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 768524 KiB
Current children cumulated memory: 758768 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.03 6/257 219625
/proc/meminfo: memFree=123505136/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=817844 memory=797680 CPUtime=3572.26 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 325369 0 0 0 356322 904 0 0 20 0 1 0 24319540 837472256 199420 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 204461 199420 2542 2417 0 201563 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 817844 KiB
Current children cumulated memory: 797680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.14 4.10 4.04 6/259 220014
/proc/meminfo: memFree=123496200/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=817844 memory=801776 CPUtime=3600 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 327743 0 0 0 359072 928 0 0 20 0 1 0 24319540 837472256 200444 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 204461 200444 2542 2417 0 201563 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 817844 KiB
Current children cumulated memory: 801776 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.73 s, system=9.28802 s

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

[startup+3610.11 s]
/proc/loadavg: 4.14 4.10 4.04 6/259 220014
/proc/meminfo: memFree=123496200/131524600 swapFree=131055836/131071996
[pid=217779] ppid=217773 vsize=817844 memory=801776 CPUtime=3600 cores=5,7
/proc/217779/stat : 217779 (CASHWMaxSAT-Dis) R 217773 217779 217708 0 -1 4194304 327743 0 0 0 359072 928 0 0 20 0 1 0 24319540 837472256 200444 134679101440 4194304 14093885 140725317525168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22163456 140725317526501 140725317526616 140725317526616 140725317533631 0
/proc/217779/statm: 204461 200444 2542 2417 0 201563 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 817844 KiB
Current children cumulated memory: 801776 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.01
CPU user time (s): 3590.73
CPU system time (s): 9.28802
CPU usage (%): 99.7204
Max. virtual memory (cumulated for all children) (KiB): 898752
Max. memory (cumulated for all children) (KiB): 850968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.73
system time used= 9.28801
maximum resident set size= 872012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327748
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= 106
involuntary context switches= 2386


# summary of solver processes directly reported to runsolver:
#   pid: 217779
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3590.73
#   total CPU system time (s): 9.28802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82678 second user time and 17.7349 second system time

The end