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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488520-1751330209/watcher-4488520-1751330209 -o /tmp/evaluation-result-4488520-1751330209/solver-4488520-1751330209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751326195-45919 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4488520-1751330209.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=48347, runsolver pid=48343

[startup+0.100068 s]*
/proc/loadavg: 4.16 4.16 4.15 5/258 48351
/proc/meminfo: memFree=119801728/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48350/stat : 48350 (timeout) S 48347 48350 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48700731 2723840 352 18446744073709551615 93905113985024 93905114001537 140734859129632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93905114016304 93905114018392 93905125339136 140734859131286 140734859131426 140734859131426 140734859136999 0
/proc/48350/statm: 665 352 352 5 0 90 0
[pid=48351] ppid=48350 vsize=22180 memory=8064 CPUtime=0.06 cores=4,6
/proc/48351/stat : 48351 (CASHWMaxSAT-Dis) R 48350 48350 45908 0 -1 4194304 1177 0 0 0 6 0 0 0 20 0 1 0 48700731 22712320 2016 18446744073709551615 4198400 14817773 140732223862944 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 35680256 140732223867292 140732223867419 140732223867419 140732223872992 0
/proc/48351/statm: 5545 2016 928 2593 0 2438 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12544 KiB

[startup+0.214035 s]*
/proc/loadavg: 4.22 4.18 4.15 5/258 48351
/proc/meminfo: memFree=119801728/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48350/stat : 48350 (timeout) S 48347 48350 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48700731 2723840 352 18446744073709551615 93905113985024 93905114001537 140734859129632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93905114016304 93905114018392 93905125339136 140734859131286 140734859131426 140734859131426 140734859136999 0
/proc/48350/statm: 665 352 352 5 0 90 0
[pid=48351] ppid=48350 vsize=22180 memory=8192 CPUtime=0.16 cores=4,6
/proc/48351/stat : 48351 (CASHWMaxSAT-Dis) R 48350 48350 45908 0 -1 4194304 1178 0 0 0 16 0 0 0 20 0 1 0 48700731 22712320 2048 18446744073709551615 4198400 14817773 140732223862944 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35680256 140732223867292 140732223867419 140732223867419 140732223872992 0
/proc/48351/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12672 KiB

[startup+0.313797 s]*
/proc/loadavg: 4.22 4.18 4.15 5/258 48351
/proc/meminfo: memFree=119801728/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48350/stat : 48350 (timeout) S 48347 48350 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48700731 2723840 352 18446744073709551615 93905113985024 93905114001537 140734859129632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93905114016304 93905114018392 93905125339136 140734859131286 140734859131426 140734859131426 140734859136999 0
/proc/48350/statm: 665 352 352 5 0 90 0
[pid=48351] ppid=48350 vsize=22180 memory=8192 CPUtime=0.26 cores=4,6
/proc/48351/stat : 48351 (CASHWMaxSAT-Dis) R 48350 48350 45908 0 -1 4194304 1178 0 0 0 26 0 0 0 20 0 1 0 48700731 22712320 2048 18446744073709551615 4198400 14817773 140732223862944 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35680256 140732223867292 140732223867419 140732223867419 140732223872992 0
/proc/48351/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12672 KiB

[startup+0.700449 s]
/proc/loadavg: 4.22 4.18 4.15 5/258 48351
/proc/meminfo: memFree=119801728/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48350/stat : 48350 (timeout) S 48347 48350 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48700731 2723840 352 18446744073709551615 93905113985024 93905114001537 140734859129632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93905114016304 93905114018392 93905125339136 140734859131286 140734859131426 140734859131426 140734859136999 0
/proc/48350/statm: 665 352 352 5 0 90 0
[pid=48351] ppid=48350 vsize=22180 memory=8192 CPUtime=0.64 cores=4,6
/proc/48351/stat : 48351 (CASHWMaxSAT-Dis) R 48350 48350 45908 0 -1 4194304 1178 0 0 0 63 1 0 0 20 0 1 0 48700731 22712320 2048 18446744073709551615 4198400 14817773 140732223862944 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35680256 140732223867292 140732223867419 140732223867419 140732223872992 0
/proc/48351/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12672 KiB

