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: 63665 MiB (62786 MiB free)
  memory of node 1: 64507 MiB (62921 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484750-1751286460/watcher-4484750-1751286460 -o /tmp/evaluation-result-4484750-1751286460/solver-4484750-1751286460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43171 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484750-1751286460.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=44720, runsolver pid=44717

[startup+0.100061 s]*
/proc/loadavg: 4.06 4.11 4.09 5/275 44724
/proc/meminfo: memFree=128725140/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44723/stat : 44723 (timeout) S 44720 44723 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323944 2723840 320 18446744073709551615 94216607715328 94216607731841 140727760678768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94216607746608 94216607748696 94216608591872 140727760685464 140727760685602 140727760685602 140727760691175 0
/proc/44723/statm: 665 320 320 5 0 90 0
[pid=44724] ppid=44723 vsize=38620 memory=20224 CPUtime=0.08 cores=0,2
/proc/44724/stat : 44724 (CASHWMaxSAT-Dis) R 44723 44723 43154 0 -1 4194304 4402 0 0 0 8 0 0 0 20 0 1 0 44323945 39546880 5056 18446744073709551615 4198400 14093885 140732978303920 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29683712 140732978305437 140732978305563 140732978305563 140732978311136 0
/proc/44724/statm: 9655 5056 736 2416 0 6757 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 45604 KiB
Current children cumulated memory: 24576 KiB

[startup+0.205866 s]*
/proc/loadavg: 4.06 4.11 4.09 5/275 44724
/proc/meminfo: memFree=128724888/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44723/stat : 44723 (timeout) S 44720 44723 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323944 2723840 320 18446744073709551615 94216607715328 94216607731841 140727760678768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94216607746608 94216607748696 94216608591872 140727760685464 140727760685602 140727760685602 140727760691175 0
/proc/44723/statm: 665 320 320 5 0 90 0
[pid=44724] ppid=44723 vsize=58300 memory=39808 CPUtime=0.18 cores=0,2
/proc/44724/stat : 44724 (CASHWMaxSAT-Dis) R 44723 44723 43154 0 -1 4194304 9309 0 0 0 18 0 0 0 20 0 1 0 44323945 59699200 9952 18446744073709551615 4198400 14093885 140732978303920 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29683712 140732978305437 140732978305563 140732978305563 140732978311136 0
/proc/44724/statm: 14575 9952 736 2416 0 11677 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65284 KiB
Current children cumulated memory: 44160 KiB

[startup+0.305769 s]*
/proc/loadavg: 4.06 4.11 4.09 5/275 44724
/proc/meminfo: memFree=128724888/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44723/stat : 44723 (timeout) S 44720 44723 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323944 2723840 320 18446744073709551615 94216607715328 94216607731841 140727760678768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94216607746608 94216607748696 94216608591872 140727760685464 140727760685602 140727760685602 140727760691175 0
/proc/44723/statm: 665 320 320 5 0 90 0
[pid=44724] ppid=44723 vsize=76816 memory=58368 CPUtime=0.28 cores=0,2
/proc/44724/stat : 44724 (CASHWMaxSAT-Dis) R 44723 44723 43154 0 -1 4194304 13950 0 0 0 27 1 0 0 20 0 1 0 44323945 78659584 14592 18446744073709551615 4198400 14093885 140732978303920 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29683712 140732978305437 140732978305563 140732978305563 140732978311136 0
/proc/44724/statm: 19204 14592 736 2416 0 16306 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 83800 KiB
Current children cumulated memory: 62720 KiB

[startup+0.700242 s]
/proc/loadavg: 4.06 4.11 4.09 5/275 44724
/proc/meminfo: memFree=128720792/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44723/stat : 44723 (timeout) S 44720 44723 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323944 2723840 320 18446744073709551615 94216607715328 94216607731841 140727760678768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94216607746608 94216607748696 94216608591872 140727760685464 140727760685602 140727760685602 140727760691175 0
/proc/44723/statm: 665 320 320 5 0 90 0
[pid=44724] ppid=44723 vsize=94688 memory=80416 CPUtime=0.67 cores=0,2
/proc/44724/stat : 44724 (CASHWMaxSAT-Dis) R 44723 44723 43154 0 -1 4194304 19839 0 0 0 65 2 0 0 20 0 1 0 44323945 96960512 20104 18446744073709551615 4198400 14093885 140732978303920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29683712 140732978305437 140732978305563 140732978305563 140732978311136 0
/proc/44724/statm: 23672 20104 768 2416 0 20774 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 101672 KiB
Current children cumulated memory: 84768 KiB

[startup+1.50023 s]
/proc/loadavg: 4.06 4.11 4.09 5/275 44724
/proc/meminfo: memFree=128720792/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44723/stat : 44723 (timeout) S 44720 44723 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323944 2723840 320 18446744073709551615 94216607715328 94216607731841 140727760678768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94216607746608 94216607748696 94216608591872 140727760685464 140727760685602 140727760685602 140727760691175 0
/proc/44723/statm: 665 320 320 5 0 90 0
[pid=44724] ppid=44723 vsize=97052 memory=81824 CPUtime=1.47 cores=0,2
/proc/44724/stat : 44724 (CASHWMaxSAT-Dis) R 44723 44723 43154 0 -1 4194304 20179 0 0 0 144 3 0 0 20 0 1 0 44323945 99381248 20456 18446744073709551615 4198400 14093885 140732978303920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29683712 140732978305437 140732978305563 140732978305563 140732978311136 0
/proc/44724/statm: 24263 20456 768 2416 0 21365 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 104036 KiB
Current children cumulated memory: 86176 KiB

[startup+3.10556 s]
/proc/loadavg: 4.06 4.11 4.09 5/275 44724
/proc/meminfo: memFree=128721204/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44723/stat : 44723 (timeout) S 44720 44723 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323944 2723840 320 18446744073709551615 94216607715328 94216607731841 140727760678768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94216607746608 94216607748696 94216608591872 140727760685464 140727760685602 140727760685602 140727760691175 0
/proc/44723/statm: 665 320 320 5 0 90 0
[pid=44724] ppid=44723 vsize=100312 memory=85024 CPUtime=3.07 cores=0,2
/proc/44724/stat : 44724 (CASHWMaxSAT-Dis) R 44723 44723 43154 0 -1 4194304 21001 0 0 0 304 3 0 0 20 0 1 0 44323945 102719488 21256 18446744073709551615 4198400 14093885 140732978303920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29683712 140732978305437 140732978305563 140732978305563 140732978311136 0
/proc/44724/statm: 25078 21256 768 2416 0 22180 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 107296 KiB
Current children cumulated memory: 89376 KiB

[startup+6.30023 s]
/proc/loadavg: 4.06 4.11 4.09 5/275 44724
/proc/meminfo: memFree=128721204/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44723/stat : 44723 (timeout) S 44720 44723 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323944 2723840 320 18446744073709551615 94216607715328 94216607731841 140727760678768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94216607746608 94216607748696 94216608591872 140727760685464 140727760685602 140727760685602 140727760691175 0
/proc/44723/statm: 665 320 320 5 0 90 0
[pid=44724] ppid=44723 vsize=100452 memory=85920 CPUtime=6.25 cores=0,2
/proc/44724/stat : 44724 (CASHWMaxSAT-Dis) R 44723 44723 43154 0 -1 4194304 21635 0 0 0 622 3 0 0 20 0 1 0 44323945 102862848 21480 18446744073709551615 4198400 14093885 140732978303920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29683712 140732978305437 140732978305563 140732978305563 140732978311136 0
/proc/44724/statm: 25113 21480 768 2416 0 22215 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 107436 KiB
Current children cumulated memory: 90272 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.11 4.09 5/275 44725
/proc/meminfo: memFree=128712820/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44723/stat : 44723 (timeout) S 44720 44723 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323944 2723840 320 18446744073709551615 94216607715328 94216607731841 140727760678768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94216607746608 94216607748696 94216608591872 140727760685464 140727760685602 140727760685602 140727760691175 0
/proc/44723/statm: 665 320 320 5 0 90 0
[pid=44724] ppid=44723 vsize=119016 memory=103144 CPUtime=12.64 cores=0,2
/proc/44724/stat : 44724 (CASHWMaxSAT-Dis) R 44723 44723 43154 0 -1 4194304 22354 0 0 0 1260 4 0 0 20 0 1 0 44323945 121872384 25786 18446744073709551615 4198400 14093885 140732978303920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29683712 140732978305437 140732978305563 140732978305563 140732978311136 0
/proc/44724/statm: 29754 25786 768 2416 0 26856 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126000 KiB
Current children cumulated memory: 107496 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.09 5/276 44842
/proc/meminfo: memFree=128987296/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44723/stat : 44723 (timeout) S 44720 44723 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323944 2723840 320 18446744073709551615 94216607715328 94216607731841 140727760678768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94216607746608 94216607748696 94216608591872 140727760685464 140727760685602 140727760685602 140727760691175 0
/proc/44723/statm: 665 320 320 5 0 90 0
[pid=44724] ppid=44723 vsize=119016 memory=103144 CPUtime=25.38 cores=0,2
/proc/44724/stat : 44724 (CASHWMaxSAT-Dis) R 44723 44723 43154 0 -1 4194304 22365 0 0 0 2533 5 0 0 20 0 1 0 44323945 121872384 25786 18446744073709551615 4198400 14093885 140732978303920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29683712 140732978305437 140732978305563 140732978305563 140732978311136 0
/proc/44724/statm: 29754 25786 768 2416 0 26856 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 126000 KiB
Current children cumulated memory: 107496 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.11 4.09 5/276 44842
/proc/meminfo: memFree=128952360/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44723/stat : 44723 (timeout) S 44720 44723 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323944 2723840 320 18446744073709551615 94216607715328 94216607731841 140727760678768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94216607746608 94216607748696 94216608591872 140727760685464 140727760685602 140727760685602 140727760691175 0
/proc/44723/statm: 665 320 320 5 0 90 0
[pid=44724] ppid=44723 vsize=130620 memory=109820 CPUtime=50.91 cores=0,2
/proc/44724/stat : 44724 (CASHWMaxSAT-Dis) R 44723 44723 43154 0 -1 4194304 24631 0 0 0 5085 6 0 0 20 0 1 0 44323945 133754880 27455 18446744073709551615 4198400 14093885 140732978303920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29683712 140732978305437 140732978305563 140732978305563 140732978311136 0
/proc/44724/statm: 32655 27455 768 2416 0 29757 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 137604 KiB
Current children cumulated memory: 114172 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/275 44844
/proc/meminfo: memFree=128943044/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44723] ppid=44720 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44886] ppid=44720 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44886/stat : 44886 (timeout) S 44720 44886 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44413845 2723840 352 18446744073709551615 94491546103808 94491546120321 140735911041696 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94491546135088 94491546137176 94491577081856 140735911049605 140735911049762 140735911049762 140735911055335 0
/proc/44886/statm: 665 352 352 5 0 90 0
[pid=44887] ppid=44886 vsize=1444608 memory=1099528 CPUtime=2556.44 cores=0,2
/proc/44887/stat : 44887 (ExactPR-S9) R 44886 44886 43154 0 -1 4194304 267217 0 0 0 254346 1298 0 0 20 0 1 0 44413846 1479278592 274882 18446744073709551615 94266032738304 94266042038405 140721987181104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94266043824448 94266043863528 94266066309120 140721987185052 140721987185190 140721987185190 140721987190763 0
/proc/44887/statm: 361152 274882 3552 2271 0 355790 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1104008 KiB

