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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488521-1751330850/watcher-4488521-1751330850 -o /tmp/evaluation-result-4488521-1751330850/solver-4488521-1751330850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751326134-42697 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4488521-1751330850.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=45150, runsolver pid=45147

[startup+0.100063 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 45154
/proc/meminfo: memFree=127173900/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45153/stat : 45153 (timeout) S 45150 45153 42686 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48707585 2723840 352 18446744073709551615 93825679409152 93825679425665 140724728502496 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93825679440432 93825679442520 93825699676160 140724728510870 140724728511010 140724728511010 140724728516583 0
/proc/45153/statm: 665 352 352 5 0 90 0
[pid=45154] ppid=45153 vsize=21312 memory=7424 CPUtime=0.07 cores=4,6
/proc/45154/stat : 45154 (CASHWMaxSAT-Dis) R 45153 45153 42686 0 -1 4194304 1164 0 0 0 7 0 0 0 20 0 1 0 48707585 21823488 1856 18446744073709551615 4198400 14093885 140730032017856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47730688 140730032023964 140730032024091 140730032024091 140730032029664 0
/proc/45154/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11776 KiB

[startup+0.205843 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 45154
/proc/meminfo: memFree=127173900/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45153/stat : 45153 (timeout) S 45150 45153 42686 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48707585 2723840 352 18446744073709551615 93825679409152 93825679425665 140724728502496 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93825679440432 93825679442520 93825699676160 140724728510870 140724728511010 140724728511010 140724728516583 0
/proc/45153/statm: 665 352 352 5 0 90 0
[pid=45154] ppid=45153 vsize=21312 memory=7424 CPUtime=0.18 cores=4,6
/proc/45154/stat : 45154 (CASHWMaxSAT-Dis) R 45153 45153 42686 0 -1 4194304 1164 0 0 0 18 0 0 0 20 0 1 0 48707585 21823488 1856 18446744073709551615 4198400 14093885 140730032017856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47730688 140730032023964 140730032024091 140730032024091 140730032029664 0
/proc/45154/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11776 KiB

[startup+0.305733 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 45154
/proc/meminfo: memFree=127173900/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45153/stat : 45153 (timeout) S 45150 45153 42686 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48707585 2723840 352 18446744073709551615 93825679409152 93825679425665 140724728502496 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93825679440432 93825679442520 93825699676160 140724728510870 140724728511010 140724728511010 140724728516583 0
/proc/45153/statm: 665 352 352 5 0 90 0
[pid=45154] ppid=45153 vsize=23292 memory=9472 CPUtime=0.28 cores=4,6
/proc/45154/stat : 45154 (CASHWMaxSAT-Dis) R 45153 45153 42686 0 -1 4194304 1690 0 0 0 28 0 0 0 20 0 1 0 48707585 23851008 2368 18446744073709551615 4198400 14093885 140730032017856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47730688 140730032023964 140730032024091 140730032024091 140730032029664 0
/proc/45154/statm: 5823 2368 768 2416 0 2925 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 30276 KiB
Current children cumulated memory: 13824 KiB

[startup+0.700265 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 45154
/proc/meminfo: memFree=127161992/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45153/stat : 45153 (timeout) S 45150 45153 42686 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48707585 2723840 352 18446744073709551615 93825679409152 93825679425665 140724728502496 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93825679440432 93825679442520 93825699676160 140724728510870 140724728511010 140724728511010 140724728516583 0
/proc/45153/statm: 665 352 352 5 0 90 0
[pid=45154] ppid=45153 vsize=37764 memory=23040 CPUtime=0.66 cores=4,6
/proc/45154/stat : 45154 (CASHWMaxSAT-Dis) R 45153 45153 42686 0 -1 4194304 5091 0 0 0 66 0 0 0 20 0 1 0 48707585 38670336 5760 18446744073709551615 4198400 14093885 140730032017856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47730688 140730032023964 140730032024091 140730032024091 140730032029664 0
/proc/45154/statm: 9441 5760 768 2416 0 6543 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 44748 KiB
Current children cumulated memory: 27392 KiB

[startup+1.50024 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 45154
/proc/meminfo: memFree=127153928/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45153/stat : 45153 (timeout) S 45150 45153 42686 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48707585 2723840 352 18446744073709551615 93825679409152 93825679425665 140724728502496 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93825679440432 93825679442520 93825699676160 140724728510870 140724728511010 140724728511010 140724728516583 0
/proc/45153/statm: 665 352 352 5 0 90 0
[pid=45154] ppid=45153 vsize=40740 memory=26616 CPUtime=1.46 cores=4,6
/proc/45154/stat : 45154 (CASHWMaxSAT-Dis) R 45153 45153 42686 0 -1 4194304 5477 0 0 0 146 0 0 0 20 0 1 0 48707585 41717760 6654 18446744073709551615 4198400 14093885 140730032017856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47730688 140730032023964 140730032024091 140730032024091 140730032029664 0
/proc/45154/statm: 10185 6654 768 2416 0 7287 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 47724 KiB
Current children cumulated memory: 30968 KiB

[startup+3.10565 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 45154
/proc/meminfo: memFree=127147932/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45153/stat : 45153 (timeout) S 45150 45153 42686 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48707585 2723840 352 18446744073709551615 93825679409152 93825679425665 140724728502496 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93825679440432 93825679442520 93825699676160 140724728510870 140724728511010 140724728511010 140724728516583 0
/proc/45153/statm: 665 352 352 5 0 90 0
[pid=45154] ppid=45153 vsize=52336 memory=33328 CPUtime=3.06 cores=4,6
/proc/45154/stat : 45154 (CASHWMaxSAT-Dis) R 45153 45153 42686 0 -1 4194304 6348 0 0 0 305 1 0 0 20 0 1 0 48707585 53592064 8332 18446744073709551615 4198400 14093885 140730032017856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47730688 140730032023964 140730032024091 140730032024091 140730032029664 0
/proc/45154/statm: 13084 8332 768 2416 0 10186 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 37680 KiB

[startup+6.30023 s]
/proc/loadavg: 4.06 4.08 4.09 6/272 45154
/proc/meminfo: memFree=127131556/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45153/stat : 45153 (timeout) S 45150 45153 42686 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48707585 2723840 352 18446744073709551615 93825679409152 93825679425665 140724728502496 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93825679440432 93825679442520 93825699676160 140724728510870 140724728511010 140724728511010 140724728516583 0
/proc/45153/statm: 665 352 352 5 0 90 0
[pid=45154] ppid=45153 vsize=52336 memory=38260 CPUtime=6.25 cores=4,6
/proc/45154/stat : 45154 (CASHWMaxSAT-Dis) R 45153 45153 42686 0 -1 4194304 6574 0 0 0 624 1 0 0 20 0 1 0 48707585 53592064 9565 18446744073709551615 4198400 14093885 140730032017856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47730688 140730032023964 140730032024091 140730032024091 140730032029664 0
/proc/45154/statm: 13084 9565 768 2416 0 10186 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 42612 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.09 4.09 5/272 45155
/proc/meminfo: memFree=127114800/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45153/stat : 45153 (timeout) S 45150 45153 42686 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48707585 2723840 352 18446744073709551615 93825679409152 93825679425665 140724728502496 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93825679440432 93825679442520 93825699676160 140724728510870 140724728511010 140724728511010 140724728516583 0
/proc/45153/statm: 665 352 352 5 0 90 0
[pid=45154] ppid=45153 vsize=52336 memory=38260 CPUtime=12.63 cores=4,6
/proc/45154/stat : 45154 (CASHWMaxSAT-Dis) R 45153 45153 42686 0 -1 4194304 6587 0 0 0 1262 1 0 0 20 0 1 0 48707585 53592064 9565 18446744073709551615 4198400 14093885 140730032017856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47730688 140730032023964 140730032024091 140730032024091 140730032029664 0
/proc/45154/statm: 13084 9565 768 2416 0 10186 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 42612 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 45155
/proc/meminfo: memFree=127075304/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45153/stat : 45153 (timeout) S 45150 45153 42686 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48707585 2723840 352 18446744073709551615 93825679409152 93825679425665 140724728502496 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93825679440432 93825679442520 93825699676160 140724728510870 140724728511010 140724728511010 140724728516583 0
/proc/45153/statm: 665 352 352 5 0 90 0
[pid=45154] ppid=45153 vsize=71056 memory=45904 CPUtime=25.4 cores=4,6
/proc/45154/stat : 45154 (CASHWMaxSAT-Dis) R 45153 45153 42686 0 -1 4194304 8729 0 0 0 2538 2 0 0 20 0 1 0 48707585 72761344 11476 18446744073709551615 4198400 14093885 140730032017856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47730688 140730032023964 140730032024091 140730032024091 140730032029664 0
/proc/45154/statm: 17764 11476 768 2416 0 14866 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 78040 KiB
Current children cumulated memory: 50256 KiB

[startup+51.1057 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 45155
/proc/meminfo: memFree=127005524/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45153/stat : 45153 (timeout) S 45150 45153 42686 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48707585 2723840 352 18446744073709551615 93825679409152 93825679425665 140724728502496 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93825679440432 93825679442520 93825699676160 140724728510870 140724728511010 140724728511010 140724728516583 0
/proc/45153/statm: 665 352 352 5 0 90 0
[pid=45154] ppid=45153 vsize=71056 memory=54748 CPUtime=50.93 cores=4,6
/proc/45154/stat : 45154 (CASHWMaxSAT-Dis) R 45153 45153 42686 0 -1 4194304 8898 0 0 0 5091 2 0 0 20 0 1 0 48707585 72761344 13687 18446744073709551615 4198400 14093885 140730032017856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47730688 140730032023964 140730032024091 140730032024091 140730032029664 0
/proc/45154/statm: 17764 13687 768 2416 0 14866 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 78040 KiB
Current children cumulated memory: 59100 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.09 7/272 45215
/proc/meminfo: memFree=127201904/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45153] ppid=45150 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45334] ppid=45150 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45334/stat : 45334 (timeout) S 45150 45334 42686 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 48827386 2723840 320 18446744073709551615 93927993057280 93927993073793 140727855968880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93927993088560 93927993090648 93928001859584 140727855970694 140727855970850 140727855970850 140727855976423 0
/proc/45334/statm: 665 320 320 5 0 90 0
[pid=45335] ppid=45334 vsize=400420 memory=385296 CPUtime=2258.33 cores=4,6
/proc/45335/stat : 45335 (ExactPR-S) R 45334 45334 42686 0 -1 4194304 124888 0 0 0 224454 1379 0 0 20 0 1 0 48827386 410030080 96324 18446744073709551615 94856947351552 94856956651589 140727145359472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94856958437696 94856958476776 94856996483072 140727145367966 140727145368103 140727145368103 140727145373676 0
/proc/45335/statm: 100105 96324 3424 2271 0 94743 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 407404 KiB
Current children cumulated memory: 389520 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/274 45499
/proc/meminfo: memFree=128707816/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=1194.4 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 284 12741 0 0 0 0 119436 4 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45334] ppid=45150 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45334/stat : 45334 (timeout) S 45150 45334 42686 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 48827386 2723840 320 18446744073709551615 93927993057280 93927993073793 140727855968880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93927993088560 93927993090648 93928001859584 140727855970694 140727855970850 140727855970850 140727855976423 0
/proc/45334/statm: 665 320 320 5 0 90 0
[pid=45335] ppid=45334 vsize=400420 memory=385296 CPUtime=2318.17 cores=4,6
/proc/45335/stat : 45335 (ExactPR-S) R 45334 45334 42686 0 -1 4194304 124888 0 0 0 230417 1400 0 0 20 0 1 0 48827386 410030080 96324 18446744073709551615 94856947351552 94856956651589 140727145359472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94856958437696 94856958476776 94856996483072 140727145367966 140727145368103 140727145368103 140727145373676 0
/proc/45335/statm: 100105 96324 3424 2271 0 94743 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 407404 KiB
Current children cumulated memory: 389520 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/272 45501
/proc/meminfo: memFree=128708332/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=1194.4 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 284 12741 0 0 0 0 119436 4 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45334] ppid=45150 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45334/stat : 45334 (timeout) S 45150 45334 42686 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 48827386 2723840 320 18446744073709551615 93927993057280 93927993073793 140727855968880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93927993088560 93927993090648 93928001859584 140727855970694 140727855970850 140727855970850 140727855976423 0
/proc/45334/statm: 665 320 320 5 0 90 0
[pid=45335] ppid=45334 vsize=400420 memory=385296 CPUtime=2378.02 cores=4,6
/proc/45335/stat : 45335 (ExactPR-S) R 45334 45334 42686 0 -1 4194304 124892 0 0 0 236382 1420 0 0 20 0 1 0 48827386 410030080 96324 18446744073709551615 94856947351552 94856956651589 140727145359472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94856958437696 94856958476776 94856996483072 140727145367966 140727145368103 140727145368103 140727145373676 0
/proc/45335/statm: 100105 96324 3424 2271 0 94743 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 407404 KiB
Current children cumulated memory: 389520 KiB

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

# cumulated CPU time of all completed processes:  user=3571.85 s, system=14.3301 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.10 4.09 5/272 45501
/proc/meminfo: memFree=128708112/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=1194.4 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 284 12741 0 0 0 0 119436 4 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45334] ppid=45150 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45334/stat : 45334 (timeout) S 45150 45334 42686 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 48827386 2723840 320 18446744073709551615 93927993057280 93927993073793 140727855968880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93927993088560 93927993090648 93928001859584 140727855970694 140727855970850 140727855970850 140727855976423 0
/proc/45334/statm: 665 320 320 5 0 90 0
[pid=45335] ppid=45334 vsize=400420 memory=385296 CPUtime=2379.73 cores=4,6
/proc/45335/stat : 45335 (ExactPR-S) R 45334 45334 42686 0 -1 4194304 124892 0 0 0 236552 1421 0 0 20 0 1 0 48827386 410030080 96324 18446744073709551615 94856947351552 94856956651589 140727145359472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94856958437696 94856958476776 94856996483072 140727145367966 140727145368103 140727145368103 140727145373676 0
/proc/45335/statm: 100105 96324 3424 2271 0 94743 0
Current children cumulated CPU time: 3574.13 s
Current children cumulated vsize: 407404 KiB
Current children cumulated memory: 389520 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 45502
/proc/meminfo: memFree=128708460/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=1194.4 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 284 12741 0 0 0 0 119436 4 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45334] ppid=45150 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45334/stat : 45334 (timeout) S 45150 45334 42686 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 48827386 2723840 320 18446744073709551615 93927993057280 93927993073793 140727855968880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93927993088560 93927993090648 93928001859584 140727855970694 140727855970850 140727855970850 140727855976423 0
/proc/45334/statm: 665 320 320 5 0 90 0
[pid=45335] ppid=45334 vsize=400420 memory=385296 CPUtime=2386.1 cores=4,6
/proc/45335/stat : 45335 (ExactPR-S) R 45334 45334 42686 0 -1 4194304 124892 0 0 0 237185 1425 0 0 20 0 1 0 48827386 410030080 96324 18446744073709551615 94856947351552 94856956651589 140727145359472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94856958437696 94856958476776 94856996483072 140727145367966 140727145368103 140727145368103 140727145373676 0
/proc/45335/statm: 100105 96324 3424 2271 0 94743 0
Current children cumulated CPU time: 3580.5 s
Current children cumulated vsize: 407404 KiB
Current children cumulated memory: 389520 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 45502
/proc/meminfo: memFree=128708412/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=1194.4 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 284 12741 0 0 0 0 119436 4 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45334] ppid=45150 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45334/stat : 45334 (timeout) S 45150 45334 42686 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 48827386 2723840 320 18446744073709551615 93927993057280 93927993073793 140727855968880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93927993088560 93927993090648 93928001859584 140727855970694 140727855970850 140727855970850 140727855976423 0
/proc/45334/statm: 665 320 320 5 0 90 0
[pid=45335] ppid=45334 vsize=400420 memory=385296 CPUtime=2389.29 cores=4,6
/proc/45335/stat : 45335 (ExactPR-S) R 45334 45334 42686 0 -1 4194304 124892 0 0 0 237504 1425 0 0 20 0 1 0 48827386 410030080 96324 18446744073709551615 94856947351552 94856956651589 140727145359472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94856958437696 94856958476776 94856996483072 140727145367966 140727145368103 140727145368103 140727145373676 0
/proc/45335/statm: 100105 96324 3424 2271 0 94743 0
Current children cumulated CPU time: 3583.69 s
Current children cumulated vsize: 407404 KiB
Current children cumulated memory: 389520 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 45502
/proc/meminfo: memFree=128708476/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=1194.4 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 284 12741 0 0 0 0 119436 4 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45334] ppid=45150 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45334/stat : 45334 (timeout) S 45150 45334 42686 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 48827386 2723840 320 18446744073709551615 93927993057280 93927993073793 140727855968880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93927993088560 93927993090648 93928001859584 140727855970694 140727855970850 140727855970850 140727855976423 0
/proc/45334/statm: 665 320 320 5 0 90 0
[pid=45335] ppid=45334 vsize=400420 memory=385296 CPUtime=2390.89 cores=4,6
/proc/45335/stat : 45335 (ExactPR-S) R 45334 45334 42686 0 -1 4194304 124892 0 0 0 237663 1426 0 0 20 0 1 0 48827386 410030080 96324 18446744073709551615 94856947351552 94856956651589 140727145359472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94856958437696 94856958476776 94856996483072 140727145367966 140727145368103 140727145368103 140727145373676 0
/proc/45335/statm: 100105 96324 3424 2271 0 94743 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 407404 KiB
Current children cumulated memory: 389520 KiB

