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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518668-1751532502/watcher-4518668-1751532502 -o /tmp/evaluation-result-4518668-1751532502/solver-4518668-1751532502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751523362-82959 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4518668-1751532502.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=85548, runsolver pid=85545

[startup+0.100067 s]*
/proc/loadavg: 4.06 4.12 4.10 5/271 85552
/proc/meminfo: memFree=128871296/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85551] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85551/stat : 85551 (timeout) S 85548 85551 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68928967 2723840 352 18446744073709551615 94911349833728 94911349850241 140730409326688 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94911349865008 94911349867096 94911368278016 140730409331096 140730409331234 140730409331234 140730409336807 0
/proc/85551/statm: 665 352 352 5 0 90 0
[pid=85552] ppid=85551 vsize=27468 memory=11596 CPUtime=0.08 cores=0,2
/proc/85552/stat : 85552 (CASHWMaxSAT-Dis) R 85551 85551 82945 0 -1 4194304 2876 0 0 0 8 0 0 0 20 0 1 0 68928968 28127232 2899 18446744073709551615 4198400 14093885 140732372344464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26914816 140732372347293 140732372347419 140732372347419 140732372352992 0
/proc/85552/statm: 6867 2899 800 2416 0 3969 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 34452 KiB
Current children cumulated memory: 15948 KiB

[startup+0.205658 s]*
/proc/loadavg: 4.06 4.12 4.10 5/271 85552
/proc/meminfo: memFree=128869532/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85551] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85551/stat : 85551 (timeout) S 85548 85551 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68928967 2723840 352 18446744073709551615 94911349833728 94911349850241 140730409326688 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94911349865008 94911349867096 94911368278016 140730409331096 140730409331234 140730409331234 140730409336807 0
/proc/85551/statm: 665 352 352 5 0 90 0
[pid=85552] ppid=85551 vsize=31836 memory=13388 CPUtime=0.18 cores=0,2
/proc/85552/stat : 85552 (CASHWMaxSAT-Dis) R 85551 85551 82945 0 -1 4194304 3333 0 0 0 18 0 0 0 20 0 1 0 68928968 32600064 3347 18446744073709551615 4198400 14093885 140732372344464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26914816 140732372347293 140732372347419 140732372347419 140732372352992 0
/proc/85552/statm: 7959 3347 800 2416 0 5061 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38820 KiB
Current children cumulated memory: 17740 KiB

[startup+0.305281 s]*
/proc/loadavg: 4.06 4.12 4.10 5/271 85552
/proc/meminfo: memFree=128867516/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85551] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85551/stat : 85551 (timeout) S 85548 85551 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68928967 2723840 352 18446744073709551615 94911349833728 94911349850241 140730409326688 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94911349865008 94911349867096 94911368278016 140730409331096 140730409331234 140730409331234 140730409336807 0
/proc/85551/statm: 665 352 352 5 0 90 0
[pid=85552] ppid=85551 vsize=31836 memory=16892 CPUtime=0.28 cores=0,2
/proc/85552/stat : 85552 (CASHWMaxSAT-Dis) R 85551 85551 82945 0 -1 4194304 3671 0 0 0 28 0 0 0 20 0 1 0 68928968 32600064 4223 18446744073709551615 4198400 14093885 140732372344464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26914816 140732372347293 140732372347419 140732372347419 140732372352992 0
/proc/85552/statm: 7959 4223 800 2416 0 5061 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 38820 KiB
Current children cumulated memory: 21244 KiB

