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: 63794 MiB (61765 MiB free)
  memory of node 1: 64507 MiB (50257 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521197-1751571467/watcher-4521197-1751571467 -o /tmp/evaluation-result-4521197-1751571467/solver-4521197-1751571467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751569752-85029 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4521197-1751571467.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=85545, runsolver pid=85542

[startup+0.100073 s]*
/proc/loadavg: 4.12 4.17 4.15 5/260 85549
/proc/meminfo: memFree=114707568/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85548/stat : 85548 (timeout) S 85545 85548 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72826516 2723840 352 18446744073709551615 94115649617920 94115649634433 140736733264512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94115649649200 94115649651288 94115673284608 140736733268374 140736733268514 140736733268514 140736733274087 0
/proc/85548/statm: 665 352 352 5 0 90 0
[pid=85549] ppid=85548 vsize=27308 memory=8832 CPUtime=0.07 cores=4,6
/proc/85549/stat : 85549 (CASHWMaxSAT-Dis) R 85548 85548 85018 0 -1 4194304 1570 0 0 0 7 0 0 0 20 0 1 0 72826517 27963392 2208 18446744073709551615 4198400 14093885 140730440479264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48816128 140730440485276 140730440485403 140730440485403 140730440490976 0
/proc/85549/statm: 6827 2208 736 2416 0 3929 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 34292 KiB
Current children cumulated memory: 13312 KiB

[startup+0.214259 s]*
/proc/loadavg: 4.12 4.17 4.15 5/260 85549
/proc/meminfo: memFree=114699756/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85548/stat : 85548 (timeout) S 85545 85548 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72826516 2723840 352 18446744073709551615 94115649617920 94115649634433 140736733264512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94115649649200 94115649651288 94115673284608 140736733268374 140736733268514 140736733268514 140736733274087 0
/proc/85548/statm: 665 352 352 5 0 90 0
[pid=85549] ppid=85548 vsize=34552 memory=16000 CPUtime=0.18 cores=4,6
/proc/85549/stat : 85549 (CASHWMaxSAT-Dis) R 85548 85548 85018 0 -1 4194304 3354 0 0 0 18 0 0 0 20 0 1 0 72826517 35381248 4000 18446744073709551615 4198400 14093885 140730440479264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48816128 140730440485276 140730440485403 140730440485403 140730440490976 0
/proc/85549/statm: 8638 4000 736 2416 0 5740 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41536 KiB
Current children cumulated memory: 20480 KiB

[startup+0.313765 s]*
/proc/loadavg: 4.12 4.17 4.15 5/260 85549
/proc/meminfo: memFree=114691692/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85548/stat : 85548 (timeout) S 85545 85548 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72826516 2723840 352 18446744073709551615 94115649617920 94115649634433 140736733264512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94115649649200 94115649651288 94115673284608 140736733268374 140736733268514 140736733268514 140736733274087 0
/proc/85548/statm: 665 352 352 5 0 90 0
[pid=85549] ppid=85548 vsize=41060 memory=22528 CPUtime=0.27 cores=4,6
/proc/85549/stat : 85549 (CASHWMaxSAT-Dis) R 85548 85548 85018 0 -1 4194304 4998 0 0 0 27 0 0 0 20 0 1 0 72826517 42045440 5632 18446744073709551615 4198400 14093885 140730440479264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48816128 140730440485276 140730440485403 140730440485403 140730440490976 0
/proc/85549/statm: 10265 5632 736 2416 0 7367 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 48044 KiB
Current children cumulated memory: 27008 KiB

[startup+0.700467 s]
/proc/loadavg: 4.12 4.17 4.15 5/260 85549
/proc/meminfo: memFree=114675312/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85548/stat : 85548 (timeout) S 85545 85548 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72826516 2723840 352 18446744073709551615 94115649617920 94115649634433 140736733264512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94115649649200 94115649651288 94115673284608 140736733268374 140736733268514 140736733268514 140736733274087 0
/proc/85548/statm: 665 352 352 5 0 90 0
[pid=85549] ppid=85548 vsize=68124 memory=49536 CPUtime=0.65 cores=4,6
/proc/85549/stat : 85549 (CASHWMaxSAT-Dis) R 85548 85548 85018 0 -1 4194304 11760 0 0 0 63 2 0 0 20 0 1 0 72826517 69758976 12384 18446744073709551615 4198400 14093885 140730440479264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48816128 140730440485276 140730440485403 140730440485403 140730440490976 0
/proc/85549/statm: 17031 12384 736 2416 0 14133 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 75108 KiB
Current children cumulated memory: 54016 KiB

[startup+1.50047 s]
/proc/loadavg: 4.11 4.16 4.15 5/260 85549
/proc/meminfo: memFree=114635244/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85548/stat : 85548 (timeout) S 85545 85548 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72826516 2723840 352 18446744073709551615 94115649617920 94115649634433 140736733264512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94115649649200 94115649651288 94115673284608 140736733268374 140736733268514 140736733268514 140736733274087 0
/proc/85548/statm: 665 352 352 5 0 90 0
[pid=85549] ppid=85548 vsize=150376 memory=131456 CPUtime=1.45 cores=4,6
/proc/85549/stat : 85549 (CASHWMaxSAT-Dis) R 85548 85548 85018 0 -1 4194304 32225 0 0 0 139 6 0 0 20 0 1 0 72826517 153985024 32864 18446744073709551615 4198400 14093885 140730440479264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48816128 140730440485276 140730440485403 140730440485403 140730440490976 0
/proc/85549/statm: 37594 32864 736 2416 0 34696 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 157360 KiB
Current children cumulated memory: 135936 KiB

[startup+3.11339 s]
/proc/loadavg: 4.11 4.16 4.15 5/260 85549
/proc/meminfo: memFree=114386268/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85548/stat : 85548 (timeout) S 85545 85548 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72826516 2723840 352 18446744073709551615 94115649617920 94115649634433 140736733264512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94115649649200 94115649651288 94115673284608 140736733268374 140736733268514 140736733268514 140736733274087 0
/proc/85548/statm: 665 352 352 5 0 90 0
[pid=85549] ppid=85548 vsize=349696 memory=333620 CPUtime=3.05 cores=4,6
/proc/85549/stat : 85549 (CASHWMaxSAT-Dis) R 85548 85548 85018 0 -1 4194304 83969 0 0 0 291 14 0 0 20 0 1 0 72826517 358088704 83405 18446744073709551615 4198400 14093885 140730440479264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48816128 140730440485276 140730440485403 140730440485403 140730440490976 0
/proc/85549/statm: 87424 83405 768 2416 0 84526 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 356680 KiB
Current children cumulated memory: 338100 KiB

[startup+6.30046 s]
/proc/loadavg: 4.10 4.16 4.15 5/260 85549
/proc/meminfo: memFree=114378740/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85548/stat : 85548 (timeout) S 85545 85548 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72826516 2723840 352 18446744073709551615 94115649617920 94115649634433 140736733264512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94115649649200 94115649651288 94115673284608 140736733268374 140736733268514 140736733268514 140736733274087 0
/proc/85548/statm: 665 352 352 5 0 90 0
[pid=85549] ppid=85548 vsize=347872 memory=330976 CPUtime=6.24 cores=4,6
/proc/85549/stat : 85549 (CASHWMaxSAT-Dis) R 85548 85548 85018 0 -1 4194304 84261 0 0 0 609 15 0 0 20 0 1 0 72826517 356220928 82744 18446744073709551615 4198400 14093885 140730440479264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48816128 140730440485276 140730440485403 140730440485403 140730440490976 0
/proc/85549/statm: 86968 82744 768 2416 0 84070 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 354856 KiB
Current children cumulated memory: 335456 KiB

[startup+12.7005 s]
/proc/loadavg: 4.17 4.18 4.15 5/260 85549
/proc/meminfo: memFree=114366956/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85548/stat : 85548 (timeout) S 85545 85548 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72826516 2723840 352 18446744073709551615 94115649617920 94115649634433 140736733264512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94115649649200 94115649651288 94115673284608 140736733268374 140736733268514 140736733268514 140736733274087 0
/proc/85548/statm: 665 352 352 5 0 90 0
[pid=85549] ppid=85548 vsize=348224 memory=331232 CPUtime=12.62 cores=4,6
/proc/85549/stat : 85549 (CASHWMaxSAT-Dis) R 85548 85548 85018 0 -1 4194304 84330 0 0 0 1246 16 0 0 20 0 1 0 72826517 356581376 82808 18446744073709551615 4198400 14093885 140730440479264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48816128 140730440485276 140730440485403 140730440485403 140730440490976 0
/proc/85549/statm: 87056 82808 768 2416 0 84158 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 355208 KiB
Current children cumulated memory: 335712 KiB

[startup+25.5005 s]
/proc/loadavg: 4.14 4.17 4.15 5/260 85550
/proc/meminfo: memFree=114362388/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85548/stat : 85548 (timeout) S 85545 85548 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72826516 2723840 352 18446744073709551615 94115649617920 94115649634433 140736733264512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94115649649200 94115649651288 94115673284608 140736733268374 140736733268514 140736733268514 140736733274087 0
/proc/85548/statm: 665 352 352 5 0 90 0
[pid=85549] ppid=85548 vsize=367172 memory=348072 CPUtime=25.39 cores=4,6
/proc/85549/stat : 85549 (CASHWMaxSAT-Dis) R 85548 85548 85018 0 -1 4194304 86497 0 0 0 2522 17 0 0 20 0 1 0 72826517 375984128 87018 18446744073709551615 4198400 14093885 140730440479264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48816128 140730440485276 140730440485403 140730440485403 140730440490976 0
/proc/85549/statm: 91793 87018 768 2416 0 88895 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 374156 KiB
Current children cumulated memory: 352552 KiB

[startup+51.1136 s]
/proc/loadavg: 4.09 4.15 4.15 5/260 85550
/proc/meminfo: memFree=114345400/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85548/stat : 85548 (timeout) S 85545 85548 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72826516 2723840 352 18446744073709551615 94115649617920 94115649634433 140736733264512 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94115649649200 94115649651288 94115673284608 140736733268374 140736733268514 140736733268514 140736733274087 0
/proc/85548/statm: 665 352 352 5 0 90 0
[pid=85549] ppid=85548 vsize=385848 memory=366276 CPUtime=50.92 cores=4,6
/proc/85549/stat : 85549 (CASHWMaxSAT-Dis) R 85548 85548 85018 0 -1 4194304 87729 0 0 0 5074 18 0 0 20 0 1 0 72826517 395108352 91569 18446744073709551615 4198400 14093885 140730440479264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48816128 140730440485276 140730440485403 140730440485403 140730440490976 0
/proc/85549/statm: 96462 91569 768 2416 0 93564 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 392832 KiB
Current children cumulated memory: 370756 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.14 5/261 85557
/proc/meminfo: memFree=114346624/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85548] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85614] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85614/stat : 85614 (timeout) S 85545 85614 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72946317 2723840 352 18446744073709551615 94570682146816 94570682163329 140730818446144 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94570682178096 94570682180184 94570688131072 140730818447750 140730818447906 140730818447906 140730818453479 0
/proc/85614/statm: 665 352 352 5 0 90 0
[pid=85615] ppid=85614 vsize=1426484 memory=1391556 CPUtime=2256.68 cores=4,6
/proc/85615/stat : 85615 (ExactPR-S) R 85614 85614 85018 0 -1 4194304 309995 0 0 0 225521 147 0 0 20 0 1 0 72946318 1460719616 347889 18446744073709551615 94049190944768 94049200244805 140727658464272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94049202030912 94049202069992 94049242386432 140727658465694 140727658465831 140727658465831 140727658471404 0
/proc/85615/statm: 356621 347889 3360 2271 0 351259 0
Current children cumulated CPU time: 3450.75 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1396036 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/261 86599
/proc/meminfo: memFree=108376212/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=1194.07 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 281 90965 0 0 0 0 119383 24 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85614] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85614/stat : 85614 (timeout) S 85545 85614 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72946317 2723840 352 18446744073709551615 94570682146816 94570682163329 140730818446144 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94570682178096 94570682180184 94570688131072 140730818447750 140730818447906 140730818447906 140730818453479 0
/proc/85614/statm: 665 352 352 5 0 90 0
[pid=85615] ppid=85614 vsize=1426484 memory=1392324 CPUtime=2316.52 cores=4,6
/proc/85615/stat : 85615 (ExactPR-S) R 85614 85614 85018 0 -1 4194304 310116 0 0 0 231505 147 0 0 20 0 1 0 72946318 1460719616 348081 18446744073709551615 94049190944768 94049200244805 140727658464272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94049202030912 94049202069992 94049242386432 140727658465694 140727658465831 140727658465831 140727658471404 0
/proc/85615/statm: 356621 348081 3360 2271 0 351259 0
Current children cumulated CPU time: 3510.59 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1396804 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/261 86602
/proc/meminfo: memFree=108373724/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=1194.07 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 281 90965 0 0 0 0 119383 24 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85614] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85614/stat : 85614 (timeout) S 85545 85614 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72946317 2723840 352 18446744073709551615 94570682146816 94570682163329 140730818446144 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94570682178096 94570682180184 94570688131072 140730818447750 140730818447906 140730818447906 140730818453479 0
/proc/85614/statm: 665 352 352 5 0 90 0
[pid=85615] ppid=85614 vsize=1426484 memory=1392324 CPUtime=2376.37 cores=4,6
/proc/85615/stat : 85615 (ExactPR-S) R 85614 85614 85018 0 -1 4194304 310133 0 0 0 237490 147 0 0 20 0 1 0 72946318 1460719616 348081 18446744073709551615 94049190944768 94049200244805 140727658464272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94049202030912 94049202069992 94049242386432 140727658465694 140727658465831 140727658465831 140727658471404 0
/proc/85615/statm: 356621 348081 3360 2271 0 351259 0
Current children cumulated CPU time: 3570.44 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1396804 KiB

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

