runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (60203 MiB free)
  memory of node 1: 64465 MiB (63420 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521198-1751567944/watcher-4521198-1751567944 -o /tmp/evaluation-result-4521198-1751567944/solver-4521198-1751567944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751562311-78407 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4521198-1751567944.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
Starting watchdog thread
solver pid=80364, runsolver pid=80361
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 4.16 4.24 4.19 5/259 80368
/proc/meminfo: memFree=126587048/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/80367/stat : 80367 (timeout) S 80364 80367 78394 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72473587 2723840 320 18446744073709551615 94380505137152 94380505153665 140726985457600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380505168432 94380505170520 94380529205248 140726985464216 140726985464354 140726985464354 140726985469927 0
/proc/80367/statm: 665 320 320 5 0 90 0
[pid=80368] ppid=80367 vsize=27308 memory=8832 CPUtime=0.07 cores=5,7
/proc/80368/stat : 80368 (CASHWMaxSAT-Dis) R 80367 80367 78394 0 -1 4194304 1560 0 0 0 7 0 0 0 20 0 1 0 72473588 27963392 2208 18446744073709551615 4198400 14093885 140728131122496 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 51458048 140728131131805 140728131131931 140728131131931 140728131137504 0
/proc/80368/statm: 6827 2208 736 2416 0 3929 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 34292 KiB
Current children cumulated memory: 13056 KiB

[startup+0.219148 s]*
/proc/loadavg: 4.16 4.24 4.19 5/259 80368
/proc/meminfo: memFree=126579992/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/80367/stat : 80367 (timeout) S 80364 80367 78394 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72473587 2723840 320 18446744073709551615 94380505137152 94380505153665 140726985457600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380505168432 94380505170520 94380529205248 140726985464216 140726985464354 140726985464354 140726985469927 0
/proc/80367/statm: 665 320 320 5 0 90 0
[pid=80368] ppid=80367 vsize=33168 memory=14592 CPUtime=0.16 cores=5,7
/proc/80368/stat : 80368 (CASHWMaxSAT-Dis) R 80367 80367 78394 0 -1 4194304 2998 0 0 0 16 0 0 0 20 0 1 0 72473588 33964032 3648 18446744073709551615 4198400 14093885 140728131122496 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 51458048 140728131131805 140728131131931 140728131131931 140728131137504 0
/proc/80368/statm: 8292 3648 736 2416 0 5394 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 40152 KiB
Current children cumulated memory: 18816 KiB

[startup+0.313871 s]*
/proc/loadavg: 4.16 4.24 4.19 5/259 80368
/proc/meminfo: memFree=126571928/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/80367/stat : 80367 (timeout) S 80364 80367 78394 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72473587 2723840 320 18446744073709551615 94380505137152 94380505153665 140726985457600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380505168432 94380505170520 94380529205248 140726985464216 140726985464354 140726985464354 140726985469927 0
/proc/80367/statm: 665 320 320 5 0 90 0
[pid=80368] ppid=80367 vsize=37972 memory=19456 CPUtime=0.25 cores=5,7
/proc/80368/stat : 80368 (CASHWMaxSAT-Dis) R 80367 80367 78394 0 -1 4194304 4217 0 0 0 24 1 0 0 20 0 1 0 72473588 38883328 4864 18446744073709551615 4198400 14093885 140728131122496 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 51458048 140728131131805 140728131131931 140728131131931 140728131137504 0
/proc/80368/statm: 9493 4864 736 2416 0 6595 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 44956 KiB
Current children cumulated memory: 23680 KiB

[startup+0.700336 s]
/proc/loadavg: 4.16 4.24 4.19 5/259 80368
/proc/meminfo: memFree=126563864/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/80367/stat : 80367 (timeout) S 80364 80367 78394 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72473587 2723840 320 18446744073709551615 94380505137152 94380505153665 140726985457600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380505168432 94380505170520 94380529205248 140726985464216 140726985464354 140726985464354 140726985469927 0
/proc/80367/statm: 665 320 320 5 0 90 0
[pid=80368] ppid=80367 vsize=61556 memory=43136 CPUtime=0.59 cores=5,7
/proc/80368/stat : 80368 (CASHWMaxSAT-Dis) R 80367 80367 78394 0 -1 4194304 10114 0 0 0 56 3 0 0 20 0 1 0 72473588 63033344 10784 18446744073709551615 4198400 14093885 140728131122496 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 51458048 140728131131805 140728131131931 140728131131931 140728131137504 0
/proc/80368/statm: 15389 10784 736 2416 0 12491 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 68540 KiB
Current children cumulated memory: 47360 KiB

[startup+1.50025 s]
/proc/loadavg: 4.16 4.24 4.19 5/259 80368
/proc/meminfo: memFree=126524048/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/80367/stat : 80367 (timeout) S 80364 80367 78394 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72473587 2723840 320 18446744073709551615 94380505137152 94380505153665 140726985457600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380505168432 94380505170520 94380529205248 140726985464216 140726985464354 140726985464354 140726985469927 0
/proc/80367/statm: 665 320 320 5 0 90 0
[pid=80368] ppid=80367 vsize=140528 memory=121600 CPUtime=1.37 cores=5,7
/proc/80368/stat : 80368 (CASHWMaxSAT-Dis) R 80367 80367 78394 0 -1 4194304 29751 0 0 0 130 7 0 0 20 0 1 0 72473588 143900672 30400 18446744073709551615 4198400 14093885 140728131122496 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 51458048 140728131131805 140728131131931 140728131131931 140728131137504 0
/proc/80368/statm: 35132 30400 736 2416 0 32234 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 147512 KiB
Current children cumulated memory: 125824 KiB

[startup+3.1057 s]
/proc/loadavg: 4.16 4.24 4.19 5/259 80368
/proc/meminfo: memFree=126266108/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/80367/stat : 80367 (timeout) S 80364 80367 78394 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72473587 2723840 320 18446744073709551615 94380505137152 94380505153665 140726985457600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380505168432 94380505170520 94380529205248 140726985464216 140726985464354 140726985464354 140726985469927 0
/proc/80367/statm: 665 320 320 5 0 90 0
[pid=80368] ppid=80367 vsize=349696 memory=334196 CPUtime=2.97 cores=5,7
/proc/80368/stat : 80368 (CASHWMaxSAT-Dis) R 80367 80367 78394 0 -1 4194304 83609 0 0 0 279 18 0 0 20 0 1 0 72473588 358088704 83549 18446744073709551615 4198400 14093885 140728131122496 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 15976432 16051504 51458048 140728131131805 140728131131931 140728131131931 140728131137504 0
/proc/80368/statm: 87424 83549 768 2416 0 84526 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 356680 KiB
Current children cumulated memory: 338420 KiB

[startup+6.30025 s]
/proc/loadavg: 4.14 4.24 4.18 5/259 80368
/proc/meminfo: memFree=126276760/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/80367/stat : 80367 (timeout) S 80364 80367 78394 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72473587 2723840 320 18446744073709551615 94380505137152 94380505153665 140726985457600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380505168432 94380505170520 94380529205248 140726985464216 140726985464354 140726985464354 140726985469927 0
/proc/80367/statm: 665 320 320 5 0 90 0
[pid=80368] ppid=80367 vsize=347872 memory=329628 CPUtime=6.13 cores=5,7
/proc/80368/stat : 80368 (CASHWMaxSAT-Dis) R 80367 80367 78394 0 -1 4194304 84050 0 0 0 594 19 0 0 20 0 1 0 72473588 356220928 82407 18446744073709551615 4198400 14093885 140728131122496 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 15976432 16051504 51458048 140728131131805 140728131131931 140728131131931 140728131137504 0
/proc/80368/statm: 86968 82407 768 2416 0 84070 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 354856 KiB
Current children cumulated memory: 333852 KiB

[startup+12.7005 s]
/proc/loadavg: 4.13 4.23 4.18 5/259 80368
/proc/meminfo: memFree=126271156/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/80367/stat : 80367 (timeout) S 80364 80367 78394 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72473587 2723840 320 18446744073709551615 94380505137152 94380505153665 140726985457600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380505168432 94380505170520 94380529205248 140726985464216 140726985464354 140726985464354 140726985469927 0
/proc/80367/statm: 665 320 320 5 0 90 0
[pid=80368] ppid=80367 vsize=347872 memory=329628 CPUtime=12.47 cores=5,7
/proc/80368/stat : 80368 (CASHWMaxSAT-Dis) R 80367 80367 78394 0 -1 4194304 84071 0 0 0 1228 19 0 0 20 0 1 0 72473588 356220928 82407 18446744073709551615 4198400 14093885 140728131122496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51458048 140728131131805 140728131131931 140728131131931 140728131137504 0
/proc/80368/statm: 86968 82407 768 2416 0 84070 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 354856 KiB
Current children cumulated memory: 333852 KiB

[startup+25.5005 s]
/proc/loadavg: 4.10 4.22 4.18 5/259 80368
/proc/meminfo: memFree=126272792/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/80367/stat : 80367 (timeout) S 80364 80367 78394 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72473587 2723840 320 18446744073709551615 94380505137152 94380505153665 140726985457600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380505168432 94380505170520 94380529205248 140726985464216 140726985464354 140726985464354 140726985469927 0
/proc/80367/statm: 665 320 320 5 0 90 0
[pid=80368] ppid=80367 vsize=367172 memory=346296 CPUtime=25.23 cores=5,7
/proc/80368/stat : 80368 (CASHWMaxSAT-Dis) R 80367 80367 78394 0 -1 4194304 87216 0 0 0 2503 20 0 0 20 0 1 0 72473588 375984128 86574 18446744073709551615 4198400 14093885 140728131122496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51458048 140728131131805 140728131131931 140728131131931 140728131137504 0
/proc/80368/statm: 91793 86574 768 2416 0 88895 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 374156 KiB
Current children cumulated memory: 350520 KiB

[startup+51.1139 s]
/proc/loadavg: 4.07 4.20 4.17 5/259 80369
/proc/meminfo: memFree=126251524/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/80367/stat : 80367 (timeout) S 80364 80367 78394 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72473587 2723840 320 18446744073709551615 94380505137152 94380505153665 140726985457600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380505168432 94380505170520 94380529205248 140726985464216 140726985464354 140726985464354 140726985469927 0
/proc/80367/statm: 665 320 320 5 0 90 0
[pid=80368] ppid=80367 vsize=385848 memory=367096 CPUtime=50.75 cores=5,7
/proc/80368/stat : 80368 (CASHWMaxSAT-Dis) R 80367 80367 78394 0 -1 4194304 87865 0 0 0 5054 21 0 0 20 0 1 0 72473588 395108352 91774 18446744073709551615 4198400 14093885 140728131122496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51458048 140728131131805 140728131131931 140728131131931 140728131137504 0
/proc/80368/statm: 96462 91774 768 2416 0 93564 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 392832 KiB
Current children cumulated memory: 371320 KiB

[startup+102.3 s]
/proc/loadavg: 4.30 4.23 4.19 5/260 80372
/proc/meminfo: memFree=126250276/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80367] ppid=80364 vsize=2660 memory=1280 CPUtime=0 cores=5,7

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