[startup+1.50045 s]
/proc/loadavg: 4.22 4.18 4.15 5/258 48351
/proc/meminfo: memFree=119801728/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48350/stat : 48350 (timeout) S 48347 48350 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48700731 2723840 352 18446744073709551615 93905113985024 93905114001537 140734859129632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93905114016304 93905114018392 93905125339136 140734859131286 140734859131426 140734859131426 140734859136999 0
/proc/48350/statm: 665 352 352 5 0 90 0
[pid=48351] ppid=48350 vsize=30024 memory=16000 CPUtime=1.43 cores=4,6
/proc/48351/stat : 48351 (CASHWMaxSAT-Dis) R 48350 48350 45908 0 -1 4194304 3133 0 0 0 140 3 0 0 20 0 1 0 48700731 30744576 4000 18446744073709551615 4198400 14817773 140732223862944 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35680256 140732223867292 140732223867419 140732223867419 140732223872992 0
/proc/48351/statm: 7506 4000 960 2593 0 4399 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 37008 KiB
Current children cumulated memory: 20480 KiB

[startup+3.11344 s]
/proc/loadavg: 4.22 4.18 4.15 5/258 48351
/proc/meminfo: memFree=119779892/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48350/stat : 48350 (timeout) S 48347 48350 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48700731 2723840 352 18446744073709551615 93905113985024 93905114001537 140734859129632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93905114016304 93905114018392 93905125339136 140734859131286 140734859131426 140734859131426 140734859136999 0
/proc/48350/statm: 665 352 352 5 0 90 0
[pid=48351] ppid=48350 vsize=37776 memory=23780 CPUtime=3.04 cores=4,6
/proc/48351/stat : 48351 (CASHWMaxSAT-Dis) R 48350 48350 45908 0 -1 4194304 7596 0 0 0 299 5 0 0 20 0 1 0 48700731 38682624 5945 18446744073709551615 4198400 14817773 140732223862944 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35680256 140732223867292 140732223867419 140732223867419 140732223872992 0
/proc/48351/statm: 9444 5945 992 2593 0 6337 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 44760 KiB
Current children cumulated memory: 28260 KiB

[startup+6.30046 s]
/proc/loadavg: 4.29 4.19 4.16 5/258 48351
/proc/meminfo: memFree=119755588/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48350/stat : 48350 (timeout) S 48347 48350 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48700731 2723840 352 18446744073709551615 93905113985024 93905114001537 140734859129632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93905114016304 93905114018392 93905125339136 140734859131286 140734859131426 140734859131426 140734859136999 0
/proc/48350/statm: 665 352 352 5 0 90 0
[pid=48351] ppid=48350 vsize=39804 memory=25832 CPUtime=6.22 cores=4,6
/proc/48351/stat : 48351 (CASHWMaxSAT-Dis) R 48350 48350 45908 0 -1 4194304 12194 0 0 0 616 6 0 0 20 0 1 0 48700731 40759296 6458 18446744073709551615 4198400 14817773 140732223862944 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35680256 140732223867292 140732223867419 140732223867419 140732223872992 0
/proc/48351/statm: 9951 6458 992 2593 0 6844 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 46788 KiB
Current children cumulated memory: 30312 KiB

[startup+12.7005 s]
/proc/loadavg: 4.34 4.20 4.16 5/258 48351
/proc/meminfo: memFree=119765700/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48350/stat : 48350 (timeout) S 48347 48350 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48700731 2723840 352 18446744073709551615 93905113985024 93905114001537 140734859129632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93905114016304 93905114018392 93905125339136 140734859131286 140734859131426 140734859131426 140734859136999 0
/proc/48350/statm: 665 352 352 5 0 90 0
[pid=48351] ppid=48350 vsize=47528 memory=33552 CPUtime=12.6 cores=4,6
/proc/48351/stat : 48351 (CASHWMaxSAT-Dis) R 48350 48350 45908 0 -1 4194304 16688 0 0 0 1253 7 0 0 20 0 1 0 48700731 48668672 8388 18446744073709551615 4198400 14817773 140732223862944 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35680256 140732223867292 140732223867419 140732223867419 140732223872992 0
/proc/48351/statm: 11882 8388 992 2593 0 8775 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 54512 KiB
Current children cumulated memory: 38032 KiB

[startup+25.5005 s]
/proc/loadavg: 4.44 4.23 4.17 5/258 48351
/proc/meminfo: memFree=119725192/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48350/stat : 48350 (timeout) S 48347 48350 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48700731 2723840 352 18446744073709551615 93905113985024 93905114001537 140734859129632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93905114016304 93905114018392 93905125339136 140734859131286 140734859131426 140734859131426 140734859136999 0
/proc/48350/statm: 665 352 352 5 0 90 0
[pid=48351] ppid=48350 vsize=52916 memory=38944 CPUtime=25.36 cores=4,6
/proc/48351/stat : 48351 (CASHWMaxSAT-Dis) R 48350 48350 45908 0 -1 4194304 20466 0 0 0 2528 8 0 0 20 0 1 0 48700731 54185984 9736 18446744073709551615 4198400 14817773 140732223862944 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35680256 140732223867292 140732223867419 140732223867419 140732223872992 0
/proc/48351/statm: 13229 9736 992 2593 0 10122 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 59900 KiB
Current children cumulated memory: 43424 KiB

