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: 63665 MiB (56096 MiB free)
  memory of node 1: 64507 MiB (44972 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521099-1751569469/watcher-4521099-1751569469 -o /tmp/evaluation-result-4521099-1751569469/solver-4521099-1751569469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751565552-79537 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4521099-1751569469.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=80308, runsolver pid=80305

[startup+0.100062 s]*
/proc/loadavg: 4.10 4.10 4.03 5/266 80309
/proc/meminfo: memFree=103470292/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=35980 memory=21504 CPUtime=0.09 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 4666 0 0 0 9 0 0 0 20 0 1 0 72625772 36843520 5376 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 8995 5376 864 2593 0 5888 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35980 KiB
Current children cumulated memory: 21504 KiB

[startup+0.205758 s]*
/proc/loadavg: 4.10 4.10 4.03 5/266 80309
/proc/meminfo: memFree=103454440/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=53588 memory=39168 CPUtime=0.19 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 9057 0 0 0 18 1 0 0 20 0 1 0 72625772 54874112 9792 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 13397 9792 864 2593 0 10290 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53588 KiB
Current children cumulated memory: 39168 KiB

[startup+0.305589 s]*
/proc/loadavg: 4.10 4.10 4.03 5/266 80309
/proc/meminfo: memFree=103438312/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=70052 memory=55424 CPUtime=0.3 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 13146 0 0 0 28 2 0 0 20 0 1 0 72625772 71733248 13856 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 17513 13856 864 2593 0 14406 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70052 KiB
Current children cumulated memory: 55424 KiB

[startup+0.700179 s]
/proc/loadavg: 4.10 4.10 4.03 5/266 80309
/proc/meminfo: memFree=103406056/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=132752 memory=117888 CPUtime=0.68 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 28744 0 0 0 64 4 0 0 20 0 1 0 72625772 135938048 29472 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 33188 29472 864 2593 0 30081 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 132752 KiB
Current children cumulated memory: 117888 KiB

[startup+1.50017 s]
/proc/loadavg: 4.10 4.10 4.03 5/266 80309
/proc/meminfo: memFree=103325416/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=388468 memory=377588 CPUtime=1.48 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 93253 0 0 0 133 15 0 0 20 0 1 0 72625772 397791232 94397 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 97117 94397 2432 2593 0 94010 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 388468 KiB
Current children cumulated memory: 377588 KiB

[startup+3.10546 s]
/proc/loadavg: 4.09 4.10 4.03 5/266 80309
/proc/meminfo: memFree=102897828/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=604996 memory=590964 CPUtime=3.08 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 146553 0 0 0 285 23 0 0 20 0 1 0 72625772 619515904 147741 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 151249 147741 2496 2593 0 148142 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 604996 KiB
Current children cumulated memory: 590964 KiB

[startup+6.30016 s]
/proc/loadavg: 4.09 4.10 4.03 5/266 80309
/proc/meminfo: memFree=102362240/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1168732 memory=1092732 CPUtime=6.26 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 193150 0 0 0 588 38 0 0 20 0 1 0 72625772 1196781568 273183 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 292183 273183 2624 2593 0 289076 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1168732 KiB
Current children cumulated memory: 1092732 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.03 5/266 80309
/proc/meminfo: memFree=102362976/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1168732 memory=1095240 CPUtime=12.65 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 193250 0 0 0 1226 39 0 0 20 0 1 0 72625772 1196781568 273810 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 292183 273810 2624 2593 0 289076 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1168732 KiB
Current children cumulated memory: 1095240 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.03 5/266 80309
/proc/meminfo: memFree=102379816/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1168732 memory=1095368 CPUtime=25.41 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 193304 0 0 0 2502 39 0 0 20 0 1 0 72625772 1196781568 273842 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 292183 273842 2624 2593 0 289076 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1168732 KiB
Current children cumulated memory: 1095368 KiB

[startup+51.1057 s]
/proc/loadavg: 4.04 4.08 4.03 5/266 80310
/proc/meminfo: memFree=102391492/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1172016 memory=1098696 CPUtime=50.93 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 194135 0 0 0 5054 39 0 0 20 0 1 0 72625772 1200144384 274674 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 293004 274674 2624 2593 0 289897 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1172016 KiB
Current children cumulated memory: 1098696 KiB

[startup+102.3 s]
/proc/loadavg: 4.47 4.20 4.07 5/265 80311
/proc/meminfo: memFree=102364580/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1172016 memory=1098696 CPUtime=101.95 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 194147 0 0 0 10156 39 0 0 20 0 1 0 72625772 1200144384 274674 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 293004 274674 2624 2593 0 289897 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1172016 KiB
Current children cumulated memory: 1098696 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 4.17 4.07 5/265 80314
/proc/meminfo: memFree=102329092/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1175920 memory=1101000 CPUtime=161.74 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 194743 0 0 0 16135 39 0 0 20 0 1 0 72625772 1204142080 275250 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 293980 275250 2624 2593 0 290873 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1175920 KiB
Current children cumulated memory: 1101000 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.07 5/265 80316
/proc/meminfo: memFree=102331884/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1175920 memory=1101000 CPUtime=221.52 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 194743 0 0 0 22113 39 0 0 20 0 1 0 72625772 1204142080 275250 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 293980 275250 2624 2593 0 290873 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1175920 KiB
Current children cumulated memory: 1101000 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 4.18 4.08 5/265 80318
/proc/meminfo: memFree=102343336/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1175920 memory=1101000 CPUtime=281.31 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 194755 0 0 0 28092 39 0 0 20 0 1 0 72625772 1204142080 275250 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 293980 275250 2624 2593 0 290873 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1175920 KiB
Current children cumulated memory: 1101000 KiB

[startup+342.3 s]
/proc/loadavg: 4.26 4.20 4.10 5/264 80320
/proc/meminfo: memFree=102348328/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1175920 memory=1101000 CPUtime=341.09 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 194755 0 0 0 34070 39 0 0 20 0 1 0 72625772 1204142080 275250 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 293980 275250 2624 2593 0 290873 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 1175920 KiB
Current children cumulated memory: 1101000 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.18 4.09 5/265 80324
/proc/meminfo: memFree=102345148/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1175920 memory=1101000 CPUtime=400.88 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 194755 0 0 0 40049 39 0 0 20 0 1 0 72625772 1204142080 275250 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 293980 275250 2624 2593 0 290873 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 1175920 KiB
Current children cumulated memory: 1101000 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.16 4.09 5/264 80326
/proc/meminfo: memFree=102342608/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=1175920 memory=1101000 CPUtime=460.66 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 194767 0 0 0 46027 39 0 0 20 0 1 0 72625772 1204142080 275250 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 293980 275250 2624 2593 0 290873 0

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

Current children cumulated memory: 524740 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/264 80454
/proc/meminfo: memFree=103690412/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=2912.95 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 196237 0 0 0 291250 45 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 2912.95 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 80456
/proc/meminfo: memFree=103683156/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=2972.79 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 196338 0 0 0 297234 45 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 2972.79 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 80460
/proc/meminfo: memFree=103681448/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3032.63 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 196368 0 0 0 303218 45 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3032.63 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/265 80464
/proc/meminfo: memFree=103671852/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3092.47 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 196487 0 0 0 309202 45 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3092.47 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 80466
/proc/meminfo: memFree=103579444/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3152.31 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 196590 0 0 0 315186 45 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3152.31 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 80469
/proc/meminfo: memFree=103525240/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3212.15 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 196614 0 0 0 321170 45 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3212.15 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 80471
/proc/meminfo: memFree=103638080/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3271.99 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 196733 0 0 0 327154 45 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3271.99 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 80518
/proc/meminfo: memFree=103823252/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3331.83 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 196871 0 0 0 333138 45 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3331.83 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 80711
/proc/meminfo: memFree=104692844/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3391.65 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 197010 0 0 0 339118 47 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3391.65 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/265 80713
/proc/meminfo: memFree=104654072/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3451.49 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 197020 0 0 0 345102 47 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3451.49 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 80760
/proc/meminfo: memFree=104655192/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3511.33 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 197150 0 0 0 351086 47 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3511.33 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 80813
/proc/meminfo: memFree=101081644/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3571.13 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 197288 0 0 0 357065 48 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 80815
/proc/meminfo: memFree=98356512/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3600.04 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 197300 0 0 0 359956 48 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.56 s, system=0.485909 s

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

[startup+3611.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 80815
/proc/meminfo: memFree=98356512/131249988 swapFree=33010160/33010684
[pid=80308] ppid=80305 vsize=532868 memory=524740 CPUtime=3600.04 cores=4,6
/proc/80308/stat : 80308 (CASHWMaxSAT-Dis) R 80305 80308 79526 0 -1 4194304 197300 0 0 0 359956 48 0 0 20 0 1 0 72625772 545656832 131185 18446744073709551615 4198400 14817773 140724022938464 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22745088 140724022946154 140724022946269 140724022946269 140724022951871 0
/proc/80308/statm: 133217 131185 2656 2593 0 130110 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 532868 KiB
Current children cumulated memory: 524740 KiB

Child status: 10

Real time (s): 3611.3
CPU time (s): 3600.05
CPU user time (s): 3599.56
CPU system time (s): 0.485909
CPU usage (%): 99.6884
Max. virtual memory (cumulated for all children) (KiB): 1177556
Max. memory (cumulated for all children) (KiB): 1111112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.56
system time used= 0.485909
maximum resident set size= 1118508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197304
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= 9
involuntary context switches= 981


# summary of solver processes directly reported to runsolver:
#   pid: 80308
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.56
#   total CPU system time (s): 0.485909

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16647 second user time and 15.7854 second system time

The end