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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=85629, runsolver pid=85626
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.06 4.09 4.09 5/272 85633
/proc/meminfo: memFree=128698092/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85632/stat : 85632 (timeout) S 85629 85632 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68978505 2723840 352 18446744073709551615 94352767893504 94352767910017 140729543039184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94352767924784 94352767926872 94352788324352 140729543047576 140729543047714 140729543047714 140729543053287 0
/proc/85632/statm: 665 352 352 5 0 90 0
[pid=85633] ppid=85632 vsize=26192 memory=11424 CPUtime=0.08 cores=5,7
/proc/85633/stat : 85633 (CASHWMaxSAT-Dis) R 85632 85632 82945 0 -1 4194304 2656 0 0 0 8 0 0 0 20 0 1 0 68978505 26820608 2856 18446744073709551615 4198400 14093885 140723119046080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43413504 140723119049117 140723119049243 140723119049243 140723119054816 0
/proc/85633/statm: 6548 2856 800 2416 0 3650 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33176 KiB
Current children cumulated memory: 15904 KiB

[startup+0.205741 s]*
/proc/loadavg: 4.06 4.09 4.09 5/272 85633
/proc/meminfo: memFree=128698092/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85632/stat : 85632 (timeout) S 85629 85632 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68978505 2723840 352 18446744073709551615 94352767893504 94352767910017 140729543039184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94352767924784 94352767926872 94352788324352 140729543047576 140729543047714 140729543047714 140729543053287 0
/proc/85632/statm: 665 352 352 5 0 90 0
[pid=85633] ppid=85632 vsize=28880 memory=13344 CPUtime=0.18 cores=5,7
/proc/85633/stat : 85633 (CASHWMaxSAT-Dis) R 85632 85632 82945 0 -1 4194304 3133 0 0 0 18 0 0 0 20 0 1 0 68978505 29573120 3336 18446744073709551615 4198400 14093885 140723119046080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43413504 140723119049117 140723119049243 140723119049243 140723119054816 0
/proc/85633/statm: 7220 3336 800 2416 0 4322 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35864 KiB
Current children cumulated memory: 17824 KiB

[startup+0.30565 s]*
/proc/loadavg: 4.06 4.09 4.09 5/272 85633
/proc/meminfo: memFree=128698092/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85632/stat : 85632 (timeout) S 85629 85632 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68978505 2723840 352 18446744073709551615 94352767893504 94352767910017 140729543039184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94352767924784 94352767926872 94352788324352 140729543047576 140729543047714 140729543047714 140729543053287 0
/proc/85632/statm: 665 352 352 5 0 90 0
[pid=85633] ppid=85632 vsize=35956 memory=20460 CPUtime=0.28 cores=5,7
/proc/85633/stat : 85633 (CASHWMaxSAT-Dis) R 85632 85632 82945 0 -1 4194304 3890 0 0 0 28 0 0 0 20 0 1 0 68978505 36818944 5115 18446744073709551615 4198400 14093885 140723119046080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43413504 140723119049117 140723119049243 140723119049243 140723119054816 0
/proc/85633/statm: 8989 5115 800 2416 0 6091 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42940 KiB
Current children cumulated memory: 24940 KiB

[startup+0.700189 s]
/proc/loadavg: 4.06 4.09 4.09 5/272 85633
/proc/meminfo: memFree=128698092/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85632/stat : 85632 (timeout) S 85629 85632 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68978505 2723840 352 18446744073709551615 94352767893504 94352767910017 140729543039184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94352767924784 94352767926872 94352788324352 140729543047576 140729543047714 140729543047714 140729543053287 0
/proc/85632/statm: 665 352 352 5 0 90 0
[pid=85633] ppid=85632 vsize=35592 memory=21324 CPUtime=0.67 cores=5,7
/proc/85633/stat : 85633 (CASHWMaxSAT-Dis) R 85632 85632 82945 0 -1 4194304 4095 0 0 0 67 0 0 0 20 0 1 0 68978505 36446208 5331 18446744073709551615 4198400 14093885 140723119046080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43413504 140723119049117 140723119049243 140723119049243 140723119054816 0
/proc/85633/statm: 8898 5331 800 2416 0 6000 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42576 KiB
Current children cumulated memory: 25804 KiB

