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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488934-1751347015/watcher-4488934-1751347015 -o /tmp/evaluation-result-4488934-1751347015/solver-4488934-1751347015 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751347015-58045 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4488934-1751347015.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
Current StackSize limit: 8192 KiB

solver pid=58099, runsolver pid=58084

[startup+0.100058 s]*
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128682764/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58110/stat : 58110 (timeout) S 58099 58110 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379141 2723840 352 18446744073709551615 94522141519872 94522141536385 140727271949264 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94522141551152 94522141553240 94522145787904 140727271950742 140727271950882 140727271950882 140727271956455 0
/proc/58110/statm: 665 352 352 5 0 90 0
[pid=58112] ppid=58110 vsize=22180 memory=8192 CPUtime=0.03 cores=5,7
/proc/58112/stat : 58112 (CASHWMaxSAT-Dis) R 58110 58110 58032 0 -1 4194304 1181 0 0 0 3 0 0 0 20 0 1 0 50379143 22712320 2048 18446744073709551615 4198400 14817773 140732405735456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41369600 140732405741980 140732405742107 140732405742107 140732405747680 0
/proc/58112/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12544 KiB

[startup+0.20559 s]*
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128682764/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58110/stat : 58110 (timeout) S 58099 58110 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379141 2723840 352 18446744073709551615 94522141519872 94522141536385 140727271949264 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94522141551152 94522141553240 94522145787904 140727271950742 140727271950882 140727271950882 140727271956455 0
/proc/58110/statm: 665 352 352 5 0 90 0
[pid=58112] ppid=58110 vsize=22180 memory=8192 CPUtime=0.13 cores=5,7
/proc/58112/stat : 58112 (CASHWMaxSAT-Dis) R 58110 58110 58032 0 -1 4194304 1181 0 0 0 13 0 0 0 20 0 1 0 50379143 22712320 2048 18446744073709551615 4198400 14817773 140732405735456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41369600 140732405741980 140732405742107 140732405742107 140732405747680 0
/proc/58112/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12544 KiB

[startup+0.305672 s]*
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128682512/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58110/stat : 58110 (timeout) S 58099 58110 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379141 2723840 352 18446744073709551615 94522141519872 94522141536385 140727271949264 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94522141551152 94522141553240 94522145787904 140727271950742 140727271950882 140727271950882 140727271956455 0
/proc/58110/statm: 665 352 352 5 0 90 0
[pid=58112] ppid=58110 vsize=22180 memory=8192 CPUtime=0.23 cores=5,7
/proc/58112/stat : 58112 (CASHWMaxSAT-Dis) R 58110 58110 58032 0 -1 4194304 1181 0 0 0 23 0 0 0 20 0 1 0 50379143 22712320 2048 18446744073709551615 4198400 14817773 140732405735456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41369600 140732405741980 140732405742107 140732405742107 140732405747680 0
/proc/58112/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12544 KiB

[startup+0.700197 s]
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128682012/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58110/stat : 58110 (timeout) S 58099 58110 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379141 2723840 352 18446744073709551615 94522141519872 94522141536385 140727271949264 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94522141551152 94522141553240 94522145787904 140727271950742 140727271950882 140727271950882 140727271956455 0
/proc/58110/statm: 665 352 352 5 0 90 0
[pid=58112] ppid=58110 vsize=31176 memory=17152 CPUtime=0.62 cores=5,7
/proc/58112/stat : 58112 (CASHWMaxSAT-Dis) R 58110 58110 58032 0 -1 4194304 3442 0 0 0 61 1 0 0 20 0 1 0 50379143 31924224 4288 18446744073709551615 4198400 14817773 140732405735456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41369600 140732405741980 140732405742107 140732405742107 140732405747680 0
/proc/58112/statm: 7794 4288 960 2593 0 4687 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 38160 KiB
Current children cumulated memory: 21504 KiB

