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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488843-1751347616/watcher-4488843-1751347616 -o /tmp/evaluation-result-4488843-1751347616/solver-4488843-1751347616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751347616-44988 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4488843-1751347616.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=45041, runsolver pid=45028
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130100296/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45051/stat : 45051 (timeout) S 45041 45051 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50439179 2723840 352 18446744073709551615 94011198554112 94011198570625 140729906801280 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94011198585392 94011198587480 94011208892416 140729906805142 140729906805282 140729906805282 140729906810855 0
/proc/45051/statm: 665 352 352 5 0 90 0
[pid=45055] ppid=45051 vsize=21312 memory=7424 CPUtime=0.05 cores=5,7
/proc/45055/stat : 45055 (CASHWMaxSAT-Dis) R 45051 45051 44975 0 -1 4194304 1161 0 0 0 5 0 0 0 20 0 1 0 50439180 21823488 1856 18446744073709551615 4198400 14093885 140729405854112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50888704 140729405860252 140729405860379 140729405860379 140729405865952 0
/proc/45055/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11904 KiB

[startup+0.205535 s]*
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130096200/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45051/stat : 45051 (timeout) S 45041 45051 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50439179 2723840 352 18446744073709551615 94011198554112 94011198570625 140729906801280 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94011198585392 94011198587480 94011208892416 140729906805142 140729906805282 140729906805282 140729906810855 0
/proc/45051/statm: 665 352 352 5 0 90 0
[pid=45055] ppid=45051 vsize=21312 memory=7424 CPUtime=0.15 cores=5,7
/proc/45055/stat : 45055 (CASHWMaxSAT-Dis) R 45051 45051 44975 0 -1 4194304 1161 0 0 0 15 0 0 0 20 0 1 0 50439180 21823488 1856 18446744073709551615 4198400 14093885 140729405854112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50888704 140729405860252 140729405860379 140729405860379 140729405865952 0
/proc/45055/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11904 KiB

[startup+0.305546 s]*
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130096200/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45051/stat : 45051 (timeout) S 45041 45051 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50439179 2723840 352 18446744073709551615 94011198554112 94011198570625 140729906801280 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94011198585392 94011198587480 94011208892416 140729906805142 140729906805282 140729906805282 140729906810855 0
/proc/45051/statm: 665 352 352 5 0 90 0
[pid=45055] ppid=45051 vsize=21840 memory=7936 CPUtime=0.25 cores=5,7
/proc/45055/stat : 45055 (CASHWMaxSAT-Dis) R 45051 45051 44975 0 -1 4194304 1303 0 0 0 25 0 0 0 20 0 1 0 50439180 22364160 1984 18446744073709551615 4198400 14093885 140729405854112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50888704 140729405860252 140729405860379 140729405860379 140729405865952 0
/proc/45055/statm: 5460 1984 768 2416 0 2562 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 28824 KiB
Current children cumulated memory: 12416 KiB

[startup+0.700182 s]
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130056636/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45051/stat : 45051 (timeout) S 45041 45051 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50439179 2723840 352 18446744073709551615 94011198554112 94011198570625 140729906801280 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94011198585392 94011198587480 94011208892416 140729906805142 140729906805282 140729906805282 140729906810855 0
/proc/45051/statm: 665 352 352 5 0 90 0
[pid=45055] ppid=45051 vsize=34348 memory=20096 CPUtime=0.64 cores=5,7
/proc/45055/stat : 45055 (CASHWMaxSAT-Dis) R 45051 45051 44975 0 -1 4194304 4355 0 0 0 63 1 0 0 20 0 1 0 50439180 35172352 5024 18446744073709551615 4198400 14093885 140729405854112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50888704 140729405860252 140729405860379 140729405860379 140729405865952 0
/proc/45055/statm: 8587 5024 768 2416 0 5689 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 41332 KiB
Current children cumulated memory: 24576 KiB