/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80414] ppid=80364 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/80414/stat : 80414 (timeout) S 80364 80414 78394 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72563489 2723840 352 18446744073709551615 94451333885952 94451333902465 140722675154480 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94451333917232 94451333919320 94451360595968 140722675157381 140722675157538 140722675157538 140722675163111 0
/proc/80414/statm: 665 352 352 5 0 90 0
[pid=80415] ppid=80414 vsize=1426484 memory=1388244 CPUtime=2553.22 cores=5,7
/proc/80415/stat : 80415 (ExactPR-S9) R 80414 80414 78394 0 -1 4194304 308221 0 0 0 254670 652 0 0 20 0 1 0 72563490 1460719616 347061 18446744073709551615 94780290580480 94780299880581 140735821038960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94780301666624 94780301705704 94780332847104 140735821048220 140735821048358 140735821048358 140735821053931 0
/proc/80415/statm: 356621 347061 3360 2271 0 351259 0
Current children cumulated CPU time: 3448.56 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1392596 KiB

[startup+3522.3 s]
/proc/loadavg: 4.44 4.40 4.23 5/258 81361
/proc/meminfo: memFree=123108136/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=895.34 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 281 90421 0 0 0 0 89504 30 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80414] ppid=80364 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/80414/stat : 80414 (timeout) S 80364 80414 78394 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72563489 2723840 352 18446744073709551615 94451333885952 94451333902465 140722675154480 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94451333917232 94451333919320 94451360595968 140722675157381 140722675157538 140722675157538 140722675163111 0
/proc/80414/statm: 665 352 352 5 0 90 0
[pid=80415] ppid=80414 vsize=1426484 memory=1388244 CPUtime=2612.93 cores=5,7
/proc/80415/stat : 80415 (ExactPR-S9) R 80414 80414 78394 0 -1 4194304 308243 0 0 0 260624 669 0 0 20 0 1 0 72563490 1460719616 347061 18446744073709551615 94780290580480 94780299880581 140735821038960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94780301666624 94780301705704 94780332847104 140735821048220 140735821048358 140735821048358 140735821053931 0
/proc/80415/statm: 356621 347061 3360 2271 0 351259 0
Current children cumulated CPU time: 3508.27 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1392596 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.34 4.22 5/261 81371
/proc/meminfo: memFree=120440760/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=895.34 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 281 90421 0 0 0 0 89504 30 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80414] ppid=80364 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/80414/stat : 80414 (timeout) S 80364 80414 78394 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72563489 2723840 352 18446744073709551615 94451333885952 94451333902465 140722675154480 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94451333917232 94451333919320 94451360595968 140722675157381 140722675157538 140722675157538 140722675163111 0
/proc/80414/statm: 665 352 352 5 0 90 0
[pid=80415] ppid=80414 vsize=1426484 memory=1388244 CPUtime=2672.75 cores=5,7
/proc/80415/stat : 80415 (ExactPR-S9) R 80414 80414 78394 0 -1 4194304 308286 0 0 0 266605 670 0 0 20 0 1 0 72563490 1460719616 347061 18446744073709551615 94780290580480 94780299880581 140735821038960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94780301666624 94780301705704 94780332847104 140735821048220 140735821048358 140735821048358 140735821053931 0
/proc/80415/statm: 356621 347061 3360 2271 0 351259 0
Current children cumulated CPU time: 3568.09 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1392596 KiB

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