[startup+1.5002 s]
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128652276/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58110/stat : 58110 (timeout) S 58099 58110 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379141 2723840 352 18446744073709551615 94522141519872 94522141536385 140727271949264 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94522141551152 94522141553240 94522145787904 140727271950742 140727271950882 140727271950882 140727271956455 0
/proc/58110/statm: 665 352 352 5 0 90 0
[pid=58112] ppid=58110 vsize=36548 memory=22512 CPUtime=1.42 cores=5,7
/proc/58112/stat : 58112 (CASHWMaxSAT-Dis) R 58110 58110 58032 0 -1 4194304 6409 0 0 0 141 1 0 0 20 0 1 0 50379143 37425152 5628 18446744073709551615 4198400 14817773 140732405735456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41369600 140732405741980 140732405742107 140732405742107 140732405747680 0
/proc/58112/statm: 9137 5628 992 2593 0 6030 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 43532 KiB
Current children cumulated memory: 26864 KiB

[startup+3.10568 s]
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128634688/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58110/stat : 58110 (timeout) S 58099 58110 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379141 2723840 352 18446744073709551615 94522141519872 94522141536385 140727271949264 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94522141551152 94522141553240 94522145787904 140727271950742 140727271950882 140727271950882 140727271956455 0
/proc/58110/statm: 665 352 352 5 0 90 0
[pid=58112] ppid=58110 vsize=40152 memory=26096 CPUtime=3.02 cores=5,7
/proc/58112/stat : 58112 (CASHWMaxSAT-Dis) R 58110 58110 58032 0 -1 4194304 10528 0 0 0 300 2 0 0 20 0 1 0 50379143 41115648 6524 18446744073709551615 4198400 14817773 140732405735456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41369600 140732405741980 140732405742107 140732405742107 140732405747680 0
/proc/58112/statm: 10038 6524 992 2593 0 6931 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 47136 KiB
Current children cumulated memory: 30448 KiB

[startup+6.30023 s]
/proc/loadavg: 1.31 2.39 3.37 5/273 58113
/proc/meminfo: memFree=128617636/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58110/stat : 58110 (timeout) S 58099 58110 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379141 2723840 352 18446744073709551615 94522141519872 94522141536385 140727271949264 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94522141551152 94522141553240 94522145787904 140727271950742 140727271950882 140727271950882 140727271956455 0
/proc/58110/statm: 665 352 352 5 0 90 0
[pid=58112] ppid=58110 vsize=46816 memory=32820 CPUtime=6.2 cores=5,7
/proc/58112/stat : 58112 (CASHWMaxSAT-Dis) R 58110 58110 58032 0 -1 4194304 13094 0 0 0 618 2 0 0 20 0 1 0 50379143 47939584 8205 18446744073709551615 4198400 14817773 140732405735456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41369600 140732405741980 140732405742107 140732405742107 140732405747680 0
/proc/58112/statm: 11704 8205 992 2593 0 8597 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 53800 KiB
Current children cumulated memory: 37172 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 2.42 3.37 5/273 58113
/proc/meminfo: memFree=128604028/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58110/stat : 58110 (timeout) S 58099 58110 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379141 2723840 352 18446744073709551615 94522141519872 94522141536385 140727271949264 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94522141551152 94522141553240 94522145787904 140727271950742 140727271950882 140727271950882 140727271956455 0
/proc/58110/statm: 665 352 352 5 0 90 0
[pid=58112] ppid=58110 vsize=48500 memory=34552 CPUtime=12.59 cores=5,7
/proc/58112/stat : 58112 (CASHWMaxSAT-Dis) R 58110 58110 58032 0 -1 4194304 17910 0 0 0 1256 3 0 0 20 0 1 0 50379143 49664000 8638 18446744073709551615 4198400 14817773 140732405735456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41369600 140732405741980 140732405742107 140732405742107 140732405747680 0
/proc/58112/statm: 12125 8638 992 2593 0 9018 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 55484 KiB
Current children cumulated memory: 38904 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 2.51 3.39 5/273 58114
/proc/meminfo: memFree=128582124/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58110/stat : 58110 (timeout) S 58099 58110 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379141 2723840 352 18446744073709551615 94522141519872 94522141536385 140727271949264 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94522141551152 94522141553240 94522145787904 140727271950742 140727271950882 140727271950882 140727271956455 0
/proc/58110/statm: 665 352 352 5 0 90 0
[pid=58112] ppid=58110 vsize=55596 memory=41592 CPUtime=25.35 cores=5,7
/proc/58112/stat : 58112 (CASHWMaxSAT-Dis) R 58110 58110 58032 0 -1 4194304 21369 0 0 0 2531 4 0 0 20 0 1 0 50379143 56930304 10398 18446744073709551615 4198400 14817773 140732405735456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41369600 140732405741980 140732405742107 140732405742107 140732405747680 0
/proc/58112/statm: 13899 10398 992 2593 0 10792 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 62580 KiB
Current children cumulated memory: 45944 KiB

