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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523819-1751595687/watcher-4523819-1751595687 -o /tmp/evaluation-result-4523819-1751595687/solver-4523819-1751595687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751588478-81716 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4523819-1751595687.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=83027, runsolver pid=83024

[startup+0.100065 s]*
/proc/loadavg: 4.04 4.07 4.08 5/273 83031
/proc/meminfo: memFree=118081604/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83030] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83030/stat : 83030 (timeout) S 83027 83030 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75247119 2723840 352 18446744073709551615 93994493771776 93994493788289 140732352883264 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93994493803056 93994493805144 93994505261056 140732352891286 140732352891426 140732352891426 140732352896999 0
/proc/83030/statm: 665 352 352 5 0 90 0
[pid=83031] ppid=83030 vsize=28816 memory=10112 CPUtime=0.07 cores=4,6
/proc/83031/stat : 83031 (CASHWMaxSAT-Dis) R 83030 83030 81700 0 -1 4194304 1912 0 0 0 7 0 0 0 20 0 1 0 75247119 29507584 2528 18446744073709551615 4198400 14093885 140729512177728 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23707648 140729512184220 140729512184347 140729512184347 140729512189920 0
/proc/83031/statm: 7204 2528 736 2416 0 4306 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 35800 KiB
Current children cumulated memory: 14336 KiB

[startup+0.205872 s]*
/proc/loadavg: 4.04 4.07 4.08 5/273 83031
/proc/meminfo: memFree=118053188/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83030] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83030/stat : 83030 (timeout) S 83027 83030 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75247119 2723840 352 18446744073709551615 93994493771776 93994493788289 140732352883264 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93994493803056 93994493805144 93994505261056 140732352891286 140732352891426 140732352891426 140732352896999 0
/proc/83030/statm: 665 352 352 5 0 90 0
[pid=83031] ppid=83030 vsize=37612 memory=18688 CPUtime=0.17 cores=4,6
/proc/83031/stat : 83031 (CASHWMaxSAT-Dis) R 83030 83030 81700 0 -1 4194304 4049 0 0 0 17 0 0 0 20 0 1 0 75247119 38514688 4672 18446744073709551615 4198400 14093885 140729512177728 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23707648 140729512184220 140729512184347 140729512184347 140729512189920 0
/proc/83031/statm: 9403 4672 736 2416 0 6505 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 44596 KiB
Current children cumulated memory: 22912 KiB

[startup+0.306022 s]*
/proc/loadavg: 4.04 4.07 4.08 5/273 83031
/proc/meminfo: memFree=117963900/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83030] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83030/stat : 83030 (timeout) S 83027 83030 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75247119 2723840 352 18446744073709551615 93994493771776 93994493788289 140732352883264 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93994493803056 93994493805144 93994505261056 140732352891286 140732352891426 140732352891426 140732352896999 0
/proc/83030/statm: 665 352 352 5 0 90 0
[pid=83031] ppid=83030 vsize=45716 memory=26624 CPUtime=0.27 cores=4,6
/proc/83031/stat : 83031 (CASHWMaxSAT-Dis) R 83030 83030 81700 0 -1 4194304 6038 0 0 0 27 0 0 0 20 0 1 0 75247119 46813184 6656 18446744073709551615 4198400 14093885 140729512177728 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23707648 140729512184220 140729512184347 140729512184347 140729512189920 0
/proc/83031/statm: 11429 6656 736 2416 0 8531 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 52700 KiB
Current children cumulated memory: 30848 KiB