[startup+3595.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 45502
/proc/meminfo: memFree=128708476/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=1194.4 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 284 12741 0 0 0 0 119436 4 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45334] ppid=45150 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45334/stat : 45334 (timeout) S 45150 45334 42686 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 48827386 2723840 320 18446744073709551615 93927993057280 93927993073793 140727855968880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93927993088560 93927993090648 93928001859584 140727855970694 140727855970850 140727855970850 140727855976423 0
/proc/45334/statm: 665 320 320 5 0 90 0
[pid=45335] ppid=45334 vsize=400420 memory=385296 CPUtime=2391.29 cores=4,6
/proc/45335/stat : 45335 (ExactPR-S) R 45334 45334 42686 0 -1 4194304 124892 0 0 0 237703 1426 0 0 20 0 1 0 48827386 410030080 96324 18446744073709551615 94856947351552 94856956651589 140727145359472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94856958437696 94856958476776 94856996483072 140727145367966 140727145368103 140727145368103 140727145373676 0
/proc/45335/statm: 100105 96324 3424 2271 0 94743 0
Current children cumulated CPU time: 3585.69 s
Current children cumulated vsize: 407404 KiB
Current children cumulated memory: 389520 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.11 4.09 6/272 45502
/proc/meminfo: memFree=128708476/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=1194.4 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 284 12741 0 0 0 0 119436 4 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
[pid=45334] ppid=45150 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45334/stat : 45334 (timeout) S 45150 45334 42686 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 48827386 2723840 320 18446744073709551615 93927993057280 93927993073793 140727855968880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93927993088560 93927993090648 93928001859584 140727855970694 140727855970850 140727855970850 140727855976423 0
/proc/45334/statm: 665 320 320 5 0 90 0
[pid=45335] ppid=45334 vsize=400420 memory=385296 CPUtime=2391.69 cores=4,6
/proc/45335/stat : 45335 (ExactPR-S) R 45334 45334 42686 0 -1 4194304 124892 0 0 0 237743 1426 0 0 20 0 1 0 48827386 410030080 96324 18446744073709551615 94856947351552 94856956651589 140727145359472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94856958437696 94856958476776 94856996483072 140727145367966 140727145368103 140727145368103 140727145373676 0
/proc/45335/statm: 100105 96324 3424 2271 0 94743 0
Current children cumulated CPU time: 3586.09 s
Current children cumulated vsize: 407404 KiB
Current children cumulated memory: 389520 KiB