[startup+3522.3 s]
/proc/loadavg: 3.31 3.27 3.59 4/264 45085
/proc/meminfo: memFree=125836264/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=896.52 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 282 28149 0 0 0 0 89641 11 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44886] ppid=44720 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44886/stat : 44886 (timeout) S 44720 44886 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44413845 2723840 352 18446744073709551615 94491546103808 94491546120321 140735911041696 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94491546135088 94491546137176 94491577081856 140735911049605 140735911049762 140735911049762 140735911055335 0
/proc/44886/statm: 665 352 352 5 0 90 0
[pid=44887] ppid=44886 vsize=1444608 memory=1099528 CPUtime=2616.27 cores=0,2
/proc/44887/stat : 44887 (ExactPR-S9) R 44886 44886 43154 0 -1 4194304 267326 0 0 0 260327 1300 0 0 20 0 1 0 44413846 1479278592 274882 18446744073709551615 94266032738304 94266042038405 140721987181104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94266043824448 94266043863528 94266066309120 140721987185052 140721987185190 140721987185190 140721987190763 0
/proc/44887/statm: 361152 274882 3552 2271 0 355790 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1104008 KiB

[startup+3582.3 s]
/proc/loadavg: 3.17 3.24 3.55 4/264 45087
/proc/meminfo: memFree=125834172/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=896.52 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 282 28149 0 0 0 0 89641 11 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44886] ppid=44720 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44886/stat : 44886 (timeout) S 44720 44886 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44413845 2723840 352 18446744073709551615 94491546103808 94491546120321 140735911041696 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94491546135088 94491546137176 94491577081856 140735911049605 140735911049762 140735911049762 140735911055335 0
/proc/44886/statm: 665 352 352 5 0 90 0
[pid=44887] ppid=44886 vsize=1444608 memory=1099528 CPUtime=2676.08 cores=0,2
/proc/44887/stat : 44887 (ExactPR-S9) R 44886 44886 43154 0 -1 4194304 267383 0 0 0 266308 1300 0 0 20 0 1 0 44413846 1479278592 274882 18446744073709551615 94266032738304 94266042038405 140721987181104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94266043824448 94266043863528 94266066309120 140721987185052 140721987185190 140721987185190 140721987190763 0
/proc/44887/statm: 361152 274882 3552 2271 0 355790 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1104008 KiB

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