# cumulated CPU time of all completed processes:  user=3574.83 s, system=7.06901 s

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

[startup+3584 s]*
/proc/loadavg: 4.21 4.34 4.22 5/261 81371
/proc/meminfo: memFree=120633864/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=895.34 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 281 90421 0 0 0 0 89504 30 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80414] ppid=80364 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/80414/stat : 80414 (timeout) S 80364 80414 78394 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72563489 2723840 352 18446744073709551615 94451333885952 94451333902465 140722675154480 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94451333917232 94451333919320 94451360595968 140722675157381 140722675157538 140722675157538 140722675163111 0
/proc/80414/statm: 665 352 352 5 0 90 0
[pid=80415] ppid=80414 vsize=1426484 memory=1388244 CPUtime=2674.46 cores=5,7
/proc/80415/stat : 80415 (ExactPR-S9) R 80414 80414 78394 0 -1 4194304 308286 0 0 0 266776 670 0 0 20 0 1 0 72563490 1460719616 347061 18446744073709551615 94780290580480 94780299880581 140735821038960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94780301666624 94780301705704 94780332847104 140735821048220 140735821048358 140735821048358 140735821053931 0
/proc/80415/statm: 356621 347061 3360 2271 0 351259 0
Current children cumulated CPU time: 3569.8 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1392596 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.33 4.21 5/261 81371
/proc/meminfo: memFree=120565356/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=895.34 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 281 90421 0 0 0 0 89504 30 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80414] ppid=80364 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/80414/stat : 80414 (timeout) S 80364 80414 78394 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72563489 2723840 352 18446744073709551615 94451333885952 94451333902465 140722675154480 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94451333917232 94451333919320 94451360595968 140722675157381 140722675157538 140722675157538 140722675163111 0
/proc/80414/statm: 665 352 352 5 0 90 0
[pid=80415] ppid=80414 vsize=1426484 memory=1388500 CPUtime=2680.83 cores=5,7
/proc/80415/stat : 80415 (ExactPR-S9) R 80414 80414 78394 0 -1 4194304 308286 0 0 0 267413 670 0 0 20 0 1 0 72563490 1460719616 347125 18446744073709551615 94780290580480 94780299880581 140735821038960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94780301666624 94780301705704 94780332847104 140735821048220 140735821048358 140735821048358 140735821053931 0
/proc/80415/statm: 356621 347125 3360 2271 0 351259 0
Current children cumulated CPU time: 3576.17 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1392852 KiB

