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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518712-1751540946/watcher-4518712-1751540946 -o /tmp/evaluation-result-4518712-1751540946/solver-4518712-1751540946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751540946-75773 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518712-1751540946.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=75828, runsolver pid=75813

[startup+0.10006 s]*
/proc/loadavg: 0.65 1.57 2.76 5/281 75841
/proc/meminfo: memFree=127279016/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75836] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75836/stat : 75836 (timeout) S 75828 75836 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 94717249875968 94717249892481 140725212470352 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94717249907248 94717249909336 94717280538624 140725212473750 140725212473890 140725212473890 140725212479463 0
/proc/75836/statm: 665 352 352 5 0 90 0
[pid=75840] ppid=75836 vsize=27636 memory=12844 CPUtime=0.05 cores=5,7
/proc/75840/stat : 75840 (CASHWMaxSAT-Dis) R 75836 75836 75760 0 -1 4194304 2644 0 0 0 5 0 0 0 20 0 1 0 69773281 28299264 3211 18446744073709551615 4198400 14817773 140735561629488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46030848 140735561632156 140735561632283 140735561632283 140735561637856 0
/proc/75840/statm: 6909 3211 960 2593 0 3802 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 34620 KiB
Current children cumulated memory: 17324 KiB

[startup+0.205232 s]*
/proc/loadavg: 0.65 1.57 2.76 5/281 75841
/proc/meminfo: memFree=127276748/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75836] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75836/stat : 75836 (timeout) S 75828 75836 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 94717249875968 94717249892481 140725212470352 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94717249907248 94717249909336 94717280538624 140725212473750 140725212473890 140725212473890 140725212479463 0
/proc/75836/statm: 665 352 352 5 0 90 0
[pid=75840] ppid=75836 vsize=27756 memory=12972 CPUtime=0.15 cores=5,7
/proc/75840/stat : 75840 (CASHWMaxSAT-Dis) R 75836 75836 75760 0 -1 4194304 2899 0 0 0 15 0 0 0 20 0 1 0 69773281 28422144 3243 18446744073709551615 4198400 14817773 140735561629488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46030848 140735561632156 140735561632283 140735561632283 140735561637856 0
/proc/75840/statm: 6939 3243 960 2593 0 3832 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 17452 KiB

[startup+0.305092 s]*
/proc/loadavg: 0.65 1.57 2.76 5/281 75841
/proc/meminfo: memFree=127275992/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75836] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75836/stat : 75836 (timeout) S 75828 75836 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 94717249875968 94717249892481 140725212470352 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94717249907248 94717249909336 94717280538624 140725212473750 140725212473890 140725212473890 140725212479463 0
/proc/75836/statm: 665 352 352 5 0 90 0
[pid=75840] ppid=75836 vsize=28256 memory=13488 CPUtime=0.25 cores=5,7
/proc/75840/stat : 75840 (CASHWMaxSAT-Dis) R 75836 75836 75760 0 -1 4194304 3279 0 0 0 25 0 0 0 20 0 1 0 69773281 28934144 3372 18446744073709551615 4198400 14817773 140735561629488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46030848 140735561632156 140735561632283 140735561632283 140735561637856 0
/proc/75840/statm: 7064 3372 960 2593 0 3957 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 35240 KiB
Current children cumulated memory: 17968 KiB

[startup+0.700165 s]
/proc/loadavg: 0.65 1.57 2.76 5/281 75841
/proc/meminfo: memFree=127274984/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75836] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75836/stat : 75836 (timeout) S 75828 75836 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 94717249875968 94717249892481 140725212470352 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94717249907248 94717249909336 94717280538624 140725212473750 140725212473890 140725212473890 140725212479463 0
/proc/75836/statm: 665 352 352 5 0 90 0
[pid=75840] ppid=75836 vsize=30904 memory=16152 CPUtime=0.64 cores=5,7
/proc/75840/stat : 75840 (CASHWMaxSAT-Dis) R 75836 75836 75760 0 -1 4194304 4805 0 0 0 64 0 0 0 20 0 1 0 69773281 31645696 4038 18446744073709551615 4198400 14817773 140735561629488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46030848 140735561632156 140735561632283 140735561632283 140735561637856 0
/proc/75840/statm: 7726 4038 960 2593 0 4619 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 37888 KiB
Current children cumulated memory: 20632 KiB

