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: 63794 MiB (63124 MiB free)
  memory of node 1: 64507 MiB (63830 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484789-1751296626/watcher-4484789-1751296626 -o /tmp/evaluation-result-4484789-1751296626/solver-4484789-1751296626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751293014-39277 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4484789-1751296626.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=39643, runsolver pid=39639

[startup+0.100071 s]*
/proc/loadavg: 4.08 4.08 4.04 4/246 39652
/proc/meminfo: memFree=129982000/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=25272 memory=10880 CPUtime=0.09 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 1997 0 0 0 9 0 0 0 20 0 1 0 45342343 25878528 2720 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 6318 2720 864 2593 0 3211 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25272 KiB
Current children cumulated memory: 10880 KiB

[startup+0.214237 s]*
/proc/loadavg: 4.08 4.08 4.04 5/246 39652
/proc/meminfo: memFree=129982176/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=32180 memory=17664 CPUtime=0.21 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 3711 0 0 0 20 1 0 0 20 0 1 0 45342343 32952320 4416 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 8045 4416 864 2593 0 4938 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32180 KiB
Current children cumulated memory: 17664 KiB

[startup+0.313451 s]*
/proc/loadavg: 4.08 4.08 4.04 4/250 39658
/proc/meminfo: memFree=129962292/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=38312 memory=23808 CPUtime=0.31 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 5232 0 0 0 29 2 0 0 20 0 1 0 45342343 39231488 5952 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 9578 5952 864 2593 0 6471 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38312 KiB
Current children cumulated memory: 23808 KiB

[startup+0.700289 s]
/proc/loadavg: 4.08 4.08 4.04 6/248 39664
/proc/meminfo: memFree=129918660/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=64148 memory=49536 CPUtime=0.68 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 11677 0 0 0 63 5 0 0 20 0 1 0 45342343 65687552 12384 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 16037 12384 864 2593 0 12930 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64148 KiB
Current children cumulated memory: 49536 KiB

[startup+1.50038 s]
/proc/loadavg: 4.08 4.08 4.04 5/250 39689
/proc/meminfo: memFree=129772428/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=214484 memory=203164 CPUtime=1.47 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 48791 0 0 0 131 16 0 0 20 0 1 0 45342343 219631616 50791 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 53621 50791 2496 2593 0 50514 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 214484 KiB
Current children cumulated memory: 203164 KiB

[startup+3.11285 s]
/proc/loadavg: 4.07 4.08 4.04 6/250 39689
/proc/meminfo: memFree=128706832/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=473496 memory=419232 CPUtime=3.08 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 73048 0 0 0 284 24 0 0 20 0 1 0 45342343 484859904 104808 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 118374 104808 2528 2593 0 115267 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 473496 KiB
Current children cumulated memory: 419232 KiB

[startup+6.30025 s]
/proc/loadavg: 4.07 4.08 4.04 6/250 39689
/proc/meminfo: memFree=128088820/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=581128 memory=514436 CPUtime=6.26 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 99823 0 0 0 597 29 0 0 20 0 1 0 45342343 595075072 128609 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 145282 128609 2656 2593 0 142175 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 581128 KiB
Current children cumulated memory: 514436 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.04 6/250 39689
/proc/meminfo: memFree=128076224/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=616284 memory=523292 CPUtime=12.65 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 103564 0 0 0 1235 30 0 0 20 0 1 0 45342343 631074816 130823 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 154071 130823 2656 2593 0 150964 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 616284 KiB
Current children cumulated memory: 523292 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.09 4.04 6/250 39689
/proc/meminfo: memFree=128053080/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=641000 memory=530392 CPUtime=25.41 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 105241 0 0 0 2511 30 0 0 20 0 1 0 45342343 656384000 132598 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 160250 132598 2656 2593 0 157143 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 641000 KiB
Current children cumulated memory: 530392 KiB

[startup+51.113 s]
/proc/loadavg: 4.07 4.08 4.04 6/250 39690
/proc/meminfo: memFree=127601972/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=884024 memory=642904 CPUtime=50.93 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 133391 0 0 0 5058 35 0 0 20 0 1 0 45342343 905240576 160726 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 221006 160726 2656 2593 0 217899 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 884024 KiB
Current children cumulated memory: 642904 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.04 6/251 39693
/proc/meminfo: memFree=127468768/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=886088 memory=645804 CPUtime=101.9 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 149615 0 0 0 10151 39 0 0 20 0 1 0 45342343 907354112 161451 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 221522 161451 2656 2593 0 218415 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 886088 KiB
Current children cumulated memory: 645804 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.08 4.04 6/250 39695
/proc/meminfo: memFree=127235416/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=919072 memory=652528 CPUtime=161.65 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 150338 0 0 0 16126 39 0 0 20 0 1 0 45342343 941129728 163132 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 229768 163132 2656 2593 0 226661 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 919072 KiB
Current children cumulated memory: 652528 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.04 6/250 39697
/proc/meminfo: memFree=127001880/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1036276 memory=751984 CPUtime=221.47 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 175323 0 0 0 22104 43 0 0 20 0 1 0 45342343 1061146624 187996 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 259069 187996 2656 2593 0 255962 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 1036276 KiB
Current children cumulated memory: 751984 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.04 6/250 39698
/proc/meminfo: memFree=126733636/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1100684 memory=785416 CPUtime=281.26 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 196020 0 0 0 28079 47 0 0 20 0 1 0 45342343 1127100416 196354 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 275171 196354 2656 2593 0 272064 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 1100684 KiB
Current children cumulated memory: 785416 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.04 6/252 39704
/proc/meminfo: memFree=126576888/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1106932 memory=790408 CPUtime=341.08 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 197292 0 0 0 34059 49 0 0 20 0 1 0 45342343 1133498368 197602 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 276733 197602 2656 2593 0 273626 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 1106932 KiB
Current children cumulated memory: 790408 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.04 6/252 39706
/proc/meminfo: memFree=126371552/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1223416 memory=904584 CPUtime=400.84 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 236052 0 0 0 40028 56 0 0 20 0 1 0 45342343 1252777984 226146 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 305854 226146 2656 2593 0 302747 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 1223416 KiB
Current children cumulated memory: 904584 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.04 6/251 39712
/proc/meminfo: memFree=126224040/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1232412 memory=916684 CPUtime=460.66 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 237523 0 0 0 46009 57 0 0 20 0 1 0 45342343 1261989888 229171 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 308103 229171 2656 2593 0 304996 0

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

Current children cumulated memory: 1984532 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/251 39837
/proc/meminfo: memFree=123394860/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=2525672 memory=1996820 CPUtime=2913.51 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 474982 0 0 0 291221 130 0 0 20 0 1 0 45342343 2586288128 499205 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 631418 499205 2912 2593 0 628311 0
Current children cumulated CPU time: 2913.51 s
Current children cumulated vsize: 2525672 KiB
Current children cumulated memory: 1996820 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/251 39839
/proc/meminfo: memFree=123364516/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=2525672 memory=2013224 CPUtime=2973.34 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 474996 0 0 0 297204 130 0 0 20 0 1 0 45342343 2586288128 503306 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 631418 503306 2912 2593 0 628311 0
Current children cumulated CPU time: 2973.34 s
Current children cumulated vsize: 2525672 KiB
Current children cumulated memory: 2013224 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/251 39841
/proc/meminfo: memFree=125414344/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1293768 CPUtime=3033.17 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 475123 0 0 0 303183 134 0 0 20 0 1 0 45342343 1766117376 323442 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 323442 2944 2593 0 428074 0
Current children cumulated CPU time: 3033.17 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1293768 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/254 39847
/proc/meminfo: memFree=125408764/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1293768 CPUtime=3093 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 475193 0 0 0 309165 135 0 0 20 0 1 0 45342343 1766117376 323442 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 323442 2944 2593 0 428074 0
Current children cumulated CPU time: 3093 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1293768 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.09 6/253 39849
/proc/meminfo: memFree=125399624/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1293768 CPUtime=3152.83 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 475206 0 0 0 315146 137 0 0 20 0 1 0 45342343 1766117376 323442 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 323442 2944 2593 0 428074 0
Current children cumulated CPU time: 3152.83 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1293768 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/253 39852
/proc/meminfo: memFree=125365036/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1299936 CPUtime=3212.65 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 475273 0 0 0 321127 138 0 0 20 0 1 0 45342343 1766117376 324984 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 324984 2944 2593 0 428074 0
Current children cumulated CPU time: 3212.65 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1299936 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/253 39854
/proc/meminfo: memFree=125355872/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1299936 CPUtime=3272.47 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 475282 0 0 0 327109 138 0 0 20 0 1 0 45342343 1766117376 324984 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 324984 2944 2593 0 428074 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1299936 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/252 39858
/proc/meminfo: memFree=125355652/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1307216 CPUtime=3332.29 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 476157 0 0 0 333090 139 0 0 20 0 1 0 45342343 1766117376 326804 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 326804 2944 2593 0 428074 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1307216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/250 39861
/proc/meminfo: memFree=125353824/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1307216 CPUtime=3392.1 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 476165 0 0 0 339070 140 0 0 20 0 1 0 45342343 1766117376 326804 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 326804 2944 2593 0 428074 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1307216 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.14 4.11 6/250 39867
/proc/meminfo: memFree=125340992/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1307216 CPUtime=3451.92 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 476219 0 0 0 345051 141 0 0 20 0 1 0 45342343 1766117376 326804 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 326804 2944 2593 0 428074 0
Current children cumulated CPU time: 3451.92 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1307216 KiB

[startup+3522.3 s]
/proc/loadavg: 5.50 4.48 4.22 6/250 39869
/proc/meminfo: memFree=125316084/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1307216 CPUtime=3511.74 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 476241 0 0 0 351033 141 0 0 20 0 1 0 45342343 1766117376 326804 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 326804 2944 2593 0 428074 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1307216 KiB

[startup+3582.3 s]
/proc/loadavg: 5.75 4.78 4.35 6/250 39871
/proc/meminfo: memFree=125281508/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1307216 CPUtime=3571.57 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 476282 0 0 0 357015 142 0 0 20 0 1 0 45342343 1766117376 326804 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 326804 2944 2593 0 428074 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1307216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 5.06 4.70 4.34 6/250 39873
/proc/meminfo: memFree=125284312/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1307216 CPUtime=3600.08 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 476304 0 0 0 359866 142 0 0 20 0 1 0 45342343 1766117376 326804 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 326804 2944 2593 0 428074 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1307216 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.67 s, system=1.43798 s

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

[startup+3610.9 s]
/proc/loadavg: 5.06 4.70 4.34 6/250 39873
/proc/meminfo: memFree=125284312/131382112 swapFree=33010684/33010684
[pid=39643] ppid=39639 vsize=1724724 memory=1307216 CPUtime=3600.08 cores=5,7
/proc/39643/stat : 39643 (CASHWMaxSAT-Dis) R 39639 39643 39264 0 -1 4194304 476304 0 0 0 359866 142 0 0 20 0 1 0 45342343 1766117376 326804 18446744073709551615 4198400 14817773 140727191632208 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55300096 140727191636330 140727191636445 140727191636445 140727191642047 0
/proc/39643/statm: 431181 326804 2944 2593 0 428074 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1724724 KiB
Current children cumulated memory: 1307216 KiB

Child status: 10

Real time (s): 3610.91
CPU time (s): 3600.1
CPU user time (s): 3598.67
CPU system time (s): 1.43798
CPU usage (%): 99.7006
Max. virtual memory (cumulated for all children) (KiB): 2525672
Max. memory (cumulated for all children) (KiB): 2013224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.67
system time used= 1.43798
maximum resident set size= 2013224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476306
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= 90
involuntary context switches= 2706


# summary of solver processes directly reported to runsolver:
#   pid: 39643
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.67
#   total CPU system time (s): 1.43798

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5338 second user time and 34.1357 second system time

The end