[startup+3593.6 s]
/proc/loadavg: 4.18 4.33 4.21 5/261 81371
/proc/meminfo: memFree=120139372/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=895.34 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 281 90421 0 0 0 0 89504 30 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80414] ppid=80364 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/80414/stat : 80414 (timeout) S 80364 80414 78394 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72563489 2723840 352 18446744073709551615 94451333885952 94451333902465 140722675154480 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94451333917232 94451333919320 94451360595968 140722675157381 140722675157538 140722675157538 140722675163111 0
/proc/80414/statm: 665 352 352 5 0 90 0
[pid=80415] ppid=80414 vsize=1426484 memory=1388500 CPUtime=2684.02 cores=5,7
/proc/80415/stat : 80415 (ExactPR-S9) R 80414 80414 78394 0 -1 4194304 308286 0 0 0 267732 670 0 0 20 0 1 0 72563490 1460719616 347125 18446744073709551615 94780290580480 94780299880581 140735821038960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94780301666624 94780301705704 94780332847104 140735821048220 140735821048358 140735821048358 140735821053931 0
/proc/80415/statm: 356621 347125 3360 2271 0 351259 0
Current children cumulated CPU time: 3579.36 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1392852 KiB

[startup+3595.2 s]
/proc/loadavg: 4.16 4.33 4.21 5/261 81371
/proc/meminfo: memFree=120606852/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=895.34 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 281 90421 0 0 0 0 89504 30 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80414] ppid=80364 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/80414/stat : 80414 (timeout) S 80364 80414 78394 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72563489 2723840 352 18446744073709551615 94451333885952 94451333902465 140722675154480 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94451333917232 94451333919320 94451360595968 140722675157381 140722675157538 140722675157538 140722675163111 0
/proc/80414/statm: 665 352 352 5 0 90 0
[pid=80415] ppid=80414 vsize=1426484 memory=1388500 CPUtime=2685.61 cores=5,7
/proc/80415/stat : 80415 (ExactPR-S9) R 80414 80414 78394 0 -1 4194304 308286 0 0 0 267891 670 0 0 20 0 1 0 72563490 1460719616 347125 18446744073709551615 94780290580480 94780299880581 140735821038960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94780301666624 94780301705704 94780332847104 140735821048220 140735821048358 140735821048358 140735821053931 0
/proc/80415/statm: 356621 347125 3360 2271 0 351259 0
Current children cumulated CPU time: 3580.95 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1392852 KiB

