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: 63708 MiB (60873 MiB free)
  memory of node 1: 64465 MiB (57612 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519535-1751559746/watcher-4519535-1751559746 -o /tmp/evaluation-result-4519535-1751559746/solver-4519535-1751559746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751552888-75373 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4519535-1751559746.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=76109, runsolver pid=76106
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.07 4.10 4.09 5/265 76110
/proc/meminfo: memFree=121244764/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=63292 memory=53264 CPUtime=0.09 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 11241 0 0 0 8 1 0 0 20 0 1 0 71652086 64811008 13316 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 15823 13316 2496 2593 0 12716 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63292 KiB
Current children cumulated memory: 53264 KiB

[startup+0.205614 s]*
/proc/loadavg: 4.07 4.10 4.09 5/265 76110
/proc/meminfo: memFree=121228636/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=82436 memory=71440 CPUtime=0.2 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 15795 0 0 0 18 2 0 0 20 0 1 0 71652086 84414464 17860 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 20609 17860 2528 2593 0 17502 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82436 KiB
Current children cumulated memory: 71440 KiB

[startup+0.305504 s]*
/proc/loadavg: 4.07 4.10 4.09 5/265 76110
/proc/meminfo: memFree=121228636/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=84204 memory=73232 CPUtime=0.3 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 16225 0 0 0 28 2 0 0 20 0 1 0 71652086 86224896 18308 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 21051 18308 2528 2593 0 17944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84204 KiB
Current children cumulated memory: 73232 KiB

[startup+0.700175 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 76110
/proc/meminfo: memFree=121220572/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=85300 memory=74128 CPUtime=0.69 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 16474 0 0 0 67 2 0 0 20 0 1 0 71652086 87347200 18532 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 21325 18532 2528 2593 0 18218 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 85300 KiB
Current children cumulated memory: 74128 KiB

[startup+1.50019 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 76110
/proc/meminfo: memFree=120949224/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=124780 memory=108676 CPUtime=1.49 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 25826 0 0 0 146 3 0 0 20 0 1 0 71652086 127774720 27169 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 31195 27169 2656 2593 0 28088 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 124780 KiB
Current children cumulated memory: 108676 KiB

[startup+3.10534 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 76110
/proc/meminfo: memFree=121399728/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=133692 memory=111768 CPUtime=3.09 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 27211 0 0 0 306 3 0 0 20 0 1 0 71652086 136900608 27942 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 33423 27942 2656 2593 0 30316 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 133692 KiB
Current children cumulated memory: 111768 KiB

[startup+6.30019 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 76110
/proc/meminfo: memFree=121436180/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=159104 memory=118680 CPUtime=6.28 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 28984 0 0 0 624 4 0 0 20 0 1 0 71652086 162922496 29670 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 39776 29670 2656 2593 0 36669 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 159104 KiB
Current children cumulated memory: 118680 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 76110
/proc/meminfo: memFree=121420972/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=181692 memory=133784 CPUtime=12.66 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 32773 0 0 0 1261 5 0 0 20 0 1 0 71652086 186052608 33446 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 45423 33446 2656 2593 0 42316 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 181692 KiB
Current children cumulated memory: 133784 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 76111
/proc/meminfo: memFree=121381032/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=214808 memory=165660 CPUtime=25.43 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 42135 0 0 0 2536 7 0 0 20 0 1 0 71652086 219963392 41415 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 53702 41415 2656 2593 0 50595 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 214808 KiB
Current children cumulated memory: 165660 KiB

[startup+51.1054 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 76111
/proc/meminfo: memFree=121327692/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=238688 memory=190608 CPUtime=50.96 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 49171 0 0 0 5088 8 0 0 20 0 1 0 71652086 244416512 47652 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 59672 47652 2656 2593 0 56565 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 238688 KiB
Current children cumulated memory: 190608 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/265 76113
/proc/meminfo: memFree=121306184/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=296588 memory=239248 CPUtime=102.01 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 61124 0 0 0 10191 10 0 0 20 0 1 0 71652086 303706112 59812 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 74147 59812 2912 2593 0 71040 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 296588 KiB
Current children cumulated memory: 239248 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 76120
/proc/meminfo: memFree=121300424/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=318916 memory=263312 CPUtime=161.85 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 67143 0 0 0 16174 11 0 0 20 0 1 0 71652086 326569984 65828 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 79729 65828 2912 2593 0 76622 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 318916 KiB
Current children cumulated memory: 263312 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 76122
/proc/meminfo: memFree=121271620/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=320344 memory=264208 CPUtime=221.69 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 67381 0 0 0 22158 11 0 0 20 0 1 0 71652086 328032256 66052 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 80086 66052 2912 2593 0 76979 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 320344 KiB
Current children cumulated memory: 264208 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 76124
/proc/meminfo: memFree=121277028/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=322612 memory=267024 CPUtime=281.52 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 68067 0 0 0 28141 11 0 0 20 0 1 0 71652086 330354688 66756 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 80653 66756 2912 2593 0 77546 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 322612 KiB
Current children cumulated memory: 267024 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 76129
/proc/meminfo: memFree=121272520/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=328240 memory=272824 CPUtime=341.36 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 72898 0 0 0 34124 12 0 0 20 0 1 0 71652086 336117760 68206 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 82060 68206 2912 2593 0 78953 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 328240 KiB
Current children cumulated memory: 272824 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 76312
/proc/meminfo: memFree=127010020/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=346280 memory=273632 CPUtime=401.17 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 80355 0 0 0 40103 14 0 0 20 0 1 0 71652086 354590720 68408 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 86570 68408 2912 2593 0 83463 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 346280 KiB
Current children cumulated memory: 273632 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 76314
/proc/meminfo: memFree=126762092/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=361520 memory=309856 CPUtime=461 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 80427 0 0 0 46086 14 0 0 20 0 1 0 71652086 370196480 77464 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 90380 77464 2912 2593 0 87273 0
Current children cumulated CPU time: 461 s

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

/proc/loadavg: 4.14 4.10 4.09 5/263 76348
/proc/meminfo: memFree=125679512/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=592396 memory=536156 CPUtime=1179.02 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 102322 0 0 0 117884 18 0 0 20 0 1 0 71652086 606613504 134039 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 148099 134039 2912 2593 0 144992 0
Current children cumulated CPU time: 1179.02 s
Current children cumulated vsize: 592396 KiB
Current children cumulated memory: 536156 KiB

[startup+1242.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 76350
/proc/meminfo: memFree=125665896/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=592396 memory=536156 CPUtime=1238.85 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 102322 0 0 0 123867 18 0 0 20 0 1 0 71652086 606613504 134039 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 148099 134039 2912 2593 0 144992 0
Current children cumulated CPU time: 1238.85 s
Current children cumulated vsize: 592396 KiB
Current children cumulated memory: 536156 KiB

[startup+1302.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 76352
/proc/meminfo: memFree=125639828/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=593924 memory=536156 CPUtime=1298.69 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 102464 0 0 0 129851 18 0 0 20 0 1 0 71652086 608178176 134039 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 148481 134039 2912 2593 0 145374 0
Current children cumulated CPU time: 1298.69 s
Current children cumulated vsize: 593924 KiB
Current children cumulated memory: 536156 KiB

[startup+1362.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 76359
/proc/meminfo: memFree=125601720/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=622648 memory=553564 CPUtime=1358.52 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 106804 0 0 0 135834 18 0 0 20 0 1 0 71652086 637591552 138391 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 155662 138391 2912 2593 0 152555 0
Current children cumulated CPU time: 1358.52 s
Current children cumulated vsize: 622648 KiB
Current children cumulated memory: 553564 KiB

[startup+1422.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 76361
/proc/meminfo: memFree=125580452/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=636600 memory=567200 CPUtime=1418.35 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 109824 0 0 0 141816 19 0 0 20 0 1 0 71652086 651878400 141800 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 159150 141800 2912 2593 0 156043 0
Current children cumulated CPU time: 1418.35 s
Current children cumulated vsize: 636600 KiB
Current children cumulated memory: 567200 KiB

[startup+1482.3 s]
/proc/loadavg: 4.18 4.10 4.09 5/264 76364
/proc/meminfo: memFree=125401632/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=658604 memory=589216 CPUtime=1478.18 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 115378 0 0 0 147798 20 0 0 20 0 1 0 71652086 674410496 147304 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 164651 147304 2912 2593 0 161544 0
Current children cumulated CPU time: 1478.18 s
Current children cumulated vsize: 658604 KiB
Current children cumulated memory: 589216 KiB

[startup+1542.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 76368
/proc/meminfo: memFree=125363752/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=659636 memory=591776 CPUtime=1538.01 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 116032 0 0 0 153781 20 0 0 20 0 1 0 71652086 675467264 147944 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 164909 147944 2912 2593 0 161802 0
Current children cumulated CPU time: 1538.01 s
Current children cumulated vsize: 659636 KiB
Current children cumulated memory: 591776 KiB

[startup+1602.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 76370
/proc/meminfo: memFree=125300652/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=659636 memory=591776 CPUtime=1597.84 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 116148 0 0 0 159764 20 0 0 20 0 1 0 71652086 675467264 147944 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 164909 147944 2912 2593 0 161802 0
Current children cumulated CPU time: 1597.84 s
Current children cumulated vsize: 659636 KiB
Current children cumulated memory: 591776 KiB

[startup+1662.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 76372
/proc/meminfo: memFree=125230488/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=677136 memory=606212 CPUtime=1657.67 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 119311 0 0 0 165746 21 0 0 20 0 1 0 71652086 693387264 151553 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 169284 151553 2912 2593 0 166177 0
Current children cumulated CPU time: 1657.67 s
Current children cumulated vsize: 677136 KiB
Current children cumulated memory: 606212 KiB

[startup+1722.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 76376
/proc/meminfo: memFree=125189240/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=673368 memory=603608 CPUtime=1717.5 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 120318 0 0 0 171729 21 0 0 20 0 1 0 71652086 689528832 150902 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 168342 150902 2912 2593 0 165235 0
Current children cumulated CPU time: 1717.5 s
Current children cumulated vsize: 673368 KiB
Current children cumulated memory: 603608 KiB

[startup+1729.82 s]
# the end of solver process 76109 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1724.79 s, system=0.220746 s

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

[startup+1724.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 76376
/proc/meminfo: memFree=125189248/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=673368 memory=603608 CPUtime=1720 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 120318 0 0 0 171979 21 0 0 20 0 1 0 71652086 689528832 150902 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 168342 150902 2912 2593 0 165235 0
Current children cumulated CPU time: 1720 s
Current children cumulated vsize: 673368 KiB
Current children cumulated memory: 603608 KiB

[startup+1728 s]*
/proc/loadavg: 4.14 4.10 4.09 5/264 76376
/proc/meminfo: memFree=125154824/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=673368 memory=603608 CPUtime=1723.19 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 120318 0 0 0 172298 21 0 0 20 0 1 0 71652086 689528832 150902 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 168342 150902 2912 2593 0 165235 0
Current children cumulated CPU time: 1723.19 s
Current children cumulated vsize: 673368 KiB
Current children cumulated memory: 603608 KiB

[startup+1728.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 76376
/proc/meminfo: memFree=125154824/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=673368 memory=603608 CPUtime=1723.99 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 120318 0 0 0 172378 21 0 0 20 0 1 0 71652086 689528832 150902 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 168342 150902 2912 2593 0 165235 0
Current children cumulated CPU time: 1723.99 s
Current children cumulated vsize: 673368 KiB
Current children cumulated memory: 603608 KiB

[startup+1729.6 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 76376
/proc/meminfo: memFree=125154824/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=673368 memory=603608 CPUtime=1724.78 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 120318 0 0 0 172457 21 0 0 20 0 1 0 71652086 689528832 150902 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 168342 150902 2912 2593 0 165235 0
Current children cumulated CPU time: 1724.78 s
Current children cumulated vsize: 673368 KiB
Current children cumulated memory: 603608 KiB

[startup+1729.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 76376
/proc/meminfo: memFree=125154824/131250000 swapFree=33007332/33010684
[pid=76109] ppid=76106 vsize=673368 memory=603608 CPUtime=1724.98 cores=4,6
/proc/76109/stat : 76109 (CASHWMaxSAT-Dis) R 76106 76109 75315 0 -1 4194304 120318 0 0 0 172477 21 0 0 20 0 1 0 71652086 689528832 150902 18446744073709551615 4198400 14817773 140727631410432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48619520 140727631415658 140727631415773 140727631415773 140727631421375 0
/proc/76109/statm: 168342 150902 2912 2593 0 165235 0
Current children cumulated CPU time: 1724.98 s
Current children cumulated vsize: 673368 KiB
Current children cumulated memory: 603608 KiB

Child status: 30

Real time (s): 1729.82
CPU time (s): 1725.01
CPU user time (s): 1724.79
CPU system time (s): 0.220746
CPU usage (%): 99.7215
Max. virtual memory (cumulated for all children) (KiB): 677136
Max. memory (cumulated for all children) (KiB): 606468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1724.79
system time used= 0.220746
maximum resident set size= 607492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120318
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= 38
involuntary context switches= 960


# summary of solver processes directly reported to runsolver:
#   pid: 76109
#   total CPU time (s): 1725.01
#   total CPU user time (s): 1724.79
#   total CPU system time (s): 0.220746

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6723 second user time and 7.16258 second system time

The end