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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486308-1751313020/watcher-4486308-1751313020 -o /tmp/evaluation-result-4486308-1751313020/solver-4486308-1751313020 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751305795-50626 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4486308-1751313020.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=51490, runsolver pid=51484

[startup+0.10006 s]*
/proc/loadavg: 4.47 4.21 4.12 5/259 51495
/proc/meminfo: memFree=114948048/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=36004 memory=17536 CPUtime=0.09 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 3788 0 0 0 9 0 0 0 20 0 1 0 46980769 36868096 4384 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 9001 4384 736 2416 0 6103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36004 KiB
Current children cumulated memory: 17536 KiB

[startup+0.205494 s]*
/proc/loadavg: 4.47 4.21 4.12 4/261 51502
/proc/meminfo: memFree=122480012/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=48472 memory=31848 CPUtime=0.2 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 7068 0 0 0 19 1 0 0 20 0 1 0 46980769 49635328 7962 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 12118 7962 768 2416 0 9220 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48472 KiB
Current children cumulated memory: 31848 KiB

[startup+0.305591 s]*
/proc/loadavg: 4.47 4.21 4.12 4/261 51507
/proc/meminfo: memFree=126477148/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=66520 memory=49484 CPUtime=0.29 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 10935 0 0 0 28 1 0 0 20 0 1 0 46980769 68116480 12371 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 16630 12371 768 2416 0 13732 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66520 KiB
Current children cumulated memory: 49484 KiB

[startup+0.700171 s]
/proc/loadavg: 4.47 4.21 4.12 4/259 51515
/proc/meminfo: memFree=126389844/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=161756 memory=149532 CPUtime=0.68 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 34852 0 0 0 63 5 0 0 20 0 1 0 46980769 165638144 37383 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 40439 37383 2368 2416 0 37541 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 161756 KiB
Current children cumulated memory: 149532 KiB

[startup+1.50016 s]
/proc/loadavg: 4.47 4.21 4.12 5/263 51552
/proc/meminfo: memFree=126275400/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=208456 memory=194440 CPUtime=1.48 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 45483 0 0 0 141 7 0 0 20 0 1 0 46980769 213458944 48610 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 52114 48610 2496 2416 0 49216 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 208456 KiB
Current children cumulated memory: 194440 KiB

[startup+3.10449 s]
/proc/loadavg: 4.43 4.21 4.12 6/263 51552
/proc/meminfo: memFree=125799944/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=209816 memory=195720 CPUtime=3.08 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 45800 0 0 0 301 7 0 0 20 0 1 0 46980769 214851584 48930 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 52454 48930 2496 2416 0 49556 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 209816 KiB
Current children cumulated memory: 195720 KiB

[startup+6.30011 s]
/proc/loadavg: 4.43 4.21 4.12 6/263 51552
/proc/meminfo: memFree=125776252/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=210880 memory=196232 CPUtime=6.27 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 45937 0 0 0 620 7 0 0 20 0 1 0 46980769 215941120 49058 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 52720 49058 2496 2416 0 49822 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 210880 KiB
Current children cumulated memory: 196232 KiB

[startup+12.7001 s]
/proc/loadavg: 4.36 4.20 4.12 6/263 51552
/proc/meminfo: memFree=125351060/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=210880 memory=196232 CPUtime=12.64 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 45938 0 0 0 1257 7 0 0 20 0 1 0 46980769 215941120 49058 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 52720 49058 2496 2416 0 49822 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 210880 KiB
Current children cumulated memory: 196232 KiB

[startup+25.5001 s]
/proc/loadavg: 4.31 4.20 4.12 6/263 51553
/proc/meminfo: memFree=125235732/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=311204 memory=262024 CPUtime=25.4 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 62337 0 0 0 2530 10 0 0 20 0 1 0 46980769 318672896 65506 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 77801 65506 2528 2416 0 74903 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 311204 KiB
Current children cumulated memory: 262024 KiB