[startup+1.50017 s]
/proc/loadavg: 0.65 1.57 2.76 5/281 75841
/proc/meminfo: memFree=127267172/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75836] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75836/stat : 75836 (timeout) S 75828 75836 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 94717249875968 94717249892481 140725212470352 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94717249907248 94717249909336 94717280538624 140725212473750 140725212473890 140725212473890 140725212479463 0
/proc/75836/statm: 665 352 352 5 0 90 0
[pid=75840] ppid=75836 vsize=29256 memory=14700 CPUtime=1.44 cores=5,7
/proc/75840/stat : 75840 (CASHWMaxSAT-Dis) R 75836 75836 75760 0 -1 4194304 6605 0 0 0 143 1 0 0 20 0 1 0 69773281 29958144 3675 18446744073709551615 4198400 14817773 140735561629488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46030848 140735561632156 140735561632283 140735561632283 140735561637856 0
/proc/75840/statm: 7314 3675 960 2593 0 4207 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 36240 KiB
Current children cumulated memory: 19180 KiB

[startup+3.10485 s]
/proc/loadavg: 0.92 1.61 2.76 5/280 75841
/proc/meminfo: memFree=127244144/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75836] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75836/stat : 75836 (timeout) S 75828 75836 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 94717249875968 94717249892481 140725212470352 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94717249907248 94717249909336 94717280538624 140725212473750 140725212473890 140725212473890 140725212479463 0
/proc/75836/statm: 665 352 352 5 0 90 0
[pid=75840] ppid=75836 vsize=36076 memory=21520 CPUtime=3.04 cores=5,7
/proc/75840/stat : 75840 (CASHWMaxSAT-Dis) R 75836 75836 75760 0 -1 4194304 8726 0 0 0 303 1 0 0 20 0 1 0 69773281 36941824 5380 18446744073709551615 4198400 14817773 140735561629488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46030848 140735561632156 140735561632283 140735561632283 140735561637856 0
/proc/75840/statm: 9019 5380 960 2593 0 5912 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 43060 KiB
Current children cumulated memory: 26000 KiB

[startup+6.30017 s]
/proc/loadavg: 0.92 1.61 2.76 5/280 75841
/proc/meminfo: memFree=127242524/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75836] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75836/stat : 75836 (timeout) S 75828 75836 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 94717249875968 94717249892481 140725212470352 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94717249907248 94717249909336 94717280538624 140725212473750 140725212473890 140725212473890 140725212479463 0
/proc/75836/statm: 665 352 352 5 0 90 0
[pid=75840] ppid=75836 vsize=37728 memory=22868 CPUtime=6.23 cores=5,7
/proc/75840/stat : 75840 (CASHWMaxSAT-Dis) R 75836 75836 75760 0 -1 4194304 10760 0 0 0 622 1 0 0 20 0 1 0 69773281 38633472 5717 18446744073709551615 4198400 14817773 140735561629488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46030848 140735561632156 140735561632283 140735561632283 140735561637856 0
/proc/75840/statm: 9432 5717 960 2593 0 6325 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 44712 KiB
Current children cumulated memory: 27348 KiB