[startup+0.700234 s]
/proc/loadavg: 4.06 4.12 4.10 5/271 85552
/proc/meminfo: memFree=128863484/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85551] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85551/stat : 85551 (timeout) S 85548 85551 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68928967 2723840 352 18446744073709551615 94911349833728 94911349850241 140730409326688 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94911349865008 94911349867096 94911368278016 140730409331096 140730409331234 140730409331234 140730409336807 0
/proc/85551/statm: 665 352 352 5 0 90 0
[pid=85552] ppid=85551 vsize=43308 memory=28380 CPUtime=0.67 cores=0,2
/proc/85552/stat : 85552 (CASHWMaxSAT-Dis) R 85551 85551 82945 0 -1 4194304 4923 0 0 0 66 1 0 0 20 0 1 0 68928968 44347392 7095 18446744073709551615 4198400 14093885 140732372344464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26914816 140732372347293 140732372347419 140732372347419 140732372352992 0
/proc/85552/statm: 10827 7095 800 2416 0 7929 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 50292 KiB
Current children cumulated memory: 32732 KiB

[startup+1.50023 s]
/proc/loadavg: 4.06 4.12 4.10 5/271 85552
/proc/meminfo: memFree=128849432/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85551] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85551/stat : 85551 (timeout) S 85548 85551 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68928967 2723840 352 18446744073709551615 94911349833728 94911349850241 140730409326688 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94911349865008 94911349867096 94911368278016 140730409331096 140730409331234 140730409331234 140730409336807 0
/proc/85551/statm: 665 352 352 5 0 90 0
[pid=85552] ppid=85551 vsize=62216 memory=44600 CPUtime=1.46 cores=0,2
/proc/85552/stat : 85552 (CASHWMaxSAT-Dis) R 85551 85551 82945 0 -1 4194304 6986 0 0 0 145 1 0 0 20 0 1 0 68928968 63709184 11150 18446744073709551615 4198400 14093885 140732372344464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26914816 140732372347293 140732372347419 140732372347419 140732372352992 0
/proc/85552/statm: 15554 11150 800 2416 0 12656 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 69200 KiB
Current children cumulated memory: 48952 KiB

[startup+3.10538 s]
/proc/loadavg: 4.06 4.12 4.10 5/271 85552
/proc/meminfo: memFree=128827472/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85551] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85551/stat : 85551 (timeout) S 85548 85551 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68928967 2723840 352 18446744073709551615 94911349833728 94911349850241 140730409326688 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94911349865008 94911349867096 94911368278016 140730409331096 140730409331234 140730409331234 140730409336807 0
/proc/85551/statm: 665 352 352 5 0 90 0
[pid=85552] ppid=85551 vsize=62216 memory=46856 CPUtime=3.07 cores=0,2
/proc/85552/stat : 85552 (CASHWMaxSAT-Dis) R 85551 85551 82945 0 -1 4194304 7049 0 0 0 306 1 0 0 20 0 1 0 68928968 63709184 11714 18446744073709551615 4198400 14093885 140732372344464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26914816 140732372347293 140732372347419 140732372347419 140732372352992 0
/proc/85552/statm: 15554 11714 800 2416 0 12656 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 69200 KiB
Current children cumulated memory: 51208 KiB