[startup+1.50016 s]
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130032444/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45051/stat : 45051 (timeout) S 45041 45051 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50439179 2723840 352 18446744073709551615 94011198554112 94011198570625 140729906801280 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94011198585392 94011198587480 94011208892416 140729906805142 140729906805282 140729906805282 140729906810855 0
/proc/45051/statm: 665 352 352 5 0 90 0
[pid=45055] ppid=45051 vsize=44708 memory=28704 CPUtime=1.44 cores=5,7
/proc/45055/stat : 45055 (CASHWMaxSAT-Dis) R 45051 45051 44975 0 -1 4194304 6000 0 0 0 143 1 0 0 20 0 1 0 50439180 45780992 7176 18446744073709551615 4198400 14093885 140729405854112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50888704 140729405860252 140729405860379 140729405860379 140729405865952 0
/proc/45055/statm: 11177 7176 768 2416 0 8279 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 51692 KiB
Current children cumulated memory: 33184 KiB

[startup+3.10554 s]
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130008656/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45051/stat : 45051 (timeout) S 45041 45051 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50439179 2723840 352 18446744073709551615 94011198554112 94011198570625 140729906801280 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94011198585392 94011198587480 94011208892416 140729906805142 140729906805282 140729906805282 140729906810855 0
/proc/45051/statm: 665 352 352 5 0 90 0
[pid=45055] ppid=45051 vsize=53456 memory=38132 CPUtime=3.03 cores=5,7
/proc/45055/stat : 45055 (CASHWMaxSAT-Dis) R 45051 45051 44975 0 -1 4194304 7320 0 0 0 302 1 0 0 20 0 1 0 50439180 54738944 9533 18446744073709551615 4198400 14093885 140729405854112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50888704 140729405860252 140729405860379 140729405860379 140729405865952 0
/proc/45055/statm: 13364 9533 768 2416 0 10466 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 60440 KiB
Current children cumulated memory: 42612 KiB

[startup+6.3002 s]
/proc/loadavg: 2.09 2.69 3.74 5/272 45057
/proc/meminfo: memFree=129984536/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45051/stat : 45051 (timeout) S 45041 45051 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50439179 2723840 352 18446744073709551615 94011198554112 94011198570625 140729906801280 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94011198585392 94011198587480 94011208892416 140729906805142 140729906805282 140729906805282 140729906810855 0
/proc/45051/statm: 665 352 352 5 0 90 0
[pid=45055] ppid=45051 vsize=54148 memory=39420 CPUtime=6.23 cores=5,7
/proc/45055/stat : 45055 (CASHWMaxSAT-Dis) R 45051 45051 44975 0 -1 4194304 8092 0 0 0 621 2 0 0 20 0 1 0 50439180 55447552 9855 18446744073709551615 4198400 14093885 140729405854112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50888704 140729405860252 140729405860379 140729405860379 140729405865952 0
/proc/45055/statm: 13537 9855 768 2416 0 10639 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 61132 KiB
Current children cumulated memory: 43900 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=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45051/stat : 45051 (timeout) S 45041 45051 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50439179 2723840 352 18446744073709551615 94011198554112 94011198570625 140729906801280 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94011198585392 94011198587480 94011208892416 140729906805142 140729906805282 140729906805282 140729906810855 0
/proc/45051/statm: 665 352 352 5 0 90 0
[pid=45055] ppid=45051 vsize=54148 memory=39420 CPUtime=12.61 cores=5,7
/proc/45055/stat : 45055 (CASHWMaxSAT-Dis) R 45051 45051 44975 0 -1 4194304 8099 0 0 0 1259 2 0 0 20 0 1 0 50439180 55447552 9855 18446744073709551615 4198400 14093885 140729405854112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50888704 140729405860252 140729405860379 140729405860379 140729405865952 0
/proc/45055/statm: 13537 9855 768 2416 0 10639 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 61132 KiB
Current children cumulated memory: 43900 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=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45051/stat : 45051 (timeout) S 45041 45051 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50439179 2723840 352 18446744073709551615 94011198554112 94011198570625 140729906801280 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94011198585392 94011198587480 94011208892416 140729906805142 140729906805282 140729906805282 140729906810855 0
/proc/45051/statm: 665 352 352 5 0 90 0
[pid=45055] ppid=45051 vsize=54148 memory=39420 CPUtime=25.37 cores=5,7
/proc/45055/stat : 45055 (CASHWMaxSAT-Dis) R 45051 45051 44975 0 -1 4194304 8102 0 0 0 2535 2 0 0 20 0 1 0 50439180 55447552 9855 18446744073709551615 4198400 14093885 140729405854112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50888704 140729405860252 140729405860379 140729405860379 140729405865952 0
/proc/45055/statm: 13537 9855 768 2416 0 10639 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 61132 KiB
Current children cumulated memory: 43900 KiB