[startup+1.50018 s]
/proc/loadavg: 4.06 4.09 4.09 5/272 85633
/proc/meminfo: memFree=128694248/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85632/stat : 85632 (timeout) S 85629 85632 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68978505 2723840 352 18446744073709551615 94352767893504 94352767910017 140729543039184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94352767924784 94352767926872 94352788324352 140729543047576 140729543047714 140729543047714 140729543053287 0
/proc/85632/statm: 665 352 352 5 0 90 0
[pid=85633] ppid=85632 vsize=58688 memory=40900 CPUtime=1.47 cores=5,7
/proc/85633/stat : 85633 (CASHWMaxSAT-Dis) R 85632 85632 82945 0 -1 4194304 4912 0 0 0 146 1 0 0 20 0 1 0 68978505 60096512 10225 18446744073709551615 4198400 14093885 140723119046080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43413504 140723119049117 140723119049243 140723119049243 140723119054816 0
/proc/85633/statm: 14672 10225 800 2416 0 11774 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65672 KiB
Current children cumulated memory: 45380 KiB

[startup+3.10555 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 85633
/proc/meminfo: memFree=128686168/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85632/stat : 85632 (timeout) S 85629 85632 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68978505 2723840 352 18446744073709551615 94352767893504 94352767910017 140729543039184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94352767924784 94352767926872 94352788324352 140729543047576 140729543047714 140729543047714 140729543053287 0
/proc/85632/statm: 665 352 352 5 0 90 0
[pid=85633] ppid=85632 vsize=58688 memory=43068 CPUtime=3.07 cores=5,7
/proc/85633/stat : 85633 (CASHWMaxSAT-Dis) R 85632 85632 82945 0 -1 4194304 4943 0 0 0 306 1 0 0 20 0 1 0 68978505 60096512 10767 18446744073709551615 4198400 14093885 140723119046080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43413504 140723119049117 140723119049243 140723119049243 140723119054816 0
/proc/85633/statm: 14672 10767 800 2416 0 11774 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65672 KiB
Current children cumulated memory: 47548 KiB

[startup+6.30018 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 85633
/proc/meminfo: memFree=128682640/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85632/stat : 85632 (timeout) S 85629 85632 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68978505 2723840 352 18446744073709551615 94352767893504 94352767910017 140729543039184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94352767924784 94352767926872 94352788324352 140729543047576 140729543047714 140729543047714 140729543053287 0
/proc/85632/statm: 665 352 352 5 0 90 0
[pid=85633] ppid=85632 vsize=65912 memory=44496 CPUtime=6.26 cores=5,7
/proc/85633/stat : 85633 (CASHWMaxSAT-Dis) R 85632 85632 82945 0 -1 4194304 6343 0 0 0 624 2 0 0 20 0 1 0 68978505 67493888 11124 18446744073709551615 4198400 14093885 140723119046080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43413504 140723119049117 140723119049243 140723119049243 140723119054816 0
/proc/85633/statm: 16478 11124 800 2416 0 13580 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 72896 KiB
Current children cumulated memory: 48976 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 85634
/proc/meminfo: memFree=128643980/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85632/stat : 85632 (timeout) S 85629 85632 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68978505 2723840 352 18446744073709551615 94352767893504 94352767910017 140729543039184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94352767924784 94352767926872 94352788324352 140729543047576 140729543047714 140729543047714 140729543053287 0
/proc/85632/statm: 665 352 352 5 0 90 0
[pid=85633] ppid=85632 vsize=96260 memory=78672 CPUtime=12.64 cores=5,7
/proc/85633/stat : 85633 (CASHWMaxSAT-Dis) R 85632 85632 82945 0 -1 4194304 7220 0 0 0 1261 3 0 0 20 0 1 0 68978505 98570240 19668 18446744073709551615 4198400 14093885 140723119046080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43413504 140723119049117 140723119049243 140723119049243 140723119054816 0
/proc/85633/statm: 24065 19668 800 2416 0 21167 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 103244 KiB
Current children cumulated memory: 83152 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85690
/proc/meminfo: memFree=128727604/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85632/stat : 85632 (timeout) S 85629 85632 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68978505 2723840 352 18446744073709551615 94352767893504 94352767910017 140729543039184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94352767924784 94352767926872 94352788324352 140729543047576 140729543047714 140729543047714 140729543053287 0
/proc/85632/statm: 665 352 352 5 0 90 0
[pid=85633] ppid=85632 vsize=96260 memory=81872 CPUtime=25.41 cores=5,7
/proc/85633/stat : 85633 (CASHWMaxSAT-Dis) R 85632 85632 82945 0 -1 4194304 7554 0 0 0 2538 3 0 0 20 0 1 0 68978505 98570240 20468 18446744073709551615 4198400 14093885 140723119046080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43413504 140723119049117 140723119049243 140723119049243 140723119054816 0
/proc/85633/statm: 24065 20468 800 2416 0 21167 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 103244 KiB
Current children cumulated memory: 86352 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 85690
/proc/meminfo: memFree=128639948/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85632/stat : 85632 (timeout) S 85629 85632 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68978505 2723840 352 18446744073709551615 94352767893504 94352767910017 140729543039184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94352767924784 94352767926872 94352788324352 140729543047576 140729543047714 140729543047714 140729543053287 0
/proc/85632/statm: 665 352 352 5 0 90 0
[pid=85633] ppid=85632 vsize=96260 memory=81932 CPUtime=50.95 cores=5,7
/proc/85633/stat : 85633 (CASHWMaxSAT-Dis) R 85632 85632 82945 0 -1 4194304 12317 0 0 0 5085 10 0 0 20 0 1 0 68978505 98570240 20483 18446744073709551615 4198400 14093885 140723119046080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43413504 140723119049117 140723119049243 140723119049243 140723119054816 0
/proc/85633/statm: 24065 20483 800 2416 0 21167 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 103244 KiB
Current children cumulated memory: 86412 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 85692
/proc/meminfo: memFree=128574228/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85632] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85744] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85744/stat : 85744 (timeout) S 85629 85744 82945 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69068405 2723840 352 18446744073709551615 93993426612224 93993426628737 140731915993232 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93993426643504 93993426645592 93993455853568 140731915999621 140731915999778 140731915999778 140731916005351 0
/proc/85744/statm: 665 352 352 5 0 90 0
[pid=85745] ppid=85744 vsize=525384 memory=493784 CPUtime=940.23 cores=5,7
/proc/85745/stat : 85745 (ExactPR-S9) R 85744 85744 82945 0 -1 4194304 235013 0 0 0 92633 1390 0 0 20 0 1 0 69068406 537993216 123446 18446744073709551615 94211293966336 94211303266437 140723925237328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94211305052480 94211305091560 94211340918784 140723925244316 140723925244454 140723925244454 140723925250027 0
/proc/85745/statm: 131346 123446 3392 2271 0 125984 0
Current children cumulated CPU time: 1836.54 s
Current children cumulated vsize: 532368 KiB
Current children cumulated memory: 498264 KiB