[startup+12.7002 s]
/proc/loadavg: 1.47 1.71 2.78 5/280 75841
/proc/meminfo: memFree=127154704/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75836] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75836/stat : 75836 (timeout) S 75828 75836 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 94717249875968 94717249892481 140725212470352 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94717249907248 94717249909336 94717280538624 140725212473750 140725212473890 140725212473890 140725212479463 0
/proc/75836/statm: 665 352 352 5 0 90 0
[pid=75840] ppid=75836 vsize=53152 memory=38376 CPUtime=12.61 cores=5,7
/proc/75840/stat : 75840 (CASHWMaxSAT-Dis) R 75836 75836 75760 0 -1 4194304 14288 0 0 0 1259 2 0 0 20 0 1 0 69773281 54427648 9594 18446744073709551615 4198400 14817773 140735561629488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46030848 140735561632156 140735561632283 140735561632283 140735561637856 0
/proc/75840/statm: 13288 9594 960 2593 0 10181 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 60136 KiB
Current children cumulated memory: 42856 KiB

[startup+25.5002 s]
/proc/loadavg: 1.86 1.79 2.80 5/280 75841
/proc/meminfo: memFree=127153236/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75836] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75836/stat : 75836 (timeout) S 75828 75836 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 94717249875968 94717249892481 140725212470352 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94717249907248 94717249909336 94717280538624 140725212473750 140725212473890 140725212473890 140725212479463 0
/proc/75836/statm: 665 352 352 5 0 90 0
[pid=75840] ppid=75836 vsize=54040 memory=39144 CPUtime=25.38 cores=5,7
/proc/75840/stat : 75840 (CASHWMaxSAT-Dis) R 75836 75836 75760 0 -1 4194304 15691 0 0 0 2535 3 0 0 20 0 1 0 69773281 55336960 9786 18446744073709551615 4198400 14817773 140735561629488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46030848 140735561632156 140735561632283 140735561632283 140735561637856 0
/proc/75840/statm: 13510 9786 960 2593 0 10403 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 61024 KiB
Current children cumulated memory: 43624 KiB

[startup+51.1049 s]
/proc/loadavg: 2.59 1.97 2.83 5/280 75842
/proc/meminfo: memFree=126975416/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75836] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75836/stat : 75836 (timeout) S 75828 75836 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 94717249875968 94717249892481 140725212470352 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94717249907248 94717249909336 94717280538624 140725212473750 140725212473890 140725212473890 140725212479463 0
/proc/75836/statm: 665 352 352 5 0 90 0
[pid=75840] ppid=75836 vsize=98032 memory=83256 CPUtime=50.91 cores=5,7
/proc/75840/stat : 75840 (CASHWMaxSAT-Dis) R 75836 75836 75760 0 -1 4194304 22024 0 0 0 5085 6 0 0 20 0 1 0 69773281 100384768 20814 18446744073709551615 4198400 14817773 140735561629488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46030848 140735561632156 140735561632283 140735561632283 140735561637856 0
/proc/75840/statm: 24508 20814 960 2593 0 21401 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 105016 KiB
Current children cumulated memory: 87736 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 2.33 2.90 5/281 75848
/proc/meminfo: memFree=126988404/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0

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

/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75901] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75901/stat : 75901 (timeout) S 75828 75901 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893082 2723840 352 18446744073709551615 94082866724864 94082866741377 140727104850848 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94082866756144 94082866758232 94082873905152 140727104854406 140727104854562 140727104854562 140727104860135 0
/proc/75901/statm: 665 352 352 5 0 90 0
[pid=75904] ppid=75901 vsize=553280 memory=521452 CPUtime=1000.84 cores=5,7
/proc/75904/stat : 75904 (ExactPR-S) R 75901 75901 75760 0 -1 4194304 250301 0 0 0 99935 149 0 0 20 0 1 0 69893083 566558720 130363 18446744073709551615 94148167086080 94148176386117 140723427969584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94148178172224 94148178211304 94148195438592 140723427977630 140723427977767 140723427977767 140723427983340 0
/proc/75904/statm: 138320 130363 3392 2271 0 132958 0
Current children cumulated CPU time: 2195.79 s
Current children cumulated vsize: 560264 KiB
Current children cumulated memory: 525932 KiB