[startup+51.106 s]
/proc/loadavg: 2.78 2.64 3.40 5/273 58114
/proc/meminfo: memFree=128516168/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58110/stat : 58110 (timeout) S 58099 58110 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379141 2723840 352 18446744073709551615 94522141519872 94522141536385 140727271949264 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94522141551152 94522141553240 94522145787904 140727271950742 140727271950882 140727271950882 140727271956455 0
/proc/58110/statm: 665 352 352 5 0 90 0
[pid=58112] ppid=58110 vsize=58636 memory=44820 CPUtime=50.88 cores=5,7
/proc/58112/stat : 58112 (CASHWMaxSAT-Dis) R 58110 58110 58032 0 -1 4194304 29303 0 0 0 5082 6 0 0 20 0 1 0 50379143 60043264 11205 18446744073709551615 4198400 14817773 140732405735456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41369600 140732405741980 140732405742107 140732405742107 140732405747680 0
/proc/58112/statm: 14659 11205 992 2593 0 11552 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 65620 KiB
Current children cumulated memory: 49172 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 2.86 3.44 5/273 58117
/proc/meminfo: memFree=128490352/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 252 104 0 0 0 0 0 0 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58110] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58178] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58178/stat : 58178 (timeout) S 58099 58178 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498943 2723840 352 18446744073709551615 94746152894464 94746152910977 140732179819216 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94746152925744 94746152927832 94746185371648 140732179822982 140732179823138 140732179823138 140732179828711 0
/proc/58178/statm: 665 352 352 5 0 90 0
[pid=58180] ppid=58178 vsize=388332 memory=373400 CPUtime=2198.01 cores=5,7
/proc/58180/stat : 58180 (ExactPR-S) R 58178 58178 58032 0 -1 4194304 114430 0 0 0 218422 1379 0 0 20 0 1 0 50498944 397651968 93350 18446744073709551615 94250639712256 94250649012293 140723989965520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94250650798400 94250650837480 94250692030464 140723989973406 140723989973543 140723989973543 140723989979116 0
/proc/58180/statm: 97083 93350 3424 2271 0 91721 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/270 58311
/proc/meminfo: memFree=127262188/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=1194.73 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 287 66182 0 0 0 0 119451 22 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58178] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58178/stat : 58178 (timeout) S 58099 58178 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498943 2723840 352 18446744073709551615 94746152894464 94746152910977 140732179819216 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94746152925744 94746152927832 94746185371648 140732179822982 140732179823138 140732179823138 140732179828711 0
/proc/58178/statm: 665 352 352 5 0 90 0
[pid=58180] ppid=58178 vsize=388332 memory=373400 CPUtime=2257.82 cores=5,7
/proc/58180/stat : 58180 (ExactPR-S) R 58178 58178 58032 0 -1 4194304 114430 0 0 0 224382 1400 0 0 20 0 1 0 50498944 397651968 93350 18446744073709551615 94250639712256 94250649012293 140723989965520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94250650798400 94250650837480 94250692030464 140723989973406 140723989973543 140723989973543 140723989979116 0
/proc/58180/statm: 97083 93350 3424 2271 0 91721 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377752 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 58315
/proc/meminfo: memFree=127263076/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=1194.73 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 287 66182 0 0 0 0 119451 22 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58178] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58178/stat : 58178 (timeout) S 58099 58178 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498943 2723840 352 18446744073709551615 94746152894464 94746152910977 140732179819216 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94746152925744 94746152927832 94746185371648 140732179822982 140732179823138 140732179823138 140732179828711 0
/proc/58178/statm: 665 352 352 5 0 90 0
[pid=58180] ppid=58178 vsize=388332 memory=373400 CPUtime=2317.62 cores=5,7
/proc/58180/stat : 58180 (ExactPR-S) R 58178 58178 58032 0 -1 4194304 114430 0 0 0 230339 1423 0 0 20 0 1 0 50498944 397651968 93350 18446744073709551615 94250639712256 94250649012293 140723989965520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94250650798400 94250650837480 94250692030464 140723989973406 140723989973543 140723989973543 140723989979116 0
/proc/58180/statm: 97083 93350 3424 2271 0 91721 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/272 58317
/proc/meminfo: memFree=127263504/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=1194.73 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 287 66182 0 0 0 0 119451 22 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58178] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58178/stat : 58178 (timeout) S 58099 58178 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498943 2723840 352 18446744073709551615 94746152894464 94746152910977 140732179819216 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94746152925744 94746152927832 94746185371648 140732179822982 140732179823138 140732179823138 140732179828711 0
/proc/58178/statm: 665 352 352 5 0 90 0
[pid=58180] ppid=58178 vsize=388332 memory=373400 CPUtime=2377.42 cores=5,7
/proc/58180/stat : 58180 (ExactPR-S) R 58178 58178 58032 0 -1 4194304 114431 0 0 0 236298 1444 0 0 20 0 1 0 50498944 397651968 93350 18446744073709551615 94250639712256 94250649012293 140723989965520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94250650798400 94250650837480 94250692030464 140723989973406 140723989973543 140723989973543 140723989979116 0
/proc/58180/statm: 97083 93350 3424 2271 0 91721 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377752 KiB

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

