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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484744-1751295786/watcher-4484744-1751295786 -o /tmp/evaluation-result-4484744-1751295786/solver-4484744-1751295786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751292174-41100 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4484744-1751295786.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=41520, runsolver pid=41517

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.10 4.04 5/265 41521
/proc/meminfo: memFree=128818808/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=40624 memory=22144 CPUtime=0.09 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 4931 0 0 0 9 0 0 0 20 0 1 0 45255245 41598976 5536 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 10156 5536 736 2416 0 7258 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40624 KiB
Current children cumulated memory: 22144 KiB

[startup+0.205566 s]*
/proc/loadavg: 4.11 4.10 4.04 5/265 41521
/proc/meminfo: memFree=128762612/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=60196 memory=41728 CPUtime=0.19 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 9817 0 0 0 18 1 0 0 20 0 1 0 45255245 61640704 10432 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 15049 10432 736 2416 0 12151 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60196 KiB
Current children cumulated memory: 41728 KiB

[startup+0.305589 s]*
/proc/loadavg: 4.11 4.10 4.04 5/265 41521
/proc/meminfo: memFree=128746484/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=78712 memory=60288 CPUtime=0.29 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 14455 0 0 0 27 2 0 0 20 0 1 0 45255245 80601088 15072 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 19678 15072 736 2416 0 16780 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78712 KiB
Current children cumulated memory: 60288 KiB

[startup+0.700176 s]
/proc/loadavg: 4.11 4.10 4.04 5/265 41521
/proc/meminfo: memFree=128698384/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=229948 memory=218968 CPUtime=0.69 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 53366 0 0 0 59 10 0 0 20 0 1 0 45255245 235466752 54742 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 57487 54742 2336 2416 0 54589 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 229948 KiB
Current children cumulated memory: 218968 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 4.10 4.04 5/265 41521
/proc/meminfo: memFree=128439496/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=284908 memory=274520 CPUtime=1.48 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 67190 0 0 0 136 12 0 0 20 0 1 0 45255245 291745792 68630 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 71227 68630 2400 2416 0 68329 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 284908 KiB
Current children cumulated memory: 274520 KiB

[startup+3.10551 s]
/proc/loadavg: 4.11 4.10 4.04 5/265 41521
/proc/meminfo: memFree=127919560/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=597240 memory=555408 CPUtime=3.08 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 94519 0 0 0 289 19 0 0 20 0 1 0 45255245 611573760 138852 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 149310 138852 2496 2416 0 146412 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 597240 KiB
Current children cumulated memory: 555408 KiB

[startup+6.30016 s]
/proc/loadavg: 4.10 4.10 4.04 5/265 41521
/proc/meminfo: memFree=127795836/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=651220 memory=593484 CPUtime=6.27 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 102507 0 0 0 606 21 0 0 20 0 1 0 45255245 666849280 148371 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 162805 148371 2496 2416 0 159907 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 651220 KiB
Current children cumulated memory: 593484 KiB

[startup+12.7001 s]
/proc/loadavg: 4.17 4.11 4.05 5/265 41521
/proc/meminfo: memFree=127755528/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=664148 memory=597880 CPUtime=12.66 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 103094 0 0 0 1244 22 0 0 20 0 1 0 45255245 680087552 149470 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 166037 149470 2496 2416 0 163139 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 664148 KiB
Current children cumulated memory: 597880 KiB

[startup+25.5001 s]
/proc/loadavg: 4.21 4.13 4.05 5/265 41521
/proc/meminfo: memFree=127686792/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=699616 memory=602584 CPUtime=25.42 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 103777 0 0 0 2520 22 0 0 20 0 1 0 45255245 716406784 150646 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 174904 150646 2496 2416 0 172006 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 699616 KiB
Current children cumulated memory: 602584 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.05 5/265 41522
/proc/meminfo: memFree=127378472/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=980224 memory=740056 CPUtime=50.96 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 136630 0 0 0 5069 27 0 0 20 0 1 0 45255245 1003749376 185014 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 245056 185014 2496 2416 0 242158 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 980224 KiB
Current children cumulated memory: 740056 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/265 41524
/proc/meminfo: memFree=127290400/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1006680 memory=766808 CPUtime=102.01 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 143301 0 0 0 10173 28 0 0 20 0 1 0 45255245 1030840320 191702 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 251670 191702 2528 2416 0 248772 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1006680 KiB
Current children cumulated memory: 766808 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/263 41526
/proc/meminfo: memFree=127109260/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1091616 memory=853404 CPUtime=161.83 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 190264 0 0 0 16149 34 0 0 20 0 1 0 45255245 1117814784 213351 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 272904 213351 2528 2416 0 270006 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1091616 KiB
Current children cumulated memory: 853404 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.05 5/263 41528
/proc/meminfo: memFree=126919000/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1119776 memory=879980 CPUtime=221.66 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 194561 0 0 0 22131 35 0 0 20 0 1 0 45255245 1146650624 219995 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 279944 219995 2528 2416 0 277046 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1119776 KiB
Current children cumulated memory: 879980 KiB

