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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488889-1751347616/watcher-4488889-1751347616 -o /tmp/evaluation-result-4488889-1751347616/solver-4488889-1751347616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751347616-44986 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4488889-1751347616.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=45032, runsolver pid=45026

[startup+0.10006 s]*
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130100040/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (timeout) S 45032 45044 44975 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50439177 2723840 352 18446744073709551615 93874266664960 93874266681473 140733104724832 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93874266696240 93874266698328 93874282811392 140733104728470 140733104728610 140733104728610 140733104734183 0
/proc/45044/statm: 665 352 352 5 0 90 0
[pid=45054] ppid=45044 vsize=21196 memory=7424 CPUtime=0.02 cores=4,6
/proc/45054/stat : 45054 (CASHWMaxSAT-Dis) R 45044 45044 44975 0 -1 4194304 1161 0 0 0 2 0 0 0 20 0 1 0 50439180 21704704 1856 18446744073709551615 4198400 14093885 140730192510352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40603648 140730192517532 140730192517659 140730192517659 140730192523232 0
/proc/45054/statm: 5299 1856 768 2416 0 2401 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 28180 KiB
Current children cumulated memory: 11904 KiB

[startup+0.20569 s]*
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130100296/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (timeout) S 45032 45044 44975 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50439177 2723840 352 18446744073709551615 93874266664960 93874266681473 140733104724832 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93874266696240 93874266698328 93874282811392 140733104728470 140733104728610 140733104728610 140733104734183 0
/proc/45044/statm: 665 352 352 5 0 90 0
[pid=45054] ppid=45044 vsize=21196 memory=7424 CPUtime=0.13 cores=4,6
/proc/45054/stat : 45054 (CASHWMaxSAT-Dis) R 45044 45044 44975 0 -1 4194304 1161 0 0 0 13 0 0 0 20 0 1 0 50439180 21704704 1856 18446744073709551615 4198400 14093885 140730192510352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40603648 140730192517532 140730192517659 140730192517659 140730192523232 0
/proc/45054/statm: 5299 1856 768 2416 0 2401 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28180 KiB
Current children cumulated memory: 11904 KiB

[startup+0.304858 s]*
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130096200/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (timeout) S 45032 45044 44975 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50439177 2723840 352 18446744073709551615 93874266664960 93874266681473 140733104724832 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93874266696240 93874266698328 93874282811392 140733104728470 140733104728610 140733104728610 140733104734183 0
/proc/45044/statm: 665 352 352 5 0 90 0
[pid=45054] ppid=45044 vsize=21424 memory=7552 CPUtime=0.22 cores=4,6
/proc/45054/stat : 45054 (CASHWMaxSAT-Dis) R 45044 45044 44975 0 -1 4194304 1195 0 0 0 22 0 0 0 20 0 1 0 50439180 21938176 1888 18446744073709551615 4198400 14093885 140730192510352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40603648 140730192517532 140730192517659 140730192517659 140730192523232 0
/proc/45054/statm: 5356 1888 768 2416 0 2458 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 28408 KiB
Current children cumulated memory: 12032 KiB

[startup+0.700156 s]
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130060668/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (timeout) S 45032 45044 44975 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50439177 2723840 352 18446744073709551615 93874266664960 93874266681473 140733104724832 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93874266696240 93874266698328 93874282811392 140733104728470 140733104728610 140733104728610 140733104734183 0
/proc/45044/statm: 665 352 352 5 0 90 0
[pid=45054] ppid=45044 vsize=34264 memory=19840 CPUtime=0.61 cores=4,6
/proc/45054/stat : 45054 (CASHWMaxSAT-Dis) R 45044 45044 44975 0 -1 4194304 4291 0 0 0 61 0 0 0 20 0 1 0 50439180 35086336 4960 18446744073709551615 4198400 14093885 140730192510352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40603648 140730192517532 140730192517659 140730192517659 140730192523232 0
/proc/45054/statm: 8566 4960 768 2416 0 5668 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 41248 KiB
Current children cumulated memory: 24320 KiB