[startup+3595.6 s]
/proc/loadavg: 4.16 4.33 4.21 5/261 81371
/proc/meminfo: memFree=120606852/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=895.34 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 281 90421 0 0 0 0 89504 30 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80414] ppid=80364 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/80414/stat : 80414 (timeout) S 80364 80414 78394 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72563489 2723840 352 18446744073709551615 94451333885952 94451333902465 140722675154480 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94451333917232 94451333919320 94451360595968 140722675157381 140722675157538 140722675157538 140722675163111 0
/proc/80414/statm: 665 352 352 5 0 90 0
[pid=80415] ppid=80414 vsize=1426484 memory=1389268 CPUtime=2686.01 cores=5,7
/proc/80415/stat : 80415 (ExactPR-S9) R 80414 80414 78394 0 -1 4194304 308286 0 0 0 267931 670 0 0 20 0 1 0 72563490 1460719616 347317 18446744073709551615 94780290580480 94780299880581 140735821038960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94780301666624 94780301705704 94780332847104 140735821048220 140735821048358 140735821048358 140735821053931 0
/proc/80415/statm: 356621 347317 3360 2271 0 351259 0
Current children cumulated CPU time: 3581.35 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1393620 KiB

[startup+3596 s]*
/proc/loadavg: 4.16 4.33 4.21 5/261 81371
/proc/meminfo: memFree=120497488/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=895.34 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 281 90421 0 0 0 0 89504 30 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
[pid=80414] ppid=80364 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/80414/stat : 80414 (timeout) S 80364 80414 78394 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72563489 2723840 352 18446744073709551615 94451333885952 94451333902465 140722675154480 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94451333917232 94451333919320 94451360595968 140722675157381 140722675157538 140722675157538 140722675163111 0
/proc/80414/statm: 665 352 352 5 0 90 0
[pid=80415] ppid=80414 vsize=1426484 memory=1389268 CPUtime=2686.42 cores=5,7
/proc/80415/stat : 80415 (ExactPR-S9) R 80414 80414 78394 0 -1 4194304 308286 0 0 0 267972 670 0 0 20 0 1 0 72563490 1460719616 347317 18446744073709551615 94780290580480 94780299880581 140735821038960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94780301666624 94780301705704 94780332847104 140735821048220 140735821048358 140735821048358 140735821053931 0
/proc/80415/statm: 356621 347317 3360 2271 0 351259 0
Current children cumulated CPU time: 3581.76 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1393620 KiB

