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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523405-1751590817/watcher-4523405-1751590817 -o /tmp/evaluation-result-4523405-1751590817/solver-4523405-1751590817 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751588478-81716 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4523405-1751590817.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=82259, runsolver pid=82256

[startup+0.100049 s]*
/proc/loadavg: 4.11 4.15 3.98 5/271 82263
/proc/meminfo: memFree=96824124/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82262/stat : 82262 (timeout) S 82259 82262 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74760104 2723840 352 18446744073709551615 93908525559808 93908525576321 140728742874512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93908525591088 93908525593176 93908548521984 140728742881686 140728742881826 140728742881826 140728742887399 0
/proc/82262/statm: 665 352 352 5 0 90 0
[pid=82263] ppid=82262 vsize=29492 memory=10752 CPUtime=0.08 cores=4,6
/proc/82263/stat : 82263 (CASHWMaxSAT-Dis) R 82262 82262 81700 0 -1 4194304 2063 0 0 0 8 0 0 0 20 0 1 0 74760104 30199808 2688 18446744073709551615 4198400 14093885 140728753141648 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33533952 140728753150364 140728753150491 140728753150491 140728753156064 0
/proc/82263/statm: 7373 2688 736 2416 0 4475 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 36476 KiB
Current children cumulated memory: 15104 KiB

[startup+0.205879 s]*
/proc/loadavg: 4.11 4.15 3.98 5/271 82263
/proc/meminfo: memFree=96820344/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82262/stat : 82262 (timeout) S 82259 82262 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74760104 2723840 352 18446744073709551615 93908525559808 93908525576321 140728742874512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93908525591088 93908525593176 93908548521984 140728742881686 140728742881826 140728742881826 140728742887399 0
/proc/82262/statm: 665 352 352 5 0 90 0
[pid=82263] ppid=82262 vsize=38136 memory=19328 CPUtime=0.18 cores=4,6
/proc/82263/stat : 82263 (CASHWMaxSAT-Dis) R 82262 82262 81700 0 -1 4194304 4205 0 0 0 18 0 0 0 20 0 1 0 74760104 39051264 4832 18446744073709551615 4198400 14093885 140728753141648 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33533952 140728753150364 140728753150491 140728753150491 140728753156064 0
/proc/82263/statm: 9534 4832 736 2416 0 6636 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45120 KiB
Current children cumulated memory: 23680 KiB

[startup+0.305807 s]*
/proc/loadavg: 4.11 4.15 3.98 5/271 82263
/proc/meminfo: memFree=96818488/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82262/stat : 82262 (timeout) S 82259 82262 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74760104 2723840 352 18446744073709551615 93908525559808 93908525576321 140728742874512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93908525591088 93908525593176 93908548521984 140728742881686 140728742881826 140728742881826 140728742887399 0
/proc/82262/statm: 665 352 352 5 0 90 0
[pid=82263] ppid=82262 vsize=46380 memory=27264 CPUtime=0.28 cores=4,6
/proc/82263/stat : 82263 (CASHWMaxSAT-Dis) R 82262 82262 81700 0 -1 4194304 6194 0 0 0 27 1 0 0 20 0 1 0 74760104 47493120 6816 18446744073709551615 4198400 14093885 140728753141648 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33533952 140728753150364 140728753150491 140728753150491 140728753156064 0
/proc/82263/statm: 11595 6816 736 2416 0 8697 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 53364 KiB
Current children cumulated memory: 31616 KiB

[startup+0.700234 s]
/proc/loadavg: 4.11 4.15 3.98 5/271 82263
/proc/meminfo: memFree=96802360/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82262/stat : 82262 (timeout) S 82259 82262 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74760104 2723840 352 18446744073709551615 93908525559808 93908525576321 140728742874512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93908525591088 93908525593176 93908548521984 140728742881686 140728742881826 140728742881826 140728742887399 0
/proc/82262/statm: 665 352 352 5 0 90 0
[pid=82263] ppid=82262 vsize=78356 memory=56832 CPUtime=0.67 cores=4,6
/proc/82263/stat : 82263 (CASHWMaxSAT-Dis) R 82262 82262 81700 0 -1 4194304 13576 0 0 0 64 3 0 0 20 0 1 0 74760104 80236544 14208 18446744073709551615 4198400 14093885 140728753141648 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33533952 140728753150364 140728753150491 140728753150491 140728753156064 0
/proc/82263/statm: 19589 14208 736 2416 0 16691 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 85340 KiB
Current children cumulated memory: 61184 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 4.15 3.98 5/271 82263
/proc/meminfo: memFree=96746476/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82262/stat : 82262 (timeout) S 82259 82262 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74760104 2723840 352 18446744073709551615 93908525559808 93908525576321 140728742874512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93908525591088 93908525593176 93908548521984 140728742881686 140728742881826 140728742881826 140728742887399 0
/proc/82262/statm: 665 352 352 5 0 90 0
[pid=82263] ppid=82262 vsize=204484 memory=180024 CPUtime=1.47 cores=4,6
/proc/82263/stat : 82263 (CASHWMaxSAT-Dis) R 82262 82262 81700 0 -1 4194304 32063 0 0 0 140 7 0 0 20 0 1 0 74760104 209391616 45006 18446744073709551615 4198400 14093885 140728753141648 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33533952 140728753150364 140728753150491 140728753150491 140728753156064 0
/proc/82263/statm: 51121 45006 768 2416 0 48223 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 211468 KiB
Current children cumulated memory: 184376 KiB

