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: 64059 MiB (52208 MiB free)
  memory of node 1: 64510 MiB (63344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439064-1721209033/watcher-4439064-1721209033 -o /tmp/evaluation-result-4439064-1721209033/solver-4439064-1721209033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721205435-887564 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439064-1721209033.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=889591, runsolver pid=889588

[startup+0.100751 s]*
/proc/loadavg: 4.07 4.21 4.24 5/242 889592
/proc/meminfo: memFree=118315140/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=24748 memory=10512 CPUtime=0.1 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 1873 0 0 0 10 0 0 0 20 0 1 0 173059775 25341952 2628 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 6187 2628 878 2594 0 3080 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24748 KiB
Current children cumulated memory: 10512 KiB

[startup+0.213499 s]*
/proc/loadavg: 4.07 4.21 4.24 6/242 889592
/proc/meminfo: memFree=118297864/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=36896 memory=22408 CPUtime=0.21 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 4883 0 0 0 20 1 0 0 20 0 1 0 173059775 37781504 5602 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 9224 5602 878 2594 0 6117 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36896 KiB
Current children cumulated memory: 22408 KiB

[startup+0.313279 s]*
/proc/loadavg: 4.07 4.21 4.24 5/242 889592
/proc/meminfo: memFree=118292340/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=41776 memory=27272 CPUtime=0.31 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 6102 0 0 0 30 1 0 0 20 0 1 0 173059775 42778624 6818 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 10444 6818 878 2594 0 7337 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41776 KiB
Current children cumulated memory: 27272 KiB

[startup+0.700275 s]
/proc/loadavg: 4.07 4.21 4.24 5/242 889592
/proc/meminfo: memFree=118276080/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=61244 memory=46632 CPUtime=0.68 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 10946 0 0 0 65 3 0 0 20 0 1 0 173059775 62713856 11658 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 15311 11658 878 2594 0 12204 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61244 KiB
Current children cumulated memory: 46632 KiB

[startup+1.5003 s]
/proc/loadavg: 4.07 4.21 4.24 5/242 889592
/proc/meminfo: memFree=118243120/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=155740 memory=136292 CPUtime=1.47 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 25878 0 0 0 140 7 0 0 20 0 1 0 173059775 159477760 34073 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 38935 34073 926 2594 0 35828 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 155740 KiB
Current children cumulated memory: 136292 KiB

[startup+3.11289 s]
/proc/loadavg: 4.07 4.21 4.24 5/242 889684
/proc/meminfo: memFree=128616756/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=637136 memory=596580 CPUtime=3.08 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 124915 0 0 0 282 26 0 0 20 0 1 0 173059775 652427264 149145 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 159284 149145 2430 2594 0 156177 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 637136 KiB
Current children cumulated memory: 596580 KiB

[startup+6.30032 s]
/proc/loadavg: 4.06 4.21 4.24 5/242 889684
/proc/meminfo: memFree=128105556/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=935264 memory=890192 CPUtime=6.26 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 195939 0 0 0 589 37 0 0 20 0 1 0 173059775 957710336 222548 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 233816 222548 2526 2594 0 230709 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 935264 KiB
Current children cumulated memory: 890192 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.22 4.25 5/242 889686
/proc/meminfo: memFree=127605344/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1675972 memory=1572648 CPUtime=12.64 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 273496 0 0 0 1207 57 0 0 20 0 1 0 173059775 1716195328 393162 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 418993 393162 2574 2594 0 415886 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1675972 KiB
Current children cumulated memory: 1572648 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.21 4.24 5/242 889687
/proc/meminfo: memFree=127215328/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1717140 memory=1608728 CPUtime=25.4 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 281542 0 0 0 2481 59 0 0 20 0 1 0 173059775 1758351360 402182 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 429285 402182 2638 2594 0 426178 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1717140 KiB
Current children cumulated memory: 1608728 KiB

[startup+51.1127 s]
/proc/loadavg: 4.13 4.21 4.24 5/242 889692
/proc/meminfo: memFree=127176496/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1718904 memory=1611216 CPUtime=50.92 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 282238 0 0 0 5031 61 0 0 20 0 1 0 173059775 1760157696 402804 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 429726 402804 2638 2594 0 426619 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1718904 KiB
Current children cumulated memory: 1611216 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.19 4.23 5/244 889704
/proc/meminfo: memFree=126872584/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1737088 memory=1629544 CPUtime=101.95 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 286408 0 0 0 10132 63 0 0 20 0 1 0 173059775 1778778112 407386 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 434272 407386 2638 2594 0 431165 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1737088 KiB
Current children cumulated memory: 1629544 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.17 4.22 5/244 889715
/proc/meminfo: memFree=126835172/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1737088 memory=1629708 CPUtime=161.76 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 286539 0 0 0 16111 65 0 0 20 0 1 0 173059775 1778778112 407427 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 434272 407427 2638 2594 0 431165 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1737088 KiB
Current children cumulated memory: 1629708 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.15 4.21 5/244 889727
/proc/meminfo: memFree=126763364/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1738240 memory=1630260 CPUtime=221.6 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 286769 0 0 0 22094 66 0 0 20 0 1 0 173059775 1779957760 407565 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 434560 407565 2638 2594 0 431453 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1738240 KiB
Current children cumulated memory: 1630260 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.20 5/244 889737
/proc/meminfo: memFree=126629268/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1738240 memory=1630472 CPUtime=281.45 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 286969 0 0 0 28077 68 0 0 20 0 1 0 173059775 1779957760 407618 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 434560 407618 2638 2594 0 431453 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1738240 KiB
Current children cumulated memory: 1630472 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.17 4.20 5/243 889749
/proc/meminfo: memFree=126519268/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1738240 memory=1630928 CPUtime=341.29 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 287036 0 0 0 34061 68 0 0 20 0 1 0 173059775 1779957760 407732 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 434560 407732 2638 2594 0 431453 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 1738240 KiB
Current children cumulated memory: 1630928 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.19 5/243 889759
/proc/meminfo: memFree=126395504/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1738240 memory=1631148 CPUtime=401.14 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 287190 0 0 0 40045 69 0 0 20 0 1 0 173059775 1779957760 407787 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 434560 407787 2638 2594 0 431453 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 1738240 KiB
Current children cumulated memory: 1631148 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.14 4.18 5/242 889770
/proc/meminfo: memFree=126358304/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1738240 memory=1631516 CPUtime=460.98 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 287499 0 0 0 46028 70 0 0 20 0 1 0 173059775 1779957760 407879 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 434560 407879 2654 2594 0 431453 0

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

Current children cumulated memory: 1375568 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/243 891210
/proc/meminfo: memFree=125903496/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=2914.68 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 311844 0 0 0 291387 81 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 2914.68 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/243 891220
/proc/meminfo: memFree=125816324/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=2974.53 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 312266 0 0 0 297372 81 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/243 891230
/proc/meminfo: memFree=125752788/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3034.37 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 312684 0 0 0 303356 81 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/246 891411
/proc/meminfo: memFree=125669196/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3094.21 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 313035 0 0 0 309340 81 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/246 891422
/proc/meminfo: memFree=125568944/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3154.05 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 313449 0 0 0 315324 81 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/248 891490
/proc/meminfo: memFree=125494596/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3213.89 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 313801 0 0 0 321308 81 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/246 891500
/proc/meminfo: memFree=125460120/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3273.74 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 314161 0 0 0 327292 82 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/246 891511
/proc/meminfo: memFree=125434960/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3333.58 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 314494 0 0 0 333276 82 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/244 891521
/proc/meminfo: memFree=125415028/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3393.42 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 314923 0 0 0 339260 82 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/244 891532
/proc/meminfo: memFree=125410728/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3453.26 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 315218 0 0 0 345244 82 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/243 891543
/proc/meminfo: memFree=125406008/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3513.1 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 315610 0 0 0 351228 82 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.67 4.26 4.15 5/241 891553
/proc/meminfo: memFree=125405200/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3572.94 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 316039 0 0 0 357212 82 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.93 4.35 4.18 5/241 891559
/proc/meminfo: memFree=125404976/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3600.07 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 316315 0 0 0 359925 82 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.25 s, system=0.829542 s

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

[startup+3609.5 s]
/proc/loadavg: 4.93 4.35 4.18 5/241 891559
/proc/meminfo: memFree=125404976/131655788 swapFree=131071996/131071996
[pid=889591] ppid=889588 vsize=1411648 memory=1375568 CPUtime=3600.07 cores=5,7
/proc/889591/stat : 889591 (CASHWMaxSAT-Dis) R 889588 889591 887551 0 -1 4194304 316315 0 0 0 359925 82 0 0 20 0 1 0 173059775 1445527552 343892 134679101440 4194304 14817773 140732422626512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55386112 140732422632420 140732422632535 140732422632535 140732422639551 0
/proc/889591/statm: 352912 343892 2718 2594 0 349805 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1411648 KiB
Current children cumulated memory: 1375568 KiB

Child status: 10

Real time (s): 3609.5
CPU time (s): 3600.08
CPU user time (s): 3599.25
CPU system time (s): 0.829542
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 2452812
Max. memory (cumulated for all children) (KiB): 1798040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.25
system time used= 0.829542
maximum resident set size= 1798040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316319
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= 26
involuntary context switches= 1324


# summary of solver processes directly reported to runsolver:
#   pid: 889591
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.25
#   total CPU system time (s): 0.829542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1908 second user time and 35.6079 second system time

The end