[startup+6.30021 s]
/proc/loadavg: 4.05 4.12 4.10 5/271 85552
/proc/meminfo: memFree=128806992/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85551] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85551/stat : 85551 (timeout) S 85548 85551 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68928967 2723840 352 18446744073709551615 94911349833728 94911349850241 140730409326688 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94911349865008 94911349867096 94911368278016 140730409331096 140730409331234 140730409331234 140730409336807 0
/proc/85551/statm: 665 352 352 5 0 90 0
[pid=85552] ppid=85551 vsize=81072 memory=65904 CPUtime=6.25 cores=0,2
/proc/85552/stat : 85552 (CASHWMaxSAT-Dis) R 85551 85551 82945 0 -1 4194304 8219 0 0 0 623 2 0 0 20 0 1 0 68928968 83017728 16476 18446744073709551615 4198400 14093885 140732372344464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26914816 140732372347293 140732372347419 140732372347419 140732372352992 0
/proc/85552/statm: 20268 16476 800 2416 0 17370 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 88056 KiB
Current children cumulated memory: 70256 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.12 4.10 5/271 85552
/proc/meminfo: memFree=128817232/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85551] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85551/stat : 85551 (timeout) S 85548 85551 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68928967 2723840 352 18446744073709551615 94911349833728 94911349850241 140730409326688 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94911349865008 94911349867096 94911368278016 140730409331096 140730409331234 140730409331234 140730409336807 0
/proc/85551/statm: 665 352 352 5 0 90 0
[pid=85552] ppid=85551 vsize=81204 memory=66544 CPUtime=12.64 cores=0,2
/proc/85552/stat : 85552 (CASHWMaxSAT-Dis) R 85551 85551 82945 0 -1 4194304 8417 0 0 0 1261 3 0 0 20 0 1 0 68928968 83152896 16636 18446744073709551615 4198400 14093885 140732372344464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26914816 140732372347293 140732372347419 140732372347419 140732372352992 0
/proc/85552/statm: 20301 16636 800 2416 0 17403 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 88188 KiB
Current children cumulated memory: 70896 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.10 5/271 85553
/proc/meminfo: memFree=128773840/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85551] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85551/stat : 85551 (timeout) S 85548 85551 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68928967 2723840 352 18446744073709551615 94911349833728 94911349850241 140730409326688 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94911349865008 94911349867096 94911368278016 140730409331096 140730409331234 140730409331234 140730409336807 0
/proc/85551/statm: 665 352 352 5 0 90 0
[pid=85552] ppid=85551 vsize=99880 memory=85520 CPUtime=25.41 cores=0,2
/proc/85552/stat : 85552 (CASHWMaxSAT-Dis) R 85551 85551 82945 0 -1 4194304 10742 0 0 0 2535 6 0 0 20 0 1 0 68928968 102277120 21380 18446744073709551615 4198400 14093885 140732372344464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26914816 140732372347293 140732372347419 140732372347419 140732372352992 0
/proc/85552/statm: 24970 21380 800 2416 0 22072 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 106864 KiB
Current children cumulated memory: 89872 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.12 4.09 5/271 85553
/proc/meminfo: memFree=128762596/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85551] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85551/stat : 85551 (timeout) S 85548 85551 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68928967 2723840 352 18446744073709551615 94911349833728 94911349850241 140730409326688 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94911349865008 94911349867096 94911368278016 140730409331096 140730409331234 140730409331234 140730409336807 0
/proc/85551/statm: 665 352 352 5 0 90 0
[pid=85552] ppid=85551 vsize=99880 memory=85520 CPUtime=50.94 cores=0,2
/proc/85552/stat : 85552 (CASHWMaxSAT-Dis) R 85551 85551 82945 0 -1 4194304 13276 0 0 0 5080 14 0 0 20 0 1 0 68928968 102277120 21380 18446744073709551615 4198400 14093885 140732372344464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26914816 140732372347293 140732372347419 140732372347419 140732372352992 0
/proc/85552/statm: 24970 21380 800 2416 0 22072 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 106864 KiB
Current children cumulated memory: 89872 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 85556
/proc/meminfo: memFree=128764032/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0

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

/proc/85720/statm: 124063 116188 3360 2271 0 118701 0
Current children cumulated CPU time: 1836.76 s
Current children cumulated vsize: 503236 KiB
Current children cumulated memory: 469104 KiB

[startup+1902.3 s]
/proc/loadavg: 2.50 3.17 3.66 3/256 85844
/proc/meminfo: memFree=128161032/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 283 96038 0 0 0 0 89271 405 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85719] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85719/stat : 85719 (timeout) S 85548 85719 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69018868 2723840 352 18446744073709551615 94722578485248 94722578501761 140723369625728 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94722578516528 94722578518616 94722606141440 140723369634181 140723369634338 140723369634338 140723369639911 0
/proc/85719/statm: 665 352 352 5 0 90 0
[pid=85720] ppid=85719 vsize=496252 memory=464752 CPUtime=999.84 cores=0,2
/proc/85720/stat : 85720 (ExactPR-S9) R 85719 85719 82945 0 -1 4194304 224714 0 0 0 96702 3282 0 0 20 0 1 0 69018868 508162048 116188 18446744073709551615 94503789871104 94503799171205 140728920651232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94503800957248 94503800996328 94503818080256 140728920660380 140728920660518 140728920660518 140728920666091 0
/proc/85720/statm: 124063 116188 3360 2271 0 118701 0
Current children cumulated CPU time: 1896.6 s
Current children cumulated vsize: 503236 KiB
Current children cumulated memory: 469104 KiB