[startup+51.1045 s]
/proc/loadavg: 4.26 4.20 4.12 6/264 51555
/proc/meminfo: memFree=125184812/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=363768 memory=274312 CPUtime=50.92 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 65431 0 0 0 5081 11 0 0 20 0 1 0 46980769 372498432 68578 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 90942 68578 2528 2416 0 88044 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 363768 KiB
Current children cumulated memory: 274312 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.19 4.12 6/264 51557
/proc/meminfo: memFree=125134112/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=364368 memory=274312 CPUtime=101.96 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 65434 0 0 0 10185 11 0 0 20 0 1 0 46980769 373112832 68578 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 91092 68578 2528 2416 0 88194 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 364368 KiB
Current children cumulated memory: 274312 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.11 6/264 51560
/proc/meminfo: memFree=125010948/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=367816 memory=277512 CPUtime=161.77 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 66249 0 0 0 16166 11 0 0 20 0 1 0 46980769 376643584 69378 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 91954 69378 2528 2416 0 89056 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 367816 KiB
Current children cumulated memory: 277512 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.11 6/264 51562
/proc/meminfo: memFree=124908564/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=440908 memory=348808 CPUtime=221.59 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 84094 0 0 0 22145 14 0 0 20 0 1 0 46980769 451489792 87202 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 110227 87202 2528 2416 0 107329 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 440908 KiB
Current children cumulated memory: 348808 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.11 6/264 51564
/proc/meminfo: memFree=124860564/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=440908 memory=348808 CPUtime=281.39 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 84107 0 0 0 28125 14 0 0 20 0 1 0 46980769 451489792 87202 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 110227 87202 2528 2416 0 107329 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 440908 KiB
Current children cumulated memory: 348808 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.11 6/264 51566
/proc/meminfo: memFree=124822412/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=440908 memory=348808 CPUtime=341.21 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 84107 0 0 0 34107 14 0 0 20 0 1 0 46980769 451489792 87202 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 110227 87202 2528 2416 0 107329 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 440908 KiB
Current children cumulated memory: 348808 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.10 6/263 51568
/proc/meminfo: memFree=124804396/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=440908 memory=348808 CPUtime=401.01 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 84109 0 0 0 40087 14 0 0 20 0 1 0 46980769 451489792 87202 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 110227 87202 2528 2416 0 107329 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 440908 KiB
Current children cumulated memory: 348808 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/264 51570
/proc/meminfo: memFree=124802576/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=462016 memory=348936 CPUtime=460.81 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 84160 0 0 0 46067 14 0 0 20 0 1 0 46980769 473104384 87234 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 115504 87234 2528 2416 0 112606 0

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

Current children cumulated memory: 864400 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/264 51791
/proc/meminfo: memFree=124660868/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=864400 CPUtime=2913.83 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 157763 0 0 0 291356 27 0 0 20 0 1 0 46980769 1020563456 216100 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216100 2528 2416 0 246263 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 864400 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/264 51792
/proc/meminfo: memFree=124661080/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=864400 CPUtime=2973.68 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 157829 0 0 0 297341 27 0 0 20 0 1 0 46980769 1020563456 216100 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216100 2528 2416 0 246263 0
Current children cumulated CPU time: 2973.68 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 864400 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/263 51794
/proc/meminfo: memFree=124661048/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=864400 CPUtime=3033.52 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 157886 0 0 0 303325 27 0 0 20 0 1 0 46980769 1020563456 216100 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216100 2528 2416 0 246263 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 864400 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/263 51796
/proc/meminfo: memFree=124640976/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3093.36 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 157956 0 0 0 309309 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/263 51798
/proc/meminfo: memFree=124642100/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3153.21 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 158014 0 0 0 315294 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3153.21 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 6/264 51801
/proc/meminfo: memFree=124640992/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3213.05 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 158093 0 0 0 321278 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/263 51803
/proc/meminfo: memFree=124640596/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3272.89 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 158136 0 0 0 327262 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/263 51805
/proc/meminfo: memFree=124637816/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3332.74 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 158201 0 0 0 333247 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3332.74 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB

[startup+3402.3 s]
/proc/loadavg: 4.36 4.16 4.11 6/263 51807
/proc/meminfo: memFree=124637028/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3392.58 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 158258 0 0 0 339231 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB

[startup+3462.3 s]
/proc/loadavg: 4.46 4.25 4.14 6/263 51809
/proc/meminfo: memFree=124625004/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3452.42 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 158340 0 0 0 345215 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.23 4.14 6/263 51818
/proc/meminfo: memFree=124625760/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3512.26 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 158388 0 0 0 351199 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.22 4.14 6/263 51820
/proc/meminfo: memFree=124624480/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3572.11 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 158439 0 0 0 357184 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.22 4.22 4.14 6/264 51822
/proc/meminfo: memFree=124624568/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3600.03 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 158514 0 0 0 359976 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.77 s, system=0.278116 s

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

[startup+3610.3 s]
/proc/loadavg: 4.22 4.22 4.14 6/264 51822
/proc/meminfo: memFree=124624568/131249992 swapFree=33010684/33010684
[pid=51490] ppid=51484 vsize=996644 memory=866448 CPUtime=3600.03 cores=1,3
/proc/51490/stat : 51490 (CASHWMaxSAT-Dis) R 51484 51490 50614 0 -1 4194304 158514 0 0 0 359976 27 0 0 20 0 1 0 46980769 1020563456 216612 18446744073709551615 4198400 14093885 140723571182064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22966272 140723571186026 140723571186141 140723571186141 140723571191743 0
/proc/51490/statm: 249161 216612 2528 2416 0 246263 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 996644 KiB
Current children cumulated memory: 866448 KiB

Child status: 10

Real time (s): 3610.3
CPU time (s): 3600.05
CPU user time (s): 3599.77
CPU system time (s): 0.278116
CPU usage (%): 99.7159
Max. virtual memory (cumulated for all children) (KiB): 1045316
Max. memory (cumulated for all children) (KiB): 866448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.77
system time used= 0.278116
maximum resident set size= 866448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158516
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= 56
involuntary context switches= 4986


# summary of solver processes directly reported to runsolver:
#   pid: 51490
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.77
#   total CPU system time (s): 0.278116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.207 second user time and 13.2795 second system time

The end