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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=891422, runsolver pid=891419

[startup+0.100215 s]*
/proc/loadavg: 4.12 4.19 4.09 5/255 891423
/proc/meminfo: memFree=125783776/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=41568 memory=23052 CPUtime=0.09 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 5118 0 0 0 9 0 0 0 20 0 1 0 171987782 42565632 5763 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 10392 5763 750 2417 0 7494 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41568 KiB
Current children cumulated memory: 23052 KiB

[startup+0.205598 s]*
/proc/loadavg: 4.12 4.19 4.09 5/255 891423
/proc/meminfo: memFree=125764624/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=60940 memory=42512 CPUtime=0.2 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 10013 0 0 0 19 1 0 0 20 0 1 0 171987782 62402560 10628 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 15235 10628 750 2417 0 12337 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60940 KiB
Current children cumulated memory: 42512 KiB

[startup+0.305588 s]*
/proc/loadavg: 4.12 4.19 4.09 5/255 891423
/proc/meminfo: memFree=125745472/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=79788 memory=61256 CPUtime=0.3 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 14703 0 0 0 28 2 0 0 20 0 1 0 171987782 81702912 15314 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 19947 15314 750 2417 0 17049 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79788 KiB
Current children cumulated memory: 61256 KiB

[startup+0.700246 s]
/proc/loadavg: 4.12 4.19 4.09 5/255 891423
/proc/meminfo: memFree=125663736/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=209056 memory=198732 CPUtime=0.69 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 47513 0 0 0 62 7 0 0 20 0 1 0 171987782 214073344 49683 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 52264 49683 2350 2417 0 49366 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 209056 KiB
Current children cumulated memory: 198732 KiB

[startup+1.50024 s]
/proc/loadavg: 4.12 4.19 4.09 5/255 891423
/proc/meminfo: memFree=125568396/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=253940 memory=242820 CPUtime=1.48 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 58539 0 0 0 140 8 0 0 20 0 1 0 171987782 260034560 60705 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 63485 60705 2350 2417 0 60587 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 253940 KiB
Current children cumulated memory: 242820 KiB

[startup+3.10551 s]
/proc/loadavg: 4.11 4.19 4.09 5/255 891469
/proc/meminfo: memFree=125501876/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=548584 memory=495840 CPUtime=3.08 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 83395 0 0 0 294 14 0 0 20 0 1 0 171987782 561750016 123960 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 137146 123960 2510 2417 0 134248 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 548584 KiB
Current children cumulated memory: 495840 KiB

[startup+6.30015 s]
/proc/loadavg: 4.11 4.19 4.09 5/255 891471
/proc/meminfo: memFree=125248392/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=591136 memory=529452 CPUtime=6.27 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 89764 0 0 0 611 16 0 0 20 0 1 0 171987782 605323264 132363 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 147784 132363 2526 2417 0 144886 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 591136 KiB
Current children cumulated memory: 529452 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.18 4.09 5/255 891471
/proc/meminfo: memFree=125246212/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=611024 memory=530188 CPUtime=12.66 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 89991 0 0 0 1249 17 0 0 20 0 1 0 171987782 625688576 132547 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 152756 132547 2526 2417 0 149858 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 611024 KiB
Current children cumulated memory: 530188 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.19 4.09 5/255 891474
/proc/meminfo: memFree=125152612/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=660848 memory=536664 CPUtime=25.42 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 91111 0 0 0 2525 17 0 0 20 0 1 0 171987782 676708352 134166 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 165212 134166 2526 2417 0 162314 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 660848 KiB
Current children cumulated memory: 536664 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.19 4.09 6/255 891477
/proc/meminfo: memFree=125664632/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=898592 memory=679792 CPUtime=50.95 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 125400 0 0 0 5071 24 0 0 20 0 1 0 171987782 920158208 169948 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 224648 169948 2542 2417 0 221750 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 898592 KiB
Current children cumulated memory: 679792 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.19 4.10 5/255 891485
/proc/meminfo: memFree=125639936/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=934320 memory=680220 CPUtime=101.99 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 125525 0 0 0 10175 24 0 0 20 0 1 0 171987782 956743680 170055 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 233580 170055 2542 2417 0 230682 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 934320 KiB
Current children cumulated memory: 680220 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.09 5/255 891495
/proc/meminfo: memFree=125452380/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=1080312 memory=794924 CPUtime=161.81 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 169498 0 0 0 16150 31 0 0 20 0 1 0 171987782 1106239488 198731 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 270078 198731 2542 2417 0 267180 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1080312 KiB
Current children cumulated memory: 794924 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/258 891511
/proc/meminfo: memFree=125408564/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=1070480 memory=783468 CPUtime=221.62 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 175387 0 0 0 22130 32 0 0 20 0 1 0 171987782 1096171520 195867 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 267620 195867 2794 2417 0 264722 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1070480 KiB
Current children cumulated memory: 783468 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/258 891521
/proc/meminfo: memFree=125283676/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=1145544 memory=857348 CPUtime=281.43 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 193896 0 0 0 28109 34 0 0 20 0 1 0 171987782 1173037056 214337 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 286386 214337 2794 2417 0 283488 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1145544 KiB
Current children cumulated memory: 857348 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/258 891532
/proc/meminfo: memFree=125253820/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=1148900 memory=862028 CPUtime=341.27 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 200875 0 0 0 34091 36 0 0 20 0 1 0 171987782 1176473600 215507 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 287225 215507 2794 2417 0 284327 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1148900 KiB
Current children cumulated memory: 862028 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/258 891544
/proc/meminfo: memFree=125146692/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=1209920 memory=921896 CPUtime=401.09 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 215883 0 0 0 40071 38 0 0 20 0 1 0 171987782 1238958080 230474 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 302480 230474 2794 2417 0 299582 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 1209920 KiB
Current children cumulated memory: 921896 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 891554
/proc/meminfo: memFree=125152744/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=1209920 memory=921896 CPUtime=460.92 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 215902 0 0 0 46053 39 0 0 20 0 1 0 171987782 1238958080 230474 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 302480 230474 2794 2417 0 299582 0

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

