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: 63794 MiB (60696 MiB free)
  memory of node 1: 64507 MiB (59627 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484888-1751301654/watcher-4484888-1751301654 -o /tmp/evaluation-result-4484888-1751301654/solver-4484888-1751301654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751301654-42364 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484888-1751301654.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
solver pid=42417, runsolver pid=42405
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123205868/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42429/stat : 42429 (timeout) S 42417 42429 42353 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 45845203 2723840 352 18446744073709551615 94170979115008 94170979131521 140735925258512 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94170979146288 94170979148376 94171001409536 140735925266840 140735925266978 140735925266978 140735925272551 0
/proc/42429/statm: 665 352 352 5 0 90 0
[pid=42434] ppid=42429 vsize=24980 memory=6528 CPUtime=0.04 cores=4,6
/proc/42434/stat : 42434 (CASHWMaxSAT-Dis) R 42429 42429 42353 0 -1 4194304 962 0 0 0 4 0 0 0 20 0 1 0 45845207 25579520 1632 18446744073709551615 4198400 14093885 140726821675872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35266560 140726821681565 140726821681691 140726821681691 140726821687264 0
/proc/42434/statm: 6245 1632 736 2416 0 3347 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 31964 KiB
Current children cumulated memory: 10880 KiB

[startup+0.213764 s]*
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123172352/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42429/stat : 42429 (timeout) S 42417 42429 42353 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 45845203 2723840 352 18446744073709551615 94170979115008 94170979131521 140735925258512 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94170979146288 94170979148376 94171001409536 140735925266840 140735925266978 140735925266978 140735925272551 0
/proc/42429/statm: 665 352 352 5 0 90 0
[pid=42434] ppid=42429 vsize=32000 memory=13568 CPUtime=0.15 cores=4,6
/proc/42434/stat : 42434 (CASHWMaxSAT-Dis) R 42429 42429 42353 0 -1 4194304 2731 0 0 0 14 1 0 0 20 0 1 0 45845207 32768000 3392 18446744073709551615 4198400 14093885 140726821675872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35266560 140726821681565 140726821681691 140726821681691 140726821687264 0
/proc/42434/statm: 8000 3392 736 2416 0 5102 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 38984 KiB
Current children cumulated memory: 17920 KiB

[startup+0.313725 s]*
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123144128/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42429/stat : 42429 (timeout) S 42417 42429 42353 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 45845203 2723840 352 18446744073709551615 94170979115008 94170979131521 140735925258512 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94170979146288 94170979148376 94171001409536 140735925266840 140735925266978 140735925266978 140735925272551 0
/proc/42429/statm: 665 352 352 5 0 90 0
[pid=42434] ppid=42429 vsize=38428 memory=19968 CPUtime=0.24 cores=4,6
/proc/42434/stat : 42434 (CASHWMaxSAT-Dis) R 42429 42429 42353 0 -1 4194304 4339 0 0 0 23 1 0 0 20 0 1 0 45845207 39350272 4992 18446744073709551615 4198400 14093885 140726821675872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35266560 140726821681565 140726821681691 140726821681691 140726821687264 0
/proc/42434/statm: 9607 4992 736 2416 0 6709 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 45412 KiB
Current children cumulated memory: 24320 KiB

[startup+0.700425 s]
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123095744/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42429/stat : 42429 (timeout) S 42417 42429 42353 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 45845203 2723840 352 18446744073709551615 94170979115008 94170979131521 140735925258512 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94170979146288 94170979148376 94171001409536 140735925266840 140735925266978 140735925266978 140735925272551 0
/proc/42429/statm: 665 352 352 5 0 90 0
[pid=42434] ppid=42429 vsize=63836 memory=45184 CPUtime=0.61 cores=4,6
/proc/42434/stat : 42434 (CASHWMaxSAT-Dis) R 42429 42429 42353 0 -1 4194304 10645 0 0 0 59 2 0 0 20 0 1 0 45845207 65368064 11296 18446744073709551615 4198400 14093885 140726821675872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35266560 140726821681565 140726821681691 140726821681691 140726821687264 0
/proc/42434/statm: 15959 11296 736 2416 0 13061 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 70820 KiB
Current children cumulated memory: 49536 KiB

[startup+1.5004 s]
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123038400/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42429/stat : 42429 (timeout) S 42417 42429 42353 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 45845203 2723840 352 18446744073709551615 94170979115008 94170979131521 140735925258512 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94170979146288 94170979148376 94171001409536 140735925266840 140735925266978 140735925266978 140735925272551 0
/proc/42429/statm: 665 352 352 5 0 90 0
[pid=42434] ppid=42429 vsize=73976 memory=59564 CPUtime=1.41 cores=4,6
/proc/42434/stat : 42434 (CASHWMaxSAT-Dis) R 42429 42429 42353 0 -1 4194304 14679 0 0 0 137 4 0 0 20 0 1 0 45845207 75751424 14891 18446744073709551615 4198400 14093885 140726821675872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35266560 140726821681565 140726821681691 140726821681691 140726821687264 0
/proc/42434/statm: 18494 14891 768 2416 0 15596 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 80960 KiB
Current children cumulated memory: 63916 KiB

[startup+3.11292 s]
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123031740/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42429/stat : 42429 (timeout) S 42417 42429 42353 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 45845203 2723840 352 18446744073709551615 94170979115008 94170979131521 140735925258512 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94170979146288 94170979148376 94171001409536 140735925266840 140735925266978 140735925266978 140735925272551 0
/proc/42429/statm: 665 352 352 5 0 90 0
[pid=42434] ppid=42429 vsize=76948 memory=62764 CPUtime=3.02 cores=4,6
/proc/42434/stat : 42434 (CASHWMaxSAT-Dis) R 42429 42429 42353 0 -1 4194304 15471 0 0 0 298 4 0 0 20 0 1 0 45845207 78794752 15691 18446744073709551615 4198400 14093885 140726821675872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35266560 140726821681565 140726821681691 140726821681691 140726821687264 0
/proc/42434/statm: 19237 15691 768 2416 0 16339 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 83932 KiB
Current children cumulated memory: 67116 KiB

[startup+6.3004 s]
/proc/loadavg: 1.10 1.66 2.85 7/260 42434
/proc/meminfo: memFree=123013916/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42429/stat : 42429 (timeout) S 42417 42429 42353 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 45845203 2723840 352 18446744073709551615 94170979115008 94170979131521 140735925258512 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94170979146288 94170979148376 94171001409536 140735925266840 140735925266978 140735925266978 140735925272551 0
/proc/42429/statm: 665 352 352 5 0 90 0
[pid=42434] ppid=42429 vsize=80412 memory=65760 CPUtime=6.2 cores=4,6
/proc/42434/stat : 42434 (CASHWMaxSAT-Dis) R 42429 42429 42353 0 -1 4194304 16560 0 0 0 615 5 0 0 20 0 1 0 45845207 82341888 16440 18446744073709551615 4198400 14093885 140726821675872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35266560 140726821681565 140726821681691 140726821681691 140726821687264 0
/proc/42434/statm: 20103 16440 768 2416 0 17205 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 87396 KiB
Current children cumulated memory: 70112 KiB

[startup+12.7004 s]
/proc/loadavg: 1.33 1.70 2.85 7/260 42434
/proc/meminfo: memFree=123001380/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42429/stat : 42429 (timeout) S 42417 42429 42353 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 45845203 2723840 352 18446744073709551615 94170979115008 94170979131521 140735925258512 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94170979146288 94170979148376 94171001409536 140735925266840 140735925266978 140735925266978 140735925272551 0
/proc/42429/statm: 665 352 352 5 0 90 0
[pid=42434] ppid=42429 vsize=99244 memory=84396 CPUtime=12.58 cores=4,6
/proc/42434/stat : 42434 (CASHWMaxSAT-Dis) R 42429 42429 42353 0 -1 4194304 17502 0 0 0 1253 5 0 0 20 0 1 0 45845207 101625856 21099 18446744073709551615 4198400 14093885 140726821675872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35266560 140726821681565 140726821681691 140726821681691 140726821687264 0
/proc/42434/statm: 24811 21099 768 2416 0 21913 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 106228 KiB
Current children cumulated memory: 88748 KiB

[startup+25.5004 s]
/proc/loadavg: 1.99 1.83 2.88 7/260 42434
/proc/meminfo: memFree=122984648/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42429/stat : 42429 (timeout) S 42417 42429 42353 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 45845203 2723840 352 18446744073709551615 94170979115008 94170979131521 140735925258512 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94170979146288 94170979148376 94171001409536 140735925266840 140735925266978 140735925266978 140735925272551 0
/proc/42429/statm: 665 352 352 5 0 90 0
[pid=42434] ppid=42429 vsize=99244 memory=84908 CPUtime=25.34 cores=4,6
/proc/42434/stat : 42434 (CASHWMaxSAT-Dis) R 42429 42429 42353 0 -1 4194304 17635 0 0 0 2529 5 0 0 20 0 1 0 45845207 101625856 21227 18446744073709551615 4198400 14093885 140726821675872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35266560 140726821681565 140726821681691 140726821681691 140726821687264 0
/proc/42434/statm: 24811 21227 768 2416 0 21913 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 106228 KiB
Current children cumulated memory: 89260 KiB

[startup+51.1129 s]
/proc/loadavg: 2.68 2.00 2.91 7/260 42435
/proc/meminfo: memFree=122960992/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42429/stat : 42429 (timeout) S 42417 42429 42353 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 45845203 2723840 352 18446744073709551615 94170979115008 94170979131521 140735925258512 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94170979146288 94170979148376 94171001409536 140735925266840 140735925266978 140735925266978 140735925272551 0
/proc/42429/statm: 665 352 352 5 0 90 0
[pid=42434] ppid=42429 vsize=103520 memory=86188 CPUtime=50.88 cores=4,6
/proc/42434/stat : 42434 (CASHWMaxSAT-Dis) R 42429 42429 42353 0 -1 4194304 17943 0 0 0 5083 5 0 0 20 0 1 0 45845207 106004480 21547 18446744073709551615 4198400 14093885 140726821675872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35266560 140726821681565 140726821681691 140726821681691 140726821687264 0
/proc/42434/statm: 25880 21547 768 2416 0 22982 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 110504 KiB
Current children cumulated memory: 90540 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.33 2.97 7/260 42436
/proc/meminfo: memFree=122917672/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42429] ppid=42417 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42474] ppid=42417 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42474/stat : 42474 (timeout) S 42417 42474 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 94463048503296 94463048519809 140730091477024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94463048534576 94463048536664 94463067549696 140730091481477 140730091481634 140730091481634 140730091487207 0
/proc/42474/statm: 665 320 320 5 0 90 0
[pid=42477] ppid=42474 vsize=1225672 memory=978368 CPUtime=2496.48 cores=4,6
/proc/42477/stat : 42477 (ExactPR-S9) R 42474 42474 42353 0 -1 4194304 225412 0 0 0 248045 1603 0 0 20 0 1 0 45935109 1255088128 244592 18446744073709551615 94482884345856 94482893645957 140720886542048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94482895432000 94482895471080 94482922905600 140720886548892 140720886549030 140720886549030 140720886554603 0
/proc/42477/statm: 306418 244592 3552 2271 0 301056 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 1232656 KiB
Current children cumulated memory: 982592 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 7/257 42607
/proc/meminfo: memFree=119565992/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=896.58 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 282 22377 0 1 0 0 89646 12 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42474] ppid=42417 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42474/stat : 42474 (timeout) S 42417 42474 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 94463048503296 94463048519809 140730091477024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94463048534576 94463048536664 94463067549696 140730091481477 140730091481634 140730091481634 140730091487207 0
/proc/42474/statm: 665 320 320 5 0 90 0
[pid=42477] ppid=42474 vsize=1387500 memory=1095560 CPUtime=2556.33 cores=4,6
/proc/42477/stat : 42477 (ExactPR-S9) R 42474 42474 42353 0 -1 4194304 225807 0 0 0 254027 1606 0 0 20 0 1 0 45935109 1420800000 273890 18446744073709551615 94482884345856 94482893645957 140720886542048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94482895432000 94482895471080 94482922905600 140720886548892 140720886549030 140720886549030 140720886554603 0
/proc/42477/statm: 346875 273890 3552 2271 0 341513 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 1394484 KiB
Current children cumulated memory: 1099784 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/257 42609
/proc/meminfo: memFree=119570872/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=896.58 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 282 22377 0 1 0 0 89646 12 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42474] ppid=42417 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42474/stat : 42474 (timeout) S 42417 42474 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 94463048503296 94463048519809 140730091477024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94463048534576 94463048536664 94463067549696 140730091481477 140730091481634 140730091481634 140730091487207 0
/proc/42474/statm: 665 320 320 5 0 90 0
[pid=42477] ppid=42474 vsize=1387500 memory=1095560 CPUtime=2616.17 cores=4,6
/proc/42477/stat : 42477 (ExactPR-S9) R 42474 42474 42353 0 -1 4194304 225928 0 0 0 260010 1607 0 0 20 0 1 0 45935109 1420800000 273890 18446744073709551615 94482884345856 94482893645957 140720886542048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94482895432000 94482895471080 94482922905600 140720886548892 140720886549030 140720886549030 140720886554603 0
/proc/42477/statm: 346875 273890 3552 2271 0 341513 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 1394484 KiB
Current children cumulated memory: 1099784 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 8/258 42618
/proc/meminfo: memFree=119506848/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=896.58 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 282 22377 0 1 0 0 89646 12 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42474] ppid=42417 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42474/stat : 42474 (timeout) S 42417 42474 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 94463048503296 94463048519809 140730091477024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94463048534576 94463048536664 94463067549696 140730091481477 140730091481634 140730091481634 140730091487207 0
/proc/42474/statm: 665 320 320 5 0 90 0
[pid=42477] ppid=42474 vsize=1387500 memory=1095560 CPUtime=2676.02 cores=4,6
/proc/42477/stat : 42477 (ExactPR-S9) R 42474 42474 42353 0 -1 4194304 225966 0 0 0 265992 1610 0 0 20 0 1 0 45935109 1420800000 273890 18446744073709551615 94482884345856 94482893645957 140720886542048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94482895432000 94482895471080 94482922905600 140720886548892 140720886549030 140720886549030 140720886554603 0
/proc/42477/statm: 346875 273890 3552 2271 0 341513 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 1394484 KiB
Current children cumulated memory: 1099784 KiB

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