[startup+2262.3 s]
/proc/loadavg: 3.06 3.12 3.35 4/263 76004
/proc/meminfo: memFree=125608100/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=1194.95 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 284 127891 0 0 0 0 119322 173 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75901] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75901/stat : 75901 (timeout) S 75828 75901 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893082 2723840 352 18446744073709551615 94082866724864 94082866741377 140727104850848 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94082866756144 94082866758232 94082873905152 140727104854406 140727104854562 140727104854562 140727104860135 0
/proc/75901/statm: 665 352 352 5 0 90 0
[pid=75904] ppid=75901 vsize=553280 memory=537948 CPUtime=1060.72 cores=5,7
/proc/75904/stat : 75904 (ExactPR-S) R 75901 75901 75760 0 -1 4194304 250311 0 0 0 104134 1938 0 0 20 0 1 0 69893083 566558720 134487 18446744073709551615 94148167086080 94148176386117 140723427969584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94148178172224 94148178211304 94148195438592 140723427977630 140723427977767 140723427977767 140723427983340 0
/proc/75904/statm: 138320 134487 3424 2271 0 132958 0
Current children cumulated CPU time: 2255.67 s
Current children cumulated vsize: 560264 KiB
Current children cumulated memory: 542428 KiB

[startup+2278.3 s]
# the end of solver process 75828 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2250.34 s, system=21.2987 s

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

[startup+2265.6 s]
/proc/loadavg: 3.06 3.12 3.34 4/263 76005
/proc/meminfo: memFree=125546244/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=1194.95 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 284 127891 0 0 0 0 119322 173 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75901] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75901/stat : 75901 (timeout) S 75828 75901 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893082 2723840 352 18446744073709551615 94082866724864 94082866741377 140727104850848 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94082866756144 94082866758232 94082873905152 140727104854406 140727104854562 140727104854562 140727104860135 0
/proc/75901/statm: 665 352 352 5 0 90 0
[pid=75904] ppid=75901 vsize=588868 memory=558520 CPUtime=1064.01 cores=5,7
/proc/75904/stat : 75904 (ExactPR-S) R 75901 75901 75760 0 -1 4194304 250570 0 0 0 104460 1941 0 0 20 0 1 0 69893083 603000832 139630 18446744073709551615 94148167086080 94148176386117 140723427969584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94148178172224 94148178211304 94148195438592 140723427977630 140723427977767 140723427977767 140723427983340 0
/proc/75904/statm: 147217 139630 3424 2271 0 141855 0
Current children cumulated CPU time: 2258.96 s
Current children cumulated vsize: 595852 KiB
Current children cumulated memory: 563000 KiB

[startup+2272 s]*
/proc/loadavg: 3.05 3.12 3.34 3/257 76047
/proc/meminfo: memFree=126130508/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=1194.95 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 284 127891 0 0 0 0 119322 173 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75901] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75901/stat : 75901 (timeout) S 75828 75901 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893082 2723840 352 18446744073709551615 94082866724864 94082866741377 140727104850848 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94082866756144 94082866758232 94082873905152 140727104854406 140727104854562 140727104854562 140727104860135 0
/proc/75901/statm: 665 352 352 5 0 90 0
[pid=75904] ppid=75901 vsize=588868 memory=562616 CPUtime=1070.4 cores=5,7
/proc/75904/stat : 75904 (ExactPR-S) R 75901 75901 75760 0 -1 4194304 250572 0 0 0 105091 1949 0 0 20 0 1 0 69893083 603000832 140654 18446744073709551615 94148167086080 94148176386117 140723427969584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94148178172224 94148178211304 94148195438592 140723427977630 140723427977767 140723427977767 140723427983340 0
/proc/75904/statm: 147217 140654 3424 2271 0 141855 0
Current children cumulated CPU time: 2265.35 s
Current children cumulated vsize: 595852 KiB
Current children cumulated memory: 567096 KiB