[startup+51.1136 s]
/proc/loadavg: 4.66 4.31 4.20 5/258 48351
/proc/meminfo: memFree=119759076/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48350/stat : 48350 (timeout) S 48347 48350 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48700731 2723840 352 18446744073709551615 93905113985024 93905114001537 140734859129632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93905114016304 93905114018392 93905125339136 140734859131286 140734859131426 140734859131426 140734859136999 0
/proc/48350/statm: 665 352 352 5 0 90 0
[pid=48351] ppid=48350 vsize=57888 memory=43896 CPUtime=50.89 cores=4,6
/proc/48351/stat : 48351 (CASHWMaxSAT-Dis) R 48350 48350 45908 0 -1 4194304 23519 0 0 0 5080 9 0 0 20 0 1 0 48700731 59277312 10974 18446744073709551615 4198400 14817773 140732223862944 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35680256 140732223867292 140732223867419 140732223867419 140732223872992 0
/proc/48351/statm: 14472 10974 992 2593 0 11365 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 64872 KiB
Current children cumulated memory: 48376 KiB

[startup+102.3 s]
/proc/loadavg: 4.41 4.30 4.20 5/258 48353
/proc/meminfo: memFree=119735680/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48350] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48515] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48515/stat : 48515 (timeout) S 48347 48515 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48820532 2723840 352 18446744073709551615 94364369616896 94364369633409 140725125329808 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94364369648176 94364369650264 94364386213888 140725125331334 140725125331490 140725125331490 140725125337063 0
/proc/48515/statm: 665 352 352 5 0 90 0
[pid=48516] ppid=48515 vsize=416680 memory=401832 CPUtime=2256.84 cores=4,6
/proc/48516/stat : 48516 (ExactPR-S) R 48515 48515 45908 0 -1 4194304 125132 0 0 0 224133 1551 0 0 20 0 1 0 48820533 426680320 100458 18446744073709551615 94214272282624 94214281582661 140727644205952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94214283368768 94214283407848 94214313619456 140727644207518 140727644207655 140727644207655 140727644213228 0
/proc/48516/statm: 104170 100458 3424 2271 0 98808 0
Current children cumulated CPU time: 3450.98 s
Current children cumulated vsize: 423664 KiB
Current children cumulated memory: 406312 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 48694
/proc/meminfo: memFree=121977744/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=1194.14 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 282 51391 0 0 0 0 119387 27 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48515] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48515/stat : 48515 (timeout) S 48347 48515 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48820532 2723840 352 18446744073709551615 94364369616896 94364369633409 140725125329808 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94364369648176 94364369650264 94364386213888 140725125331334 140725125331490 140725125331490 140725125337063 0
/proc/48515/statm: 665 352 352 5 0 90 0
[pid=48516] ppid=48515 vsize=416680 memory=401832 CPUtime=2316.64 cores=4,6
/proc/48516/stat : 48516 (ExactPR-S) R 48515 48515 45908 0 -1 4194304 125134 0 0 0 230093 1571 0 0 20 0 1 0 48820533 426680320 100458 18446744073709551615 94214272282624 94214281582661 140727644205952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94214283368768 94214283407848 94214313619456 140727644207518 140727644207655 140727644207655 140727644213228 0
/proc/48516/statm: 104170 100458 3424 2271 0 98808 0
Current children cumulated CPU time: 3510.78 s
Current children cumulated vsize: 423664 KiB
Current children cumulated memory: 406312 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 48696
/proc/meminfo: memFree=121981808/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=1194.14 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 282 51391 0 0 0 0 119387 27 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48515] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48515/stat : 48515 (timeout) S 48347 48515 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48820532 2723840 352 18446744073709551615 94364369616896 94364369633409 140725125329808 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94364369648176 94364369650264 94364386213888 140725125331334 140725125331490 140725125331490 140725125337063 0
/proc/48515/statm: 665 352 352 5 0 90 0
[pid=48516] ppid=48515 vsize=416680 memory=401832 CPUtime=2376.45 cores=4,6
/proc/48516/stat : 48516 (ExactPR-S) R 48515 48515 45908 0 -1 4194304 125138 0 0 0 236053 1592 0 0 20 0 1 0 48820533 426680320 100458 18446744073709551615 94214272282624 94214281582661 140727644205952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94214283368768 94214283407848 94214313619456 140727644207518 140727644207655 140727644207655 140727644213228 0
/proc/48516/statm: 104170 100458 3424 2271 0 98808 0
Current children cumulated CPU time: 3570.59 s
Current children cumulated vsize: 423664 KiB
Current children cumulated memory: 406312 KiB

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

