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 (62295 MiB free)
  memory of node 1: 64507 MiB (63902 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=37783, runsolver pid=37780

[startup+0.100061 s]*
/proc/loadavg: 0.85 2.89 3.65 4/260 37808
/proc/meminfo: memFree=129201800/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=45928 memory=29876 CPUtime=0.09 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 6789 0 0 0 9 0 0 0 20 0 1 0 44693268 47030272 7469 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 19490 0 0 0 17 3 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 11482 7469 1152 2593 0 8375 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45928 KiB
Current children cumulated memory: 29876 KiB

[startup+0.205224 s]*
/proc/loadavg: 0.85 2.89 3.65 6/264 37812
/proc/meminfo: memFree=129088304/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=98252 memory=87364 CPUtime=0.2 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 20211 0 0 0 17 3 0 0 20 0 1 0 44693268 100610048 21841 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 24563 21841 2496 2593 0 21456 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 98252 KiB
Current children cumulated memory: 87364 KiB

[startup+0.304502 s]*
/proc/loadavg: 0.85 2.89 3.65 5/264 37812
/proc/meminfo: memFree=128964320/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=165648 memory=156100 CPUtime=0.29 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 37265 0 0 0 24 5 0 0 20 0 1 0 44693268 169623552 39025 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 41412 39025 2656 2593 0 38305 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 165648 KiB
Current children cumulated memory: 156100 KiB

[startup+0.700182 s]
/proc/loadavg: 0.85 2.89 3.65 5/264 37812
/proc/meminfo: memFree=128739536/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=273520 memory=260036 CPUtime=0.68 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 63193 0 0 0 59 9 0 0 20 0 1 0 44693268 280084480 65009 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 68380 65009 2720 2593 0 65273 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 273520 KiB
Current children cumulated memory: 260036 KiB

[startup+1.50019 s]
/proc/loadavg: 0.85 2.89 3.65 5/264 37812
/proc/meminfo: memFree=128425040/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=323640 memory=310980 CPUtime=1.48 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 75916 0 0 0 137 11 0 0 20 0 1 0 44693268 331407360 77745 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 80910 77745 2752 2593 0 77803 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 323640 KiB
Current children cumulated memory: 310980 KiB

[startup+3.10547 s]
/proc/loadavg: 1.10 2.91 3.65 5/264 37812
/proc/meminfo: memFree=128180724/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=323640 memory=311236 CPUtime=3.08 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 75975 0 0 0 297 11 0 0 20 0 1 0 44693268 331407360 77809 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 80910 77809 2752 2593 0 77803 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 323640 KiB
Current children cumulated memory: 311236 KiB

[startup+6.30018 s]
/proc/loadavg: 1.10 2.91 3.65 5/264 37812
/proc/meminfo: memFree=128130264/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=323640 memory=311236 CPUtime=6.26 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 75976 0 0 0 615 11 0 0 20 0 1 0 44693268 331407360 77809 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 80910 77809 2752 2593 0 77803 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 323640 KiB
Current children cumulated memory: 311236 KiB

[startup+12.7002 s]
/proc/loadavg: 1.62 2.96 3.66 5/264 37813
/proc/meminfo: memFree=127859760/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=473968 memory=458940 CPUtime=12.65 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 111340 0 0 0 1247 18 0 0 20 0 1 0 44693268 485343232 114735 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 118492 114735 2848 2593 0 115385 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 473968 KiB
Current children cumulated memory: 458940 KiB

[startup+25.5002 s]
/proc/loadavg: 1.99 3.00 3.66 5/264 37813
/proc/meminfo: memFree=127820616/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=474248 memory=459324 CPUtime=25.41 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 111433 0 0 0 2523 18 0 0 20 0 1 0 44693268 485629952 114831 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 118562 114831 2848 2593 0 115455 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 474248 KiB
Current children cumulated memory: 459324 KiB

[startup+51.1055 s]
/proc/loadavg: 2.75 3.10 3.68 5/264 37813
/proc/meminfo: memFree=127761300/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=477064 memory=462908 CPUtime=50.94 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 112165 0 0 0 5076 18 0 0 20 0 1 0 44693268 488513536 115727 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 119266 115727 2848 2593 0 116159 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 477064 KiB
Current children cumulated memory: 462908 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 3.27 3.70 5/264 37815
/proc/meminfo: memFree=127649260/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=483188 memory=468028 CPUtime=101.98 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 113534 0 0 0 10180 18 0 0 20 0 1 0 44693268 494784512 117007 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 120797 117007 2848 2593 0 117690 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 483188 KiB
Current children cumulated memory: 468028 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 3.43 3.74 5/263 37861
/proc/meminfo: memFree=127501220/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=483188 memory=468028 CPUtime=161.79 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 113569 0 0 0 16161 18 0 0 20 0 1 0 44693268 494784512 117007 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 120797 117007 2848 2593 0 117690 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 483188 KiB
Current children cumulated memory: 468028 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 3.59 3.77 5/264 37865
/proc/meminfo: memFree=127417656/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=483188 memory=470716 CPUtime=221.61 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 113586 0 0 0 22143 18 0 0 20 0 1 0 44693268 494784512 117679 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 120797 117679 2848 2593 0 117690 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 483188 KiB
Current children cumulated memory: 470716 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.68 3.79 5/265 37868
/proc/meminfo: memFree=127446116/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=483188 memory=472508 CPUtime=281.44 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 113671 0 0 0 28126 18 0 0 20 0 1 0 44693268 494784512 118127 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 120797 118127 2848 2593 0 117690 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 483188 KiB
Current children cumulated memory: 472508 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.75 3.82 5/264 37870
/proc/meminfo: memFree=127329584/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=483188 memory=475580 CPUtime=341.27 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 113793 0 0 0 34109 18 0 0 20 0 1 0 44693268 494784512 118895 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 120797 118895 2848 2593 0 117690 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 483188 KiB
Current children cumulated memory: 475580 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.83 3.84 5/265 37873
/proc/meminfo: memFree=127302016/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=597324 memory=561164 CPUtime=401.11 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 122443 0 0 0 40090 21 0 0 20 0 1 0 44693268 611659776 140291 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 149331 140291 2880 2593 0 146224 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 597324 KiB
Current children cumulated memory: 561164 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.88 3.86 5/265 37881
/proc/meminfo: memFree=127289296/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=767712 memory=604840 CPUtime=460.93 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 129384 0 0 0 46071 22 0 0 20 0 1 0 44693268 786137088 151210 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 191928 151210 2880 2593 0 188821 0
Current children cumulated CPU time: 460.93 s

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

/proc/loadavg: 4.13 4.13 4.04 5/261 37923
/proc/meminfo: memFree=126734868/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=836240 memory=606912 CPUtime=1477.99 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 131022 0 0 0 147777 22 0 0 20 0 1 0 44693268 856309760 151728 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 209060 151728 2880 2593 0 205953 0
Current children cumulated CPU time: 1477.99 s
Current children cumulated vsize: 836240 KiB
Current children cumulated memory: 606912 KiB

[startup+1542.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/262 37926
/proc/meminfo: memFree=126501268/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=838144 memory=606912 CPUtime=1537.83 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 131023 0 0 0 153761 22 0 0 20 0 1 0 44693268 858259456 151728 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 209536 151728 2880 2593 0 206429 0
Current children cumulated CPU time: 1537.83 s
Current children cumulated vsize: 838144 KiB
Current children cumulated memory: 606912 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/262 37928
/proc/meminfo: memFree=126444008/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=838144 memory=606912 CPUtime=1597.66 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 131223 0 0 0 159744 22 0 0 20 0 1 0 44693268 858259456 151728 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 209536 151728 2880 2593 0 206429 0
Current children cumulated CPU time: 1597.66 s
Current children cumulated vsize: 838144 KiB
Current children cumulated memory: 606912 KiB

[startup+1662.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/264 37938
/proc/meminfo: memFree=126525348/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=838144 memory=607680 CPUtime=1657.5 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 131415 0 0 0 165728 22 0 0 20 0 1 0 44693268 858259456 151920 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 209536 151920 2880 2593 0 206429 0
Current children cumulated CPU time: 1657.5 s
Current children cumulated vsize: 838144 KiB
Current children cumulated memory: 607680 KiB

[startup+1722.3 s]
/proc/loadavg: 4.53 4.23 4.09 5/264 37940
/proc/meminfo: memFree=126478404/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=838144 memory=608064 CPUtime=1717.34 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 131758 0 0 0 171712 22 0 0 20 0 1 0 44693268 858259456 152016 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 209536 152016 2880 2593 0 206429 0
Current children cumulated CPU time: 1717.34 s
Current children cumulated vsize: 838144 KiB
Current children cumulated memory: 608064 KiB

[startup+1782.3 s]
/proc/loadavg: 4.23 4.20 4.09 5/264 37942
/proc/meminfo: memFree=126446800/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=839156 memory=610880 CPUtime=1777.17 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 132023 0 0 0 177695 22 0 0 20 0 1 0 44693268 859295744 152720 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 209789 152720 2880 2593 0 206682 0
Current children cumulated CPU time: 1777.17 s
Current children cumulated vsize: 839156 KiB
Current children cumulated memory: 610880 KiB

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

# cumulated CPU time of all completed processes:  user=1817.63 s, system=0.25321 s

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

[startup+1792 s]*
/proc/loadavg: 4.19 4.20 4.09 5/264 37943
/proc/meminfo: memFree=126429672/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=839156 memory=612928 CPUtime=1786.85 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 132121 0 0 0 178663 22 0 0 20 0 1 0 44693268 859295744 153232 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 209789 153232 2880 2593 0 206682 0
Current children cumulated CPU time: 1786.85 s
Current children cumulated vsize: 839156 KiB
Current children cumulated memory: 612928 KiB

[startup+1804.8 s]
/proc/loadavg: 4.15 4.19 4.09 5/263 37944
/proc/meminfo: memFree=126535096/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=468128 memory=461864 CPUtime=1799.61 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 132167 0 0 0 179938 23 0 0 20 0 1 0 44693268 479363072 115466 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 117032 115466 2912 2593 0 113925 0
Current children cumulated CPU time: 1799.61 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461864 KiB

[startup+1811.2 s]
/proc/loadavg: 4.22 4.20 4.09 5/263 37944
/proc/meminfo: memFree=126535328/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=468128 memory=461992 CPUtime=1805.99 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 132196 0 0 0 180575 24 0 0 20 0 1 0 44693268 479363072 115498 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 117032 115498 2944 2593 0 113925 0
Current children cumulated CPU time: 1805.99 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461992 KiB

[startup+1817.6 s]
/proc/loadavg: 4.20 4.20 4.09 5/263 37944
/proc/meminfo: memFree=126535424/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=468128 memory=461992 CPUtime=1812.38 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 132199 0 0 0 181213 25 0 0 20 0 1 0 44693268 479363072 115498 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 117032 115498 2944 2593 0 113925 0
Current children cumulated CPU time: 1812.38 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461992 KiB

[startup+1820.8 s]
/proc/loadavg: 4.18 4.19 4.09 5/263 37944
/proc/meminfo: memFree=126535480/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=468128 memory=461992 CPUtime=1815.57 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 132199 0 0 0 181532 25 0 0 20 0 1 0 44693268 479363072 115498 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 117032 115498 2944 2593 0 113925 0
Current children cumulated CPU time: 1815.57 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461992 KiB

[startup+1822.4 s]
/proc/loadavg: 4.18 4.19 4.09 5/263 37944
/proc/meminfo: memFree=126535232/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=468128 memory=461992 CPUtime=1817.17 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 132203 0 0 0 181692 25 0 0 20 0 1 0 44693268 479363072 115498 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 117032 115498 2944 2593 0 113925 0
Current children cumulated CPU time: 1817.17 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461992 KiB

[startup+1822.8 s]
/proc/loadavg: 4.18 4.19 4.09 5/263 37944
/proc/meminfo: memFree=126535232/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=468128 memory=461992 CPUtime=1817.57 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 132203 0 0 0 181732 25 0 0 20 0 1 0 44693268 479363072 115498 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 117032 115498 2944 2593 0 113925 0
Current children cumulated CPU time: 1817.57 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461992 KiB

[startup+1823 s]*
/proc/loadavg: 4.17 4.19 4.09 5/263 37944
/proc/meminfo: memFree=126535304/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=468128 memory=461992 CPUtime=1817.77 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 132203 0 0 0 181752 25 0 0 20 0 1 0 44693268 479363072 115498 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 117032 115498 2944 2593 0 113925 0
Current children cumulated CPU time: 1817.77 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461992 KiB

[startup+1823.11 s]
/proc/loadavg: 4.17 4.19 4.09 5/263 37944
/proc/meminfo: memFree=126535304/131250000 swapFree=33010684/33010684
[pid=37783] ppid=37780 vsize=468128 memory=461992 CPUtime=1817.87 cores=1,3
/proc/37783/stat : 37783 (CASHWMaxSAT-Dis) R 37780 37783 37742 0 -1 4194304 132203 0 0 0 181762 25 0 0 20 0 1 0 44693268 479363072 115498 18446744073709551615 4198400 14817773 140723687048352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34820096 140723687049578 140723687049693 140723687049693 140723687055295 0
/proc/37783/statm: 117032 115498 2944 2593 0 113925 0
Current children cumulated CPU time: 1817.87 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461992 KiB

Child status: 30

Real time (s): 1823.11
CPU time (s): 1817.88
CPU user time (s): 1817.63
CPU system time (s): 0.25321
CPU usage (%): 99.7134
Max. virtual memory (cumulated for all children) (KiB): 839156
Max. memory (cumulated for all children) (KiB): 613952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1817.63
system time used= 0.25321
maximum resident set size= 613952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132203
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= 27
involuntary context switches= 717


# summary of solver processes directly reported to runsolver:
#   pid: 37783
#   total CPU time (s): 1817.88
#   total CPU user time (s): 1817.63
#   total CPU system time (s): 0.25321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.25292 second user time and 7.80716 second system time

The end