[startup+0.700246 s]
/proc/loadavg: 4.04 4.07 4.08 5/273 83031
/proc/meminfo: memFree=117911228/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83030] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83030/stat : 83030 (timeout) S 83027 83030 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75247119 2723840 352 18446744073709551615 93994493771776 93994493788289 140732352883264 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93994493803056 93994493805144 93994505261056 140732352891286 140732352891426 140732352891426 140732352896999 0
/proc/83030/statm: 665 352 352 5 0 90 0
[pid=83031] ppid=83030 vsize=77708 memory=56064 CPUtime=0.66 cores=4,6
/proc/83031/stat : 83031 (CASHWMaxSAT-Dis) R 83030 83030 81700 0 -1 4194304 13395 0 0 0 65 1 0 0 20 0 1 0 75247119 79572992 14016 18446744073709551615 4198400 14093885 140729512177728 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23707648 140729512184220 140729512184347 140729512184347 140729512189920 0
/proc/83031/statm: 19427 14016 736 2416 0 16529 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 84692 KiB
Current children cumulated memory: 60288 KiB

[startup+1.50023 s]
/proc/loadavg: 4.04 4.07 4.08 5/273 83031
/proc/meminfo: memFree=117694884/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83030] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83030/stat : 83030 (timeout) S 83027 83030 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75247119 2723840 352 18446744073709551615 93994493771776 93994493788289 140732352883264 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93994493803056 93994493805144 93994505261056 140732352891286 140732352891426 140732352891426 140732352896999 0
/proc/83030/statm: 665 352 352 5 0 90 0
[pid=83031] ppid=83030 vsize=229884 memory=187692 CPUtime=1.46 cores=4,6
/proc/83031/stat : 83031 (CASHWMaxSAT-Dis) R 83030 83030 81700 0 -1 4194304 33687 0 0 0 139 7 0 0 20 0 1 0 75247119 235401216 46923 18446744073709551615 4198400 14093885 140729512177728 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23707648 140729512184220 140729512184347 140729512184347 140729512189920 0
/proc/83031/statm: 57471 46923 768 2416 0 54573 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 236868 KiB
Current children cumulated memory: 191916 KiB

[startup+3.1056 s]
/proc/loadavg: 4.04 4.07 4.08 5/273 83031
/proc/meminfo: memFree=116832936/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83030] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83030/stat : 83030 (timeout) S 83027 83030 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75247119 2723840 352 18446744073709551615 93994493771776 93994493788289 140732352883264 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93994493803056 93994493805144 93994505261056 140732352891286 140732352891426 140732352891426 140732352896999 0
/proc/83030/statm: 665 352 352 5 0 90 0
[pid=83031] ppid=83030 vsize=330052 memory=293872 CPUtime=3.06 cores=4,6
/proc/83031/stat : 83031 (CASHWMaxSAT-Dis) R 83030 83030 81700 0 -1 4194304 41462 0 0 0 295 11 0 0 20 0 1 0 75247119 337973248 73468 18446744073709551615 4198400 14093885 140729512177728 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23707648 140729512184220 140729512184347 140729512184347 140729512189920 0
/proc/83031/statm: 82513 73468 992 2416 0 79615 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 337036 KiB
Current children cumulated memory: 298096 KiB