[startup+1902.3 s]
/proc/loadavg: 1.15 1.56 2.64 2/247 85918
/proc/meminfo: memFree=128698672/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=896.31 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 287 170089 0 0 0 0 89245 386 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85744] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85744/stat : 85744 (timeout) S 85629 85744 82945 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69068405 2723840 352 18446744073709551615 93993426612224 93993426628737 140731915993232 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93993426643504 93993426645592 93993455853568 140731915999621 140731915999778 140731915999778 140731916005351 0
/proc/85744/statm: 665 352 352 5 0 90 0
[pid=85745] ppid=85744 vsize=525384 memory=493784 CPUtime=1000.12 cores=5,7
/proc/85745/stat : 85745 (ExactPR-S9) R 85744 85744 82945 0 -1 4194304 235013 0 0 0 96724 3288 0 0 20 0 1 0 69068406 537993216 123446 18446744073709551615 94211293966336 94211303266437 140723925237328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94211305052480 94211305091560 94211340918784 140723925244316 140723925244454 140723925244454 140723925250027 0
/proc/85745/statm: 131346 123446 3392 2271 0 125984 0
Current children cumulated CPU time: 1896.43 s
Current children cumulated vsize: 532368 KiB
Current children cumulated memory: 498264 KiB

[startup+1962.3 s]
/proc/loadavg: 1.11 1.47 2.54 2/247 85920
/proc/meminfo: memFree=128698560/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=896.31 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 287 170089 0 0 0 0 89245 386 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85744] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85744/stat : 85744 (timeout) S 85629 85744 82945 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69068405 2723840 352 18446744073709551615 93993426612224 93993426628737 140731915993232 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93993426643504 93993426645592 93993455853568 140731915999621 140731915999778 140731915999778 140731916005351 0
/proc/85744/statm: 665 352 352 5 0 90 0
[pid=85745] ppid=85744 vsize=525384 memory=495832 CPUtime=1060.02 cores=5,7
/proc/85745/stat : 85745 (ExactPR-S9) R 85744 85744 82945 0 -1 4194304 235014 0 0 0 100811 5191 0 0 20 0 1 0 69068406 537993216 123958 18446744073709551615 94211293966336 94211303266437 140723925237328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94211305052480 94211305091560 94211340918784 140723925244316 140723925244454 140723925244454 140723925250027 0
/proc/85745/statm: 131346 123958 3392 2271 0 125984 0
Current children cumulated CPU time: 1956.33 s
Current children cumulated vsize: 532368 KiB
Current children cumulated memory: 500312 KiB

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