# cumulated CPU time of all completed processes:  user=3568.07 s, system=16.3003 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.09 5/260 48696
/proc/meminfo: memFree=121982060/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=1194.14 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 282 51391 0 0 0 0 119387 27 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48515] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48515/stat : 48515 (timeout) S 48347 48515 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48820532 2723840 352 18446744073709551615 94364369616896 94364369633409 140725125329808 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94364369648176 94364369650264 94364386213888 140725125331334 140725125331490 140725125331490 140725125337063 0
/proc/48515/statm: 665 352 352 5 0 90 0
[pid=48516] ppid=48515 vsize=416680 memory=401832 CPUtime=2378.15 cores=4,6
/proc/48516/stat : 48516 (ExactPR-S) R 48515 48515 45908 0 -1 4194304 125138 0 0 0 236223 1592 0 0 20 0 1 0 48820533 426680320 100458 18446744073709551615 94214272282624 94214281582661 140727644205952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94214283368768 94214283407848 94214313619456 140727644207518 140727644207655 140727644207655 140727644213228 0
/proc/48516/statm: 104170 100458 3424 2271 0 98808 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 423664 KiB
Current children cumulated memory: 406312 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 48696
/proc/meminfo: memFree=121982060/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=1194.14 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 282 51391 0 0 0 0 119387 27 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48515] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48515/stat : 48515 (timeout) S 48347 48515 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48820532 2723840 352 18446744073709551615 94364369616896 94364369633409 140725125329808 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94364369648176 94364369650264 94364386213888 140725125331334 140725125331490 140725125331490 140725125337063 0
/proc/48515/statm: 665 352 352 5 0 90 0
[pid=48516] ppid=48515 vsize=416680 memory=401832 CPUtime=2384.52 cores=4,6
/proc/48516/stat : 48516 (ExactPR-S) R 48515 48515 45908 0 -1 4194304 125138 0 0 0 236857 1595 0 0 20 0 1 0 48820533 426680320 100458 18446744073709551615 94214272282624 94214281582661 140727644205952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94214283368768 94214283407848 94214313619456 140727644207518 140727644207655 140727644207655 140727644213228 0
/proc/48516/statm: 104170 100458 3424 2271 0 98808 0
Current children cumulated CPU time: 3578.66 s
Current children cumulated vsize: 423664 KiB
Current children cumulated memory: 406312 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 48696
/proc/meminfo: memFree=121982060/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=1194.14 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 282 51391 0 0 0 0 119387 27 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48515] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48515/stat : 48515 (timeout) S 48347 48515 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48820532 2723840 352 18446744073709551615 94364369616896 94364369633409 140725125329808 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94364369648176 94364369650264 94364386213888 140725125331334 140725125331490 140725125331490 140725125337063 0
/proc/48515/statm: 665 352 352 5 0 90 0
[pid=48516] ppid=48515 vsize=416680 memory=401832 CPUtime=2387.71 cores=4,6
/proc/48516/stat : 48516 (ExactPR-S) R 48515 48515 45908 0 -1 4194304 125138 0 0 0 237174 1597 0 0 20 0 1 0 48820533 426680320 100458 18446744073709551615 94214272282624 94214281582661 140727644205952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94214283368768 94214283407848 94214313619456 140727644207518 140727644207655 140727644207655 140727644213228 0
/proc/48516/statm: 104170 100458 3424 2271 0 98808 0
Current children cumulated CPU time: 3581.85 s
Current children cumulated vsize: 423664 KiB
Current children cumulated memory: 406312 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 48696
/proc/meminfo: memFree=121982060/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=1194.14 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 282 51391 0 0 0 0 119387 27 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48515] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48515/stat : 48515 (timeout) S 48347 48515 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48820532 2723840 352 18446744073709551615 94364369616896 94364369633409 140725125329808 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94364369648176 94364369650264 94364386213888 140725125331334 140725125331490 140725125331490 140725125337063 0
/proc/48515/statm: 665 352 352 5 0 90 0
[pid=48516] ppid=48515 vsize=416680 memory=401832 CPUtime=2389.3 cores=4,6
/proc/48516/stat : 48516 (ExactPR-S) R 48515 48515 45908 0 -1 4194304 125138 0 0 0 237333 1597 0 0 20 0 1 0 48820533 426680320 100458 18446744073709551615 94214272282624 94214281582661 140727644205952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94214283368768 94214283407848 94214313619456 140727644207518 140727644207655 140727644207655 140727644213228 0
/proc/48516/statm: 104170 100458 3424 2271 0 98808 0
Current children cumulated CPU time: 3583.44 s
Current children cumulated vsize: 423664 KiB
Current children cumulated memory: 406312 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 48696
/proc/meminfo: memFree=121982060/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=1194.14 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 282 51391 0 0 0 0 119387 27 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48515] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48515/stat : 48515 (timeout) S 48347 48515 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48820532 2723840 352 18446744073709551615 94364369616896 94364369633409 140725125329808 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94364369648176 94364369650264 94364386213888 140725125331334 140725125331490 140725125331490 140725125337063 0
/proc/48515/statm: 665 352 352 5 0 90 0
[pid=48516] ppid=48515 vsize=416680 memory=401832 CPUtime=2389.7 cores=4,6
/proc/48516/stat : 48516 (ExactPR-S) R 48515 48515 45908 0 -1 4194304 125138 0 0 0 237373 1597 0 0 20 0 1 0 48820533 426680320 100458 18446744073709551615 94214272282624 94214281582661 140727644205952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94214283368768 94214283407848 94214313619456 140727644207518 140727644207655 140727644207655 140727644213228 0
/proc/48516/statm: 104170 100458 3424 2271 0 98808 0
Current children cumulated CPU time: 3583.84 s
Current children cumulated vsize: 423664 KiB
Current children cumulated memory: 406312 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 48696
/proc/meminfo: memFree=121982060/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=1194.14 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 282 51391 0 0 0 0 119387 27 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
[pid=48515] ppid=48347 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48515/stat : 48515 (timeout) S 48347 48515 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48820532 2723840 352 18446744073709551615 94364369616896 94364369633409 140725125329808 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94364369648176 94364369650264 94364386213888 140725125331334 140725125331490 140725125331490 140725125337063 0
/proc/48515/statm: 665 352 352 5 0 90 0
[pid=48516] ppid=48515 vsize=416680 memory=401832 CPUtime=2390.11 cores=4,6
/proc/48516/stat : 48516 (ExactPR-S) R 48515 48515 45908 0 -1 4194304 125138 0 0 0 237414 1597 0 0 20 0 1 0 48820533 426680320 100458 18446744073709551615 94214272282624 94214281582661 140727644205952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94214283368768 94214283407848 94214313619456 140727644207518 140727644207655 140727644207655 140727644213228 0
/proc/48516/statm: 104170 100458 3424 2271 0 98808 0
Current children cumulated CPU time: 3584.25 s
Current children cumulated vsize: 423664 KiB
Current children cumulated memory: 406312 KiB

