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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523774-1751593483/watcher-4523774-1751593483 -o /tmp/evaluation-result-4523774-1751593483/solver-4523774-1751593483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751589980-80806 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4523774-1751593483.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
solver pid=81485, runsolver pid=81482
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.10 4.11 4.07 5/271 81489
/proc/meminfo: memFree=102373112/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81488] ppid=81485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/81488/stat : 81488 (timeout) S 81485 81488 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75025795 2723840 352 18446744073709551615 94062200496128 94062200512641 140732478107024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94062200527408 94062200529496 94062220980224 140732478110104 140732478110242 140732478110242 140732478115815 0
/proc/81488/statm: 665 352 352 5 0 90 0
[pid=81489] ppid=81488 vsize=29496 memory=10880 CPUtime=0.08 cores=5,7
/proc/81489/stat : 81489 (CASHWMaxSAT-Dis) R 81488 81488 80793 0 -1 4194304 2070 0 0 0 8 0 0 0 20 0 1 0 75025796 30203904 2720 18446744073709551615 4198400 14093885 140722497157136 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54358016 140722497165725 140722497165851 140722497165851 140722497171424 0
/proc/81489/statm: 7374 2720 736 2416 0 4476 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 36480 KiB
Current children cumulated memory: 15360 KiB

[startup+0.205765 s]*
/proc/loadavg: 4.10 4.11 4.07 5/271 81489
/proc/meminfo: memFree=102369332/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81488] ppid=81485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/81488/stat : 81488 (timeout) S 81485 81488 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75025795 2723840 352 18446744073709551615 94062200496128 94062200512641 140732478107024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94062200527408 94062200529496 94062220980224 140732478110104 140732478110242 140732478110242 140732478115815 0
/proc/81488/statm: 665 352 352 5 0 90 0
[pid=81489] ppid=81488 vsize=38248 memory=19456 CPUtime=0.18 cores=5,7
/proc/81489/stat : 81489 (CASHWMaxSAT-Dis) R 81488 81488 80793 0 -1 4194304 4211 0 0 0 18 0 0 0 20 0 1 0 75025796 39165952 4864 18446744073709551615 4198400 14093885 140722497157136 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54358016 140722497165725 140722497165851 140722497165851 140722497171424 0
/proc/81489/statm: 9562 4864 736 2416 0 6664 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45232 KiB
Current children cumulated memory: 23936 KiB

[startup+0.305608 s]*
/proc/loadavg: 4.10 4.11 4.07 5/271 81489
/proc/meminfo: memFree=102357236/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81488] ppid=81485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/81488/stat : 81488 (timeout) S 81485 81488 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75025795 2723840 352 18446744073709551615 94062200496128 94062200512641 140732478107024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94062200527408 94062200529496 94062220980224 140732478110104 140732478110242 140732478110242 140732478115815 0
/proc/81488/statm: 665 352 352 5 0 90 0
[pid=81489] ppid=81488 vsize=46348 memory=27392 CPUtime=0.28 cores=5,7
/proc/81489/stat : 81489 (CASHWMaxSAT-Dis) R 81488 81488 80793 0 -1 4194304 6200 0 0 0 26 2 0 0 20 0 1 0 75025796 47460352 6848 18446744073709551615 4198400 14093885 140722497157136 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54358016 140722497165725 140722497165851 140722497165851 140722497171424 0
/proc/81489/statm: 11587 6848 736 2416 0 8689 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 53332 KiB
Current children cumulated memory: 31872 KiB

[startup+0.70021 s]
/proc/loadavg: 4.10 4.11 4.07 5/271 81489
/proc/meminfo: memFree=102341108/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81488] ppid=81485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/81488/stat : 81488 (timeout) S 81485 81488 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75025795 2723840 352 18446744073709551615 94062200496128 94062200512641 140732478107024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94062200527408 94062200529496 94062220980224 140732478110104 140732478110242 140732478110242 140732478115815 0
/proc/81488/statm: 665 352 352 5 0 90 0
[pid=81489] ppid=81488 vsize=78480 memory=56576 CPUtime=0.67 cores=5,7
/proc/81489/stat : 81489 (CASHWMaxSAT-Dis) R 81488 81488 80793 0 -1 4194304 13488 0 0 0 64 3 0 0 20 0 1 0 75025796 80363520 14144 18446744073709551615 4198400 14093885 140722497157136 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54358016 140722497165725 140722497165851 140722497165851 140722497171424 0
/proc/81489/statm: 19620 14144 736 2416 0 16722 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 85464 KiB
Current children cumulated memory: 61056 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.11 4.07 5/271 81489
/proc/meminfo: memFree=102262476/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81488] ppid=81485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/81488/stat : 81488 (timeout) S 81485 81488 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75025795 2723840 352 18446744073709551615 94062200496128 94062200512641 140732478107024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94062200527408 94062200529496 94062220980224 140732478110104 140732478110242 140732478110242 140732478115815 0
/proc/81488/statm: 665 352 352 5 0 90 0
[pid=81489] ppid=81488 vsize=232460 memory=193244 CPUtime=1.46 cores=5,7
/proc/81489/stat : 81489 (CASHWMaxSAT-Dis) R 81488 81488 80793 0 -1 4194304 32810 0 0 0 138 8 0 0 20 0 1 0 75025796 238039040 48311 18446744073709551615 4198400 14093885 140722497157136 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54358016 140722497165725 140722497165851 140722497165851 140722497171424 0
/proc/81489/statm: 58115 48311 768 2416 0 55217 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 239444 KiB
Current children cumulated memory: 197724 KiB