[startup+51.1056 s]
/proc/loadavg: 3.21 2.90 3.76 5/272 45057
/proc/meminfo: memFree=129941584/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45051/stat : 45051 (timeout) S 45041 45051 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50439179 2723840 352 18446744073709551615 94011198554112 94011198570625 140729906801280 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94011198585392 94011198587480 94011208892416 140729906805142 140729906805282 140729906805282 140729906810855 0
/proc/45051/statm: 665 352 352 5 0 90 0
[pid=45055] ppid=45051 vsize=61288 memory=47200 CPUtime=50.9 cores=5,7
/proc/45055/stat : 45055 (CASHWMaxSAT-Dis) R 45051 45051 44975 0 -1 4194304 9528 0 0 0 5088 2 0 0 20 0 1 0 50439180 62758912 11800 18446744073709551615 4198400 14093885 140729405854112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50888704 140729405860252 140729405860379 140729405860379 140729405865952 0
/proc/45055/statm: 15322 11800 768 2416 0 12424 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 68272 KiB
Current children cumulated memory: 51680 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=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45051] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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


[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/273 45241
/proc/meminfo: memFree=128648168/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=1194.76 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 283 13291 0 0 0 0 119470 6 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45114] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45114/stat : 45114 (timeout) S 45041 45114 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 352 18446744073709551615 94603025240064 94603025256577 140724468339600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603025271344 94603025273432 94603033366528 140724468341126 140724468341282 140724468341282 140724468346855 0
/proc/45114/statm: 665 352 352 5 0 90 0
[pid=45117] ppid=45114 vsize=392888 memory=373172 CPUtime=2258.25 cores=5,7
/proc/45117/stat : 45117 (ExactPR-S) R 45114 45114 44975 0 -1 4194304 95755 0 0 0 224409 1416 0 0 20 0 1 0 50558981 402317312 93293 18446744073709551615 93960607891456 93960617191493 140736508403344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93960618977600 93960619016680 93960657559552 140736508406174 140736508406311 140736508406311 140736508411884 0
/proc/45117/statm: 98222 93293 3392 2271 0 92860 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 377652 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=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=1194.76 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 283 13291 0 0 0 0 119470 6 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45114] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45114/stat : 45114 (timeout) S 45041 45114 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 352 18446744073709551615 94603025240064 94603025256577 140724468339600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603025271344 94603025273432 94603033366528 140724468341126 140724468341282 140724468341282 140724468346855 0
/proc/45114/statm: 665 352 352 5 0 90 0
[pid=45117] ppid=45114 vsize=392888 memory=373172 CPUtime=2318.1 cores=5,7
/proc/45117/stat : 45117 (ExactPR-S) R 45114 45114 44975 0 -1 4194304 95755 0 0 0 230371 1439 0 0 20 0 1 0 50558981 402317312 93293 18446744073709551615 93960607891456 93960617191493 140736508403344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93960618977600 93960619016680 93960657559552 140736508406174 140736508406311 140736508406311 140736508411884 0
/proc/45117/statm: 98222 93293 3392 2271 0 92860 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 377652 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=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=1194.76 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 283 13291 0 0 0 0 119470 6 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45114] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45114/stat : 45114 (timeout) S 45041 45114 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 352 18446744073709551615 94603025240064 94603025256577 140724468339600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603025271344 94603025273432 94603033366528 140724468341126 140724468341282 140724468341282 140724468346855 0
/proc/45114/statm: 665 352 352 5 0 90 0
[pid=45117] ppid=45114 vsize=392888 memory=373172 CPUtime=2377.94 cores=5,7
/proc/45117/stat : 45117 (ExactPR-S) R 45114 45114 44975 0 -1 4194304 95756 0 0 0 236335 1459 0 0 20 0 1 0 50558981 402317312 93293 18446744073709551615 93960607891456 93960617191493 140736508403344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93960618977600 93960619016680 93960657559552 140736508406174 140736508406311 140736508406311 140736508411884 0
/proc/45117/statm: 98222 93293 3392 2271 0 92860 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 377652 KiB

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

