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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486353-1751323163/watcher-4486353-1751323163 -o /tmp/evaluation-result-4486353-1751323163/solver-4486353-1751323163 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751315935-46554 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4486353-1751323163.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
solver pid=47631, runsolver pid=47628
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 4.05 4.12 4.14 5/250 47632
/proc/meminfo: memFree=123762680/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=24516 memory=10112 CPUtime=0.1 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 1799 0 0 0 10 0 0 0 20 0 1 0 47995520 25104384 2528 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 6129 2528 864 2593 0 3022 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24516 KiB
Current children cumulated memory: 10112 KiB

[startup+0.213086 s]*
/proc/loadavg: 4.05 4.12 4.14 5/250 47632
/proc/meminfo: memFree=123746552/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=31152 memory=16640 CPUtime=0.21 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 3420 0 0 0 21 0 0 0 20 0 1 0 47995520 31899648 4160 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 7788 4160 864 2593 0 4681 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31152 KiB
Current children cumulated memory: 16640 KiB

[startup+0.312975 s]*
/proc/loadavg: 4.05 4.12 4.14 5/250 47632
/proc/meminfo: memFree=123738488/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=36760 memory=22272 CPUtime=0.32 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 4849 0 0 0 31 1 0 0 20 0 1 0 47995520 37642240 5568 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 9190 5568 864 2593 0 6083 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 36760 KiB
Current children cumulated memory: 22272 KiB

[startup+0.700318 s]
/proc/loadavg: 4.05 4.12 4.14 6/250 47632
/proc/meminfo: memFree=123730424/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=54188 memory=39680 CPUtime=0.69 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 9185 0 0 0 66 3 0 0 20 0 1 0 47995520 55488512 9920 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 13547 9920 864 2593 0 10440 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54188 KiB
Current children cumulated memory: 39680 KiB

[startup+1.50031 s]
/proc/loadavg: 4.13 4.13 4.15 5/250 47632
/proc/meminfo: memFree=123706760/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=118972 memory=102996 CPUtime=1.48 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 22905 0 0 0 141 7 0 0 20 0 1 0 47995520 121827328 25749 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 29743 25749 896 2593 0 26636 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118972 KiB
Current children cumulated memory: 102996 KiB

[startup+3.1128 s]
/proc/loadavg: 4.13 4.13 4.15 5/249 47632
/proc/meminfo: memFree=123060964/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=561412 memory=523020 CPUtime=3.09 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 106545 0 0 0 286 23 0 0 20 0 1 0 47995520 574885888 130755 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 140353 130755 2400 2593 0 137246 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 561412 KiB
Current children cumulated memory: 523020 KiB

[startup+6.30031 s]
/proc/loadavg: 4.20 4.15 4.15 5/249 47632
/proc/meminfo: memFree=122634060/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=935392 memory=892464 CPUtime=6.27 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 195485 0 0 0 588 39 0 0 20 0 1 0 47995520 957841408 223116 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 233848 223116 2496 2593 0 230741 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 935392 KiB
Current children cumulated memory: 892464 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.14 4.15 5/249 47632
/proc/meminfo: memFree=122251776/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1508836 memory=1408116 CPUtime=12.65 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 250806 0 0 0 1212 53 0 0 20 0 1 0 47995520 1545048064 352029 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 377209 352029 2528 2593 0 374102 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1508836 KiB
Current children cumulated memory: 1408116 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.14 4.15 5/249 47632
/proc/meminfo: memFree=121904112/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1723344 memory=1615488 CPUtime=25.42 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 280163 0 0 0 2481 61 0 0 20 0 1 0 47995520 1764704256 403872 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 430836 403872 2624 2593 0 427729 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1723344 KiB
Current children cumulated memory: 1615488 KiB