[startup+3.10558 s]
/proc/loadavg: 4.09 4.11 4.07 5/271 81489
/proc/meminfo: memFree=102056308/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81488] ppid=81485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/81488/stat : 81488 (timeout) S 81485 81488 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75025795 2723840 352 18446744073709551615 94062200496128 94062200512641 140732478107024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94062200527408 94062200529496 94062220980224 140732478110104 140732478110242 140732478110242 140732478115815 0
/proc/81488/statm: 665 352 352 5 0 90 0
[pid=81489] ppid=81488 vsize=334096 memory=303944 CPUtime=3.07 cores=5,7
/proc/81489/stat : 81489 (CASHWMaxSAT-Dis) R 81488 81488 80793 0 -1 4194304 41196 0 0 0 295 12 0 0 20 0 1 0 75025796 342114304 75986 18446744073709551615 4198400 14093885 140722497157136 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54358016 140722497165725 140722497165851 140722497165851 140722497171424 0
/proc/81489/statm: 83524 75986 992 2416 0 80626 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 341080 KiB
Current children cumulated memory: 308424 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.11 4.07 5/271 81489
/proc/meminfo: memFree=101737032/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81488] ppid=81485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/81488/stat : 81488 (timeout) S 81485 81488 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75025795 2723840 352 18446744073709551615 94062200496128 94062200512641 140732478107024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94062200527408 94062200529496 94062220980224 140732478110104 140732478110242 140732478110242 140732478115815 0
/proc/81488/statm: 665 352 352 5 0 90 0
[pid=81489] ppid=81488 vsize=729224 memory=605544 CPUtime=6.25 cores=5,7
/proc/81489/stat : 81489 (CASHWMaxSAT-Dis) R 81488 81488 80793 0 -1 4194304 65168 0 0 0 602 23 0 0 20 0 1 0 75025796 746725376 151386 18446744073709551615 4198400 14093885 140722497157136 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54358016 140722497165725 140722497165851 140722497165851 140722497171424 0
/proc/81489/statm: 182306 151386 992 2416 0 179408 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 736208 KiB
Current children cumulated memory: 610024 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.08 5/271 81490
/proc/meminfo: memFree=101189064/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81488] ppid=81485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/81488/stat : 81488 (timeout) S 81485 81488 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75025795 2723840 352 18446744073709551615 94062200496128 94062200512641 140732478107024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94062200527408 94062200529496 94062220980224 140732478110104 140732478110242 140732478110242 140732478115815 0
/proc/81488/statm: 665 352 352 5 0 90 0
[pid=81489] ppid=81488 vsize=1172164 memory=1056516 CPUtime=12.63 cores=5,7
/proc/81489/stat : 81489 (CASHWMaxSAT-Dis) R 81488 81488 80793 0 -1 4194304 95501 0 0 0 1224 39 0 0 20 0 1 0 75025796 1200295936 264129 18446744073709551615 4198400 14093885 140722497157136 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54358016 140722497165725 140722497165851 140722497165851 140722497171424 0
/proc/81489/statm: 293041 264129 992 2416 0 290143 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1179148 KiB
Current children cumulated memory: 1060996 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.08 5/271 81490
/proc/meminfo: memFree=98014404/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81488] ppid=81485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/81488/stat : 81488 (timeout) S 81485 81488 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75025795 2723840 352 18446744073709551615 94062200496128 94062200512641 140732478107024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94062200527408 94062200529496 94062220980224 140732478110104 140732478110242 140732478110242 140732478115815 0
/proc/81488/statm: 665 352 352 5 0 90 0
[pid=81489] ppid=81488 vsize=4580804 memory=3928284 CPUtime=25.39 cores=5,7
/proc/81489/stat : 81489 (CASHWMaxSAT-Dis) R 81488 81488 80793 0 -1 4194304 274494 0 0 0 2418 121 0 0 20 0 1 0 75025796 4690743296 982039 18446744073709551615 4198400 14093885 140722497157136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54358016 140722497165725 140722497165851 140722497165851 140722497171424 0
/proc/81489/statm: 1145201 982071 992 2416 0 1142303 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4587788 KiB
Current children cumulated memory: 3932764 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.11 4.07 5/271 81490
/proc/meminfo: memFree=97995908/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81488] ppid=81485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/81488/stat : 81488 (timeout) S 81485 81488 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75025795 2723840 352 18446744073709551615 94062200496128 94062200512641 140732478107024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94062200527408 94062200529496 94062220980224 140732478110104 140732478110242 140732478110242 140732478115815 0
/proc/81488/statm: 665 352 352 5 0 90 0
[pid=81489] ppid=81488 vsize=4611848 memory=3957952 CPUtime=50.93 cores=5,7
/proc/81489/stat : 81489 (CASHWMaxSAT-Dis) R 81488 81488 80793 0 -1 4194304 278875 0 0 0 4970 123 0 0 20 0 1 0 75025796 4722532352 989488 18446744073709551615 4198400 14093885 140722497157136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54358016 140722497165725 140722497165851 140722497165851 140722497171424 0
/proc/81489/statm: 1152962 989488 992 2416 0 1150064 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4618832 KiB
Current children cumulated memory: 3962432 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/272 81493
/proc/meminfo: memFree=97160668/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0

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