# cumulated CPU time of all completed processes:  user=3571.85 s, system=14.7434 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=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=1194.76 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 283 13291 0 0 0 0 119470 6 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45114] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45114/stat : 45114 (timeout) S 45041 45114 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 352 18446744073709551615 94603025240064 94603025256577 140724468339600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603025271344 94603025273432 94603033366528 140724468341126 140724468341282 140724468341282 140724468346855 0
/proc/45114/statm: 665 352 352 5 0 90 0
[pid=45117] ppid=45114 vsize=392888 memory=373172 CPUtime=2379.64 cores=5,7
/proc/45117/stat : 45117 (ExactPR-S) R 45114 45114 44975 0 -1 4194304 95756 0 0 0 236505 1459 0 0 20 0 1 0 50558981 402317312 93293 18446744073709551615 93960607891456 93960617191493 140736508403344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93960618977600 93960619016680 93960657559552 140736508406174 140736508406311 140736508406311 140736508411884 0
/proc/45117/statm: 98222 93293 3392 2271 0 92860 0
Current children cumulated CPU time: 3574.4 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 377652 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=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=1194.76 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 283 13291 0 0 0 0 119470 6 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45114] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45114/stat : 45114 (timeout) S 45041 45114 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 352 18446744073709551615 94603025240064 94603025256577 140724468339600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603025271344 94603025273432 94603033366528 140724468341126 140724468341282 140724468341282 140724468346855 0
/proc/45114/statm: 665 352 352 5 0 90 0
[pid=45117] ppid=45114 vsize=392888 memory=373172 CPUtime=2386.01 cores=5,7
/proc/45117/stat : 45117 (ExactPR-S) R 45114 45114 44975 0 -1 4194304 95757 0 0 0 237140 1461 0 0 20 0 1 0 50558981 402317312 93293 18446744073709551615 93960607891456 93960617191493 140736508403344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93960618977600 93960619016680 93960657559552 140736508406174 140736508406311 140736508406311 140736508411884 0
/proc/45117/statm: 98222 93293 3392 2271 0 92860 0
Current children cumulated CPU time: 3580.77 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 377652 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=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=1194.76 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 283 13291 0 0 0 0 119470 6 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45114] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45114/stat : 45114 (timeout) S 45041 45114 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 352 18446744073709551615 94603025240064 94603025256577 140724468339600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603025271344 94603025273432 94603033366528 140724468341126 140724468341282 140724468341282 140724468346855 0
/proc/45114/statm: 665 352 352 5 0 90 0
[pid=45117] ppid=45114 vsize=392888 memory=373172 CPUtime=2389.21 cores=5,7
/proc/45117/stat : 45117 (ExactPR-S) R 45114 45114 44975 0 -1 4194304 95757 0 0 0 237458 1463 0 0 20 0 1 0 50558981 402317312 93293 18446744073709551615 93960607891456 93960617191493 140736508403344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93960618977600 93960619016680 93960657559552 140736508406174 140736508406311 140736508406311 140736508411884 0
/proc/45117/statm: 98222 93293 3392 2271 0 92860 0
Current children cumulated CPU time: 3583.97 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 377652 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=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=1194.76 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 283 13291 0 0 0 0 119470 6 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45114] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45114/stat : 45114 (timeout) S 45041 45114 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 352 18446744073709551615 94603025240064 94603025256577 140724468339600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603025271344 94603025273432 94603033366528 140724468341126 140724468341282 140724468341282 140724468346855 0
/proc/45114/statm: 665 352 352 5 0 90 0
[pid=45117] ppid=45114 vsize=392888 memory=373172 CPUtime=2390.8 cores=5,7
/proc/45117/stat : 45117 (ExactPR-S) R 45114 45114 44975 0 -1 4194304 95757 0 0 0 237617 1463 0 0 20 0 1 0 50558981 402317312 93293 18446744073709551615 93960607891456 93960617191493 140736508403344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93960618977600 93960619016680 93960657559552 140736508406174 140736508406311 140736508406311 140736508411884 0
/proc/45117/statm: 98222 93293 3392 2271 0 92860 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 377652 KiB