# cumulated CPU time of all completed processes:  user=3570.15 s, system=16.2835 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119507100/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=896.58 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 282 22377 0 1 0 0 89646 12 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42474] ppid=42417 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42474/stat : 42474 (timeout) S 42417 42474 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 94463048503296 94463048519809 140730091477024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94463048534576 94463048536664 94463067549696 140730091481477 140730091481634 140730091481634 140730091487207 0
/proc/42474/statm: 665 320 320 5 0 90 0
[pid=42477] ppid=42474 vsize=1387500 memory=1095560 CPUtime=2677.73 cores=4,6
/proc/42477/stat : 42477 (ExactPR-S9) R 42474 42474 42353 0 -1 4194304 225966 0 0 0 266163 1610 0 0 20 0 1 0 45935109 1420800000 273890 18446744073709551615 94482884345856 94482893645957 140720886542048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94482895432000 94482895471080 94482922905600 140720886548892 140720886549030 140720886549030 140720886554603 0
/proc/42477/statm: 346875 273890 3552 2271 0 341513 0
Current children cumulated CPU time: 3574.31 s
Current children cumulated vsize: 1394484 KiB
Current children cumulated memory: 1099784 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119523984/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=896.58 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 282 22377 0 1 0 0 89646 12 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42474] ppid=42417 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42474/stat : 42474 (timeout) S 42417 42474 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 94463048503296 94463048519809 140730091477024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94463048534576 94463048536664 94463067549696 140730091481477 140730091481634 140730091481634 140730091487207 0
/proc/42474/statm: 665 320 320 5 0 90 0
[pid=42477] ppid=42474 vsize=1387500 memory=1095560 CPUtime=2684.1 cores=4,6
/proc/42477/stat : 42477 (ExactPR-S9) R 42474 42474 42353 0 -1 4194304 225966 0 0 0 266800 1610 0 0 20 0 1 0 45935109 1420800000 273890 18446744073709551615 94482884345856 94482893645957 140720886542048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94482895432000 94482895471080 94482922905600 140720886548892 140720886549030 140720886549030 140720886554603 0
/proc/42477/statm: 346875 273890 3552 2271 0 341513 0
Current children cumulated CPU time: 3580.68 s
Current children cumulated vsize: 1394484 KiB
Current children cumulated memory: 1099784 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119520252/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=896.58 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 282 22377 0 1 0 0 89646 12 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42474] ppid=42417 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42474/stat : 42474 (timeout) S 42417 42474 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 94463048503296 94463048519809 140730091477024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94463048534576 94463048536664 94463067549696 140730091481477 140730091481634 140730091481634 140730091487207 0
/proc/42474/statm: 665 320 320 5 0 90 0
[pid=42477] ppid=42474 vsize=1387500 memory=1096072 CPUtime=2687.29 cores=4,6
/proc/42477/stat : 42477 (ExactPR-S9) R 42474 42474 42353 0 -1 4194304 225966 0 0 0 267119 1610 0 0 20 0 1 0 45935109 1420800000 274018 18446744073709551615 94482884345856 94482893645957 140720886542048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94482895432000 94482895471080 94482922905600 140720886548892 140720886549030 140720886549030 140720886554603 0
/proc/42477/statm: 346875 274018 3552 2271 0 341513 0
Current children cumulated CPU time: 3583.87 s
Current children cumulated vsize: 1394484 KiB
Current children cumulated memory: 1100296 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119520256/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=896.58 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 282 22377 0 1 0 0 89646 12 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42474] ppid=42417 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42474/stat : 42474 (timeout) S 42417 42474 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 94463048503296 94463048519809 140730091477024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94463048534576 94463048536664 94463067549696 140730091481477 140730091481634 140730091481634 140730091487207 0
/proc/42474/statm: 665 320 320 5 0 90 0
[pid=42477] ppid=42474 vsize=1387500 memory=1096072 CPUtime=2688.89 cores=4,6
/proc/42477/stat : 42477 (ExactPR-S9) R 42474 42474 42353 0 -1 4194304 225966 0 0 0 267279 1610 0 0 20 0 1 0 45935109 1420800000 274018 18446744073709551615 94482884345856 94482893645957 140720886542048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94482895432000 94482895471080 94482922905600 140720886548892 140720886549030 140720886549030 140720886554603 0
/proc/42477/statm: 346875 274018 3552 2271 0 341513 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 1394484 KiB
Current children cumulated memory: 1100296 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119520508/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=896.58 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 282 22377 0 1 0 0 89646 12 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
[pid=42474] ppid=42417 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42474/stat : 42474 (timeout) S 42417 42474 42353 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 94463048503296 94463048519809 140730091477024 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94463048534576 94463048536664 94463067549696 140730091481477 140730091481634 140730091481634 140730091487207 0
/proc/42474/statm: 665 320 320 5 0 90 0
[pid=42477] ppid=42474 vsize=1387500 memory=1096072 CPUtime=2689.7 cores=4,6
/proc/42477/stat : 42477 (ExactPR-S9) R 42474 42474 42353 0 -1 4194304 225966 0 0 0 267360 1610 0 0 20 0 1 0 45935109 1420800000 274018 18446744073709551615 94482884345856 94482893645957 140720886542048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94482895432000 94482895471080 94482922905600 140720886548892 140720886549030 140720886549030 140720886554603 0
/proc/42477/statm: 346875 274018 3552 2271 0 341513 0
Current children cumulated CPU time: 3586.28 s
Current children cumulated vsize: 1394484 KiB
Current children cumulated memory: 1100296 KiB

[startup+3596.2 s]
/proc/loadavg: 4.09 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119520508/131382112 swapFree=33010684/33010684
[pid=42417] ppid=42405 vsize=4324 memory=2944 CPUtime=3586.39 cores=4,6
/proc/42417/stat : 42417 (Hybrid-CASHWMax) S 42405 42417 42353 0 -1 4194304 404 250160 0 2 0 0 357014 1625 20 0 1 0 45845200 4427776 736 18446744073709551615 94746914615296 94746915509829 140733468649168 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 94746915748880 94746915796624 94746945576960 140733468658005 140733468658160 140733468658160 140733468663762 0
/proc/42417/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.26
CPU time (s): 3586.44
CPU user time (s): 3570.15
CPU system time (s): 16.2835
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 1546416
Max. memory (cumulated for all children) (KiB): 1100296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.15
system time used= 16.2835
maximum resident set size= 1096072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251856
page faults= 3
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2918
involuntary context switches= 2531


# summary of solver processes directly reported to runsolver:
#   pid: 42417
#   total CPU time (s): 3586.44
#   total CPU user time (s): 3570.15
#   total CPU system time (s): 16.2835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5016 second user time and 36.6615 second system time

The end