[startup+3596.11 s]
/proc/loadavg: 4.14 4.11 4.09 6/272 45502
/proc/meminfo: memFree=128708476/131250000 swapFree=33010684/33010684
[pid=45150] ppid=45147 vsize=4324 memory=2944 CPUtime=3586.15 cores=4,6
/proc/45150/stat : 45150 (Hybrid-CASHWMax) S 45147 45150 42686 0 -1 4194304 374 138907 0 0 0 0 357184 1431 20 0 1 0 48707583 4427776 736 18446744073709551615 94853716766720 94853717661253 140730670775408 0 0 0 2 4 65536 1 0 0 17 6 0 0 0 0 0 94853717900304 94853717948048 94853733670912 140730670778711 140730670778865 140730670778865 140730670784467 0
/proc/45150/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.2
CPU time (s): 3586.18
CPU user time (s): 3571.85
CPU system time (s): 14.3301
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 537200
Max. memory (cumulated for all children) (KiB): 491472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.85
system time used= 14.3301
maximum resident set size= 487248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1931
involuntary context switches= 3054


# summary of solver processes directly reported to runsolver:
#   pid: 45150
#   total CPU time (s): 3586.18
#   total CPU user time (s): 3571.85
#   total CPU system time (s): 14.3301

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.37756 second user time and 15.554 second system time

The end