/proc/81594/statm: 202077 195354 3520 2271 0 196715 0
Current children cumulated CPU time: 2554.38 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785768 KiB

[startup+2622.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 81799
/proc/meminfo: memFree=122260040/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 284 361999 0 0 0 0 89424 221 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81593] ppid=81485 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/81593/stat : 81593 (timeout) S 81485 81593 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75115704 2723840 320 18446744073709551615 94630503092224 94630503108737 140729309471216 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630503123504 94630503125592 94630511640576 140729309473157 140729309473314 140729309473314 140729309478887 0
/proc/81593/statm: 665 320 320 5 0 90 0
[pid=81594] ppid=81593 vsize=808308 memory=781416 CPUtime=1717.74 cores=5,7
/proc/81594/stat : 81594 (ExactPR-S9) R 81593 81593 80793 0 -1 4194304 249389 0 0 0 171680 94 0 0 20 0 1 0 75115705 827707392 195354 18446744073709551615 94464163110912 94464172411013 140727396447040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94464174197056 94464174236136 94464201416704 140727396448668 140727396448806 140727396448806 140727396454379 0
/proc/81594/statm: 202077 195354 3520 2271 0 196715 0
Current children cumulated CPU time: 2614.19 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785768 KiB

[startup+2682.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/272 81801
/proc/meminfo: memFree=122246564/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 284 361999 0 0 0 0 89424 221 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81593] ppid=81485 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/81593/stat : 81593 (timeout) S 81485 81593 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75115704 2723840 320 18446744073709551615 94630503092224 94630503108737 140729309471216 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630503123504 94630503125592 94630511640576 140729309473157 140729309473314 140729309473314 140729309478887 0
/proc/81593/statm: 665 320 320 5 0 90 0
[pid=81594] ppid=81593 vsize=808308 memory=781416 CPUtime=1777.55 cores=5,7
/proc/81594/stat : 81594 (ExactPR-S9) R 81593 81593 80793 0 -1 4194304 249389 0 0 0 177658 97 0 0 20 0 1 0 75115705 827707392 195354 18446744073709551615 94464163110912 94464172411013 140727396447040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94464174197056 94464174236136 94464201416704 140727396448668 140727396448806 140727396448806 140727396454379 0
/proc/81594/statm: 202077 195354 3520 2271 0 196715 0
Current children cumulated CPU time: 2674 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785768 KiB

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

# cumulated CPU time of all completed processes:  user=2692.67 s, system=3.21414 s

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