[startup+1.50022 s]
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130032444/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (timeout) S 45032 45044 44975 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50439177 2723840 352 18446744073709551615 93874266664960 93874266681473 140733104724832 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93874266696240 93874266698328 93874282811392 140733104728470 140733104728610 140733104728610 140733104734183 0
/proc/45044/statm: 665 352 352 5 0 90 0
[pid=45054] ppid=45044 vsize=43316 memory=28960 CPUtime=1.41 cores=4,6
/proc/45054/stat : 45054 (CASHWMaxSAT-Dis) R 45044 45044 44975 0 -1 4194304 6060 0 0 0 140 1 0 0 20 0 1 0 50439180 44355584 7240 18446744073709551615 4198400 14093885 140730192510352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40603648 140730192517532 140730192517659 140730192517659 140730192523232 0
/proc/45054/statm: 10829 7240 768 2416 0 7931 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 50300 KiB
Current children cumulated memory: 33440 KiB

[startup+3.1055 s]
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130008656/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (timeout) S 45032 45044 44975 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50439177 2723840 352 18446744073709551615 93874266664960 93874266681473 140733104724832 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93874266696240 93874266698328 93874282811392 140733104728470 140733104728610 140733104728610 140733104734183 0
/proc/45044/statm: 665 352 352 5 0 90 0
[pid=45054] ppid=45044 vsize=47668 memory=33440 CPUtime=3.01 cores=4,6
/proc/45054/stat : 45054 (CASHWMaxSAT-Dis) R 45044 45044 44975 0 -1 4194304 7181 0 0 0 300 1 0 0 20 0 1 0 50439180 48812032 8360 18446744073709551615 4198400 14093885 140730192510352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40603648 140730192517532 140730192517659 140730192517659 140730192523232 0
/proc/45054/statm: 11917 8360 768 2416 0 9019 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 54652 KiB
Current children cumulated memory: 37920 KiB

[startup+6.30018 s]
/proc/loadavg: 2.09 2.69 3.74 5/272 45057
/proc/meminfo: memFree=129984536/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (timeout) S 45032 45044 44975 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50439177 2723840 352 18446744073709551615 93874266664960 93874266681473 140733104724832 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93874266696240 93874266698328 93874282811392 140733104728470 140733104728610 140733104728610 140733104734183 0
/proc/45044/statm: 665 352 352 5 0 90 0
[pid=45054] ppid=45044 vsize=57652 memory=41284 CPUtime=6.2 cores=4,6
/proc/45054/stat : 45054 (CASHWMaxSAT-Dis) R 45044 45044 44975 0 -1 4194304 9066 0 0 0 618 2 0 0 20 0 1 0 50439180 59035648 10321 18446744073709551615 4198400 14093885 140730192510352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40603648 140730192517532 140730192517659 140730192517659 140730192523232 0
/proc/45054/statm: 14413 10321 768 2416 0 11515 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 64636 KiB
Current children cumulated memory: 45764 KiB

[startup+12.7002 s]
/proc/loadavg: 2.25 2.71 3.74 5/272 45057
/proc/meminfo: memFree=129984544/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (timeout) S 45032 45044 44975 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50439177 2723840 352 18446744073709551615 93874266664960 93874266681473 140733104724832 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93874266696240 93874266698328 93874282811392 140733104728470 140733104728610 140733104728610 140733104734183 0
/proc/45044/statm: 665 352 352 5 0 90 0
[pid=45054] ppid=45044 vsize=57652 memory=41284 CPUtime=12.58 cores=4,6
/proc/45054/stat : 45054 (CASHWMaxSAT-Dis) R 45044 45044 44975 0 -1 4194304 9071 0 0 0 1256 2 0 0 20 0 1 0 50439180 59035648 10321 18446744073709551615 4198400 14093885 140730192510352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40603648 140730192517532 140730192517659 140730192517659 140730192523232 0
/proc/45054/statm: 14413 10321 768 2416 0 11515 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 64636 KiB
Current children cumulated memory: 45764 KiB

[startup+25.5002 s]
/proc/loadavg: 2.70 2.79 3.75 5/272 45057
/proc/meminfo: memFree=129967760/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (timeout) S 45032 45044 44975 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50439177 2723840 352 18446744073709551615 93874266664960 93874266681473 140733104724832 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93874266696240 93874266698328 93874282811392 140733104728470 140733104728610 140733104728610 140733104734183 0
/proc/45044/statm: 665 352 352 5 0 90 0
[pid=45054] ppid=45044 vsize=64824 memory=50884 CPUtime=25.35 cores=4,6
/proc/45054/stat : 45054 (CASHWMaxSAT-Dis) R 45044 45044 44975 0 -1 4194304 10473 0 0 0 2532 3 0 0 20 0 1 0 50439180 66379776 12721 18446744073709551615 4198400 14093885 140730192510352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40603648 140730192517532 140730192517659 140730192517659 140730192523232 0
/proc/45054/statm: 16206 12721 768 2416 0 13308 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 71808 KiB
Current children cumulated memory: 55364 KiB

