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 (61804 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-4488842-1751347015/watcher-4488842-1751347015 -o /tmp/evaluation-result-4488842-1751347015/solver-4488842-1751347015 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751347015-58043 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4488842-1751347015.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=58088, runsolver pid=58082

[startup+0.100046 s]*
/proc/loadavg: 0.99 2.35 3.36 4/271 58110
/proc/meminfo: memFree=128682484/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/58096/stat : 58096 (timeout) S 58088 58096 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94905006133248 94905006149761 140732188639776 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94905006164528 94905006166616 94905017303040 140732188645782 140732188645922 140732188645922 140732188651495 0
/proc/58096/statm: 665 320 320 5 0 90 0
[pid=58106] ppid=58096 vsize=22180 memory=8192 CPUtime=0.03 cores=4,6
/proc/58106/stat : 58106 (CASHWMaxSAT-Dis) R 58096 58096 58032 0 -1 4194304 1178 0 0 0 3 0 0 0 20 0 1 0 50379138 22712320 2048 18446744073709551615 4198400 14817773 140723826844704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35045376 140723826846108 140723826846235 140723826846235 140723826851808 0
/proc/58106/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: 12288 KiB

[startup+0.205518 s]*
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128682764/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/58096/stat : 58096 (timeout) S 58088 58096 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94905006133248 94905006149761 140732188639776 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94905006164528 94905006166616 94905017303040 140732188645782 140732188645922 140732188645922 140732188651495 0
/proc/58096/statm: 665 320 320 5 0 90 0
[pid=58106] ppid=58096 vsize=22180 memory=8192 CPUtime=0.13 cores=4,6
/proc/58106/stat : 58106 (CASHWMaxSAT-Dis) R 58096 58096 58032 0 -1 4194304 1178 0 0 0 13 0 0 0 20 0 1 0 50379138 22712320 2048 18446744073709551615 4198400 14817773 140723826844704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35045376 140723826846108 140723826846235 140723826846235 140723826851808 0
/proc/58106/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: 12288 KiB

[startup+0.304793 s]*
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128682512/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/58096/stat : 58096 (timeout) S 58088 58096 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94905006133248 94905006149761 140732188639776 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94905006164528 94905006166616 94905017303040 140732188645782 140732188645922 140732188645922 140732188651495 0
/proc/58096/statm: 665 320 320 5 0 90 0
[pid=58106] ppid=58096 vsize=22180 memory=8192 CPUtime=0.23 cores=4,6
/proc/58106/stat : 58106 (CASHWMaxSAT-Dis) R 58096 58096 58032 0 -1 4194304 1178 0 0 0 23 0 0 0 20 0 1 0 50379138 22712320 2048 18446744073709551615 4198400 14817773 140723826844704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35045376 140723826846108 140723826846235 140723826846235 140723826851808 0
/proc/58106/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: 12288 KiB

[startup+0.700195 s]
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128682768/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/58096/stat : 58096 (timeout) S 58088 58096 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94905006133248 94905006149761 140732188639776 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94905006164528 94905006166616 94905017303040 140732188645782 140732188645922 140732188645922 140732188651495 0
/proc/58096/statm: 665 320 320 5 0 90 0
[pid=58106] ppid=58096 vsize=30788 memory=16768 CPUtime=0.62 cores=4,6
/proc/58106/stat : 58106 (CASHWMaxSAT-Dis) R 58096 58096 58032 0 -1 4194304 3340 0 0 0 61 1 0 0 20 0 1 0 50379138 31526912 4192 18446744073709551615 4198400 14817773 140723826844704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35045376 140723826846108 140723826846235 140723826846235 140723826851808 0
/proc/58106/statm: 7697 4192 960 2593 0 4590 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 37772 KiB
Current children cumulated memory: 20864 KiB

[startup+1.50017 s]
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128653536/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/58096/stat : 58096 (timeout) S 58088 58096 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94905006133248 94905006149761 140732188639776 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94905006164528 94905006166616 94905017303040 140732188645782 140732188645922 140732188645922 140732188651495 0
/proc/58096/statm: 665 320 320 5 0 90 0
[pid=58106] ppid=58096 vsize=36500 memory=22380 CPUtime=1.42 cores=4,6
/proc/58106/stat : 58106 (CASHWMaxSAT-Dis) R 58096 58096 58032 0 -1 4194304 6292 0 0 0 140 2 0 0 20 0 1 0 50379138 37376000 5595 18446744073709551615 4198400 14817773 140723826844704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35045376 140723826846108 140723826846235 140723826846235 140723826851808 0
/proc/58106/statm: 9125 5595 992 2593 0 6018 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 43484 KiB
Current children cumulated memory: 26476 KiB

[startup+3.10535 s]
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128634688/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/58096/stat : 58096 (timeout) S 58088 58096 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94905006133248 94905006149761 140732188639776 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94905006164528 94905006166616 94905017303040 140732188645782 140732188645922 140732188645922 140732188651495 0
/proc/58096/statm: 665 320 320 5 0 90 0
[pid=58106] ppid=58096 vsize=40256 memory=26184 CPUtime=3.02 cores=4,6
/proc/58106/stat : 58106 (CASHWMaxSAT-Dis) R 58096 58096 58032 0 -1 4194304 9126 0 0 0 300 2 0 0 20 0 1 0 50379138 41222144 6546 18446744073709551615 4198400 14817773 140723826844704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35045376 140723826846108 140723826846235 140723826846235 140723826851808 0
/proc/58106/statm: 10064 6546 992 2593 0 6957 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 47240 KiB
Current children cumulated memory: 30280 KiB

[startup+6.30019 s]
/proc/loadavg: 1.31 2.39 3.37 5/273 58113
/proc/meminfo: memFree=128617636/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/58096/stat : 58096 (timeout) S 58088 58096 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94905006133248 94905006149761 140732188639776 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94905006164528 94905006166616 94905017303040 140732188645782 140732188645922 140732188645922 140732188651495 0
/proc/58096/statm: 665 320 320 5 0 90 0
[pid=58106] ppid=58096 vsize=50988 memory=36928 CPUtime=6.2 cores=4,6
/proc/58106/stat : 58106 (CASHWMaxSAT-Dis) R 58096 58096 58032 0 -1 4194304 12736 0 0 0 617 3 0 0 20 0 1 0 50379138 52211712 9232 18446744073709551615 4198400 14817773 140723826844704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35045376 140723826846108 140723826846235 140723826846235 140723826851808 0
/proc/58106/statm: 12747 9232 992 2593 0 9640 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 41024 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=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/58096/stat : 58096 (timeout) S 58088 58096 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94905006133248 94905006149761 140732188639776 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94905006164528 94905006166616 94905017303040 140732188645782 140732188645922 140732188645922 140732188651495 0
/proc/58096/statm: 665 320 320 5 0 90 0
[pid=58106] ppid=58096 vsize=49888 memory=35888 CPUtime=12.59 cores=4,6
/proc/58106/stat : 58106 (CASHWMaxSAT-Dis) R 58096 58096 58032 0 -1 4194304 16734 0 0 0 1255 4 0 0 20 0 1 0 50379138 51085312 8972 18446744073709551615 4198400 14817773 140723826844704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35045376 140723826846108 140723826846235 140723826846235 140723826851808 0
/proc/58106/statm: 12472 8972 992 2593 0 9365 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 56872 KiB
Current children cumulated memory: 39984 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=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/58096/stat : 58096 (timeout) S 58088 58096 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94905006133248 94905006149761 140732188639776 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94905006164528 94905006166616 94905017303040 140732188645782 140732188645922 140732188645922 140732188651495 0
/proc/58096/statm: 665 320 320 5 0 90 0
[pid=58106] ppid=58096 vsize=63708 memory=49600 CPUtime=25.35 cores=4,6
/proc/58106/stat : 58106 (CASHWMaxSAT-Dis) R 58096 58096 58032 0 -1 4194304 21644 0 0 0 2530 5 0 0 20 0 1 0 50379138 65236992 12400 18446744073709551615 4198400 14817773 140723826844704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35045376 140723826846108 140723826846235 140723826846235 140723826851808 0
/proc/58106/statm: 15927 12400 992 2593 0 12820 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 70692 KiB
Current children cumulated memory: 53696 KiB

[startup+51.1056 s]
/proc/loadavg: 2.78 2.64 3.40 5/273 58114
/proc/meminfo: memFree=128516168/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/58096/stat : 58096 (timeout) S 58088 58096 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94905006133248 94905006149761 140732188639776 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94905006164528 94905006166616 94905017303040 140732188645782 140732188645922 140732188645922 140732188651495 0
/proc/58096/statm: 665 320 320 5 0 90 0
[pid=58106] ppid=58096 vsize=72368 memory=58304 CPUtime=50.89 cores=4,6
/proc/58106/stat : 58106 (CASHWMaxSAT-Dis) R 58096 58096 58032 0 -1 4194304 27549 0 0 0 5081 8 0 0 20 0 1 0 50379138 74104832 14576 18446744073709551615 4198400 14817773 140723826844704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35045376 140723826846108 140723826846235 140723826846235 140723826851808 0
/proc/58106/statm: 18092 14576 992 2593 0 14985 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 79352 KiB
Current children cumulated memory: 62400 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=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58096] ppid=58088 vsize=2660 memory=1280 CPUtime=0 cores=4,6

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