[startup+2275.2 s]
/proc/loadavg: 2.97 3.10 3.33 3/256 76052
/proc/meminfo: memFree=126120696/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=1194.95 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 284 127891 0 0 0 0 119322 173 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75901] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75901/stat : 75901 (timeout) S 75828 75901 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893082 2723840 352 18446744073709551615 94082866724864 94082866741377 140727104850848 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94082866756144 94082866758232 94082873905152 140727104854406 140727104854562 140727104854562 140727104860135 0
/proc/75901/statm: 665 352 352 5 0 90 0
[pid=75904] ppid=75901 vsize=588868 memory=562616 CPUtime=1073.59 cores=5,7
/proc/75904/stat : 75904 (ExactPR-S) R 75901 75901 75760 0 -1 4194304 250572 0 0 0 105408 1951 0 0 20 0 1 0 69893083 603000832 140654 18446744073709551615 94148167086080 94148176386117 140723427969584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94148178172224 94148178211304 94148195438592 140723427977630 140723427977767 140723427977767 140723427983340 0
/proc/75904/statm: 147217 140654 3424 2271 0 141855 0
Current children cumulated CPU time: 2268.54 s
Current children cumulated vsize: 595852 KiB
Current children cumulated memory: 567096 KiB

[startup+2276.8 s]
/proc/loadavg: 2.97 3.10 3.33 3/256 76052
/proc/meminfo: memFree=126120696/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=1194.95 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 284 127891 0 0 0 0 119322 173 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75901] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75901/stat : 75901 (timeout) S 75828 75901 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893082 2723840 352 18446744073709551615 94082866724864 94082866741377 140727104850848 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94082866756144 94082866758232 94082873905152 140727104854406 140727104854562 140727104854562 140727104860135 0
/proc/75901/statm: 665 352 352 5 0 90 0
[pid=75904] ppid=75901 vsize=588868 memory=562616 CPUtime=1075.18 cores=5,7
/proc/75904/stat : 75904 (ExactPR-S) R 75901 75901 75760 0 -1 4194304 250572 0 0 0 105566 1952 0 0 20 0 1 0 69893083 603000832 140654 18446744073709551615 94148167086080 94148176386117 140723427969584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94148178172224 94148178211304 94148195438592 140723427977630 140723427977767 140723427977767 140723427983340 0
/proc/75904/statm: 147217 140654 3424 2271 0 141855 0
Current children cumulated CPU time: 2270.13 s
Current children cumulated vsize: 595852 KiB
Current children cumulated memory: 567096 KiB

[startup+2277.6 s]
/proc/loadavg: 2.97 3.10 3.33 3/256 76052
/proc/meminfo: memFree=126120696/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=1194.95 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 284 127891 0 0 0 0 119322 173 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75901] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75901/stat : 75901 (timeout) S 75828 75901 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893082 2723840 352 18446744073709551615 94082866724864 94082866741377 140727104850848 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94082866756144 94082866758232 94082873905152 140727104854406 140727104854562 140727104854562 140727104860135 0
/proc/75901/statm: 665 352 352 5 0 90 0
[pid=75904] ppid=75901 vsize=588868 memory=562616 CPUtime=1075.98 cores=5,7
/proc/75904/stat : 75904 (ExactPR-S) R 75901 75901 75760 0 -1 4194304 250572 0 0 0 105645 1953 0 0 20 0 1 0 69893083 603000832 140654 18446744073709551615 94148167086080 94148176386117 140723427969584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94148178172224 94148178211304 94148195438592 140723427977630 140723427977767 140723427977767 140723427983340 0
/proc/75904/statm: 147217 140654 3424 2271 0 141855 0
Current children cumulated CPU time: 2270.93 s
Current children cumulated vsize: 595852 KiB
Current children cumulated memory: 567096 KiB