# cumulated CPU time of all completed processes:  user=3573.2 s, system=13.1499 s

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

[startup+3584 s]*
/proc/loadavg: 3.17 3.24 3.55 4/264 45087
/proc/meminfo: memFree=125834424/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=896.52 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 282 28149 0 0 0 0 89641 11 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44886] ppid=44720 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44886/stat : 44886 (timeout) S 44720 44886 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44413845 2723840 352 18446744073709551615 94491546103808 94491546120321 140735911041696 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94491546135088 94491546137176 94491577081856 140735911049605 140735911049762 140735911049762 140735911055335 0
/proc/44886/statm: 665 352 352 5 0 90 0
[pid=44887] ppid=44886 vsize=1444608 memory=1099528 CPUtime=2677.78 cores=0,2
/proc/44887/stat : 44887 (ExactPR-S9) R 44886 44886 43154 0 -1 4194304 267383 0 0 0 266478 1300 0 0 20 0 1 0 44413846 1479278592 274882 18446744073709551615 94266032738304 94266042038405 140721987181104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94266043824448 94266043863528 94266066309120 140721987185052 140721987185190 140721987185190 140721987190763 0
/proc/44887/statm: 361152 274882 3552 2271 0 355790 0
Current children cumulated CPU time: 3574.3 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1104008 KiB