[startup+6.30023 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 83031
/proc/meminfo: memFree=116418876/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83030] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83030/stat : 83030 (timeout) S 83027 83030 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75247119 2723840 352 18446744073709551615 93994493771776 93994493788289 140732352883264 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93994493803056 93994493805144 93994505261056 140732352891286 140732352891426 140732352891426 140732352896999 0
/proc/83030/statm: 665 352 352 5 0 90 0
[pid=83031] ppid=83030 vsize=619480 memory=592852 CPUtime=6.24 cores=4,6
/proc/83031/stat : 83031 (CASHWMaxSAT-Dis) R 83030 83030 81700 0 -1 4194304 65789 0 0 0 602 22 0 0 20 0 1 0 75247119 634347520 148213 18446744073709551615 4198400 14093885 140729512177728 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23707648 140729512184220 140729512184347 140729512184347 140729512189920 0
/proc/83031/statm: 154870 148213 992 2416 0 151972 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 626464 KiB
Current children cumulated memory: 597076 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 83032
/proc/meminfo: memFree=115920524/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83030] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83030/stat : 83030 (timeout) S 83027 83030 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75247119 2723840 352 18446744073709551615 93994493771776 93994493788289 140732352883264 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93994493803056 93994493805144 93994505261056 140732352891286 140732352891426 140732352891426 140732352896999 0
/proc/83030/statm: 665 352 352 5 0 90 0
[pid=83031] ppid=83030 vsize=1166548 memory=1042912 CPUtime=12.63 cores=4,6
/proc/83031/stat : 83031 (CASHWMaxSAT-Dis) R 83030 83030 81700 0 -1 4194304 97036 0 0 0 1224 39 0 0 20 0 1 0 75247119 1194545152 260728 18446744073709551615 4198400 14093885 140729512177728 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23707648 140729512184220 140729512184347 140729512184347 140729512189920 0
/proc/83031/statm: 291637 260728 992 2416 0 288739 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1173532 KiB
Current children cumulated memory: 1047136 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 83032
/proc/meminfo: memFree=112949160/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83030] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83030/stat : 83030 (timeout) S 83027 83030 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75247119 2723840 352 18446744073709551615 93994493771776 93994493788289 140732352883264 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93994493803056 93994493805144 93994505261056 140732352891286 140732352891426 140732352891426 140732352896999 0
/proc/83030/statm: 665 352 352 5 0 90 0
[pid=83031] ppid=83030 vsize=4516212 memory=3864728 CPUtime=25.39 cores=4,6
/proc/83031/stat : 83031 (CASHWMaxSAT-Dis) R 83030 83030 81700 0 -1 4194304 259837 0 0 0 2425 114 0 0 20 0 1 0 75247119 4624601088 966182 18446744073709551615 4198400 14093885 140729512177728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23707648 140729512184220 140729512184347 140729512184347 140729512189920 0
/proc/83031/statm: 1129053 966182 992 2416 0 1126155 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4523196 KiB
Current children cumulated memory: 3868952 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.09 4.09 5/272 83032
/proc/meminfo: memFree=112537416/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83030] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83030/stat : 83030 (timeout) S 83027 83030 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75247119 2723840 352 18446744073709551615 93994493771776 93994493788289 140732352883264 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93994493803056 93994493805144 93994505261056 140732352891286 140732352891426 140732352891426 140732352896999 0
/proc/83030/statm: 665 352 352 5 0 90 0
[pid=83031] ppid=83030 vsize=5501884 memory=4780720 CPUtime=50.92 cores=4,6
/proc/83031/stat : 83031 (CASHWMaxSAT-Dis) R 83030 83030 81700 0 -1 4194304 325225 0 0 0 4940 152 0 0 20 0 1 0 75247119 5633929216 1195180 18446744073709551615 4198400 14093885 140729512177728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23707648 140729512184220 140729512184347 140729512184347 140729512189920 0
/proc/83031/statm: 1375471 1195180 992 2416 0 1372573 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 5508868 KiB
Current children cumulated memory: 4784944 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/273 83035
/proc/meminfo: memFree=112375952/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0

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