[startup+1962.3 s]
/proc/loadavg: 2.26 2.97 3.56 3/256 85846
/proc/meminfo: memFree=128106672/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 283 96038 0 0 0 0 89271 405 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85719] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85719/stat : 85719 (timeout) S 85548 85719 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69018868 2723840 352 18446744073709551615 94722578485248 94722578501761 140723369625728 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94722578516528 94722578518616 94722606141440 140723369634181 140723369634338 140723369634338 140723369639911 0
/proc/85719/statm: 665 352 352 5 0 90 0
[pid=85720] ppid=85719 vsize=496252 memory=464752 CPUtime=1059.69 cores=0,2
/proc/85720/stat : 85720 (ExactPR-S9) R 85719 85719 82945 0 -1 4194304 224714 0 0 0 100770 5199 0 0 20 0 1 0 69018868 508162048 116188 18446744073709551615 94503789871104 94503799171205 140728920651232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94503800957248 94503800996328 94503818080256 140728920660380 140728920660518 140728920660518 140728920666091 0
/proc/85720/statm: 124063 116188 3360 2271 0 118701 0
Current children cumulated CPU time: 1956.45 s
Current children cumulated vsize: 503236 KiB
Current children cumulated memory: 469104 KiB

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

# cumulated CPU time of all completed processes:  user=1912.48 s, system=56.6087 s

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

[startup+1964.8 s]
/proc/loadavg: 2.24 2.96 3.55 3/256 85846
/proc/meminfo: memFree=128099552/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 283 96038 0 0 0 0 89271 405 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85719] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85719/stat : 85719 (timeout) S 85548 85719 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69018868 2723840 352 18446744073709551615 94722578485248 94722578501761 140723369625728 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94722578516528 94722578518616 94722606141440 140723369634181 140723369634338 140723369634338 140723369639911 0
/proc/85719/statm: 665 352 352 5 0 90 0
[pid=85720] ppid=85719 vsize=496252 memory=475120 CPUtime=1062.18 cores=0,2
/proc/85720/stat : 85720 (ExactPR-S9) R 85719 85719 82945 0 -1 4194304 224720 0 0 0 100973 5245 0 0 20 0 1 0 69018868 508162048 118780 18446744073709551615 94503789871104 94503799171205 140728920651232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94503800957248 94503800996328 94503818080256 140728920660380 140728920660518 140728920660518 140728920666091 0
/proc/85720/statm: 124063 118780 3392 2271 0 118701 0
Current children cumulated CPU time: 1958.94 s
Current children cumulated vsize: 503236 KiB
Current children cumulated memory: 479472 KiB

[startup+1971.2 s]
/proc/loadavg: 2.22 2.94 3.54 3/256 85847
/proc/meminfo: memFree=128056844/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 283 96038 0 0 0 0 89271 405 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85719] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85719/stat : 85719 (timeout) S 85548 85719 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69018868 2723840 352 18446744073709551615 94722578485248 94722578501761 140723369625728 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94722578516528 94722578518616 94722606141440 140723369634181 140723369634338 140723369634338 140723369639911 0
/proc/85719/statm: 665 352 352 5 0 90 0
[pid=85720] ppid=85719 vsize=531840 memory=499520 CPUtime=1068.56 cores=0,2
/proc/85720/stat : 85720 (ExactPR-S9) R 85719 85719 82945 0 -1 4194304 224914 0 0 0 101606 5250 0 0 20 0 1 0 69018868 544604160 124880 18446744073709551615 94503789871104 94503799171205 140728920651232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94503800957248 94503800996328 94503818080256 140728920660380 140728920660518 140728920660518 140728920666091 0
/proc/85720/statm: 132960 124880 3392 2271 0 127598 0
Current children cumulated CPU time: 1965.32 s
Current children cumulated vsize: 538824 KiB
Current children cumulated memory: 503872 KiB

