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

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


[startup+0.100062 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 41883
/proc/meminfo: memFree=128447308/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=41680 memory=23168 CPUtime=0.09 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 5171 0 0 0 9 0 0 0 20 0 1 0 45616451 42680320 5792 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 10420 5792 736 2416 0 7522 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41680 KiB
Current children cumulated memory: 23168 KiB

[startup+0.205739 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 41883
/proc/meminfo: memFree=128244096/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=61120 memory=42752 CPUtime=0.2 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 10061 0 0 0 19 1 0 0 20 0 1 0 45616451 62586880 10688 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 15280 10688 736 2416 0 12382 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61120 KiB
Current children cumulated memory: 42752 KiB

[startup+0.305609 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 41883
/proc/meminfo: memFree=128170944/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=76764 memory=61204 CPUtime=0.29 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 14310 0 0 0 28 1 0 0 20 0 1 0 45616451 78606336 15301 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 19191 15301 768 2416 0 16293 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76764 KiB
Current children cumulated memory: 61204 KiB

[startup+0.700191 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127947888/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=208340 memory=197676 CPUtime=0.69 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 47776 0 0 0 62 7 0 0 20 0 1 0 45616451 213340160 49419 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 52085 49419 2336 2416 0 49187 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 208340 KiB
Current children cumulated memory: 197676 KiB

[startup+1.50017 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127623920/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=372952 memory=335056 CPUtime=1.48 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 57696 0 0 0 138 10 0 0 20 0 1 0 45616451 381902848 83764 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 93238 83764 2400 2416 0 90340 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 372952 KiB
Current children cumulated memory: 335056 KiB

[startup+3.10544 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127309884/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=487304 memory=447800 CPUtime=3.09 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 74663 0 0 0 294 15 0 0 20 0 1 0 45616451 498999296 111950 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 121826 111950 2496 2416 0 118928 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 487304 KiB
Current children cumulated memory: 447800 KiB

[startup+6.3001 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127265556/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=532676 memory=474332 CPUtime=6.28 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 79785 0 0 0 612 16 0 0 20 0 1 0 45616451 545460224 118583 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 133169 118583 2496 2416 0 130271 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 532676 KiB
Current children cumulated memory: 474332 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127265652/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=547684 memory=474332 CPUtime=12.66 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 79796 0 0 0 1250 16 0 0 20 0 1 0 45616451 560828416 118583 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 136921 118583 2496 2416 0 134023 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 547684 KiB
Current children cumulated memory: 474332 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 41883
/proc/meminfo: memFree=127217392/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=577160 memory=481336 CPUtime=25.42 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 81033 0 0 0 2526 16 0 0 20 0 1 0 45616451 591011840 120334 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 144290 120334 2496 2416 0 141392 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 577160 KiB
Current children cumulated memory: 481336 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41884
/proc/meminfo: memFree=126766948/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=770592 memory=579340 CPUtime=50.96 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 105008 0 0 0 5076 20 0 0 20 0 1 0 45616451 789086208 144835 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 192648 144835 2496 2416 0 189750 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 770592 KiB
Current children cumulated memory: 579340 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/263 41885
/proc/meminfo: memFree=126655624/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=761936 memory=571516 CPUtime=101.97 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 126705 0 0 0 10174 23 0 0 20 0 1 0 45616451 780222464 142879 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 190484 142879 2496 2416 0 187586 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 761936 KiB
Current children cumulated memory: 571516 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 41888
/proc/meminfo: memFree=126432636/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=896316 memory=697188 CPUtime=161.79 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 168165 0 0 0 16149 30 0 0 20 0 1 0 45616451 917827584 174297 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 224079 174297 2496 2416 0 221181 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 896316 KiB
Current children cumulated memory: 697188 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 41890
/proc/meminfo: memFree=126221104/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=978964 memory=777488 CPUtime=221.61 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 199167 0 0 0 22125 36 0 0 20 0 1 0 45616451 1002459136 194372 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 244741 194372 2752 2416 0 241843 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 978964 KiB
Current children cumulated memory: 777488 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 41892
/proc/meminfo: memFree=125982172/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1026360 memory=802596 CPUtime=281.45 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 200897 0 0 0 28109 36 0 0 20 0 1 0 45616451 1050992640 200649 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 256590 200649 2752 2416 0 253692 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1026360 KiB
Current children cumulated memory: 802596 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 41894
/proc/meminfo: memFree=125849688/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1068836 memory=829388 CPUtime=341.27 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 217846 0 0 0 34088 39 0 0 20 0 1 0 45616451 1094488064 207347 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 267209 207347 2752 2416 0 264311 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1068836 KiB
Current children cumulated memory: 829388 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 41903
/proc/meminfo: memFree=125651244/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1137236 memory=898916 CPUtime=401.08 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 242242 0 0 0 40065 43 0 0 20 0 1 0 45616451 1164529664 224729 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 284309 224729 2752 2416 0 281411 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1137236 KiB
Current children cumulated memory: 898916 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 41905
/proc/meminfo: memFree=125563896/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1123428 memory=887340 CPUtime=460.92 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 251244 0 0 0 46047 45 0 0 20 0 1 0 45616451 1150390272 221835 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 280857 221835 2752 2416 0 277959 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 1802036 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 42019
/proc/meminfo: memFree=123275772/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=2402648 memory=1833740 CPUtime=2853.57 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 507077 0 0 0 285262 95 0 0 20 0 1 0 45616451 2460311552 458435 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 600662 458435 2752 2416 0 597764 0
Current children cumulated CPU time: 2853.57 s
Current children cumulated vsize: 2402648 KiB
Current children cumulated memory: 1833740 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 42021
/proc/meminfo: memFree=123271472/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=2402648 memory=1847168 CPUtime=2913.37 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 507371 0 0 0 291241 96 0 0 20 0 1 0 45616451 2460311552 461792 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 600662 461792 2752 2416 0 597764 0
Current children cumulated CPU time: 2913.37 s
Current children cumulated vsize: 2402648 KiB
Current children cumulated memory: 1847168 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 42023
/proc/meminfo: memFree=123239952/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=2402648 memory=1859472 CPUtime=2973.16 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 507424 0 0 0 297220 96 0 0 20 0 1 0 45616451 2460311552 464868 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 600662 464868 2752 2416 0 597764 0
Current children cumulated CPU time: 2973.16 s
Current children cumulated vsize: 2402648 KiB
Current children cumulated memory: 1859472 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 42025
/proc/meminfo: memFree=124435496/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1265968 CPUtime=3032.99 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 509426 0 0 0 303202 97 0 0 20 0 1 0 45616451 1769238528 316492 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 316492 2752 2416 0 429045 0
Current children cumulated CPU time: 3032.99 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1265968 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 42027
/proc/meminfo: memFree=124420344/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1269296 CPUtime=3092.83 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 509817 0 0 0 309186 97 0 0 20 0 1 0 45616451 1769238528 317324 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 317324 2752 2416 0 429045 0
Current children cumulated CPU time: 3092.83 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1269296 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 42029
/proc/meminfo: memFree=124437180/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1273264 CPUtime=3152.67 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 509856 0 0 0 315170 97 0 0 20 0 1 0 45616451 1769238528 318316 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 318316 2752 2416 0 429045 0
Current children cumulated CPU time: 3152.67 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1273264 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 42031
/proc/meminfo: memFree=124429588/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1302576 CPUtime=3212.51 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 509869 0 0 0 321153 98 0 0 20 0 1 0 45616451 1769238528 325644 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 325644 2752 2416 0 429045 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1302576 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 42034
/proc/meminfo: memFree=124376780/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1329840 CPUtime=3272.36 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 509920 0 0 0 327138 98 0 0 20 0 1 0 45616451 1769238528 332460 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 332460 2752 2416 0 429045 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1329840 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 42036
/proc/meminfo: memFree=124369996/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1331504 CPUtime=3332.2 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 509951 0 0 0 333122 98 0 0 20 0 1 0 45616451 1769238528 332876 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 332876 2752 2416 0 429045 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1331504 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 42045
/proc/meminfo: memFree=124363720/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1331632 CPUtime=3392.05 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 509988 0 0 0 339107 98 0 0 20 0 1 0 45616451 1769238528 332908 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 332908 2752 2416 0 429045 0
Current children cumulated CPU time: 3392.05 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1331632 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 42047
/proc/meminfo: memFree=124375988/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1344188 CPUtime=3451.89 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 510048 0 0 0 345091 98 0 0 20 0 1 0 45616451 1769238528 336047 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 336047 2752 2416 0 429045 0
Current children cumulated CPU time: 3451.89 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1344188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 42060
/proc/meminfo: memFree=124363552/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1350716 CPUtime=3511.73 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 510083 0 0 0 351075 98 0 0 20 0 1 0 45616451 1769238528 337679 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 337679 2752 2416 0 429045 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1350716 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 42062
/proc/meminfo: memFree=124349176/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1367228 CPUtime=3571.58 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 510133 0 0 0 357060 98 0 0 20 0 1 0 45616451 1769238528 341807 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 341807 2752 2416 0 429045 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1367228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.45 4.19 4.12 3/251 42125
/proc/meminfo: memFree=126716408/131250000 swapFree=33010684/33010684
[pid=41882] ppid=41879 vsize=1727772 memory=1371068 CPUtime=3600 cores=5,7
/proc/41882/stat : 41882 (CASHWMaxSAT-Dis) R 41879 41882 41087 0 -1 4194304 510163 0 0 0 359902 98 0 0 20 0 1 0 45616451 1769238528 342767 18446744073709551615 4198400 14093885 140725417055888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29712384 140725417064810 140725417064925 140725417064925 140725417070527 0
/proc/41882/statm: 431943 342767 2752 2416 0 429045 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1727772 KiB
Current children cumulated memory: 1371068 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.03 s, system=1.00909 s

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

Child status: 10

Real time (s): 3610.82
CPU time (s): 3600.04
CPU user time (s): 3599.03
CPU system time (s): 1.00909
CPU usage (%): 99.7013
Max. virtual memory (cumulated for all children) (KiB): 2402648
Max. memory (cumulated for all children) (KiB): 1860404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 1.00909
maximum resident set size= 1860404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510165
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= 14
involuntary context switches= 2346


# summary of solver processes directly reported to runsolver:
#   pid: 41882
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.03
#   total CPU system time (s): 1.00909

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90058 second user time and 15.5093 second system time

The end