[startup+3590.4 s]
/proc/loadavg: 3.14 3.23 3.54 4/264 45087
/proc/meminfo: memFree=125823208/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=896.52 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 282 28149 0 0 0 0 89641 11 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44886] ppid=44720 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44886/stat : 44886 (timeout) S 44720 44886 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44413845 2723840 352 18446744073709551615 94491546103808 94491546120321 140735911041696 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94491546135088 94491546137176 94491577081856 140735911049605 140735911049762 140735911049762 140735911055335 0
/proc/44886/statm: 665 352 352 5 0 90 0
[pid=44887] ppid=44886 vsize=1444608 memory=1099528 CPUtime=2684.15 cores=0,2
/proc/44887/stat : 44887 (ExactPR-S9) R 44886 44886 43154 0 -1 4194304 267383 0 0 0 267115 1300 0 0 20 0 1 0 44413846 1479278592 274882 18446744073709551615 94266032738304 94266042038405 140721987181104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94266043824448 94266043863528 94266066309120 140721987185052 140721987185190 140721987185190 140721987190763 0
/proc/44887/statm: 361152 274882 3552 2271 0 355790 0
Current children cumulated CPU time: 3580.67 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1104008 KiB

[startup+3593.6 s]
/proc/loadavg: 3.14 3.23 3.54 4/264 45087
/proc/meminfo: memFree=125823208/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=896.52 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 282 28149 0 0 0 0 89641 11 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44886] ppid=44720 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44886/stat : 44886 (timeout) S 44720 44886 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44413845 2723840 352 18446744073709551615 94491546103808 94491546120321 140735911041696 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94491546135088 94491546137176 94491577081856 140735911049605 140735911049762 140735911049762 140735911055335 0
/proc/44886/statm: 665 352 352 5 0 90 0
[pid=44887] ppid=44886 vsize=1444608 memory=1099528 CPUtime=2687.34 cores=0,2
/proc/44887/stat : 44887 (ExactPR-S9) R 44886 44886 43154 0 -1 4194304 267383 0 0 0 267434 1300 0 0 20 0 1 0 44413846 1479278592 274882 18446744073709551615 94266032738304 94266042038405 140721987181104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94266043824448 94266043863528 94266066309120 140721987185052 140721987185190 140721987185190 140721987190763 0
/proc/44887/statm: 361152 274882 3552 2271 0 355790 0
Current children cumulated CPU time: 3583.86 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1104008 KiB