[startup+51.1057 s]
/proc/loadavg: 3.21 2.90 3.76 5/272 45057
/proc/meminfo: memFree=129941584/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (timeout) S 45032 45044 44975 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50439177 2723840 352 18446744073709551615 93874266664960 93874266681473 140733104724832 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93874266696240 93874266698328 93874282811392 140733104728470 140733104728610 140733104728610 140733104734183 0
/proc/45044/statm: 665 352 352 5 0 90 0
[pid=45054] ppid=45044 vsize=64872 memory=50952 CPUtime=50.89 cores=4,6
/proc/45054/stat : 45054 (CASHWMaxSAT-Dis) R 45044 45044 44975 0 -1 4194304 11950 0 0 0 5086 3 0 0 20 0 1 0 50439180 66428928 12738 18446744073709551615 4198400 14093885 140730192510352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40603648 140730192517532 140730192517659 140730192517659 140730192523232 0
/proc/45054/statm: 16218 12738 768 2416 0 13320 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 71856 KiB
Current children cumulated memory: 55432 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 3.09 3.78 5/273 45062
/proc/meminfo: memFree=129931644/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45044] ppid=45032 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45113] ppid=45032 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45113/stat : 45113 (timeout) S 45032 45113 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94098007220224 94098007236737 140722164708880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94098007251504 94098007253592 94098029219840 140722164717958 140722164718114 140722164718114 140722164723687 0
/proc/45113/statm: 665 320 320 5 0 90 0
[pid=45116] ppid=45113 vsize=459280 memory=409332 CPUtime=2198.05 cores=4,6
/proc/45116/stat : 45116 (ExactPR-S) R 45113 45113 44975 0 -1 4194304 118099 0 0 0 218400 1405 0 0 20 0 1 0 50558981 470302720 102333 18446744073709551615 94716652687360 94716661987397 140721781270224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94716663773504 94716663812584 94716697174016 140721781279134 140721781279271 140721781279271 140721781284844 0
/proc/45116/statm: 114820 102333 3392 2271 0 109458 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 466264 KiB
Current children cumulated memory: 413684 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/273 45241
/proc/meminfo: memFree=128648168/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=1194.98 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 281 19299 0 0 0 0 119486 12 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45113] ppid=45032 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45113/stat : 45113 (timeout) S 45032 45113 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94098007220224 94098007236737 140722164708880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94098007251504 94098007253592 94098029219840 140722164717958 140722164718114 140722164718114 140722164723687 0
/proc/45113/statm: 665 320 320 5 0 90 0
[pid=45116] ppid=45113 vsize=459280 memory=409332 CPUtime=2257.86 cores=4,6
/proc/45116/stat : 45116 (ExactPR-S) R 45113 45113 44975 0 -1 4194304 118100 0 0 0 224358 1428 0 0 20 0 1 0 50558981 470302720 102333 18446744073709551615 94716652687360 94716661987397 140721781270224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94716663773504 94716663812584 94716697174016 140721781279134 140721781279271 140721781279271 140721781284844 0
/proc/45116/statm: 114820 102333 3392 2271 0 109458 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 466264 KiB
Current children cumulated memory: 413684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/273 45243
/proc/meminfo: memFree=128648028/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=1194.98 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 281 19299 0 0 0 0 119486 12 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45113] ppid=45032 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45113/stat : 45113 (timeout) S 45032 45113 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94098007220224 94098007236737 140722164708880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94098007251504 94098007253592 94098029219840 140722164717958 140722164718114 140722164718114 140722164723687 0
/proc/45113/statm: 665 320 320 5 0 90 0
[pid=45116] ppid=45113 vsize=459280 memory=409332 CPUtime=2317.68 cores=4,6
/proc/45116/stat : 45116 (ExactPR-S) R 45113 45113 44975 0 -1 4194304 118100 0 0 0 230318 1450 0 0 20 0 1 0 50558981 470302720 102333 18446744073709551615 94716652687360 94716661987397 140721781270224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94716663773504 94716663812584 94716697174016 140721781279134 140721781279271 140721781279271 140721781284844 0
/proc/45116/statm: 114820 102333 3392 2271 0 109458 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 466264 KiB
Current children cumulated memory: 413684 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/272 45245
/proc/meminfo: memFree=128648476/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=1194.98 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 281 19299 0 0 0 0 119486 12 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45113] ppid=45032 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45113/stat : 45113 (timeout) S 45032 45113 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94098007220224 94098007236737 140722164708880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94098007251504 94098007253592 94098029219840 140722164717958 140722164718114 140722164718114 140722164723687 0
/proc/45113/statm: 665 320 320 5 0 90 0
[pid=45116] ppid=45113 vsize=459280 memory=409332 CPUtime=2377.49 cores=4,6
/proc/45116/stat : 45116 (ExactPR-S) R 45113 45113 44975 0 -1 4194304 118103 0 0 0 236278 1471 0 0 20 0 1 0 50558981 470302720 102333 18446744073709551615 94716652687360 94716661987397 140721781270224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94716663773504 94716663812584 94716697174016 140721781279134 140721781279271 140721781279271 140721781284844 0
/proc/45116/statm: 114820 102333 3392 2271 0 109458 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 466264 KiB
Current children cumulated memory: 413684 KiB

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