[startup+3596 s]*
/proc/loadavg: 4.06 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648556/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=1194.76 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 283 13291 0 0 0 0 119470 6 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
[pid=45114] ppid=45041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/45114/stat : 45114 (timeout) S 45041 45114 44975 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 352 18446744073709551615 94603025240064 94603025256577 140724468339600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603025271344 94603025273432 94603033366528 140724468341126 140724468341282 140724468341282 140724468346855 0
/proc/45114/statm: 665 352 352 5 0 90 0
[pid=45117] ppid=45114 vsize=392888 memory=373172 CPUtime=2391.61 cores=5,7
/proc/45117/stat : 45117 (ExactPR-S) R 45114 45114 44975 0 -1 4194304 95757 0 0 0 237697 1464 0 0 20 0 1 0 50558981 402317312 93293 18446744073709551615 93960607891456 93960617191493 140736508403344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93960618977600 93960619016680 93960657559552 140736508406174 140736508406311 140736508406311 140736508411884 0
/proc/45117/statm: 98222 93293 3392 2271 0 92860 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 399872 KiB
Current children cumulated memory: 377652 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=45041] ppid=45028 vsize=4324 memory=3072 CPUtime=3586.55 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 340 109756 0 0 0 0 357184 1471 20 0 1 0 50439175 4427776 768 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

[startup+3596.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648556/131250000 swapFree=33007332/33010684
[pid=45041] ppid=45028 vsize=4324 memory=3200 CPUtime=3586.57 cores=5,7
/proc/45041/stat : 45041 (Hybrid-CASHWMax) S 45028 45041 44975 0 -1 4194304 533 111974 0 0 0 0 357184 1473 20 0 1 0 50439175 4427776 800 18446744073709551615 94183106609152 94183107503685 140724643656576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94183107742736 94183107790480 94183132065792 140724643662167 140724643662321 140724643662321 140724643667923 0
/proc/45041/statm: 1081 800 704 219 0 143 0
Current children cumulated CPU time: 3586.57 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3200 KiB

Child status: 0

Real time (s): 3596.3
CPU time (s): 3586.59
CPU user time (s): 3571.85
CPU system time (s): 14.7434
CPU usage (%): 99.7301
Max. virtual memory (cumulated for all children) (KiB): 447364
Max. memory (cumulated for all children) (KiB): 410688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.85
system time used= 14.7434
maximum resident set size= 406208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112621
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= 2705
involuntary context switches= 3727


# summary of solver processes directly reported to runsolver:
#   pid: 45041
#   total CPU time (s): 3586.59
#   total CPU user time (s): 3571.85
#   total CPU system time (s): 14.7434

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34754 second user time and 16.7591 second system time

The end