[startup+3.10558 s]
/proc/loadavg: 4.11 4.15 3.98 5/271 82263
/proc/meminfo: memFree=96527544/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82262/stat : 82262 (timeout) S 82259 82262 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74760104 2723840 352 18446744073709551615 93908525559808 93908525576321 140728742874512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93908525591088 93908525593176 93908548521984 140728742881686 140728742881826 140728742881826 140728742887399 0
/proc/82262/statm: 665 352 352 5 0 90 0
[pid=82263] ppid=82262 vsize=331220 memory=297096 CPUtime=3.06 cores=4,6
/proc/82263/stat : 82263 (CASHWMaxSAT-Dis) R 82262 82262 81700 0 -1 4194304 42070 0 0 0 296 10 0 0 20 0 1 0 74760104 339169280 74274 18446744073709551615 4198400 14093885 140728753141648 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33533952 140728753150364 140728753150491 140728753150491 140728753156064 0
/proc/82263/statm: 82805 74274 992 2416 0 79907 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 338204 KiB
Current children cumulated memory: 301448 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.14 3.98 5/271 82263
/proc/meminfo: memFree=96230952/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82262/stat : 82262 (timeout) S 82259 82262 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74760104 2723840 352 18446744073709551615 93908525559808 93908525576321 140728742874512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93908525591088 93908525593176 93908548521984 140728742881686 140728742881826 140728742881826 140728742887399 0
/proc/82262/statm: 665 352 352 5 0 90 0
[pid=82263] ppid=82262 vsize=619276 memory=594596 CPUtime=6.25 cores=4,6
/proc/82263/stat : 82263 (CASHWMaxSAT-Dis) R 82262 82262 81700 0 -1 4194304 65527 0 0 0 604 21 0 0 20 0 1 0 74760104 634138624 148649 18446744073709551615 4198400 14093885 140728753141648 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33533952 140728753150364 140728753150491 140728753150491 140728753156064 0
/proc/82263/statm: 154819 148649 992 2416 0 151921 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 626260 KiB
Current children cumulated memory: 598948 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 3.98 5/271 82263
/proc/meminfo: memFree=95683996/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82262/stat : 82262 (timeout) S 82259 82262 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74760104 2723840 352 18446744073709551615 93908525559808 93908525576321 140728742874512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93908525591088 93908525593176 93908548521984 140728742881686 140728742881826 140728742881826 140728742887399 0
/proc/82262/statm: 665 352 352 5 0 90 0
[pid=82263] ppid=82262 vsize=1166116 memory=1042480 CPUtime=12.63 cores=4,6
/proc/82263/stat : 82263 (CASHWMaxSAT-Dis) R 82262 82262 81700 0 -1 4194304 96220 0 0 0 1226 37 0 0 20 0 1 0 74760104 1194102784 260620 18446744073709551615 4198400 14093885 140728753141648 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33533952 140728753150364 140728753150491 140728753150491 140728753156064 0
/proc/82263/statm: 291529 260620 992 2416 0 288631 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1173100 KiB
Current children cumulated memory: 1046832 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.17 3.99 5/271 82264
/proc/meminfo: memFree=92577948/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82262/stat : 82262 (timeout) S 82259 82262 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74760104 2723840 352 18446744073709551615 93908525559808 93908525576321 140728742874512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93908525591088 93908525593176 93908548521984 140728742881686 140728742881826 140728742881826 140728742887399 0
/proc/82262/statm: 665 352 352 5 0 90 0
[pid=82263] ppid=82262 vsize=4494052 memory=3810308 CPUtime=25.4 cores=4,6
/proc/82263/stat : 82263 (CASHWMaxSAT-Dis) R 82262 82262 81700 0 -1 4194304 251218 0 0 0 2428 112 0 0 20 0 1 0 74760104 4601909248 952577 18446744073709551615 4198400 14093885 140728753141648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33533952 140728753150364 140728753150491 140728753150491 140728753156064 0
/proc/82263/statm: 1123513 952577 992 2416 0 1120615 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4501036 KiB
Current children cumulated memory: 3814660 KiB