[startup+282.3 s]
/proc/loadavg: 4.43 4.19 4.09 5/264 41531
/proc/meminfo: memFree=126690332/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1271192 memory=1023152 CPUtime=281.44 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 237752 0 0 0 28103 41 0 0 20 0 1 0 45255245 1301700608 255788 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 317798 255788 2528 2416 0 314900 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 1271192 KiB
Current children cumulated memory: 1023152 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.17 4.09 5/263 41532
/proc/meminfo: memFree=126641244/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1271192 memory=1023152 CPUtime=341.24 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 237754 0 0 0 34083 41 0 0 20 0 1 0 45255245 1301700608 255788 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 317798 255788 2528 2416 0 314900 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 1271192 KiB
Current children cumulated memory: 1023152 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/265 41542
/proc/meminfo: memFree=126580960/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1332172 memory=1071692 CPUtime=401.04 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 240096 0 0 0 40061 43 0 0 20 0 1 0 45255245 1364144128 267923 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 333043 267923 2528 2416 0 330145 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 1332172 KiB
Current children cumulated memory: 1071692 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/265 41545
/proc/meminfo: memFree=126473232/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1348156 memory=1076300 CPUtime=460.83 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 241259 0 0 0 46039 44 0 0 20 0 1 0 45255245 1380511744 269075 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 337039 269075 2528 2416 0 334141 0
Current children cumulated CPU time: 460.83 s

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

Current children cumulated memory: 1693524 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 41658
/proc/meminfo: memFree=124579916/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=2853.76 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 525601 0 0 0 285280 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 2853.76 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 41661
/proc/meminfo: memFree=124557280/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=2913.61 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 525718 0 0 0 291265 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 2913.61 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 41663
/proc/meminfo: memFree=124563080/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=2973.46 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 525858 0 0 0 297250 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 2973.46 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 41665
/proc/meminfo: memFree=125037008/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3033.3 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 525934 0 0 0 303234 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 41667
/proc/meminfo: memFree=125034924/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3093.12 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 526067 0 0 0 309216 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 41669
/proc/meminfo: memFree=125033296/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3152.93 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 526177 0 0 0 315197 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 41671
/proc/meminfo: memFree=125041856/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3212.75 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 526289 0 0 0 321179 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 41673
/proc/meminfo: memFree=125041160/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3272.57 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 526437 0 0 0 327161 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 41675
/proc/meminfo: memFree=125053168/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3332.39 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 526533 0 0 0 333143 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41683
/proc/meminfo: memFree=125062072/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3392.21 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 526619 0 0 0 339125 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 41685
/proc/meminfo: memFree=125072308/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3452.03 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 526780 0 0 0 345107 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 41698
/proc/meminfo: memFree=125074724/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3511.84 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 526863 0 0 0 351088 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 41700
/proc/meminfo: memFree=125038416/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3571.66 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 526990 0 0 0 357070 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.12 4.11 4.09 2/257 41739
/proc/meminfo: memFree=127494260/131250000 swapFree=33010684/33010684
[pid=41520] ppid=41517 vsize=1915304 memory=1693524 CPUtime=3600.07 cores=5,7
/proc/41520/stat : 41520 (CASHWMaxSAT-Dis) R 41517 41520 41087 0 -1 4194304 527034 0 0 0 359911 96 0 0 20 0 1 0 45255245 1961271296 423381 18446744073709551615 4198400 14093885 140726862001024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 52457472 140726862006634 140726862006749 140726862006749 140726862012351 0
/proc/41520/statm: 478826 423381 2752 2416 0 475928 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1915304 KiB
Current children cumulated memory: 1693524 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.12 s, system=0.972107 s

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

Child status: 10

Real time (s): 3610.8
CPU time (s): 3600.09
CPU user time (s): 3599.12
CPU system time (s): 0.972107
CPU usage (%): 99.7033
Max. virtual memory (cumulated for all children) (KiB): 2429988
Max. memory (cumulated for all children) (KiB): 2160348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 0.972107
maximum resident set size= 2160348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527037
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= 88
involuntary context switches= 2165


# summary of solver processes directly reported to runsolver:
#   pid: 41520
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 0.972107

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2026 second user time and 14.5762 second system time

The end