[startup+2278 s]*
/proc/loadavg: 2.89 3.08 3.33 3/256 76052
/proc/meminfo: memFree=126120696/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=1194.95 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 284 127891 0 0 0 0 119322 173 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75901] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75901/stat : 75901 (timeout) S 75828 75901 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893082 2723840 352 18446744073709551615 94082866724864 94082866741377 140727104850848 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94082866756144 94082866758232 94082873905152 140727104854406 140727104854562 140727104854562 140727104860135 0
/proc/75901/statm: 665 352 352 5 0 90 0
[pid=75904] ppid=75901 vsize=588868 memory=562616 CPUtime=1076.38 cores=5,7
/proc/75904/stat : 75904 (ExactPR-S) R 75901 75901 75760 0 -1 4194304 250572 0 0 0 105685 1953 0 0 20 0 1 0 69893083 603000832 140654 18446744073709551615 94148167086080 94148176386117 140723427969584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94148178172224 94148178211304 94148195438592 140723427977630 140723427977767 140723427977767 140723427983340 0
/proc/75904/statm: 147217 140654 3424 2271 0 141855 0
Current children cumulated CPU time: 2271.33 s
Current children cumulated vsize: 595852 KiB
Current children cumulated memory: 567096 KiB

[startup+2278.2 s]
/proc/loadavg: 2.89 3.08 3.33 3/256 76052
/proc/meminfo: memFree=126120696/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=1194.95 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 284 127891 0 0 0 0 119322 173 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
[pid=75901] ppid=75828 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/75901/stat : 75901 (timeout) S 75828 75901 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893082 2723840 352 18446744073709551615 94082866724864 94082866741377 140727104850848 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94082866756144 94082866758232 94082873905152 140727104854406 140727104854562 140727104854562 140727104860135 0
/proc/75901/statm: 665 352 352 5 0 90 0
[pid=75904] ppid=75901 vsize=588868 memory=562616 CPUtime=1076.57 cores=5,7
/proc/75904/stat : 75904 (ExactPR-S) R 75901 75901 75760 0 -1 4194304 250572 0 0 0 105704 1953 0 0 20 0 1 0 69893083 603000832 140654 18446744073709551615 94148167086080 94148176386117 140723427969584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94148178172224 94148178211304 94148195438592 140723427977630 140723427977767 140723427977767 140723427983340 0
/proc/75904/statm: 147217 140654 3424 2271 0 141855 0
Current children cumulated CPU time: 2271.52 s
Current children cumulated vsize: 595852 KiB
Current children cumulated memory: 567096 KiB

[startup+2278.3 s]
/proc/loadavg: 2.89 3.08 3.33 3/256 76052
/proc/meminfo: memFree=126120696/131250000 swapFree=33010672/33010684
[pid=75828] ppid=75813 vsize=4324 memory=3072 CPUtime=2271.62 cores=5,7
/proc/75828/stat : 75828 (Hybrid-CASHWMax) S 75813 75828 75760 0 -1 4194304 401 379107 0 0 0 0 225033 2129 20 0 1 0 69773277 4427776 768 18446744073709551615 93840644923392 93840645817925 140734323467200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93840646056976 93840646104720 93840660799488 140734323468631 140734323468785 140734323468785 140734323474387 0
/proc/75828/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2271.62 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 2278.3
CPU time (s): 2271.64
CPU user time (s): 2250.34
CPU system time (s): 21.2987
CPU usage (%): 99.7076
Max. virtual memory (cumulated for all children) (KiB): 1037392
Max. memory (cumulated for all children) (KiB): 999024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2250.34
system time used= 21.2987
maximum resident set size= 994544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1151
involuntary context switches= 2786


# summary of solver processes directly reported to runsolver:
#   pid: 75828
#   total CPU time (s): 2271.64
#   total CPU user time (s): 2250.34
#   total CPU system time (s): 21.2987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53979 second user time and 8.80718 second system time

The end