[startup+1972.8 s]
/proc/loadavg: 2.22 2.94 3.54 3/256 85847
/proc/meminfo: memFree=128056844/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 283 96038 0 0 0 0 89271 405 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85719] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85719/stat : 85719 (timeout) S 85548 85719 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69018868 2723840 352 18446744073709551615 94722578485248 94722578501761 140723369625728 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94722578516528 94722578518616 94722606141440 140723369634181 140723369634338 140723369634338 140723369639911 0
/proc/85719/statm: 665 352 352 5 0 90 0
[pid=85720] ppid=85719 vsize=531840 memory=499520 CPUtime=1070.16 cores=0,2
/proc/85720/stat : 85720 (ExactPR-S9) R 85719 85719 82945 0 -1 4194304 224914 0 0 0 101764 5252 0 0 20 0 1 0 69018868 544604160 124880 18446744073709551615 94503789871104 94503799171205 140728920651232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94503800957248 94503800996328 94503818080256 140728920660380 140728920660518 140728920660518 140728920666091 0
/proc/85720/statm: 132960 124880 3392 2271 0 127598 0
Current children cumulated CPU time: 1966.92 s
Current children cumulated vsize: 538824 KiB
Current children cumulated memory: 503872 KiB

[startup+1973.6 s]
/proc/loadavg: 2.22 2.94 3.54 3/256 85847
/proc/meminfo: memFree=128056844/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 283 96038 0 0 0 0 89271 405 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85719] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85719/stat : 85719 (timeout) S 85548 85719 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69018868 2723840 352 18446744073709551615 94722578485248 94722578501761 140723369625728 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94722578516528 94722578518616 94722606141440 140723369634181 140723369634338 140723369634338 140723369639911 0
/proc/85719/statm: 665 352 352 5 0 90 0
[pid=85720] ppid=85719 vsize=531840 memory=499520 CPUtime=1070.95 cores=0,2
/proc/85720/stat : 85720 (ExactPR-S9) R 85719 85719 82945 0 -1 4194304 224914 0 0 0 101843 5252 0 0 20 0 1 0 69018868 544604160 124880 18446744073709551615 94503789871104 94503799171205 140728920651232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94503800957248 94503800996328 94503818080256 140728920660380 140728920660518 140728920660518 140728920666091 0
/proc/85720/statm: 132960 124880 3392 2271 0 127598 0
Current children cumulated CPU time: 1967.71 s
Current children cumulated vsize: 538824 KiB
Current children cumulated memory: 503872 KiB

[startup+1974.4 s]
/proc/loadavg: 2.20 2.92 3.54 3/256 85847
/proc/meminfo: memFree=128056844/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 283 96038 0 0 0 0 89271 405 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85719] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85719/stat : 85719 (timeout) S 85548 85719 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69018868 2723840 352 18446744073709551615 94722578485248 94722578501761 140723369625728 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94722578516528 94722578518616 94722606141440 140723369634181 140723369634338 140723369634338 140723369639911 0
/proc/85719/statm: 665 352 352 5 0 90 0
[pid=85720] ppid=85719 vsize=531840 memory=499520 CPUtime=1071.75 cores=0,2
/proc/85720/stat : 85720 (ExactPR-S9) R 85719 85719 82945 0 -1 4194304 224914 0 0 0 101923 5252 0 0 20 0 1 0 69018868 544604160 124880 18446744073709551615 94503789871104 94503799171205 140728920651232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94503800957248 94503800996328 94503818080256 140728920660380 140728920660518 140728920660518 140728920666091 0
/proc/85720/statm: 132960 124880 3392 2271 0 127598 0
Current children cumulated CPU time: 1968.51 s
Current children cumulated vsize: 538824 KiB
Current children cumulated memory: 503872 KiB