# cumulated CPU time of all completed processes:  user=1919.13 s, system=55.9771 s

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

[startup+1971.2 s]
/proc/loadavg: 1.09 1.45 2.52 2/247 85920
/proc/meminfo: memFree=128667504/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=896.31 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 287 170089 0 0 0 0 89245 386 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85744] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85744/stat : 85744 (timeout) S 85629 85744 82945 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69068405 2723840 352 18446744073709551615 93993426612224 93993426628737 140731915993232 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93993426643504 93993426645592 93993455853568 140731915999621 140731915999778 140731915999778 140731916005351 0
/proc/85744/statm: 665 352 352 5 0 90 0
[pid=85745] ppid=85744 vsize=560972 memory=531936 CPUtime=1068.9 cores=5,7
/proc/85745/stat : 85745 (ExactPR-S9) R 85744 85744 82945 0 -1 4194304 235944 0 0 0 101690 5200 0 0 20 0 1 0 69068406 574435328 132984 18446744073709551615 94211293966336 94211303266437 140723925237328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94211305052480 94211305091560 94211340918784 140723925244316 140723925244454 140723925244454 140723925250027 0
/proc/85745/statm: 140243 132984 3424 2271 0 134881 0
Current children cumulated CPU time: 1965.21 s
Current children cumulated vsize: 567956 KiB
Current children cumulated memory: 536416 KiB

[startup+1977.6 s]
/proc/loadavg: 1.09 1.45 2.52 2/247 85920
/proc/meminfo: memFree=128663408/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=896.31 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 287 170089 0 0 0 0 89245 386 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85744] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85744/stat : 85744 (timeout) S 85629 85744 82945 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69068405 2723840 352 18446744073709551615 93993426612224 93993426628737 140731915993232 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93993426643504 93993426645592 93993455853568 140731915999621 140731915999778 140731915999778 140731916005351 0
/proc/85744/statm: 665 352 352 5 0 90 0
[pid=85745] ppid=85744 vsize=560972 memory=533984 CPUtime=1075.28 cores=5,7
/proc/85745/stat : 85745 (ExactPR-S9) R 85744 85744 82945 0 -1 4194304 235945 0 0 0 102322 5206 0 0 20 0 1 0 69068406 574435328 133496 18446744073709551615 94211293966336 94211303266437 140723925237328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94211305052480 94211305091560 94211340918784 140723925244316 140723925244454 140723925244454 140723925250027 0
/proc/85745/statm: 140243 133496 3424 2271 0 134881 0
Current children cumulated CPU time: 1971.59 s
Current children cumulated vsize: 567956 KiB
Current children cumulated memory: 538464 KiB

[startup+1979.2 s]
/proc/loadavg: 1.08 1.44 2.51 2/247 85921
/proc/meminfo: memFree=128663408/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=896.31 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 287 170089 0 0 0 0 89245 386 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85744] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85744/stat : 85744 (timeout) S 85629 85744 82945 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69068405 2723840 352 18446744073709551615 93993426612224 93993426628737 140731915993232 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93993426643504 93993426645592 93993455853568 140731915999621 140731915999778 140731915999778 140731916005351 0
/proc/85744/statm: 665 352 352 5 0 90 0
[pid=85745] ppid=85744 vsize=560972 memory=533984 CPUtime=1076.88 cores=5,7
/proc/85745/stat : 85745 (ExactPR-S9) R 85744 85744 82945 0 -1 4194304 235945 0 0 0 102480 5208 0 0 20 0 1 0 69068406 574435328 133496 18446744073709551615 94211293966336 94211303266437 140723925237328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94211305052480 94211305091560 94211340918784 140723925244316 140723925244454 140723925244454 140723925250027 0
/proc/85745/statm: 140243 133496 3424 2271 0 134881 0
Current children cumulated CPU time: 1973.19 s
Current children cumulated vsize: 567956 KiB
Current children cumulated memory: 538464 KiB

[startup+1980 s]*
/proc/loadavg: 1.08 1.44 2.51 2/247 85921
/proc/meminfo: memFree=128663408/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=896.31 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 287 170089 0 0 0 0 89245 386 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85744] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85744/stat : 85744 (timeout) S 85629 85744 82945 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69068405 2723840 352 18446744073709551615 93993426612224 93993426628737 140731915993232 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93993426643504 93993426645592 93993455853568 140731915999621 140731915999778 140731915999778 140731916005351 0
/proc/85744/statm: 665 352 352 5 0 90 0
[pid=85745] ppid=85744 vsize=560972 memory=533984 CPUtime=1077.68 cores=5,7
/proc/85745/stat : 85745 (ExactPR-S9) R 85744 85744 82945 0 -1 4194304 235945 0 0 0 102560 5208 0 0 20 0 1 0 69068406 574435328 133496 18446744073709551615 94211293966336 94211303266437 140723925237328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94211305052480 94211305091560 94211340918784 140723925244316 140723925244454 140723925244454 140723925250027 0
/proc/85745/statm: 140243 133496 3424 2271 0 134881 0
Current children cumulated CPU time: 1973.99 s
Current children cumulated vsize: 567956 KiB
Current children cumulated memory: 538464 KiB

