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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499601-1751413728/watcher-4499601-1751413728 -o /tmp/evaluation-result-4499601-1751413728/solver-4499601-1751413728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751405727-57152 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4499601-1751413728.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=58310, runsolver pid=58307

[startup+0.100065 s]*
/proc/loadavg: 4.10 4.09 4.09 5/250 58311
/proc/meminfo: memFree=128153304/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=25144 memory=10752 CPUtime=0.1 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 1942 0 0 0 10 0 0 0 20 0 1 0 57052261 25747456 2688 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 6286 2688 864 2593 0 3179 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25144 KiB
Current children cumulated memory: 10752 KiB

[startup+0.212938 s]*
/proc/loadavg: 4.10 4.09 4.09 5/250 58311
/proc/meminfo: memFree=128145492/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=31548 memory=17152 CPUtime=0.22 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 3550 0 0 0 21 1 0 0 20 0 1 0 57052261 32305152 4288 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 7887 4288 864 2593 0 4780 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 31548 KiB
Current children cumulated memory: 17152 KiB

[startup+0.312722 s]*
/proc/loadavg: 4.10 4.09 4.09 5/250 58311
/proc/meminfo: memFree=128137428/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=37268 memory=22784 CPUtime=0.31 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 4968 0 0 0 30 1 0 0 20 0 1 0 57052261 38162432 5696 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 9317 5696 864 2593 0 6210 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37268 KiB
Current children cumulated memory: 22784 KiB