/proc/83151/statm: 222423 218092 3392 2271 0 217061 0
Current children cumulated CPU time: 2973.37 s
Current children cumulated vsize: 896676 KiB
Current children cumulated memory: 876592 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.14 4.11 5/272 83360
/proc/meminfo: memFree=119644168/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 284 351156 0 0 0 0 119213 239 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83150] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83150/stat : 83150 (timeout) S 83027 83150 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75366928 2723840 352 18446744073709551615 94065278078976 94065278095489 140725115539056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94065278110256 94065278112344 94065283932160 140725115545990 140725115546146 140725115546146 140725115551719 0
/proc/83150/statm: 665 352 352 5 0 90 0
[pid=83151] ppid=83150 vsize=889692 memory=872368 CPUtime=1838.65 cores=4,6
/proc/83151/stat : 83151 (ExactPR-S) R 83150 83150 81700 0 -1 4194304 262398 0 0 0 183761 104 0 0 20 0 1 0 75366929 911044608 218092 18446744073709551615 94914487173120 94914496473157 140725680874800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94914498259264 94914498298344 94914519945216 140725680884126 140725680884263 140725680884263 140725680889836 0
/proc/83151/statm: 222423 218092 3392 2271 0 217061 0
Current children cumulated CPU time: 3033.17 s
Current children cumulated vsize: 896676 KiB
Current children cumulated memory: 876592 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/272 83362
/proc/meminfo: memFree=119368412/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 284 351156 0 0 0 0 119213 239 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83150] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83150/stat : 83150 (timeout) S 83027 83150 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75366928 2723840 352 18446744073709551615 94065278078976 94065278095489 140725115539056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94065278110256 94065278112344 94065283932160 140725115545990 140725115546146 140725115546146 140725115551719 0
/proc/83150/statm: 665 352 352 5 0 90 0
[pid=83151] ppid=83150 vsize=889692 memory=872368 CPUtime=1898.44 cores=4,6
/proc/83151/stat : 83151 (ExactPR-S) R 83150 83150 81700 0 -1 4194304 262459 0 0 0 189738 106 0 0 20 0 1 0 75366929 911044608 218092 18446744073709551615 94914487173120 94914496473157 140725680874800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94914498259264 94914498298344 94914519945216 140725680884126 140725680884263 140725680884263 140725680889836 0
/proc/83151/statm: 222423 218092 3392 2271 0 217061 0
Current children cumulated CPU time: 3092.96 s
Current children cumulated vsize: 896676 KiB
Current children cumulated memory: 876592 KiB

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

# cumulated CPU time of all completed processes:  user=3130.32 s, system=3.47802 s

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

[startup+3123.2 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 83362
/proc/meminfo: memFree=119667392/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 284 351156 0 0 0 0 119213 239 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83150] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83150/stat : 83150 (timeout) S 83027 83150 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75366928 2723840 352 18446744073709551615 94065278078976 94065278095489 140725115539056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94065278110256 94065278112344 94065283932160 140725115545990 140725115546146 140725115546146 140725115551719 0
/proc/83150/statm: 665 352 352 5 0 90 0
[pid=83151] ppid=83150 vsize=889692 memory=872368 CPUtime=1919.26 cores=4,6
/proc/83151/stat : 83151 (ExactPR-S) R 83150 83150 81700 0 -1 4194304 262459 0 0 0 191820 106 0 0 20 0 1 0 75366929 911044608 218092 18446744073709551615 94914487173120 94914496473157 140725680874800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94914498259264 94914498298344 94914519945216 140725680884126 140725680884263 140725680884263 140725680889836 0
/proc/83151/statm: 222423 218092 3392 2271 0 217061 0
Current children cumulated CPU time: 3113.78 s
Current children cumulated vsize: 896676 KiB
Current children cumulated memory: 876592 KiB

[startup+3136 s]*
/proc/loadavg: 4.08 4.13 4.10 5/272 83362
/proc/meminfo: memFree=119664432/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 284 351156 0 0 0 0 119213 239 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83150] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83150/stat : 83150 (timeout) S 83027 83150 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75366928 2723840 352 18446744073709551615 94065278078976 94065278095489 140725115539056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94065278110256 94065278112344 94065283932160 140725115545990 140725115546146 140725115546146 140725115551719 0
/proc/83150/statm: 665 352 352 5 0 90 0
[pid=83151] ppid=83150 vsize=889692 memory=872368 CPUtime=1932.03 cores=4,6
/proc/83151/stat : 83151 (ExactPR-S) R 83150 83150 81700 0 -1 4194304 262459 0 0 0 193096 107 0 0 20 0 1 0 75366929 911044608 218092 18446744073709551615 94914487173120 94914496473157 140725680874800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94914498259264 94914498298344 94914519945216 140725680884126 140725680884263 140725680884263 140725680889836 0
/proc/83151/statm: 222423 218092 3392 2271 0 217061 0
Current children cumulated CPU time: 3126.55 s
Current children cumulated vsize: 896676 KiB
Current children cumulated memory: 876592 KiB