[startup+51.1058 s]
/proc/loadavg: 4.15 4.15 3.99 5/272 82279
/proc/meminfo: memFree=91649624/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82262/stat : 82262 (timeout) S 82259 82262 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74760104 2723840 352 18446744073709551615 93908525559808 93908525576321 140728742874512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93908525591088 93908525593176 93908548521984 140728742881686 140728742881826 140728742881826 140728742887399 0
/proc/82262/statm: 665 352 352 5 0 90 0
[pid=82263] ppid=82262 vsize=5529504 memory=4820720 CPUtime=50.92 cores=4,6
/proc/82263/stat : 82263 (CASHWMaxSAT-Dis) R 82262 82262 81700 0 -1 4194304 328049 0 0 0 4939 153 0 0 20 0 1 0 74760104 5662212096 1205180 18446744073709551615 4198400 14093885 140728753141648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33533952 140728753150364 140728753150491 140728753150491 140728753156064 0
/proc/82263/statm: 1382376 1205180 992 2416 0 1379478 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 5536488 KiB
Current children cumulated memory: 4825072 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.01 5/273 82282
/proc/meminfo: memFree=92464496/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82262] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82341] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82341/stat : 82341 (timeout) S 82259 82341 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74879912 2723840 352 18446744073709551615 94671122284544 94671122301057 140722387789776 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94671122315824 94671122317912 94671147094016 140722387798406 140722387798562 140722387798562 140722387804135 0
/proc/82341/statm: 665 352 352 5 0 90 0
[pid=82342] ppid=82341 vsize=973444 memory=911444 CPUtime=821.59 cores=4,6
/proc/82342/stat : 82342 (ExactPR-S) R 82341 82341 81700 0 -1 4194304 790090 0 0 0 82008 151 0 0 20 0 1 0 74879912 996806656 227861 18446744073709551615 94078202839040 94078212139077 140733230251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94078213925184 94078213964264 94078244462592 140733230254494 140733230254631 140733230254631 140733230260204 0
/proc/82342/statm: 243361 227861 3360 2271 0 237999 0
Current children cumulated CPU time: 2015.68 s
Current children cumulated vsize: 980428 KiB
Current children cumulated memory: 915796 KiB

[startup+2082.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 82492
/proc/meminfo: memFree=95501992/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=1194.09 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 284 336406 0 0 0 0 119212 197 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82341] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82341/stat : 82341 (timeout) S 82259 82341 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74879912 2723840 352 18446744073709551615 94671122284544 94671122301057 140722387789776 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94671122315824 94671122317912 94671147094016 140722387798406 140722387798562 140722387798562 140722387804135 0
/proc/82341/statm: 665 352 352 5 0 90 0
[pid=82342] ppid=82341 vsize=973444 memory=911444 CPUtime=881.4 cores=4,6
/proc/82342/stat : 82342 (ExactPR-S) R 82341 82341 81700 0 -1 4194304 790091 0 0 0 87988 152 0 0 20 0 1 0 74879912 996806656 227861 18446744073709551615 94078202839040 94078212139077 140733230251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94078213925184 94078213964264 94078244462592 140733230254494 140733230254631 140733230254631 140733230260204 0
/proc/82342/statm: 243361 227861 3360 2271 0 237999 0
Current children cumulated CPU time: 2075.49 s
Current children cumulated vsize: 980428 KiB
Current children cumulated memory: 915796 KiB