[startup+2688 s]*
/proc/loadavg: 4.18 4.14 4.10 5/272 81801
/proc/meminfo: memFree=122244276/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 284 361999 0 0 0 0 89424 221 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81593] ppid=81485 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/81593/stat : 81593 (timeout) S 81485 81593 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75115704 2723840 320 18446744073709551615 94630503092224 94630503108737 140729309471216 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630503123504 94630503125592 94630511640576 140729309473157 140729309473314 140729309473314 140729309478887 0
/proc/81593/statm: 665 320 320 5 0 90 0
[pid=81594] ppid=81593 vsize=808308 memory=781416 CPUtime=1783.24 cores=5,7
/proc/81594/stat : 81594 (ExactPR-S9) R 81593 81593 80793 0 -1 4194304 249389 0 0 0 178227 97 0 0 20 0 1 0 75115705 827707392 195354 18446744073709551615 94464163110912 94464172411013 140727396447040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94464174197056 94464174236136 94464201416704 140727396448668 140727396448806 140727396448806 140727396454379 0
/proc/81594/statm: 202077 195354 3520 2271 0 196715 0
Current children cumulated CPU time: 2679.69 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785768 KiB

[startup+2694.4 s]
/proc/loadavg: 4.17 4.13 4.10 5/272 81801
/proc/meminfo: memFree=122237340/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 284 361999 0 0 0 0 89424 221 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81593] ppid=81485 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/81593/stat : 81593 (timeout) S 81485 81593 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75115704 2723840 320 18446744073709551615 94630503092224 94630503108737 140729309471216 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630503123504 94630503125592 94630511640576 140729309473157 140729309473314 140729309473314 140729309478887 0
/proc/81593/statm: 665 320 320 5 0 90 0
[pid=81594] ppid=81593 vsize=808308 memory=781416 CPUtime=1789.61 cores=5,7
/proc/81594/stat : 81594 (ExactPR-S9) R 81593 81593 80793 0 -1 4194304 249389 0 0 0 178864 97 0 0 20 0 1 0 75115705 827707392 195354 18446744073709551615 94464163110912 94464172411013 140727396447040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94464174197056 94464174236136 94464201416704 140727396448668 140727396448806 140727396448806 140727396454379 0
/proc/81594/statm: 202077 195354 3520 2271 0 196715 0
Current children cumulated CPU time: 2686.06 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785768 KiB

[startup+2700.8 s]
/proc/loadavg: 4.15 4.13 4.09 5/272 81801
/proc/meminfo: memFree=122237340/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 284 361999 0 0 0 0 89424 221 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81593] ppid=81485 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/81593/stat : 81593 (timeout) S 81485 81593 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75115704 2723840 320 18446744073709551615 94630503092224 94630503108737 140729309471216 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630503123504 94630503125592 94630511640576 140729309473157 140729309473314 140729309473314 140729309478887 0
/proc/81593/statm: 665 320 320 5 0 90 0
[pid=81594] ppid=81593 vsize=808308 memory=781416 CPUtime=1796 cores=5,7
/proc/81594/stat : 81594 (ExactPR-S9) R 81593 81593 80793 0 -1 4194304 249389 0 0 0 179502 98 0 0 20 0 1 0 75115705 827707392 195354 18446744073709551615 94464163110912 94464172411013 140727396447040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94464174197056 94464174236136 94464201416704 140727396448668 140727396448806 140727396448806 140727396454379 0
/proc/81594/statm: 202077 195354 3520 2271 0 196715 0
Current children cumulated CPU time: 2692.45 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785768 KiB

[startup+2702.4 s]
/proc/loadavg: 4.15 4.13 4.09 5/272 81801
/proc/meminfo: memFree=122237340/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 284 361999 0 0 0 0 89424 221 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81593] ppid=81485 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/81593/stat : 81593 (timeout) S 81485 81593 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75115704 2723840 320 18446744073709551615 94630503092224 94630503108737 140729309471216 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630503123504 94630503125592 94630511640576 140729309473157 140729309473314 140729309473314 140729309478887 0
/proc/81593/statm: 665 320 320 5 0 90 0
[pid=81594] ppid=81593 vsize=808308 memory=781416 CPUtime=1797.59 cores=5,7
/proc/81594/stat : 81594 (ExactPR-S9) R 81593 81593 80793 0 -1 4194304 249389 0 0 0 179661 98 0 0 20 0 1 0 75115705 827707392 195354 18446744073709551615 94464163110912 94464172411013 140727396447040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94464174197056 94464174236136 94464201416704 140727396448668 140727396448806 140727396448806 140727396454379 0
/proc/81594/statm: 202077 195354 3520 2271 0 196715 0
Current children cumulated CPU time: 2694.04 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785768 KiB