/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58174] ppid=58088 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/58174/stat : 58174 (timeout) S 58088 58174 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498938 2723840 352 18446744073709551615 94814564683776 94814564700289 140727481022176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94814564715056 94814564717144 94814575050752 140727481026950 140727481027106 140727481027106 140727481032679 0
/proc/58174/statm: 665 352 352 5 0 90 0
[pid=58175] ppid=58174 vsize=392888 memory=371280 CPUtime=2258.14 cores=4,6
/proc/58175/stat : 58175 (ExactPR-S) R 58174 58174 58032 0 -1 4194304 95894 0 0 0 224372 1442 0 0 20 0 1 0 50498939 402317312 92820 18446744073709551615 94459873370112 94459882670149 140724914098112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94459884456256 94459884495336 94459911741440 140724914104734 140724914104871 140724914104871 140724914110444 0
/proc/58175/statm: 98222 92820 3392 2271 0 92860 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 375504 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=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 283 52810 0 0 0 0 119424 28 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58174] ppid=58088 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/58174/stat : 58174 (timeout) S 58088 58174 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498938 2723840 352 18446744073709551615 94814564683776 94814564700289 140727481022176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94814564715056 94814564717144 94814575050752 140727481026950 140727481027106 140727481027106 140727481032679 0
/proc/58174/statm: 665 352 352 5 0 90 0
[pid=58175] ppid=58174 vsize=392888 memory=371280 CPUtime=2318 cores=4,6
/proc/58175/stat : 58175 (ExactPR-S) R 58174 58174 58032 0 -1 4194304 95895 0 0 0 230331 1469 0 0 20 0 1 0 50498939 402317312 92820 18446744073709551615 94459873370112 94459882670149 140724914098112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94459884456256 94459884495336 94459911741440 140724914104734 140724914104871 140724914104871 140724914110444 0
/proc/58175/statm: 98222 92820 3392 2271 0 92860 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 375504 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=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 283 52810 0 0 0 0 119424 28 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58174] ppid=58088 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/58174/stat : 58174 (timeout) S 58088 58174 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498938 2723840 352 18446744073709551615 94814564683776 94814564700289 140727481022176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94814564715056 94814564717144 94814575050752 140727481026950 140727481027106 140727481027106 140727481032679 0
/proc/58174/statm: 665 352 352 5 0 90 0
[pid=58175] ppid=58174 vsize=392888 memory=371280 CPUtime=2377.85 cores=4,6
/proc/58175/stat : 58175 (ExactPR-S) R 58174 58174 58032 0 -1 4194304 95895 0 0 0 236295 1490 0 0 20 0 1 0 50498939 402317312 92820 18446744073709551615 94459873370112 94459882670149 140724914098112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94459884456256 94459884495336 94459911741440 140724914104734 140724914104871 140724914104871 140724914110444 0
/proc/58175/statm: 98222 92820 3392 2271 0 92860 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 375504 KiB

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

