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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=271815, runsolver pid=271812

[startup+0.101005 s]*
/proc/loadavg: 4.13 4.10 4.09 5/258 271816
/proc/meminfo: memFree=117195636/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=46200 memory=36648 CPUtime=0.09 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 7401 0 0 0 9 0 0 0 20 0 1 0 24477650 47308800 9162 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 11550 9162 2350 2417 0 8652 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46200 KiB
Current children cumulated memory: 36648 KiB

[startup+0.205572 s]*
/proc/loadavg: 4.13 4.10 4.09 5/258 271816
/proc/meminfo: memFree=117185556/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=56600 memory=47464 CPUtime=0.19 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 9972 0 0 0 19 0 0 0 20 0 1 0 24477650 57958400 11866 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 14150 11866 2510 2417 0 11252 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56600 KiB
Current children cumulated memory: 47464 KiB

[startup+0.305386 s]*
/proc/loadavg: 4.13 4.10 4.09 5/258 271818
/proc/meminfo: memFree=117184228/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=56892 memory=47728 CPUtime=0.29 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 10034 0 0 0 29 0 0 0 20 0 1 0 24477650 58257408 11932 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 14223 11932 2510 2417 0 11325 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 56892 KiB
Current children cumulated memory: 47728 KiB

[startup+0.70017 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 271818
/proc/meminfo: memFree=117177616/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=60828 memory=51748 CPUtime=0.68 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 11010 0 0 0 68 0 0 0 20 0 1 0 24477650 62287872 12937 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 15207 12937 2526 2417 0 12309 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60828 KiB
Current children cumulated memory: 51748 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 271818
/proc/meminfo: memFree=117148712/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=77140 memory=66268 CPUtime=1.48 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 14662 0 0 0 147 1 0 0 20 0 1 0 24477650 78991360 16567 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 19285 16567 2526 2417 0 16387 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 77140 KiB
Current children cumulated memory: 66268 KiB

[startup+3.10539 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 271818
/proc/meminfo: memFree=117111576/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=103108 memory=90812 CPUtime=3.08 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 20794 0 0 0 306 2 0 0 20 0 1 0 24477650 105582592 22703 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 25777 22703 2526 2417 0 22879 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 103108 KiB
Current children cumulated memory: 90812 KiB

[startup+6.30021 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 271819
/proc/meminfo: memFree=117084624/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=119852 memory=100844 CPUtime=6.27 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 23305 0 0 0 625 2 0 0 20 0 1 0 24477650 122728448 25211 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 29963 25211 2526 2417 0 27065 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119852 KiB
Current children cumulated memory: 100844 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/258 271820
/proc/meminfo: memFree=117048972/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=131576 memory=111668 CPUtime=12.64 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 25957 0 0 0 1262 2 0 0 20 0 1 0 24477650 134733824 27917 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 32894 27917 2526 2417 0 29996 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 131576 KiB
Current children cumulated memory: 111668 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 271822
/proc/meminfo: memFree=116980120/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=136240 memory=117196 CPUtime=25.4 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 27360 0 0 0 2538 2 0 0 20 0 1 0 24477650 139509760 29299 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 34060 29299 2526 2417 0 31162 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 136240 KiB
Current children cumulated memory: 117196 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 271827
/proc/meminfo: memFree=116953108/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=140188 memory=121540 CPUtime=50.93 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 28855 0 0 0 5090 3 0 0 20 0 1 0 24477650 143552512 30385 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 35047 30385 2542 2417 0 32149 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 140188 KiB
Current children cumulated memory: 121540 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/258 271836
/proc/meminfo: memFree=116863844/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=205700 memory=169200 CPUtime=101.95 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 40853 0 0 0 10190 5 0 0 20 0 1 0 24477650 210636800 42300 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 51425 42300 2542 2417 0 48527 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 205700 KiB
Current children cumulated memory: 169200 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 272230
/proc/meminfo: memFree=116795588/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=237600 memory=194880 CPUtime=161.74 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 47546 0 0 0 16168 6 0 0 20 0 1 0 24477650 243302400 48720 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 59400 48720 2542 2417 0 56502 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 237600 KiB
Current children cumulated memory: 194880 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 272240
/proc/meminfo: memFree=116732236/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=254940 memory=210556 CPUtime=221.53 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 51555 0 0 0 22145 8 0 0 20 0 1 0 24477650 261058560 52639 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 63735 52639 2542 2417 0 60837 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 254940 KiB
Current children cumulated memory: 210556 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 272251
/proc/meminfo: memFree=116703420/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=277232 memory=236760 CPUtime=281.31 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 57252 0 0 0 28122 9 0 0 20 0 1 0 24477650 283885568 59190 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 69308 59190 2542 2417 0 66410 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 277232 KiB
Current children cumulated memory: 236760 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/258 272432
/proc/meminfo: memFree=116582216/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=285312 memory=270448 CPUtime=341.09 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 59350 0 0 0 34099 10 0 0 20 0 1 0 24477650 292159488 67612 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 71328 67612 2542 2417 0 68430 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 285312 KiB
Current children cumulated memory: 270448 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/258 272442
/proc/meminfo: memFree=116548832/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=285312 memory=278496 CPUtime=400.88 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 59483 0 0 0 40078 10 0 0 20 0 1 0 24477650 292159488 69624 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 71328 69624 2542 2417 0 68430 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 285312 KiB
Current children cumulated memory: 278496 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 272453
/proc/meminfo: memFree=116537236/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=285312 memory=278496 CPUtime=460.68 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 59484 0 0 0 46058 10 0 0 20 0 1 0 24477650 292159488 69624 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 71328 69624 2542 2417 0 68430 0

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

Current children cumulated memory: 388904 KiB

[startup+2862.3 s]
/proc/loadavg: 4.27 4.20 4.14 5/256 273563
/proc/meminfo: memFree=115950740/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=395796 memory=388904 CPUtime=2852.59 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 93189 0 0 0 285235 24 0 0 20 0 1 0 24477650 405295104 97226 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 98949 97226 2542 2417 0 96051 0
Current children cumulated CPU time: 2852.59 s
Current children cumulated vsize: 395796 KiB
Current children cumulated memory: 388904 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/256 273573
/proc/meminfo: memFree=115937924/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=395796 memory=388904 CPUtime=2912.41 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 93496 0 0 0 291217 24 0 0 20 0 1 0 24477650 405295104 97226 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 98949 97226 2542 2417 0 96051 0
Current children cumulated CPU time: 2912.41 s
Current children cumulated vsize: 395796 KiB
Current children cumulated memory: 388904 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/256 273585
/proc/meminfo: memFree=115895292/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=403852 CPUtime=2972.22 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 93770 0 0 0 297198 24 0 0 20 0 1 0 24477650 423694336 100963 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 100963 2542 2417 0 100543 0
Current children cumulated CPU time: 2972.22 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 403852 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/256 273597
/proc/meminfo: memFree=115883272/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=403852 CPUtime=3032.03 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 93885 0 0 0 303178 25 0 0 20 0 1 0 24477650 423694336 100963 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 100963 2542 2417 0 100543 0
Current children cumulated CPU time: 3032.03 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 403852 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/257 273608
/proc/meminfo: memFree=115851896/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=405900 CPUtime=3091.84 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 94001 0 0 0 309159 25 0 0 20 0 1 0 24477650 423694336 101475 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 101475 2542 2417 0 100543 0
Current children cumulated CPU time: 3091.84 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 405900 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/257 273618
/proc/meminfo: memFree=115843320/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=405900 CPUtime=3151.66 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 94118 0 0 0 315140 26 0 0 20 0 1 0 24477650 423694336 101475 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 101475 2542 2417 0 100543 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 405900 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/255 273628
/proc/meminfo: memFree=115825176/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=405900 CPUtime=3211.47 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 94229 0 0 0 321121 26 0 0 20 0 1 0 24477650 423694336 101475 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 101475 2542 2417 0 100543 0
Current children cumulated CPU time: 3211.47 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 405900 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/255 273639
/proc/meminfo: memFree=115776036/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=405900 CPUtime=3271.28 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 94353 0 0 0 327102 26 0 0 20 0 1 0 24477650 423694336 101475 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 101475 2542 2417 0 100543 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 405900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/255 273650
/proc/meminfo: memFree=115765268/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=405900 CPUtime=3331.09 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 94470 0 0 0 333083 26 0 0 20 0 1 0 24477650 423694336 101475 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 101475 2542 2417 0 100543 0
Current children cumulated CPU time: 3331.09 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 405900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/254 273660
/proc/meminfo: memFree=115755732/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=405900 CPUtime=3390.89 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 94569 0 0 0 339062 27 0 0 20 0 1 0 24477650 423694336 101475 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 101475 2542 2417 0 100543 0
Current children cumulated CPU time: 3390.89 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 405900 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.10 6/255 273672
/proc/meminfo: memFree=115719528/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=405900 CPUtime=3450.67 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 94686 0 0 0 345040 27 0 0 20 0 1 0 24477650 423694336 101475 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 101475 2542 2417 0 100543 0
Current children cumulated CPU time: 3450.67 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 405900 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 273686
/proc/meminfo: memFree=115718508/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=405900 CPUtime=3510.46 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 94803 0 0 0 351019 27 0 0 20 0 1 0 24477650 423694336 101475 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 101475 2542 2417 0 100543 0
Current children cumulated CPU time: 3510.46 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 405900 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/260 273701
/proc/meminfo: memFree=115694532/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=405900 CPUtime=3570.23 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 94920 0 0 0 356996 27 0 0 20 0 1 0 24477650 423694336 101475 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 101475 2542 2417 0 100543 0
Current children cumulated CPU time: 3570.23 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 405900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 273845
/proc/meminfo: memFree=114653636/131524600 swapFree=131071216/131071996
[pid=271815] ppid=271812 vsize=413764 memory=405900 CPUtime=3600.02 cores=0,2
/proc/271815/stat : 271815 (CASHWMaxSAT-Dis) R 271812 271815 269719 0 -1 4194304 94956 0 0 0 359975 27 0 0 20 0 1 0 24477650 423694336 101475 134679101440 4194304 14093885 140737045765744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40144896 140737045767141 140737045767256 140737045767256 140737045774271 0
/proc/271815/statm: 103441 101475 2542 2417 0 100543 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 413764 KiB
Current children cumulated memory: 405900 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.76 s, system=0.280964 s

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

Child status: 10

Real time (s): 3612.2
CPU time (s): 3600.04
CPU user time (s): 3599.76
CPU system time (s): 0.280964
CPU usage (%): 99.6632
Max. virtual memory (cumulated for all children) (KiB): 414472
Max. memory (cumulated for all children) (KiB): 405900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.76
system time used= 0.280964
maximum resident set size= 405916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94960
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= 48
involuntary context switches= 25203


# summary of solver processes directly reported to runsolver:
#   pid: 271815
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.76
#   total CPU system time (s): 0.280964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83022 second user time and 16.376 second system time

The end