# cumulated CPU time of all completed processes:  user=3571.35 s, system=14.9298 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.08 5/272 45245
/proc/meminfo: memFree=128648524/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=1194.98 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 281 19299 0 0 0 0 119486 12 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45113] ppid=45032 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45113/stat : 45113 (timeout) S 45032 45113 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94098007220224 94098007236737 140722164708880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94098007251504 94098007253592 94098029219840 140722164717958 140722164718114 140722164718114 140722164723687 0
/proc/45113/statm: 665 320 320 5 0 90 0
[pid=45116] ppid=45113 vsize=459280 memory=409332 CPUtime=2379.2 cores=4,6
/proc/45116/stat : 45116 (ExactPR-S) R 45113 45113 44975 0 -1 4194304 118103 0 0 0 236448 1472 0 0 20 0 1 0 50558981 470302720 102333 18446744073709551615 94716652687360 94716661987397 140721781270224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94716663773504 94716663812584 94716697174016 140721781279134 140721781279271 140721781279271 140721781284844 0
/proc/45116/statm: 114820 102333 3392 2271 0 109458 0
Current children cumulated CPU time: 3574.18 s
Current children cumulated vsize: 466264 KiB
Current children cumulated memory: 413684 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648524/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=1194.98 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 281 19299 0 0 0 0 119486 12 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45113] ppid=45032 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45113/stat : 45113 (timeout) S 45032 45113 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94098007220224 94098007236737 140722164708880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94098007251504 94098007253592 94098029219840 140722164717958 140722164718114 140722164718114 140722164723687 0
/proc/45113/statm: 665 320 320 5 0 90 0
[pid=45116] ppid=45113 vsize=459280 memory=409332 CPUtime=2385.57 cores=4,6
/proc/45116/stat : 45116 (ExactPR-S) R 45113 45113 44975 0 -1 4194304 118103 0 0 0 237082 1475 0 0 20 0 1 0 50558981 470302720 102333 18446744073709551615 94716652687360 94716661987397 140721781270224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94716663773504 94716663812584 94716697174016 140721781279134 140721781279271 140721781279271 140721781284844 0
/proc/45116/statm: 114820 102333 3392 2271 0 109458 0
Current children cumulated CPU time: 3580.55 s
Current children cumulated vsize: 466264 KiB
Current children cumulated memory: 413684 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648548/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=1194.98 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 281 19299 0 0 0 0 119486 12 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45113] ppid=45032 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45113/stat : 45113 (timeout) S 45032 45113 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94098007220224 94098007236737 140722164708880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94098007251504 94098007253592 94098029219840 140722164717958 140722164718114 140722164718114 140722164723687 0
/proc/45113/statm: 665 320 320 5 0 90 0
[pid=45116] ppid=45113 vsize=459280 memory=409332 CPUtime=2388.75 cores=4,6
/proc/45116/stat : 45116 (ExactPR-S) R 45113 45113 44975 0 -1 4194304 118103 0 0 0 237399 1476 0 0 20 0 1 0 50558981 470302720 102333 18446744073709551615 94716652687360 94716661987397 140721781270224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94716663773504 94716663812584 94716697174016 140721781279134 140721781279271 140721781279271 140721781284844 0
/proc/45116/statm: 114820 102333 3392 2271 0 109458 0
Current children cumulated CPU time: 3583.73 s
Current children cumulated vsize: 466264 KiB
Current children cumulated memory: 413684 KiB