[startup+1980.8 s]
/proc/loadavg: 1.08 1.44 2.51 2/247 85921
/proc/meminfo: memFree=128663408/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=896.31 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 287 170089 0 0 0 0 89245 386 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85744] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85744/stat : 85744 (timeout) S 85629 85744 82945 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69068405 2723840 352 18446744073709551615 93993426612224 93993426628737 140731915993232 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93993426643504 93993426645592 93993455853568 140731915999621 140731915999778 140731915999778 140731916005351 0
/proc/85744/statm: 665 352 352 5 0 90 0
[pid=85745] ppid=85744 vsize=560972 memory=533984 CPUtime=1078.47 cores=5,7
/proc/85745/stat : 85745 (ExactPR-S9) R 85744 85744 82945 0 -1 4194304 235945 0 0 0 102638 5209 0 0 20 0 1 0 69068406 574435328 133496 18446744073709551615 94211293966336 94211303266437 140723925237328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94211305052480 94211305091560 94211340918784 140723925244316 140723925244454 140723925244454 140723925250027 0
/proc/85745/statm: 140243 133496 3424 2271 0 134881 0
Current children cumulated CPU time: 1974.78 s
Current children cumulated vsize: 567956 KiB
Current children cumulated memory: 538464 KiB

[startup+1981 s]*
/proc/loadavg: 1.08 1.44 2.51 2/247 85921
/proc/meminfo: memFree=128663408/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=896.31 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) S 85626 85629 82945 0 -1 4194304 287 170089 0 0 0 0 89245 386 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
[pid=85744] ppid=85629 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85744/stat : 85744 (timeout) S 85629 85744 82945 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69068405 2723840 352 18446744073709551615 93993426612224 93993426628737 140731915993232 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93993426643504 93993426645592 93993455853568 140731915999621 140731915999778 140731915999778 140731916005351 0
/proc/85744/statm: 665 352 352 5 0 90 0
[pid=85745] ppid=85744 vsize=560972 memory=533984 CPUtime=1078.68 cores=5,7
/proc/85745/stat : 85745 (ExactPR-S9) R 85744 85744 82945 0 -1 4194304 235945 0 0 0 102659 5209 0 0 20 0 1 0 69068406 574435328 133496 18446744073709551615 94211293966336 94211303266437 140723925237328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94211305052480 94211305091560 94211340918784 140723925244316 140723925244454 140723925244454 140723925250027 0
/proc/85745/statm: 140243 133496 3424 2271 0 134881 0
Current children cumulated CPU time: 1974.99 s
Current children cumulated vsize: 567956 KiB
Current children cumulated memory: 538464 KiB

[startup+1981.1 s]
/proc/loadavg: 1.08 1.44 2.51 2/247 85921
/proc/meminfo: memFree=128663408/131249992 swapFree=33010160/33010684
[pid=85629] ppid=85626 vsize=4324 memory=3072 CPUtime=1975.08 cores=5,7
/proc/85629/stat : 85629 (Hybrid-CASHWMax) D 85626 85629 82945 0 -1 4456448 328 406517 0 0 0 0 191912 5596 20 0 1 0 68978503 4427776 768 18446744073709551615 94057987821568 94057988716101 140727186160304 0 0 0 0 4 65536 1 0 0 17 7 0 0 0 0 0 94057988955152 94057989002896 94058022109184 140727186168149 140727186168304 140727186168304 140727186173906 0
/proc/85629/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1975.08 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 1981.12
CPU time (s): 1975.11
CPU user time (s): 1919.13
CPU system time (s): 55.9771
CPU usage (%): 99.6963
Max. virtual memory (cumulated for all children) (KiB): 978812
Max. memory (cumulated for all children) (KiB): 940012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1919.13
system time used= 55.9771
maximum resident set size= 935532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 897
involuntary context switches= 1871


# summary of solver processes directly reported to runsolver:
#   pid: 85629
#   total CPU time (s): 1975.11
#   total CPU user time (s): 1919.13
#   total CPU system time (s): 55.9771

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64556 second user time and 8.32866 second system time

The end