[startup+0.700272 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 58311
/proc/meminfo: memFree=128129364/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=62692 memory=48256 CPUtime=0.69 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 11324 0 0 0 65 4 0 0 20 0 1 0 57052261 64196608 12064 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 15673 12064 864 2593 0 12566 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62692 KiB
Current children cumulated memory: 48256 KiB

[startup+1.50031 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 58311
/proc/meminfo: memFree=128025036/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=181420 memory=171492 CPUtime=1.49 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 45004 0 0 0 137 12 0 0 20 0 1 0 57052261 185774080 42873 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 45355 42873 2496 2593 0 42248 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 181420 KiB
Current children cumulated memory: 171492 KiB

[startup+3.11265 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 58311
/proc/meminfo: memFree=127925668/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=256444 memory=241968 CPUtime=3.09 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 65216 0 0 0 294 15 0 0 20 0 1 0 57052261 262598656 60492 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 64111 60492 2624 2593 0 61004 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 256444 KiB
Current children cumulated memory: 241968 KiB

[startup+6.30026 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 58311
/proc/meminfo: memFree=127925668/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=256444 memory=242352 CPUtime=6.27 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 65326 0 0 0 612 15 0 0 20 0 1 0 57052261 262598656 60588 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 64111 60588 2624 2593 0 61004 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 256444 KiB
Current children cumulated memory: 242352 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 58311
/proc/meminfo: memFree=127923656/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=257816 memory=243632 CPUtime=12.65 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 65643 0 0 0 1250 15 0 0 20 0 1 0 57052261 264003584 60908 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 64454 60908 2624 2593 0 61347 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 257816 KiB
Current children cumulated memory: 243632 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 58311
/proc/meminfo: memFree=127923656/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=257816 memory=243632 CPUtime=25.4 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 65643 0 0 0 2525 15 0 0 20 0 1 0 57052261 264003584 60908 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 64454 60908 2624 2593 0 61347 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 257816 KiB
Current children cumulated memory: 243632 KiB

[startup+51.1127 s]
/proc/loadavg: 4.04 4.07 4.08 5/249 58312
/proc/meminfo: memFree=127908284/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=257816 memory=243632 CPUtime=50.93 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 65644 0 0 0 5077 16 0 0 20 0 1 0 57052261 264003584 60908 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 64454 60908 2624 2593 0 61347 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 257816 KiB
Current children cumulated memory: 243632 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/252 58321
/proc/meminfo: memFree=127889596/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=287932 memory=265456 CPUtime=101.95 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 71134 0 0 0 10178 17 0 0 20 0 1 0 57052261 294842368 66364 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 71983 66364 2624 2593 0 68876 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 287932 KiB
Current children cumulated memory: 265456 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 58323
/proc/meminfo: memFree=127881540/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=287932 memory=265456 CPUtime=161.74 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 71136 0 0 0 16157 17 0 0 20 0 1 0 57052261 294842368 66364 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 71983 66364 2624 2593 0 68876 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 287932 KiB
Current children cumulated memory: 265456 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/252 58325
/proc/meminfo: memFree=127864796/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=287932 memory=265456 CPUtime=221.53 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 71136 0 0 0 22135 18 0 0 20 0 1 0 57052261 294842368 66364 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 71983 66364 2624 2593 0 68876 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 287932 KiB
Current children cumulated memory: 265456 KiB

[startup+282.3 s]
/proc/loadavg: 4.45 4.16 4.12 5/252 58327
/proc/meminfo: memFree=127864544/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=287932 memory=265456 CPUtime=281.33 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 71138 0 0 0 28114 19 0 0 20 0 1 0 57052261 294842368 66364 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 71983 66364 2624 2593 0 68876 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 287932 KiB
Current children cumulated memory: 265456 KiB

[startup+342.3 s]
/proc/loadavg: 4.63 4.28 4.16 5/253 58330
/proc/meminfo: memFree=127852216/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=298260 memory=270448 CPUtime=341.14 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 72403 0 0 0 34095 19 0 0 20 0 1 0 57052261 305418240 67612 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 74565 67612 2624 2593 0 71458 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 298260 KiB
Current children cumulated memory: 270448 KiB

[startup+402.3 s]
/proc/loadavg: 4.70 4.34 4.19 5/251 58332
/proc/meminfo: memFree=127848444/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=298260 memory=270448 CPUtime=400.93 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 72405 0 0 0 40074 19 0 0 20 0 1 0 57052261 305418240 67612 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 74565 67612 2624 2593 0 71458 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 298260 KiB
Current children cumulated memory: 270448 KiB

[startup+462.3 s]
/proc/loadavg: 4.67 4.42 4.22 5/251 58334
/proc/meminfo: memFree=127839868/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=298260 memory=270448 CPUtime=460.73 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 72405 0 0 0 46053 20 0 0 20 0 1 0 57052261 305418240 67612 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 74565 67612 2624 2593 0 71458 0

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

/proc/loadavg: 4.08 4.09 4.09 5/250 58506
/proc/meminfo: memFree=128024004/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=350152 memory=320288 CPUtime=1895.53 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 79755 0 0 0 189519 34 0 0 20 0 1 0 57052261 358555648 80072 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87538 80072 2912 2593 0 84431 0
Current children cumulated CPU time: 1895.53 s
Current children cumulated vsize: 350152 KiB
Current children cumulated memory: 320288 KiB

[startup+1962.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 58513
/proc/meminfo: memFree=127998756/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=350152 memory=320288 CPUtime=1955.33 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 79810 0 0 0 195498 35 0 0 20 0 1 0 57052261 358555648 80072 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87538 80072 2912 2593 0 84431 0
Current children cumulated CPU time: 1955.33 s
Current children cumulated vsize: 350152 KiB
Current children cumulated memory: 320288 KiB

[startup+2022.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 58515
/proc/meminfo: memFree=127964388/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=350152 memory=320288 CPUtime=2015.13 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 79811 0 0 0 201478 35 0 0 20 0 1 0 57052261 358555648 80072 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87538 80072 2912 2593 0 84431 0
Current children cumulated CPU time: 2015.13 s
Current children cumulated vsize: 350152 KiB
Current children cumulated memory: 320288 KiB

[startup+2082.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 58517
/proc/meminfo: memFree=127902848/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=351320 memory=320800 CPUtime=2074.92 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80003 0 0 0 207457 35 0 0 20 0 1 0 57052261 359751680 80200 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87830 80200 2912 2593 0 84723 0
Current children cumulated CPU time: 2074.92 s
Current children cumulated vsize: 351320 KiB
Current children cumulated memory: 320800 KiB

[startup+2142.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 58519
/proc/meminfo: memFree=127883464/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=351320 memory=320800 CPUtime=2134.72 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80003 0 0 0 213436 36 0 0 20 0 1 0 57052261 359751680 80200 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87830 80200 2912 2593 0 84723 0
Current children cumulated CPU time: 2134.72 s
Current children cumulated vsize: 351320 KiB
Current children cumulated memory: 320800 KiB

[startup+2202.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 58521
/proc/meminfo: memFree=127887476/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=351320 memory=320800 CPUtime=2194.51 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80055 0 0 0 219415 36 0 0 20 0 1 0 57052261 359751680 80200 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87830 80200 2912 2593 0 84723 0
Current children cumulated CPU time: 2194.51 s
Current children cumulated vsize: 351320 KiB
Current children cumulated memory: 320800 KiB

[startup+2262.3 s]
/proc/loadavg: 3.67 3.98 4.05 4/243 58554
/proc/meminfo: memFree=128219632/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=351320 memory=320800 CPUtime=2254.31 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80057 0 0 0 225395 36 0 0 20 0 1 0 57052261 359751680 80200 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87830 80200 2912 2593 0 84723 0
Current children cumulated CPU time: 2254.31 s
Current children cumulated vsize: 351320 KiB
Current children cumulated memory: 320800 KiB

[startup+2322.3 s]
/proc/loadavg: 3.79 3.95 4.03 4/243 58556
/proc/meminfo: memFree=128220388/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=351808 memory=321184 CPUtime=2314.12 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80192 0 0 0 231375 37 0 0 20 0 1 0 57052261 360251392 80296 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87952 80296 2912 2593 0 84845 0
Current children cumulated CPU time: 2314.12 s
Current children cumulated vsize: 351808 KiB
Current children cumulated memory: 321184 KiB

[startup+2382.3 s]
/proc/loadavg: 3.47 3.84 3.99 4/243 58558
/proc/meminfo: memFree=128208856/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=351808 memory=323616 CPUtime=2373.92 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80192 0 0 0 237354 38 0 0 20 0 1 0 57052261 360251392 80904 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87952 80904 2912 2593 0 84845 0
Current children cumulated CPU time: 2373.92 s
Current children cumulated vsize: 351808 KiB
Current children cumulated memory: 323616 KiB

[startup+2402.04 s]
# the end of solver process 58310 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2393.21 s, system=0.39334 s

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

[startup+2393.6 s]
/proc/loadavg: 3.44 3.82 3.98 4/243 58558
/proc/meminfo: memFree=128208864/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=351808 memory=323616 CPUtime=2385.18 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80192 0 0 0 238480 38 0 0 20 0 1 0 57052261 360251392 80904 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87952 80904 2912 2593 0 84845 0
Current children cumulated CPU time: 2385.18 s
Current children cumulated vsize: 351808 KiB
Current children cumulated memory: 323616 KiB

[startup+2396.8 s]
/proc/loadavg: 3.44 3.82 3.98 4/243 58559
/proc/meminfo: memFree=128208864/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=351808 memory=323616 CPUtime=2388.37 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80192 0 0 0 238799 38 0 0 20 0 1 0 57052261 360251392 80904 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87952 80904 2912 2593 0 84845 0
Current children cumulated CPU time: 2388.37 s
Current children cumulated vsize: 351808 KiB
Current children cumulated memory: 323616 KiB

[startup+2400 s]*
/proc/loadavg: 3.40 3.80 3.97 4/243 58559
/proc/meminfo: memFree=128208864/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=351808 memory=323616 CPUtime=2391.57 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80192 0 0 0 239119 38 0 0 20 0 1 0 57052261 360251392 80904 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87952 80904 2912 2593 0 84845 0
Current children cumulated CPU time: 2391.57 s
Current children cumulated vsize: 351808 KiB
Current children cumulated memory: 323616 KiB

[startup+2400.8 s]
/proc/loadavg: 3.40 3.80 3.97 4/243 58559
/proc/meminfo: memFree=128208864/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=351808 memory=323616 CPUtime=2392.36 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80192 0 0 0 239198 38 0 0 20 0 1 0 57052261 360251392 80904 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 87952 80904 2912 2593 0 84845 0
Current children cumulated CPU time: 2392.36 s
Current children cumulated vsize: 351808 KiB
Current children cumulated memory: 323616 KiB

[startup+2401.6 s]
/proc/loadavg: 3.40 3.80 3.97 4/243 58559
/proc/meminfo: memFree=128208864/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=222396 memory=210048 CPUtime=2393.16 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80216 0 0 0 239277 39 0 0 20 0 1 0 57052261 227733504 52512 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 55599 52512 2944 2593 0 52492 0
Current children cumulated CPU time: 2393.16 s
Current children cumulated vsize: 222396 KiB
Current children cumulated memory: 210048 KiB

[startup+2402 s]*
/proc/loadavg: 3.40 3.80 3.97 4/243 58559
/proc/meminfo: memFree=128303696/131382116 swapFree=33010684/33010684
[pid=58310] ppid=58307 vsize=222396 memory=210176 CPUtime=2393.57 cores=1,3
/proc/58310/stat : 58310 (CASHWMaxSAT-Dis) R 58307 58310 57137 0 -1 4194304 80217 0 0 0 239318 39 0 0 20 0 1 0 57052261 227733504 52544 18446744073709551615 4198400 14817773 140726958053104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41127936 140726958061930 140726958062045 140726958062045 140726958067647 0
/proc/58310/statm: 55599 52544 2976 2593 0 52492 0
Current children cumulated CPU time: 2393.57 s
Current children cumulated vsize: 222396 KiB
Current children cumulated memory: 210176 KiB

Child status: 30

Real time (s): 2402.04
CPU time (s): 2393.6
CPU user time (s): 2393.21
CPU system time (s): 0.39334
CPU usage (%): 99.6488
Max. virtual memory (cumulated for all children) (KiB): 351808
Max. memory (cumulated for all children) (KiB): 323616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.21
system time used= 0.39334
maximum resident set size= 323616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80217
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= 31
involuntary context switches= 12234


# summary of solver processes directly reported to runsolver:
#   pid: 58310
#   total CPU time (s): 2393.6
#   total CPU user time (s): 2393.21
#   total CPU system time (s): 0.39334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5786 second user time and 22.9471 second system time

The end