# cumulated CPU time of all completed processes:  user=3570.9 s, system=15.2814 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=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 283 52810 0 0 0 0 119424 28 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58174] ppid=58088 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/58174/stat : 58174 (timeout) S 58088 58174 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498938 2723840 352 18446744073709551615 94814564683776 94814564700289 140727481022176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94814564715056 94814564717144 94814575050752 140727481026950 140727481027106 140727481027106 140727481032679 0
/proc/58174/statm: 665 352 352 5 0 90 0
[pid=58175] ppid=58174 vsize=392888 memory=371280 CPUtime=2379.55 cores=4,6
/proc/58175/stat : 58175 (ExactPR-S) R 58174 58174 58032 0 -1 4194304 95896 0 0 0 236464 1491 0 0 20 0 1 0 50498939 402317312 92820 18446744073709551615 94459873370112 94459882670149 140724914098112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94459884456256 94459884495336 94459911741440 140724914104734 140724914104871 140724914104871 140724914110444 0
/proc/58175/statm: 98222 92820 3392 2271 0 92860 0
Current children cumulated CPU time: 3574.07 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 375504 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=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 283 52810 0 0 0 0 119424 28 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58174] ppid=58088 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/58174/stat : 58174 (timeout) S 58088 58174 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498938 2723840 352 18446744073709551615 94814564683776 94814564700289 140727481022176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94814564715056 94814564717144 94814575050752 140727481026950 140727481027106 140727481027106 140727481032679 0
/proc/58174/statm: 665 352 352 5 0 90 0
[pid=58175] ppid=58174 vsize=392888 memory=371280 CPUtime=2385.93 cores=4,6
/proc/58175/stat : 58175 (ExactPR-S) R 58174 58174 58032 0 -1 4194304 95896 0 0 0 237098 1495 0 0 20 0 1 0 50498939 402317312 92820 18446744073709551615 94459873370112 94459882670149 140724914098112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94459884456256 94459884495336 94459911741440 140724914104734 140724914104871 140724914104871 140724914110444 0
/proc/58175/statm: 98222 92820 3392 2271 0 92860 0
Current children cumulated CPU time: 3580.45 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 375504 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=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 283 52810 0 0 0 0 119424 28 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58174] ppid=58088 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/58174/stat : 58174 (timeout) S 58088 58174 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498938 2723840 352 18446744073709551615 94814564683776 94814564700289 140727481022176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94814564715056 94814564717144 94814575050752 140727481026950 140727481027106 140727481027106 140727481032679 0
/proc/58174/statm: 665 352 352 5 0 90 0
[pid=58175] ppid=58174 vsize=392888 memory=371280 CPUtime=2389.12 cores=4,6
/proc/58175/stat : 58175 (ExactPR-S) R 58174 58174 58032 0 -1 4194304 95896 0 0 0 237417 1495 0 0 20 0 1 0 50498939 402317312 92820 18446744073709551615 94459873370112 94459882670149 140724914098112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94459884456256 94459884495336 94459911741440 140724914104734 140724914104871 140724914104871 140724914110444 0
/proc/58175/statm: 98222 92820 3392 2271 0 92860 0
Current children cumulated CPU time: 3583.64 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 375504 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=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 283 52810 0 0 0 0 119424 28 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58174] ppid=58088 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/58174/stat : 58174 (timeout) S 58088 58174 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498938 2723840 352 18446744073709551615 94814564683776 94814564700289 140727481022176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94814564715056 94814564717144 94814575050752 140727481026950 140727481027106 140727481027106 140727481032679 0
/proc/58174/statm: 665 352 352 5 0 90 0
[pid=58175] ppid=58174 vsize=392888 memory=371280 CPUtime=2390.72 cores=4,6
/proc/58175/stat : 58175 (ExactPR-S) R 58174 58174 58032 0 -1 4194304 95896 0 0 0 237576 1496 0 0 20 0 1 0 50498939 402317312 92820 18446744073709551615 94459873370112 94459882670149 140724914098112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94459884456256 94459884495336 94459911741440 140724914104734 140724914104871 140724914104871 140724914110444 0
/proc/58175/statm: 98222 92820 3392 2271 0 92860 0
Current children cumulated CPU time: 3585.24 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 375504 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 283 52810 0 0 0 0 119424 28 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58174] ppid=58088 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/58174/stat : 58174 (timeout) S 58088 58174 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498938 2723840 352 18446744073709551615 94814564683776 94814564700289 140727481022176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94814564715056 94814564717144 94814575050752 140727481026950 140727481027106 140727481027106 140727481032679 0
/proc/58174/statm: 665 352 352 5 0 90 0
[pid=58175] ppid=58174 vsize=392888 memory=371280 CPUtime=2391.12 cores=4,6
/proc/58175/stat : 58175 (ExactPR-S) R 58174 58174 58032 0 -1 4194304 95896 0 0 0 237616 1496 0 0 20 0 1 0 50498939 402317312 92820 18446744073709551615 94459873370112 94459882670149 140724914098112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94459884456256 94459884495336 94459911741440 140724914104734 140724914104871 140724914104871 140724914110444 0
/proc/58175/statm: 98222 92820 3392 2271 0 92860 0
Current children cumulated CPU time: 3585.64 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 375504 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 283 52810 0 0 0 0 119424 28 20 0 1 0 50379131 4427776 704 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 704 672 219 0 143 0
[pid=58174] ppid=58088 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/58174/stat : 58174 (timeout) S 58088 58174 58032 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50498938 2723840 352 18446744073709551615 94814564683776 94814564700289 140727481022176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94814564715056 94814564717144 94814575050752 140727481026950 140727481027106 140727481027106 140727481032679 0
/proc/58174/statm: 665 352 352 5 0 90 0
[pid=58175] ppid=58174 vsize=392888 memory=371280 CPUtime=2391.52 cores=4,6
/proc/58175/stat : 58175 (ExactPR-S) R 58174 58174 58032 0 -1 4194304 95896 0 0 0 237656 1496 0 0 20 0 1 0 50498939 402317312 92820 18446744073709551615 94459873370112 94459882670149 140724914098112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94459884456256 94459884495336 94459911741440 140724914104734 140724914104871 140724914104871 140724914110444 0
/proc/58175/statm: 98222 92820 3392 2271 0 92860 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 375504 KiB

[startup+3596.11 s]
/proc/loadavg: 4.14 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58088] ppid=58082 vsize=4324 memory=2944 CPUtime=3586.13 cores=4,6
/proc/58088/stat : 58088 (Hybrid-CASHWMax) S 58082 58088 58032 0 -1 4194304 339 149397 0 0 0 0 357088 1525 20 0 1 0 50379131 4427776 736 18446744073709551615 93991419916288 93991420810821 140736873262304 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 93991421049872 93991421097616 93991451283456 140736873269591 140736873269745 140736873269745 140736873275347 0
/proc/58088/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.2
CPU time (s): 3586.18
CPU user time (s): 3570.9
CPU system time (s): 15.2814
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 444572
Max. memory (cumulated for all children) (KiB): 393864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.9
system time used= 15.2814
maximum resident set size= 391180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152193
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2353
involuntary context switches= 2542


# summary of solver processes directly reported to runsolver:
#   pid: 58088
#   total CPU time (s): 3586.18
#   total CPU user time (s): 3570.9
#   total CPU system time (s): 15.2814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37237 second user time and 16.8427 second system time

The end