[startup+2703.2 s]
/proc/loadavg: 4.14 4.13 4.09 5/272 81801
/proc/meminfo: memFree=122237604/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 284 361999 0 0 0 0 89424 221 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81593] ppid=81485 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/81593/stat : 81593 (timeout) S 81485 81593 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75115704 2723840 320 18446744073709551615 94630503092224 94630503108737 140729309471216 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630503123504 94630503125592 94630511640576 140729309473157 140729309473314 140729309473314 140729309478887 0
/proc/81593/statm: 665 320 320 5 0 90 0
[pid=81594] ppid=81593 vsize=808308 memory=781416 CPUtime=1798.39 cores=5,7
/proc/81594/stat : 81594 (ExactPR-S9) R 81593 81593 80793 0 -1 4194304 249494 0 0 0 179741 98 0 0 20 0 1 0 75115705 827707392 195354 18446744073709551615 94464163110912 94464172411013 140727396447040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94464174197056 94464174236136 94464201416704 140727396448668 140727396448806 140727396448806 140727396454379 0
/proc/81594/statm: 202077 195354 3520 2271 0 196715 0
Current children cumulated CPU time: 2694.84 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785768 KiB

[startup+2704 s]*
/proc/loadavg: 4.14 4.13 4.09 5/272 81801
/proc/meminfo: memFree=122237604/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 284 361999 0 0 0 0 89424 221 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81593] ppid=81485 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/81593/stat : 81593 (timeout) S 81485 81593 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75115704 2723840 320 18446744073709551615 94630503092224 94630503108737 140729309471216 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630503123504 94630503125592 94630511640576 140729309473157 140729309473314 140729309473314 140729309478887 0
/proc/81593/statm: 665 320 320 5 0 90 0
[pid=81594] ppid=81593 vsize=808308 memory=781416 CPUtime=1799.19 cores=5,7
/proc/81594/stat : 81594 (ExactPR-S9) R 81593 81593 80793 0 -1 4194304 249495 0 0 0 179821 98 0 0 20 0 1 0 75115705 827707392 195354 18446744073709551615 94464163110912 94464172411013 140727396447040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94464174197056 94464174236136 94464201416704 140727396448668 140727396448806 140727396448806 140727396454379 0
/proc/81594/statm: 202077 195354 3520 2271 0 196715 0
Current children cumulated CPU time: 2695.64 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785768 KiB

[startup+2704.2 s]
/proc/loadavg: 4.14 4.13 4.09 5/272 81801
/proc/meminfo: memFree=122237604/131250000 swapFree=33007332/33010684
[pid=81485] ppid=81482 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/81485/stat : 81485 (Hybrid-CASHWMax) S 81482 81485 80793 0 -1 4194304 284 361999 0 0 0 0 89424 221 20 0 1 0 75025794 4427776 768 18446744073709551615 94138181148672 94138182043205 140727309222816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94138182282256 94138182330000 94138187907072 140727309224277 140727309224432 140727309224432 140727309230034 0
/proc/81485/statm: 1081 768 704 219 0 143 0
[pid=81593] ppid=81485 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/81593/stat : 81593 (timeout) S 81485 81593 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75115704 2723840 320 18446744073709551615 94630503092224 94630503108737 140729309471216 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630503123504 94630503125592 94630511640576 140729309473157 140729309473314 140729309473314 140729309478887 0
/proc/81593/statm: 665 320 320 5 0 90 0
[pid=81594] ppid=81593 vsize=808308 memory=781416 CPUtime=1799.39 cores=5,7
/proc/81594/stat : 81594 (ExactPR-S9) R 81593 81593 80793 0 -1 4194304 249495 0 0 0 179841 98 0 0 20 0 1 0 75115705 827707392 195354 18446744073709551615 94464163110912 94464172411013 140727396447040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94464174197056 94464174236136 94464201416704 140727396448668 140727396448806 140727396448806 140727396454379 0
/proc/81594/statm: 202077 195354 3520 2271 0 196715 0
Current children cumulated CPU time: 2695.84 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785768 KiB

Child status: 0

Real time (s): 2704.25
CPU time (s): 2695.88
CPU user time (s): 2692.67
CPU system time (s): 3.21414
CPU usage (%): 99.6907
Max. virtual memory (cumulated for all children) (KiB): 6565972
Max. memory (cumulated for all children) (KiB): 5558412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2692.67
system time used= 3.21414
maximum resident set size= 5553932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612644
page faults= 1
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 819
involuntary context switches= 2995


# summary of solver processes directly reported to runsolver:
#   pid: 81485
#   total CPU time (s): 2695.88
#   total CPU user time (s): 2692.67
#   total CPU system time (s): 3.21414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86377 second user time and 12.9213 second system time

The end