[startup+3595.2 s]
/proc/loadavg: 3.13 3.22 3.54 4/264 45087
/proc/meminfo: memFree=125819376/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=896.52 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 282 28149 0 0 0 0 89641 11 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44886] ppid=44720 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44886/stat : 44886 (timeout) S 44720 44886 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44413845 2723840 352 18446744073709551615 94491546103808 94491546120321 140735911041696 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94491546135088 94491546137176 94491577081856 140735911049605 140735911049762 140735911049762 140735911055335 0
/proc/44886/statm: 665 352 352 5 0 90 0
[pid=44887] ppid=44886 vsize=1444608 memory=1099528 CPUtime=2688.94 cores=0,2
/proc/44887/stat : 44887 (ExactPR-S9) R 44886 44886 43154 0 -1 4194304 267383 0 0 0 267594 1300 0 0 20 0 1 0 44413846 1479278592 274882 18446744073709551615 94266032738304 94266042038405 140721987181104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94266043824448 94266043863528 94266066309120 140721987185052 140721987185190 140721987185190 140721987190763 0
/proc/44887/statm: 361152 274882 3552 2271 0 355790 0
Current children cumulated CPU time: 3585.46 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1104008 KiB

[startup+3595.6 s]
/proc/loadavg: 3.13 3.22 3.54 4/264 45087
/proc/meminfo: memFree=125819376/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=896.52 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 282 28149 0 0 0 0 89641 11 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44886] ppid=44720 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44886/stat : 44886 (timeout) S 44720 44886 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44413845 2723840 352 18446744073709551615 94491546103808 94491546120321 140735911041696 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94491546135088 94491546137176 94491577081856 140735911049605 140735911049762 140735911049762 140735911055335 0
/proc/44886/statm: 665 352 352 5 0 90 0
[pid=44887] ppid=44886 vsize=1444608 memory=1099528 CPUtime=2689.33 cores=0,2
/proc/44887/stat : 44887 (ExactPR-S9) R 44886 44886 43154 0 -1 4194304 267383 0 0 0 267633 1300 0 0 20 0 1 0 44413846 1479278592 274882 18446744073709551615 94266032738304 94266042038405 140721987181104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94266043824448 94266043863528 94266066309120 140721987185052 140721987185190 140721987185190 140721987190763 0
/proc/44887/statm: 361152 274882 3552 2271 0 355790 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1104008 KiB

[startup+3596 s]*
/proc/loadavg: 3.13 3.22 3.54 4/264 45087
/proc/meminfo: memFree=125819376/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=896.52 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 282 28149 0 0 0 0 89641 11 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
[pid=44886] ppid=44720 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44886/stat : 44886 (timeout) S 44720 44886 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44413845 2723840 352 18446744073709551615 94491546103808 94491546120321 140735911041696 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94491546135088 94491546137176 94491577081856 140735911049605 140735911049762 140735911049762 140735911055335 0
/proc/44886/statm: 665 352 352 5 0 90 0
[pid=44887] ppid=44886 vsize=1444608 memory=1099528 CPUtime=2689.74 cores=0,2
/proc/44887/stat : 44887 (ExactPR-S9) R 44886 44886 43154 0 -1 4194304 267383 0 0 0 267674 1300 0 0 20 0 1 0 44413846 1479278592 274882 18446744073709551615 94266032738304 94266042038405 140721987181104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94266043824448 94266043863528 94266066309120 140721987185052 140721987185190 140721987185190 140721987190763 0
/proc/44887/statm: 361152 274882 3552 2271 0 355790 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1104008 KiB

[startup+3596.11 s]
/proc/loadavg: 3.13 3.22 3.54 4/264 45087
/proc/meminfo: memFree=125819376/131249996 swapFree=33010684/33010684
[pid=44720] ppid=44717 vsize=4324 memory=3072 CPUtime=3586.33 cores=0,2
/proc/44720/stat : 44720 (Hybrid-CASHWMax) S 44717 44720 43154 0 -1 4194304 538 298381 0 0 0 0 357319 1314 20 0 1 0 44323943 4427776 768 18446744073709551615 94026391105536 94026392000069 140720740976592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026392239120 94026392286864 94026404630528 140720740985173 140720740985328 140720740985328 140720740990930 0
/proc/44720/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3586.35
CPU user time (s): 3573.2
CPU system time (s): 13.1499
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 1691372
Max. memory (cumulated for all children) (KiB): 1258884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.2
system time used= 13.1499
maximum resident set size= 1254404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1973
involuntary context switches= 8132


# summary of solver processes directly reported to runsolver:
#   pid: 44720
#   total CPU time (s): 3586.35
#   total CPU user time (s): 3573.2
#   total CPU system time (s): 13.1499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50096 second user time and 16.7698 second system time

The end