[startup+3139.2 s]
/proc/loadavg: 4.08 4.13 4.10 5/272 83362
/proc/meminfo: memFree=119652396/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 284 351156 0 0 0 0 119213 239 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83150] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83150/stat : 83150 (timeout) S 83027 83150 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75366928 2723840 352 18446744073709551615 94065278078976 94065278095489 140725115539056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94065278110256 94065278112344 94065283932160 140725115545990 140725115546146 140725115546146 140725115551719 0
/proc/83150/statm: 665 352 352 5 0 90 0
[pid=83151] ppid=83150 vsize=889692 memory=872368 CPUtime=1935.21 cores=4,6
/proc/83151/stat : 83151 (ExactPR-S) R 83150 83150 81700 0 -1 4194304 262459 0 0 0 193414 107 0 0 20 0 1 0 75366929 911044608 218092 18446744073709551615 94914487173120 94914496473157 140725680874800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94914498259264 94914498298344 94914519945216 140725680884126 140725680884263 140725680884263 140725680889836 0
/proc/83151/statm: 222423 218092 3392 2271 0 217061 0
Current children cumulated CPU time: 3129.73 s
Current children cumulated vsize: 896676 KiB
Current children cumulated memory: 876592 KiB

[startup+3140.8 s]
/proc/loadavg: 4.08 4.13 4.10 5/273 83364
/proc/meminfo: memFree=119642144/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 284 351156 0 0 0 0 119213 239 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83150] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83150/stat : 83150 (timeout) S 83027 83150 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75366928 2723840 352 18446744073709551615 94065278078976 94065278095489 140725115539056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94065278110256 94065278112344 94065283932160 140725115545990 140725115546146 140725115546146 140725115551719 0
/proc/83150/statm: 665 352 352 5 0 90 0
[pid=83151] ppid=83150 vsize=889692 memory=872368 CPUtime=1936.81 cores=4,6
/proc/83151/stat : 83151 (ExactPR-S) R 83150 83150 81700 0 -1 4194304 262459 0 0 0 193574 107 0 0 20 0 1 0 75366929 911044608 218092 18446744073709551615 94914487173120 94914496473157 140725680874800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94914498259264 94914498298344 94914519945216 140725680884126 140725680884263 140725680884263 140725680889836 0
/proc/83151/statm: 222423 218092 3392 2271 0 217061 0
Current children cumulated CPU time: 3131.33 s
Current children cumulated vsize: 896676 KiB
Current children cumulated memory: 876592 KiB

[startup+3142.4 s]
/proc/loadavg: 4.08 4.12 4.10 5/273 83364
/proc/meminfo: memFree=119622176/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 284 351156 0 0 0 0 119213 239 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83150] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83150/stat : 83150 (timeout) S 83027 83150 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75366928 2723840 352 18446744073709551615 94065278078976 94065278095489 140725115539056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94065278110256 94065278112344 94065283932160 140725115545990 140725115546146 140725115546146 140725115551719 0
/proc/83150/statm: 665 352 352 5 0 90 0
[pid=83151] ppid=83150 vsize=889692 memory=872368 CPUtime=1938.4 cores=4,6
/proc/83151/stat : 83151 (ExactPR-S) R 83150 83150 81700 0 -1 4194304 262459 0 0 0 193733 107 0 0 20 0 1 0 75366929 911044608 218092 18446744073709551615 94914487173120 94914496473157 140725680874800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94914498259264 94914498298344 94914519945216 140725680884126 140725680884263 140725680884263 140725680889836 0
/proc/83151/statm: 222423 218092 3392 2271 0 217061 0
Current children cumulated CPU time: 3132.92 s
Current children cumulated vsize: 896676 KiB
Current children cumulated memory: 876592 KiB