[startup+3595.2 s]
/proc/loadavg: 4.06 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648548/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=1194.98 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 281 19299 0 0 0 0 119486 12 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45113] ppid=45032 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45113/stat : 45113 (timeout) S 45032 45113 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94098007220224 94098007236737 140722164708880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94098007251504 94098007253592 94098029219840 140722164717958 140722164718114 140722164718114 140722164723687 0
/proc/45113/statm: 665 320 320 5 0 90 0
[pid=45116] ppid=45113 vsize=459280 memory=409332 CPUtime=2390.36 cores=4,6
/proc/45116/stat : 45116 (ExactPR-S) R 45113 45113 44975 0 -1 4194304 118103 0 0 0 237559 1477 0 0 20 0 1 0 50558981 470302720 102333 18446744073709551615 94716652687360 94716661987397 140721781270224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94716663773504 94716663812584 94716697174016 140721781279134 140721781279271 140721781279271 140721781284844 0
/proc/45116/statm: 114820 102333 3392 2271 0 109458 0
Current children cumulated CPU time: 3585.34 s
Current children cumulated vsize: 466264 KiB
Current children cumulated memory: 413684 KiB

[startup+3596 s]*
/proc/loadavg: 4.06 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648556/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=1194.98 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 281 19299 0 0 0 0 119486 12 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
[pid=45113] ppid=45032 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45113/stat : 45113 (timeout) S 45032 45113 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94098007220224 94098007236737 140722164708880 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94098007251504 94098007253592 94098029219840 140722164717958 140722164718114 140722164718114 140722164723687 0
/proc/45113/statm: 665 320 320 5 0 90 0
[pid=45116] ppid=45113 vsize=459280 memory=409332 CPUtime=2391.16 cores=4,6
/proc/45116/stat : 45116 (ExactPR-S) R 45113 45113 44975 0 -1 4194304 118103 0 0 0 237639 1477 0 0 20 0 1 0 50558981 470302720 102333 18446744073709551615 94716652687360 94716661987397 140721781270224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94716663773504 94716663812584 94716697174016 140721781279134 140721781279271 140721781279271 140721781284844 0
/proc/45116/statm: 114820 102333 3392 2271 0 109458 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 466264 KiB
Current children cumulated memory: 413684 KiB

[startup+3596.2 s]
/proc/loadavg: 4.06 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648556/131250000 swapFree=33007332/33010684
[pid=45032] ppid=45026 vsize=4324 memory=3072 CPUtime=3586.25 cores=4,6
/proc/45032/stat : 45032 (Hybrid-CASHWMax) S 45026 45032 44975 0 -1 4194304 428 139805 0 2 0 0 357134 1491 20 0 1 0 50439172 4427776 768 18446744073709551615 94627942948864 94627943843397 140736065105648 0 0 0 2 4 65536 1 0 0 17 6 0 0 0 0 0 94627944082448 94627944130192 94627977584640 140736065112407 140736065112561 140736065112561 140736065118163 0
/proc/45032/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.27
CPU time (s): 3586.28
CPU user time (s): 3571.35
CPU system time (s): 14.9298
CPU usage (%): 99.7223
Max. virtual memory (cumulated for all children) (KiB): 468936
Max. memory (cumulated for all children) (KiB): 426812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.35
system time used= 14.9298
maximum resident set size= 428976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140923
page faults= 4
swaps= 0
block input operations= 328
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3061
involuntary context switches= 1494


# summary of solver processes directly reported to runsolver:
#   pid: 45032
#   total CPU time (s): 3586.28
#   total CPU user time (s): 3571.35
#   total CPU system time (s): 14.9298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52409 second user time and 18.0422 second system time

The end