[startup+51.113 s]
/proc/loadavg: 4.17 4.14 4.15 5/249 47633
/proc/meminfo: memFree=121886460/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1723344 memory=1617664 CPUtime=50.96 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 280217 0 0 0 5034 62 0 0 20 0 1 0 47995520 1764704256 404416 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 430836 404416 2624 2593 0 427729 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1723344 KiB
Current children cumulated memory: 1617664 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.16 4.16 5/250 47685
/proc/meminfo: memFree=123220980/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1723344 memory=1617664 CPUtime=102.01 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 280254 0 0 0 10137 64 0 0 20 0 1 0 47995520 1764704256 404416 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 430836 404416 2624 2593 0 427729 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1723344 KiB
Current children cumulated memory: 1617664 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.16 4.16 5/251 47688
/proc/meminfo: memFree=123141492/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1742500 memory=1634664 CPUtime=161.84 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 282987 0 0 0 16119 65 0 0 20 0 1 0 47995520 1784320000 408666 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 435625 408666 2624 2593 0 432518 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1742500 KiB
Current children cumulated memory: 1634664 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/252 47691
/proc/meminfo: memFree=123118812/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1742500 memory=1634664 CPUtime=221.68 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 283032 0 0 0 22102 66 0 0 20 0 1 0 47995520 1784320000 408666 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 435625 408666 2624 2593 0 432518 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1742500 KiB
Current children cumulated memory: 1634664 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/253 47694
/proc/meminfo: memFree=123110736/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1742756 memory=1635176 CPUtime=281.5 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 283206 0 0 0 28084 66 0 0 20 0 1 0 47995520 1784582144 408794 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 435689 408794 2624 2593 0 432582 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1742756 KiB
Current children cumulated memory: 1635176 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/253 47696
/proc/meminfo: memFree=122960072/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1742756 memory=1635432 CPUtime=341.35 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 283259 0 0 0 34068 67 0 0 20 0 1 0 47995520 1784582144 408858 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 435689 408858 2624 2593 0 432582 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1742756 KiB
Current children cumulated memory: 1635432 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/252 47698
/proc/meminfo: memFree=122961836/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1742756 memory=1635432 CPUtime=401.18 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 283294 0 0 0 40050 68 0 0 20 0 1 0 47995520 1784582144 408858 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 435689 408858 2624 2593 0 432582 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1742756 KiB
Current children cumulated memory: 1635432 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/251 47700
/proc/meminfo: memFree=122930348/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1742756 memory=1635560 CPUtime=461.01 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 283374 0 0 0 46033 68 0 0 20 0 1 0 47995520 1784582144 408890 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 435689 408890 2624 2593 0 432582 0

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

Current children cumulated memory: 1076768 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/250 47917
/proc/meminfo: memFree=123355844/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=2912.87 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 295955 0 0 0 291195 92 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 2912.87 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/250 47919
/proc/meminfo: memFree=123357356/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=2972.68 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296000 0 0 0 297176 92 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 2972.68 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+3042.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/249 47923
/proc/meminfo: memFree=123359624/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3032.49 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296123 0 0 0 303157 92 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3032.49 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/249 47925
/proc/meminfo: memFree=123362744/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3092.3 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296231 0 0 0 309137 93 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3092.3 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 47932
/proc/meminfo: memFree=123364676/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3152.1 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296345 0 0 0 315117 93 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3152.1 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 47933
/proc/meminfo: memFree=123366196/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3211.91 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296428 0 0 0 321098 93 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3211.91 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 47935
/proc/meminfo: memFree=123368228/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3271.71 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296558 0 0 0 327078 93 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3271.71 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+3342.3 s]
/proc/loadavg: 4.54 4.20 4.13 5/251 47938
/proc/meminfo: memFree=123369220/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3331.52 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296657 0 0 0 333059 93 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3331.52 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.48 4.27 4.16 5/251 47940
/proc/meminfo: memFree=123369976/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3391.32 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296668 0 0 0 339039 93 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3391.32 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.23 4.15 5/250 47942
/proc/meminfo: memFree=123371000/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3451.14 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296771 0 0 0 345020 94 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3451.14 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.20 4.14 5/250 47944
/proc/meminfo: memFree=123371756/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3510.95 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296903 0 0 0 351001 94 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.19 4.14 5/250 47946
/proc/meminfo: memFree=123373016/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3570.76 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 296919 0 0 0 356982 94 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3570.76 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.11 4.18 4.14 5/249 47965
/proc/meminfo: memFree=124159288/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3600.06 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 297024 0 0 0 359912 94 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.13 s, system=0.950399 s

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

[startup+3611.7 s]
/proc/loadavg: 4.11 4.18 4.14 5/249 47965
/proc/meminfo: memFree=124159288/131382116 swapFree=33010160/33010684
[pid=47631] ppid=47628 vsize=1114916 memory=1076768 CPUtime=3600.06 cores=1,3
/proc/47631/stat : 47631 (CASHWMaxSAT-Dis) R 47628 47631 46542 0 -1 4194304 297024 0 0 0 359912 94 0 0 20 0 1 0 47995520 1141673984 269192 18446744073709551615 4198400 14817773 140726523153552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49201152 140726523160938 140726523161053 140726523161053 140726523166655 0
/proc/47631/statm: 278729 269192 2688 2593 0 275622 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1114916 KiB
Current children cumulated memory: 1076768 KiB

Child status: 10

Real time (s): 3611.7
CPU time (s): 3600.08
CPU user time (s): 3599.13
CPU system time (s): 0.950399
CPU usage (%): 99.6781
Max. virtual memory (cumulated for all children) (KiB): 2189512
Max. memory (cumulated for all children) (KiB): 1753288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.13
system time used= 0.950399
maximum resident set size= 1753288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297028
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= 5
involuntary context switches= 1293


# summary of solver processes directly reported to runsolver:
#   pid: 47631
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.13
#   total CPU system time (s): 0.950399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9325 second user time and 35.1817 second system time

The end