[startup+3142.8 s]
/proc/loadavg: 4.08 4.12 4.10 5/273 83364
/proc/meminfo: memFree=119622176/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 284 351156 0 0 0 0 119213 239 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83150] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83150/stat : 83150 (timeout) S 83027 83150 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75366928 2723840 352 18446744073709551615 94065278078976 94065278095489 140725115539056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94065278110256 94065278112344 94065283932160 140725115545990 140725115546146 140725115546146 140725115551719 0
/proc/83150/statm: 665 352 352 5 0 90 0
[pid=83151] ppid=83150 vsize=889692 memory=872368 CPUtime=1938.8 cores=4,6
/proc/83151/stat : 83151 (ExactPR-S) R 83150 83150 81700 0 -1 4194304 262459 0 0 0 193773 107 0 0 20 0 1 0 75366929 911044608 218092 18446744073709551615 94914487173120 94914496473157 140725680874800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94914498259264 94914498298344 94914519945216 140725680884126 140725680884263 140725680884263 140725680889836 0
/proc/83151/statm: 222423 218092 3392 2271 0 217061 0
Current children cumulated CPU time: 3133.32 s
Current children cumulated vsize: 896676 KiB
Current children cumulated memory: 876592 KiB

[startup+3143.2 s]
/proc/loadavg: 4.08 4.12 4.10 5/273 83364
/proc/meminfo: memFree=119609888/131249996 swapFree=33010160/33010684
[pid=83027] ppid=83024 vsize=4324 memory=2816 CPUtime=1194.52 cores=4,6
/proc/83027/stat : 83027 (Hybrid-CASHWMax) S 83024 83027 81700 0 -1 4194304 284 351156 0 0 0 0 119213 239 20 0 1 0 75247117 4427776 704 18446744073709551615 94365268426752 94365269321285 140721980262400 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365269560336 94365269608080 94365292830720 140721980270935 140721980271089 140721980271089 140721980276691 0
/proc/83027/statm: 1081 704 672 219 0 143 0
[pid=83150] ppid=83027 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83150/stat : 83150 (timeout) S 83027 83150 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75366928 2723840 352 18446744073709551615 94065278078976 94065278095489 140725115539056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94065278110256 94065278112344 94065283932160 140725115545990 140725115546146 140725115546146 140725115551719 0
/proc/83150/statm: 665 352 352 5 0 90 0
[pid=83151] ppid=83150 vsize=889692 memory=872368 CPUtime=1939.2 cores=4,6
/proc/83151/stat : 83151 (ExactPR-S) R 83150 83150 81700 0 -1 4194304 262459 0 0 0 193813 107 0 0 20 0 1 0 75366929 911044608 218092 18446744073709551615 94914487173120 94914496473157 140725680874800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94914498259264 94914498298344 94914519945216 140725680884126 140725680884263 140725680884263 140725680889836 0
/proc/83151/statm: 222423 218092 3392 2271 0 217061 0
Current children cumulated CPU time: 3133.72 s
Current children cumulated vsize: 896676 KiB
Current children cumulated memory: 876592 KiB

Child status: 0

Real time (s): 3143.27
CPU time (s): 3133.8
CPU user time (s): 3130.32
CPU system time (s): 3.47802
CPU usage (%): 99.6986
Max. virtual memory (cumulated for all children) (KiB): 6786536
Max. memory (cumulated for all children) (KiB): 5949248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3130.32
system time used= 3.47802
maximum resident set size= 5945024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 614768
page faults= 1
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 848
involuntary context switches= 3224


# summary of solver processes directly reported to runsolver:
#   pid: 83027
#   total CPU time (s): 3133.8
#   total CPU user time (s): 3130.32
#   total CPU system time (s): 3.47802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77822 second user time and 15.4251 second system time

The end