# cumulated CPU time of all completed processes:  user=3571.19 s, system=14.7534 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.12 4.10 5/272 58317
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=1194.73 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 287 66182 0 0 0 0 119451 22 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58178] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58178/stat : 58178 (timeout) S 58099 58178 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498943 2723840 352 18446744073709551615 94746152894464 94746152910977 140732179819216 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94746152925744 94746152927832 94746185371648 140732179822982 140732179823138 140732179823138 140732179828711 0
/proc/58178/statm: 665 352 352 5 0 90 0
[pid=58180] ppid=58178 vsize=388332 memory=373400 CPUtime=2379.12 cores=5,7
/proc/58180/stat : 58180 (ExactPR-S) R 58178 58178 58032 0 -1 4194304 114431 0 0 0 236467 1445 0 0 20 0 1 0 50498944 397651968 93350 18446744073709551615 94250639712256 94250649012293 140723989965520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94250650798400 94250650837480 94250692030464 140723989973406 140723989973543 140723989973543 140723989979116 0
/proc/58180/statm: 97083 93350 3424 2271 0 91721 0
Current children cumulated CPU time: 3573.85 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377752 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.12 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=1194.73 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 287 66182 0 0 0 0 119451 22 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58178] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58178/stat : 58178 (timeout) S 58099 58178 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498943 2723840 352 18446744073709551615 94746152894464 94746152910977 140732179819216 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94746152925744 94746152927832 94746185371648 140732179822982 140732179823138 140732179823138 140732179828711 0
/proc/58178/statm: 665 352 352 5 0 90 0
[pid=58180] ppid=58178 vsize=388332 memory=373400 CPUtime=2385.49 cores=5,7
/proc/58180/stat : 58180 (ExactPR-S) R 58178 58178 58032 0 -1 4194304 114431 0 0 0 237101 1448 0 0 20 0 1 0 50498944 397651968 93350 18446744073709551615 94250639712256 94250649012293 140723989965520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94250650798400 94250650837480 94250692030464 140723989973406 140723989973543 140723989973543 140723989979116 0
/proc/58180/statm: 97083 93350 3424 2271 0 91721 0
Current children cumulated CPU time: 3580.22 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377752 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=1194.73 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 287 66182 0 0 0 0 119451 22 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58178] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58178/stat : 58178 (timeout) S 58099 58178 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498943 2723840 352 18446744073709551615 94746152894464 94746152910977 140732179819216 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94746152925744 94746152927832 94746185371648 140732179822982 140732179823138 140732179823138 140732179828711 0
/proc/58178/statm: 665 352 352 5 0 90 0
[pid=58180] ppid=58178 vsize=388332 memory=373400 CPUtime=2388.69 cores=5,7
/proc/58180/stat : 58180 (ExactPR-S) R 58178 58178 58032 0 -1 4194304 114431 0 0 0 237420 1449 0 0 20 0 1 0 50498944 397651968 93350 18446744073709551615 94250639712256 94250649012293 140723989965520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94250650798400 94250650837480 94250692030464 140723989973406 140723989973543 140723989973543 140723989979116 0
/proc/58180/statm: 97083 93350 3424 2271 0 91721 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377752 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=1194.73 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 287 66182 0 0 0 0 119451 22 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58178] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58178/stat : 58178 (timeout) S 58099 58178 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498943 2723840 352 18446744073709551615 94746152894464 94746152910977 140732179819216 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94746152925744 94746152927832 94746185371648 140732179822982 140732179823138 140732179823138 140732179828711 0
/proc/58178/statm: 665 352 352 5 0 90 0
[pid=58180] ppid=58178 vsize=388332 memory=373400 CPUtime=2390.28 cores=5,7
/proc/58180/stat : 58180 (ExactPR-S) R 58178 58178 58032 0 -1 4194304 114431 0 0 0 237579 1449 0 0 20 0 1 0 50498944 397651968 93350 18446744073709551615 94250639712256 94250649012293 140723989965520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94250650798400 94250650837480 94250692030464 140723989973406 140723989973543 140723989973543 140723989979116 0
/proc/58180/statm: 97083 93350 3424 2271 0 91721 0
Current children cumulated CPU time: 3585.01 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377752 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=1194.73 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 287 66182 0 0 0 0 119451 22 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
[pid=58178] ppid=58099 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/58178/stat : 58178 (timeout) S 58099 58178 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498943 2723840 352 18446744073709551615 94746152894464 94746152910977 140732179819216 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94746152925744 94746152927832 94746185371648 140732179822982 140732179823138 140732179823138 140732179828711 0
/proc/58178/statm: 665 352 352 5 0 90 0
[pid=58180] ppid=58178 vsize=388332 memory=373400 CPUtime=2391.08 cores=5,7
/proc/58180/stat : 58180 (ExactPR-S) R 58178 58178 58032 0 -1 4194304 114431 0 0 0 237659 1449 0 0 20 0 1 0 50498944 397651968 93350 18446744073709551615 94250639712256 94250649012293 140723989965520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94250650798400 94250650837480 94250692030464 140723989973406 140723989973543 140723989973543 140723989979116 0
/proc/58180/statm: 97083 93350 3424 2271 0 91721 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377752 KiB

[startup+3596.2 s]
/proc/loadavg: 4.14 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58099] ppid=58084 vsize=4324 memory=2944 CPUtime=3585.92 cores=5,7
/proc/58099/stat : 58099 (Hybrid-CASHWMax) S 58084 58099 58032 0 -1 4194304 509 183445 0 0 0 0 357118 1474 20 0 1 0 50379136 4427776 736 18446744073709551615 94716951048192 94716951942725 140729608369040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94716952181776 94716952229520 94716960636928 140729608370519 140729608370673 140729608370673 140729608376275 0
/proc/58099/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.21
CPU time (s): 3585.94
CPU user time (s): 3571.19
CPU system time (s): 14.7534
CPU usage (%): 99.7145
Max. virtual memory (cumulated for all children) (KiB): 517148
Max. memory (cumulated for all children) (KiB): 479584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.19
system time used= 14.7534
maximum resident set size= 475232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2704
involuntary context switches= 1657


# summary of solver processes directly reported to runsolver:
#   pid: 58099
#   total CPU time (s): 3585.94
#   total CPU user time (s): 3571.19
#   total CPU system time (s): 14.7534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58035 second user time and 17.2117 second system time

The end