runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61922 MiB free)
  memory of node 1: 64507 MiB (56528 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518661-1751546490/watcher-4518661-1751546490 -o /tmp/evaluation-result-4518661-1751546490/solver-4518661-1751546490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751542880-85131 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4518661-1751546490.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=85430, runsolver pid=85427

[startup+0.100063 s]*
/proc/loadavg: 3.10 3.09 3.03 4/255 85431
/proc/meminfo: memFree=121254452/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=72732 memory=62664 CPUtime=0.09 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 13692 0 0 0 7 2 0 0 20 0 1 0 70326953 74477568 15666 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 18183 15666 2496 2593 0 15076 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72732 KiB
Current children cumulated memory: 62664 KiB

[startup+0.205378 s]*
/proc/loadavg: 3.10 3.09 3.03 5/255 85431
/proc/meminfo: memFree=121238324/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=89076 memory=78792 CPUtime=0.19 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 17741 0 0 0 16 3 0 0 20 0 1 0 70326953 91213824 19698 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 22269 19698 2496 2593 0 19162 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 89076 KiB
Current children cumulated memory: 78792 KiB

[startup+0.305382 s]*
/proc/loadavg: 3.10 3.09 3.03 3/255 85431
/proc/meminfo: memFree=121230276/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=107076 memory=94280 CPUtime=0.29 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 21619 0 0 0 26 3 0 0 20 0 1 0 70326953 109645824 23570 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 26769 23570 2528 2593 0 23662 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 107076 KiB
Current children cumulated memory: 94280 KiB

[startup+0.70017 s]
/proc/loadavg: 3.10 3.09 3.03 3/257 85435
/proc/meminfo: memFree=121182804/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=193884 memory=177228 CPUtime=0.68 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 43703 0 0 0 61 7 0 0 20 0 1 0 70326953 198537216 44307 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 48471 44307 2624 2593 0 45364 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 193884 KiB
Current children cumulated memory: 177228 KiB

[startup+1.50017 s]
/proc/loadavg: 3.10 3.09 3.03 4/259 85468
/proc/meminfo: memFree=121123008/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=197076 memory=179916 CPUtime=1.47 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 44358 0 0 0 140 7 0 0 20 0 1 0 70326953 201805824 44979 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 49269 44979 2624 2593 0 46162 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 197076 KiB
Current children cumulated memory: 179916 KiB

[startup+3.10498 s]
/proc/loadavg: 3.01 3.08 3.03 4/259 85513
/proc/meminfo: memFree=121086932/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=193340 memory=177544 CPUtime=3.07 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 44772 0 0 0 300 7 0 0 20 0 1 0 70326953 197980160 44386 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 48335 44386 2624 2593 0 45228 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 193340 KiB
Current children cumulated memory: 177544 KiB

[startup+6.30013 s]
/proc/loadavg: 3.01 3.08 3.03 4/259 85513
/proc/meminfo: memFree=121071804/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=198824 memory=179336 CPUtime=6.26 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 45214 0 0 0 619 7 0 0 20 0 1 0 70326953 203595776 44834 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 49706 44834 2624 2593 0 46599 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 198824 KiB
Current children cumulated memory: 179336 KiB

[startup+12.7001 s]
/proc/loadavg: 3.09 3.09 3.03 4/259 85513
/proc/meminfo: memFree=120826892/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=294108 memory=265064 CPUtime=12.64 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 68156 0 0 0 1253 11 0 0 20 0 1 0 70326953 301166592 66266 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 73527 66266 2624 2593 0 70420 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 294108 KiB
Current children cumulated memory: 265064 KiB

[startup+25.5002 s]
/proc/loadavg: 3.07 3.09 3.03 4/259 85513
/proc/meminfo: memFree=120779332/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=288652 memory=262964 CPUtime=25.41 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 71651 0 0 0 2529 12 0 0 20 0 1 0 70326953 295579648 65741 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 72163 65741 2624 2593 0 69056 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 288652 KiB
Current children cumulated memory: 262964 KiB

[startup+51.1052 s]
/proc/loadavg: 3.05 3.08 3.03 4/259 85513
/proc/meminfo: memFree=120777144/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=288652 memory=263860 CPUtime=50.94 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 71678 0 0 0 5082 12 0 0 20 0 1 0 70326953 295579648 65965 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 72163 65965 2624 2593 0 69056 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 288652 KiB
Current children cumulated memory: 263860 KiB

[startup+102.3 s]
/proc/loadavg: 3.14 3.10 3.03 4/259 85515
/proc/meminfo: memFree=120706740/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=304956 memory=275508 CPUtime=101.99 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 73520 0 0 0 10186 13 0 0 20 0 1 0 70326953 312274944 68877 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 76239 68877 2624 2593 0 73132 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 304956 KiB
Current children cumulated memory: 275508 KiB

[startup+162.3 s]
/proc/loadavg: 3.11 3.09 3.03 4/258 85517
/proc/meminfo: memFree=120464744/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=414088 memory=334452 CPUtime=161.8 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 80649 0 0 0 16166 14 0 0 20 0 1 0 70326953 424026112 83613 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 103522 83613 2624 2593 0 100415 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 414088 KiB
Current children cumulated memory: 334452 KiB

[startup+222.3 s]
/proc/loadavg: 3.08 3.09 3.03 4/258 85519
/proc/meminfo: memFree=120317372/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=459124 memory=413464 CPUtime=221.63 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 83151 0 0 0 22148 15 0 0 20 0 1 0 70326953 470142976 103366 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 114781 103366 2624 2593 0 111674 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 459124 KiB
Current children cumulated memory: 413464 KiB

[startup+282.3 s]
/proc/loadavg: 3.13 3.10 3.04 4/257 85522
/proc/meminfo: memFree=120077844/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=604856 memory=562676 CPUtime=281.46 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 111727 0 0 0 28125 21 0 0 20 0 1 0 70326953 619372544 140669 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 151214 140669 2624 2593 0 148107 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 604856 KiB
Current children cumulated memory: 562676 KiB

[startup+342.3 s]
/proc/loadavg: 3.10 3.09 3.04 4/257 85524
/proc/meminfo: memFree=120049372/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=604856 memory=562676 CPUtime=341.29 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 111753 0 0 0 34108 21 0 0 20 0 1 0 70326953 619372544 140669 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 151214 140669 2624 2593 0 148107 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 604856 KiB
Current children cumulated memory: 562676 KiB

[startup+402.3 s]
/proc/loadavg: 3.15 3.10 3.04 4/257 85526
/proc/meminfo: memFree=119995708/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=641204 memory=602972 CPUtime=401.13 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 130599 0 0 0 40088 25 0 0 20 0 1 0 70326953 656592896 150743 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 160301 150743 2624 2593 0 157194 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 641204 KiB
Current children cumulated memory: 602972 KiB

[startup+462.3 s]
/proc/loadavg: 3.11 3.10 3.04 4/258 85531
/proc/meminfo: memFree=119929940/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=676968 memory=634048 CPUtime=460.95 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 141799 0 0 0 46068 27 0 0 20 0 1 0 70326953 693215232 158512 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 169242 158512 2624 2593 0 166135 0

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

Current children cumulated memory: 719996 KiB

[startup+2922.3 s]
/proc/loadavg: 3.09 3.09 3.09 4/257 85668
/proc/meminfo: memFree=119370152/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=2913.33 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 199585 0 0 0 291293 40 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 2913.33 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

[startup+2982.3 s]
/proc/loadavg: 3.14 3.10 3.09 4/258 85675
/proc/meminfo: memFree=119305556/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=2973.16 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 199705 0 0 0 297276 40 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 2973.16 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

[startup+3042.3 s]
/proc/loadavg: 3.11 3.09 3.09 4/259 85678
/proc/meminfo: memFree=119198476/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=951268 memory=943736 CPUtime=3033 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 200105 0 0 0 303255 45 0 0 20 0 1 0 70326953 974098432 235934 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 237817 235934 2688 2593 0 234710 0
Current children cumulated CPU time: 3033 s
Current children cumulated vsize: 951268 KiB
Current children cumulated memory: 943736 KiB

[startup+3102.3 s]
/proc/loadavg: 3.08 3.09 3.09 4/260 85681
/proc/meminfo: memFree=119431348/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3092.84 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 200624 0 0 0 309234 50 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

[startup+3162.3 s]
/proc/loadavg: 3.14 3.10 3.09 4/260 85683
/proc/meminfo: memFree=119321596/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3152.67 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 201245 0 0 0 315212 55 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3152.67 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

[startup+3222.3 s]
/proc/loadavg: 3.11 3.09 3.09 4/260 85686
/proc/meminfo: memFree=119435008/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3212.51 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 201440 0 0 0 321196 55 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

[startup+3282.3 s]
/proc/loadavg: 3.16 3.10 3.09 4/259 85688
/proc/meminfo: memFree=119434120/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3272.34 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 201521 0 0 0 327179 55 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

[startup+3342.3 s]
/proc/loadavg: 3.12 3.10 3.09 4/259 85690
/proc/meminfo: memFree=119434040/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3332.17 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 201571 0 0 0 333162 55 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.09 3.09 4/258 85692
/proc/meminfo: memFree=119434224/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3392 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 201624 0 0 0 339145 55 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.10 3.09 4/259 85697
/proc/meminfo: memFree=119442424/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3451.84 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 201673 0 0 0 345129 55 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

[startup+3522.3 s]
/proc/loadavg: 3.14 3.11 3.09 4/259 85699
/proc/meminfo: memFree=119442296/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3511.67 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 201729 0 0 0 351112 55 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

[startup+3582.3 s]
/proc/loadavg: 3.09 3.10 3.09 4/259 85706
/proc/meminfo: memFree=119442092/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3571.5 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 201782 0 0 0 357095 55 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 3.12 3.11 3.09 4/259 85707
/proc/meminfo: memFree=119441900/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3600.02 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 201835 0 0 0 359947 55 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.47 s, system=0.55629 s

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

[startup+3610.9 s]
/proc/loadavg: 3.12 3.11 3.09 4/259 85707
/proc/meminfo: memFree=119441900/131249996 swapFree=33010684/33010684
[pid=85430] ppid=85427 vsize=727436 memory=719996 CPUtime=3600.02 cores=5,7
/proc/85430/stat : 85430 (CASHWMaxSAT-Dis) R 85427 85430 84386 0 -1 4194304 201835 0 0 0 359947 55 0 0 20 0 1 0 70326953 744894464 179999 18446744073709551615 4198400 14817773 140734828942016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53841920 140734828947818 140734828947933 140734828947933 140734828953535 0
/proc/85430/statm: 181859 179999 2688 2593 0 178752 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 727436 KiB
Current children cumulated memory: 719996 KiB

Child status: 10

Real time (s): 3610.9
CPU time (s): 3600.03
CPU user time (s): 3599.47
CPU system time (s): 0.55629
CPU usage (%): 99.6989
Max. virtual memory (cumulated for all children) (KiB): 976048
Max. memory (cumulated for all children) (KiB): 968516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.47
system time used= 0.55629
maximum resident set size= 968516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201838
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= 70
involuntary context switches= 1404


# summary of solver processes directly reported to runsolver:
#   pid: 85430
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.47
#   total CPU system time (s): 0.55629

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89172 second user time and 15.7593 second system time

The end