[startup+3596.11 s]
/proc/loadavg: 4.16 4.33 4.21 5/261 81371
/proc/meminfo: memFree=120497488/131382120 swapFree=33010160/33010684
[pid=80364] ppid=80361 vsize=4324 memory=2944 CPUtime=3581.85 cores=5,7
/proc/80364/stat : 80364 (Hybrid-CASHWMax) S 80361 80364 78394 0 -1 4194304 374 399995 0 0 0 0 357482 703 20 0 1 0 72473585 4427776 736 18446744073709551615 94732430868480 94732431763013 140724786554736 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94732432002064 94732432049808 94732453810176 140724786559317 140724786559472 140724786559472 140724786565074 0
/proc/80364/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3581.85 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.16
CPU time (s): 3581.9
CPU user time (s): 3574.83
CPU system time (s): 7.06901
CPU usage (%): 99.6034
Max. virtual memory (cumulated for all children) (KiB): 2333120
Max. memory (cumulated for all children) (KiB): 2150044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.83
system time used= 7.06901
maximum resident set size= 2146076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402289
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1942
involuntary context switches= 19875


# summary of solver processes directly reported to runsolver:
#   pid: 80364
#   total CPU time (s): 3581.9
#   total CPU user time (s): 3574.83
#   total CPU system time (s): 7.06901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4648 second user time and 39.5931 second system time

The end