[startup+2142.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 82496
/proc/meminfo: memFree=95442752/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=1194.09 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 284 336406 0 0 0 0 119212 197 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82341] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82341/stat : 82341 (timeout) S 82259 82341 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74879912 2723840 352 18446744073709551615 94671122284544 94671122301057 140722387789776 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94671122315824 94671122317912 94671147094016 140722387798406 140722387798562 140722387798562 140722387804135 0
/proc/82341/statm: 665 352 352 5 0 90 0
[pid=82342] ppid=82341 vsize=973444 memory=911444 CPUtime=941.21 cores=4,6
/proc/82342/stat : 82342 (ExactPR-S) R 82341 82341 81700 0 -1 4194304 790093 0 0 0 93969 152 0 0 20 0 1 0 74879912 996806656 227861 18446744073709551615 94078202839040 94078212139077 140733230251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94078213925184 94078213964264 94078244462592 140733230254494 140733230254631 140733230254631 140733230260204 0
/proc/82342/statm: 243361 227861 3360 2271 0 237999 0
Current children cumulated CPU time: 2135.3 s
Current children cumulated vsize: 980428 KiB
Current children cumulated memory: 915796 KiB

[startup+2202.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 82498
/proc/meminfo: memFree=95474400/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=1194.09 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 284 336406 0 0 0 0 119212 197 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82341] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82341/stat : 82341 (timeout) S 82259 82341 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74879912 2723840 352 18446744073709551615 94671122284544 94671122301057 140722387789776 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94671122315824 94671122317912 94671147094016 140722387798406 140722387798562 140722387798562 140722387804135 0
/proc/82341/statm: 665 352 352 5 0 90 0
[pid=82342] ppid=82341 vsize=851996 memory=813012 CPUtime=1001.01 cores=4,6
/proc/82342/stat : 82342 (ExactPR-S) R 82341 82341 81700 0 -1 4194304 796937 0 0 0 99947 154 0 0 20 0 1 0 74879912 872443904 203253 18446744073709551615 94078202839040 94078212139077 140733230251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94078213925184 94078213964264 94078244462592 140733230254494 140733230254631 140733230254631 140733230260204 0
/proc/82342/statm: 212999 203253 3360 2271 0 207637 0
Current children cumulated CPU time: 2195.1 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 817364 KiB

[startup+2262.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 82500
/proc/meminfo: memFree=95434488/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=1194.09 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 284 336406 0 0 0 0 119212 197 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82341] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82341/stat : 82341 (timeout) S 82259 82341 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74879912 2723840 352 18446744073709551615 94671122284544 94671122301057 140722387789776 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94671122315824 94671122317912 94671147094016 140722387798406 140722387798562 140722387798562 140722387804135 0
/proc/82341/statm: 665 352 352 5 0 90 0
[pid=82342] ppid=82341 vsize=851996 memory=813012 CPUtime=1060.81 cores=4,6
/proc/82342/stat : 82342 (ExactPR-S) R 82341 82341 81700 0 -1 4194304 796939 0 0 0 105922 159 0 0 20 0 1 0 74879912 872443904 203253 18446744073709551615 94078202839040 94078212139077 140733230251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94078213925184 94078213964264 94078244462592 140733230254494 140733230254631 140733230254631 140733230260204 0
/proc/82342/statm: 212999 203253 3360 2271 0 207637 0
Current children cumulated CPU time: 2254.9 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 817364 KiB

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

# cumulated CPU time of all completed processes:  user=2258.96 s, system=3.61987 s

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

[startup+2265.6 s]
/proc/loadavg: 4.09 4.09 4.09 6/271 82502
/proc/meminfo: memFree=95435936/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=1194.09 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 284 336406 0 0 0 0 119212 197 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82341] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82341/stat : 82341 (timeout) S 82259 82341 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74879912 2723840 352 18446744073709551615 94671122284544 94671122301057 140722387789776 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94671122315824 94671122317912 94671147094016 140722387798406 140722387798562 140722387798562 140722387804135 0
/proc/82341/statm: 665 352 352 5 0 90 0
[pid=82342] ppid=82341 vsize=851996 memory=813012 CPUtime=1064.1 cores=4,6
/proc/82342/stat : 82342 (ExactPR-S) R 82341 82341 81700 0 -1 4194304 796939 0 0 0 106251 159 0 0 20 0 1 0 74879912 872443904 203253 18446744073709551615 94078202839040 94078212139077 140733230251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94078213925184 94078213964264 94078244462592 140733230254494 140733230254631 140733230254631 140733230260204 0
/proc/82342/statm: 212999 203253 3360 2271 0 207637 0
Current children cumulated CPU time: 2258.19 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 817364 KiB