Current children cumulated memory: 1784484 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/257 892654
/proc/meminfo: memFree=123230756/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784484 CPUtime=2853.69 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 573771 0 0 0 285246 123 0 0 20 0 1 0 171987782 2096816128 446121 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446121 2794 2417 0 509020 0
Current children cumulated CPU time: 2853.69 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784484 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/255 893047
/proc/meminfo: memFree=123195700/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784484 CPUtime=2913.5 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 573917 0 0 0 291227 123 0 0 20 0 1 0 171987782 2096816128 446121 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446121 2794 2417 0 509020 0
Current children cumulated CPU time: 2913.5 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784484 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 893057
/proc/meminfo: memFree=123156064/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784484 CPUtime=2973.32 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 574063 0 0 0 297209 123 0 0 20 0 1 0 171987782 2096816128 446121 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446121 2794 2417 0 509020 0
Current children cumulated CPU time: 2973.32 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784484 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 893068
/proc/meminfo: memFree=123125000/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784484 CPUtime=3033.13 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 574199 0 0 0 303190 123 0 0 20 0 1 0 171987782 2096816128 446121 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446121 2794 2417 0 509020 0
Current children cumulated CPU time: 3033.13 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784484 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 893247
/proc/meminfo: memFree=123077324/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784484 CPUtime=3092.95 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 574329 0 0 0 309172 123 0 0 20 0 1 0 171987782 2096816128 446121 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446121 2794 2417 0 509020 0
Current children cumulated CPU time: 3092.95 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784484 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/256 893258
/proc/meminfo: memFree=123013512/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784484 CPUtime=3152.77 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 574450 0 0 0 315153 124 0 0 20 0 1 0 171987782 2096816128 446121 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446121 2794 2417 0 509020 0
Current children cumulated CPU time: 3152.77 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784484 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 893327
/proc/meminfo: memFree=122994964/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784484 CPUtime=3212.58 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 574584 0 0 0 321134 124 0 0 20 0 1 0 171987782 2096816128 446121 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446121 2794 2417 0 509020 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784484 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 893338
/proc/meminfo: memFree=122972740/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784484 CPUtime=3272.39 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 574737 0 0 0 327115 124 0 0 20 0 1 0 171987782 2096816128 446121 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446121 2794 2417 0 509020 0
Current children cumulated CPU time: 3272.39 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784484 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 893348
/proc/meminfo: memFree=122944164/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784484 CPUtime=3332.2 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 574855 0 0 0 333096 124 0 0 20 0 1 0 171987782 2096816128 446121 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446121 2794 2417 0 509020 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 893360
/proc/meminfo: memFree=122860476/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784484 CPUtime=3392.01 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 575013 0 0 0 339077 124 0 0 20 0 1 0 171987782 2096816128 446121 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446121 2794 2417 0 509020 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784484 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 893370
/proc/meminfo: memFree=122835204/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784488 CPUtime=3451.83 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 575169 0 0 0 345059 124 0 0 20 0 1 0 171987782 2096816128 446122 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446122 2794 2417 0 509020 0
Current children cumulated CPU time: 3451.83 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 893381
/proc/meminfo: memFree=122753040/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784488 CPUtime=3511.64 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 575309 0 0 0 351039 125 0 0 20 0 1 0 171987782 2096816128 446122 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446122 2794 2417 0 509020 0
Current children cumulated CPU time: 3511.64 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784488 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 893393
/proc/meminfo: memFree=122732308/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784488 CPUtime=3571.45 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 575427 0 0 0 357020 125 0 0 20 0 1 0 171987782 2096816128 446122 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446122 2794 2417 0 509020 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.12 4.11 4.09 5/255 893399
/proc/meminfo: memFree=122700268/131524600 swapFree=131071996/131071996
[pid=891422] ppid=891419 vsize=2047672 memory=1784488 CPUtime=3600.07 cores=4,6
/proc/891422/stat : 891422 (CASHWMaxSAT-Dis) R 891419 891422 889378 0 -1 4194304 575486 0 0 0 359882 125 0 0 20 0 1 0 171987782 2096816128 446122 134679101440 4194304 14093885 140735985851104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43212800 140735985853412 140735985853527 140735985853527 140735985860543 0
/proc/891422/statm: 511918 446122 2794 2417 0 509020 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2047672 KiB
Current children cumulated memory: 1784488 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.82 s, system=1.27081 s

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

Child status: 10

Real time (s): 3611.02
CPU time (s): 3600.09
CPU user time (s): 3598.82
CPU system time (s): 1.27081
CPU usage (%): 99.6973
Max. virtual memory (cumulated for all children) (KiB): 2427484
Max. memory (cumulated for all children) (KiB): 2125212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.82
system time used= 1.27081
maximum resident set size= 2125444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575488
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= 84
involuntary context switches= 3744


# summary of solver processes directly reported to runsolver:
#   pid: 891422
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.82
#   total CPU system time (s): 1.27081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94308 second user time and 17.9708 second system time

The end