# cumulated CPU time of all completed processes:  user=3582.47 s, system=1.77073 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.14 4.16 5/261 86602
/proc/meminfo: memFree=108433172/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=1194.07 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 281 90965 0 0 0 0 119383 24 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85614] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85614/stat : 85614 (timeout) S 85545 85614 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72946317 2723840 352 18446744073709551615 94570682146816 94570682163329 140730818446144 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94570682178096 94570682180184 94570688131072 140730818447750 140730818447906 140730818447906 140730818453479 0
/proc/85614/statm: 665 352 352 5 0 90 0
[pid=85615] ppid=85614 vsize=1426484 memory=1392324 CPUtime=2378.08 cores=4,6
/proc/85615/stat : 85615 (ExactPR-S) R 85614 85614 85018 0 -1 4194304 310133 0 0 0 237661 147 0 0 20 0 1 0 72946318 1460719616 348081 18446744073709551615 94049190944768 94049200244805 140727658464272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94049202030912 94049202069992 94049242386432 140727658465694 140727658465831 140727658465831 140727658471404 0
/proc/85615/statm: 356621 348081 3360 2271 0 351259 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1396804 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.13 4.16 5/261 86602
/proc/meminfo: memFree=108391268/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=1194.07 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 281 90965 0 0 0 0 119383 24 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85614] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85614/stat : 85614 (timeout) S 85545 85614 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72946317 2723840 352 18446744073709551615 94570682146816 94570682163329 140730818446144 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94570682178096 94570682180184 94570688131072 140730818447750 140730818447906 140730818447906 140730818453479 0
/proc/85614/statm: 665 352 352 5 0 90 0
[pid=85615] ppid=85614 vsize=1426484 memory=1392324 CPUtime=2384.45 cores=4,6
/proc/85615/stat : 85615 (ExactPR-S) R 85614 85614 85018 0 -1 4194304 310133 0 0 0 238298 147 0 0 20 0 1 0 72946318 1460719616 348081 18446744073709551615 94049190944768 94049200244805 140727658464272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94049202030912 94049202069992 94049242386432 140727658465694 140727658465831 140727658465831 140727658471404 0
/proc/85615/statm: 356621 348081 3360 2271 0 351259 0
Current children cumulated CPU time: 3578.52 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1396804 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.15 4.16 5/261 86602
/proc/meminfo: memFree=108347788/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=1194.07 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 281 90965 0 0 0 0 119383 24 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85614] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85614/stat : 85614 (timeout) S 85545 85614 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72946317 2723840 352 18446744073709551615 94570682146816 94570682163329 140730818446144 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94570682178096 94570682180184 94570688131072 140730818447750 140730818447906 140730818447906 140730818453479 0
/proc/85614/statm: 665 352 352 5 0 90 0
[pid=85615] ppid=85614 vsize=1426484 memory=1392324 CPUtime=2387.64 cores=4,6
/proc/85615/stat : 85615 (ExactPR-S) R 85614 85614 85018 0 -1 4194304 310133 0 0 0 238617 147 0 0 20 0 1 0 72946318 1460719616 348081 18446744073709551615 94049190944768 94049200244805 140727658464272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94049202030912 94049202069992 94049242386432 140727658465694 140727658465831 140727658465831 140727658471404 0
/proc/85615/statm: 356621 348081 3360 2271 0 351259 0
Current children cumulated CPU time: 3581.71 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1396804 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.15 4.16 5/261 86602
/proc/meminfo: memFree=107901388/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=1194.07 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 281 90965 0 0 0 0 119383 24 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85614] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85614/stat : 85614 (timeout) S 85545 85614 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72946317 2723840 352 18446744073709551615 94570682146816 94570682163329 140730818446144 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94570682178096 94570682180184 94570688131072 140730818447750 140730818447906 140730818447906 140730818453479 0
/proc/85614/statm: 665 352 352 5 0 90 0
[pid=85615] ppid=85614 vsize=1426484 memory=1392324 CPUtime=2389.24 cores=4,6
/proc/85615/stat : 85615 (ExactPR-S) R 85614 85614 85018 0 -1 4194304 310133 0 0 0 238777 147 0 0 20 0 1 0 72946318 1460719616 348081 18446744073709551615 94049190944768 94049200244805 140727658464272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94049202030912 94049202069992 94049242386432 140727658465694 140727658465831 140727658465831 140727658471404 0
/proc/85615/statm: 356621 348081 3360 2271 0 351259 0
Current children cumulated CPU time: 3583.31 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1396804 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.15 4.16 5/261 86602
/proc/meminfo: memFree=107901388/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=1194.07 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 281 90965 0 0 0 0 119383 24 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85614] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85614/stat : 85614 (timeout) S 85545 85614 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72946317 2723840 352 18446744073709551615 94570682146816 94570682163329 140730818446144 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94570682178096 94570682180184 94570688131072 140730818447750 140730818447906 140730818447906 140730818453479 0
/proc/85614/statm: 665 352 352 5 0 90 0
[pid=85615] ppid=85614 vsize=1426484 memory=1392324 CPUtime=2389.64 cores=4,6
/proc/85615/stat : 85615 (ExactPR-S) R 85614 85614 85018 0 -1 4194304 310133 0 0 0 238817 147 0 0 20 0 1 0 72946318 1460719616 348081 18446744073709551615 94049190944768 94049200244805 140727658464272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94049202030912 94049202069992 94049242386432 140727658465694 140727658465831 140727658465831 140727658471404 0
/proc/85615/statm: 356621 348081 3360 2271 0 351259 0
Current children cumulated CPU time: 3583.71 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1396804 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.15 4.16 5/261 86602
/proc/meminfo: memFree=108403360/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=1194.07 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 281 90965 0 0 0 0 119383 24 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
[pid=85614] ppid=85545 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85614/stat : 85614 (timeout) S 85545 85614 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72946317 2723840 352 18446744073709551615 94570682146816 94570682163329 140730818446144 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94570682178096 94570682180184 94570688131072 140730818447750 140730818447906 140730818447906 140730818453479 0
/proc/85614/statm: 665 352 352 5 0 90 0
[pid=85615] ppid=85614 vsize=1426484 memory=1392324 CPUtime=2390.05 cores=4,6
/proc/85615/stat : 85615 (ExactPR-S) R 85614 85614 85018 0 -1 4194304 310133 0 0 0 238858 147 0 0 20 0 1 0 72946318 1460719616 348081 18446744073709551615 94049190944768 94049200244805 140727658464272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94049202030912 94049202069992 94049242386432 140727658465694 140727658465831 140727658465831 140727658471404 0
/proc/85615/statm: 356621 348081 3360 2271 0 351259 0
Current children cumulated CPU time: 3584.12 s
Current children cumulated vsize: 1433468 KiB
Current children cumulated memory: 1396804 KiB