[startup+1974.8 s]
/proc/loadavg: 2.20 2.92 3.54 3/256 85847
/proc/meminfo: memFree=128056844/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 283 96038 0 0 0 0 89271 405 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85719] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85719/stat : 85719 (timeout) S 85548 85719 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69018868 2723840 352 18446744073709551615 94722578485248 94722578501761 140723369625728 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94722578516528 94722578518616 94722606141440 140723369634181 140723369634338 140723369634338 140723369639911 0
/proc/85719/statm: 665 352 352 5 0 90 0
[pid=85720] ppid=85719 vsize=531840 memory=499520 CPUtime=1072.15 cores=0,2
/proc/85720/stat : 85720 (ExactPR-S9) R 85719 85719 82945 0 -1 4194304 224914 0 0 0 101962 5253 0 0 20 0 1 0 69018868 544604160 124880 18446744073709551615 94503789871104 94503799171205 140728920651232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94503800957248 94503800996328 94503818080256 140728920660380 140728920660518 140728920660518 140728920666091 0
/proc/85720/statm: 132960 124880 3392 2271 0 127598 0
Current children cumulated CPU time: 1968.91 s
Current children cumulated vsize: 538824 KiB
Current children cumulated memory: 503872 KiB

[startup+1974.9 s]
/proc/loadavg: 2.20 2.92 3.54 3/256 85847
/proc/meminfo: memFree=128056844/131249992 swapFree=33010160/33010684
[pid=85548] ppid=85545 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/85548/stat : 85548 (Hybrid-CASHWMax) S 85545 85548 82945 0 -1 4194304 283 96038 0 0 0 0 89271 405 20 0 1 0 68928966 4427776 736 18446744073709551615 94009767358464 94009768252997 140735856256672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94009768492048 94009768539792 94009784381440 140735856265557 140735856265712 140735856265712 140735856271314 0
/proc/85548/statm: 1081 736 672 219 0 143 0
[pid=85719] ppid=85548 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85719/stat : 85719 (timeout) S 85548 85719 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69018868 2723840 352 18446744073709551615 94722578485248 94722578501761 140723369625728 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94722578516528 94722578518616 94722606141440 140723369634181 140723369634338 140723369634338 140723369639911 0
/proc/85719/statm: 665 352 352 5 0 90 0
[pid=85720] ppid=85719 vsize=531840 memory=499520 CPUtime=1072.25 cores=0,2
/proc/85720/stat : 85720 (ExactPR-S9) R 85719 85719 82945 0 -1 4194304 224914 0 0 0 101972 5253 0 0 20 0 1 0 69018868 544604160 124880 18446744073709551615 94503789871104 94503799171205 140728920651232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94503800957248 94503800996328 94503818080256 140728920660380 140728920660518 140728920660518 140728920666091 0
/proc/85720/statm: 132960 124880 3392 2271 0 127598 0
Current children cumulated CPU time: 1969.01 s
Current children cumulated vsize: 538824 KiB
Current children cumulated memory: 503872 KiB

Child status: 0

Real time (s): 1974.98
CPU time (s): 1969.09
CPU user time (s): 1912.48
CPU system time (s): 56.6087
CPU usage (%): 99.7021
Max. virtual memory (cumulated for all children) (KiB): 941272
Max. memory (cumulated for all children) (KiB): 903880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1912.48
system time used= 56.6087
maximum resident set size= 899528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322112
page faults= 1
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 890
involuntary context switches= 2562


# summary of solver processes directly reported to runsolver:
#   pid: 85548
#   total CPU time (s): 1969.09
#   total CPU user time (s): 1912.48
#   total CPU system time (s): 56.6087

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64999 second user time and 8.81699 second system time

The end