[startup+3596.11 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 48696
/proc/meminfo: memFree=121982060/131382112 swapFree=33010684/33010684
[pid=48347] ppid=48343 vsize=4324 memory=3072 CPUtime=3584.32 cores=4,6
/proc/48347/stat : 48347 (Hybrid-CASHWMax) S 48343 48347 45908 0 -1 4194304 375 177804 0 0 0 0 356805 1627 20 0 1 0 48700728 4427776 768 18446744073709551615 94545863311360 94545864205893 140728296163280 0 0 0 2 4 65536 1 0 0 17 6 0 0 0 0 0 94545864444944 94545864492688 94545893113856 140728296167767 140728296167921 140728296167921 140728296173523 0
/proc/48347/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3584.32 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.18
CPU time (s): 3584.37
CPU user time (s): 3568.07
CPU system time (s): 16.3003
CPU usage (%): 99.6716
Max. virtual memory (cumulated for all children) (KiB): 536496
Max. memory (cumulated for all children) (KiB): 501684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.07
system time used= 16.3003
maximum resident set size= 497204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1996
involuntary context switches= 2362


# summary of solver processes directly reported to runsolver:
#   pid: 48347
#   total CPU time (s): 3584.37
#   total CPU user time (s): 3568.07
#   total CPU system time (s): 16.3003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8898 second user time and 38.3378 second system time

The end