[startup+3596.11 s]
/proc/loadavg: 4.15 4.15 4.16 5/261 86602
/proc/meminfo: memFree=108403360/131382112 swapFree=33010160/33010684
[pid=85545] ppid=85542 vsize=4324 memory=3072 CPUtime=3584.2 cores=4,6
/proc/85545/stat : 85545 (Hybrid-CASHWMax) S 85542 85545 85018 0 -1 4194304 400 402977 0 0 0 0 358246 174 20 0 1 0 72826514 4427776 768 18446744073709551615 94005351743488 94005352638021 140723029819232 0 0 0 2 4 65536 1 0 0 17 6 0 0 0 0 0 94005352877072 94005352924816 94005359931392 140723029821783 140723029821937 140723029821937 140723029827539 0
/proc/85545/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3584.2 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.15
CPU time (s): 3584.24
CPU user time (s): 3582.47
CPU system time (s): 1.77073
CPU usage (%): 99.6689
Max. virtual memory (cumulated for all children) (KiB): 2333120
Max. memory (cumulated for all children) (KiB): 2153432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.47
system time used= 1.77073
maximum resident set size= 2148952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404677
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2023
involuntary context switches= 2033


# summary of solver processes directly reported to runsolver:
#   pid: 85545
#   total CPU time (s): 3584.24
#   total CPU user time (s): 3582.47
#   total CPU system time (s): 1.77073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3358 second user time and 39.4804 second system time

The end