[startup+2267.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 82502
/proc/meminfo: memFree=95435716/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=1194.09 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 284 336406 0 0 0 0 119212 197 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82341] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82341/stat : 82341 (timeout) S 82259 82341 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74879912 2723840 352 18446744073709551615 94671122284544 94671122301057 140722387789776 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94671122315824 94671122317912 94671147094016 140722387798406 140722387798562 140722387798562 140722387804135 0
/proc/82341/statm: 665 352 352 5 0 90 0
[pid=82342] ppid=82341 vsize=851996 memory=813012 CPUtime=1065.7 cores=4,6
/proc/82342/stat : 82342 (ExactPR-S) R 82341 82341 81700 0 -1 4194304 796939 0 0 0 106411 159 0 0 20 0 1 0 74879912 872443904 203253 18446744073709551615 94078202839040 94078212139077 140733230251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94078213925184 94078213964264 94078244462592 140733230254494 140733230254631 140733230254631 140733230260204 0
/proc/82342/statm: 212999 203253 3360 2271 0 207637 0
Current children cumulated CPU time: 2259.79 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 817364 KiB

[startup+2268.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 82502
/proc/meminfo: memFree=95431620/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=1194.09 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 284 336406 0 0 0 0 119212 197 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82341] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82341/stat : 82341 (timeout) S 82259 82341 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74879912 2723840 352 18446744073709551615 94671122284544 94671122301057 140722387789776 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94671122315824 94671122317912 94671147094016 140722387798406 140722387798562 140722387798562 140722387804135 0
/proc/82341/statm: 665 352 352 5 0 90 0
[pid=82342] ppid=82341 vsize=851996 memory=813012 CPUtime=1067.29 cores=4,6
/proc/82342/stat : 82342 (ExactPR-S) R 82341 82341 81700 0 -1 4194304 796939 0 0 0 106570 159 0 0 20 0 1 0 74879912 872443904 203253 18446744073709551615 94078202839040 94078212139077 140733230251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94078213925184 94078213964264 94078244462592 140733230254494 140733230254631 140733230254631 140733230260204 0
/proc/82342/statm: 212999 203253 3360 2271 0 207637 0
Current children cumulated CPU time: 2261.38 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 817364 KiB

[startup+2269.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 82502
/proc/meminfo: memFree=95431620/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=1194.09 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) S 82256 82259 81700 0 -1 4194304 284 336406 0 0 0 0 119212 197 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
[pid=82341] ppid=82259 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82341/stat : 82341 (timeout) S 82259 82341 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74879912 2723840 352 18446744073709551615 94671122284544 94671122301057 140722387789776 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94671122315824 94671122317912 94671147094016 140722387798406 140722387798562 140722387798562 140722387804135 0
/proc/82341/statm: 665 352 352 5 0 90 0
[pid=82342] ppid=82341 vsize=851996 memory=813012 CPUtime=1068.1 cores=4,6
/proc/82342/stat : 82342 (ExactPR-S) R 82341 82341 81700 0 -1 4194304 796939 0 0 0 106650 160 0 0 20 0 1 0 74879912 872443904 203253 18446744073709551615 94078202839040 94078212139077 140733230251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94078213925184 94078213964264 94078244462592 140733230254494 140733230254631 140733230254631 140733230260204 0
/proc/82342/statm: 212999 203253 3360 2271 0 207637 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 817364 KiB

[startup+2270 s]*
/proc/loadavg: 4.08 4.09 4.09 4/270 82507
/proc/meminfo: memFree=96233420/131249996 swapFree=33010160/33010684
[pid=82259] ppid=82256 vsize=4324 memory=2944 CPUtime=2262.57 cores=4,6
/proc/82259/stat : 82259 (Hybrid-CASHWMax) R 82256 82259 81700 0 -1 4194304 374 1133913 0 0 0 0 225896 361 20 0 1 0 74760102 4427776 736 18446744073709551615 94856102182912 94856103077445 140732835927664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94856103316496 94856103364240 94856132308992 140732835932503 140732835932657 140732835932657 140732835938259 0
/proc/82259/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2262.57 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2270.02
CPU time (s): 2262.58
CPU user time (s): 2258.96
CPU system time (s): 3.61987
CPU usage (%): 99.6725
Max. virtual memory (cumulated for all children) (KiB): 6137720
Max. memory (cumulated for all children) (KiB): 5430420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2258.96
system time used= 3.61987
maximum resident set size= 5426068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1134501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 764
involuntary context switches= 2223


# summary of solver processes directly reported to runsolver:
#   pid: 82259
#   total CPU time (s): 2262.58
#   total CPU user time (s): 2258.96
#   total CPU system time (s): 3.61987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80958 second user time and 11.4178 second system time

The end