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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488660-1751333533/watcher-4488660-1751333533 -o /tmp/evaluation-result-4488660-1751333533/solver-4488660-1751333533 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751326314-45392 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4488660-1751333533.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=48171, runsolver pid=48168
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.09 4.11 4.09 5/273 48175
/proc/meminfo: memFree=127944372/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/48174/stat : 48174 (timeout) S 48171 48174 45381 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49029909 2723840 320 18446744073709551615 94166484832256 94166484848769 140729359764816 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94166484863536 94166484865624 94166495395840 140729359767960 140729359768098 140729359768098 140729359773671 0
/proc/48174/statm: 665 320 320 5 0 90 0
[pid=48175] ppid=48174 vsize=21196 memory=7424 CPUtime=0.07 cores=4,6
/proc/48175/stat : 48175 (CASHWMaxSAT-Dis) R 48174 48174 45381 0 -1 4194304 1160 0 0 0 7 0 0 0 20 0 1 0 49029910 21704704 1856 18446744073709551615 4198400 14093885 140724149688848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35815424 140724149692829 140724149692955 140724149692955 140724149698528 0
/proc/48175/statm: 5299 1856 768 2416 0 2401 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28180 KiB
Current children cumulated memory: 11776 KiB

[startup+0.205679 s]*
/proc/loadavg: 4.09 4.11 4.09 5/273 48175
/proc/meminfo: memFree=127944372/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/48174/stat : 48174 (timeout) S 48171 48174 45381 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49029909 2723840 320 18446744073709551615 94166484832256 94166484848769 140729359764816 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94166484863536 94166484865624 94166495395840 140729359767960 140729359768098 140729359768098 140729359773671 0
/proc/48174/statm: 665 320 320 5 0 90 0
[pid=48175] ppid=48174 vsize=21196 memory=7424 CPUtime=0.18 cores=4,6
/proc/48175/stat : 48175 (CASHWMaxSAT-Dis) R 48174 48174 45381 0 -1 4194304 1160 0 0 0 18 0 0 0 20 0 1 0 49029910 21704704 1856 18446744073709551615 4198400 14093885 140724149688848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35815424 140724149692829 140724149692955 140724149692955 140724149698528 0
/proc/48175/statm: 5299 1856 768 2416 0 2401 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28180 KiB
Current children cumulated memory: 11776 KiB

[startup+0.304921 s]*
/proc/loadavg: 4.09 4.11 4.09 5/273 48175
/proc/meminfo: memFree=127944372/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/48174/stat : 48174 (timeout) S 48171 48174 45381 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49029909 2723840 320 18446744073709551615 94166484832256 94166484848769 140729359764816 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94166484863536 94166484865624 94166495395840 140729359767960 140729359768098 140729359768098 140729359773671 0
/proc/48174/statm: 665 320 320 5 0 90 0
[pid=48175] ppid=48174 vsize=23400 memory=9600 CPUtime=0.27 cores=4,6
/proc/48175/stat : 48175 (CASHWMaxSAT-Dis) R 48174 48174 45381 0 -1 4194304 1718 0 0 0 27 0 0 0 20 0 1 0 49029910 23961600 2400 18446744073709551615 4198400 14093885 140724149688848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35815424 140724149692829 140724149692955 140724149692955 140724149698528 0
/proc/48175/statm: 5850 2400 768 2416 0 2952 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 30384 KiB
Current children cumulated memory: 13952 KiB

[startup+0.700193 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 48175
/proc/meminfo: memFree=127936560/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/48174/stat : 48174 (timeout) S 48171 48174 45381 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49029909 2723840 320 18446744073709551615 94166484832256 94166484848769 140729359764816 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94166484863536 94166484865624 94166495395840 140729359767960 140729359768098 140729359768098 140729359773671 0
/proc/48174/statm: 665 320 320 5 0 90 0
[pid=48175] ppid=48174 vsize=38292 memory=23680 CPUtime=0.66 cores=4,6
/proc/48175/stat : 48175 (CASHWMaxSAT-Dis) R 48174 48174 45381 0 -1 4194304 5250 0 0 0 66 0 0 0 20 0 1 0 49029910 39211008 5920 18446744073709551615 4198400 14093885 140724149688848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35815424 140724149692829 140724149692955 140724149692955 140724149698528 0
/proc/48175/statm: 9573 5920 768 2416 0 6675 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 45276 KiB
Current children cumulated memory: 28032 KiB

[startup+1.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 48175
/proc/meminfo: memFree=127920436/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/48174/stat : 48174 (timeout) S 48171 48174 45381 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49029909 2723840 320 18446744073709551615 94166484832256 94166484848769 140729359764816 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94166484863536 94166484865624 94166495395840 140729359767960 140729359768098 140729359768098 140729359773671 0
/proc/48174/statm: 665 320 320 5 0 90 0
[pid=48175] ppid=48174 vsize=47432 memory=32796 CPUtime=1.46 cores=4,6
/proc/48175/stat : 48175 (CASHWMaxSAT-Dis) R 48174 48174 45381 0 -1 4194304 6492 0 0 0 146 0 0 0 20 0 1 0 49029910 48570368 8199 18446744073709551615 4198400 14093885 140724149688848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35815424 140724149692829 140724149692955 140724149692955 140724149698528 0
/proc/48175/statm: 11858 8199 768 2416 0 8960 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 54416 KiB
Current children cumulated memory: 37148 KiB

[startup+3.10544 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 48175
/proc/meminfo: memFree=127912496/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/48174/stat : 48174 (timeout) S 48171 48174 45381 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49029909 2723840 320 18446744073709551615 94166484832256 94166484848769 140729359764816 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94166484863536 94166484865624 94166495395840 140729359767960 140729359768098 140729359768098 140729359773671 0
/proc/48174/statm: 665 320 320 5 0 90 0
[pid=48175] ppid=48174 vsize=51828 memory=37148 CPUtime=3.06 cores=4,6
/proc/48175/stat : 48175 (CASHWMaxSAT-Dis) R 48174 48174 45381 0 -1 4194304 6550 0 0 0 306 0 0 0 20 0 1 0 49029910 53071872 9287 18446744073709551615 4198400 14093885 140724149688848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35815424 140724149692829 140724149692955 140724149692955 140724149698528 0
/proc/48175/statm: 12957 9287 768 2416 0 10059 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 58812 KiB
Current children cumulated memory: 41500 KiB

[startup+6.30016 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 48175
/proc/meminfo: memFree=127912748/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/48174/stat : 48174 (timeout) S 48171 48174 45381 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49029909 2723840 320 18446744073709551615 94166484832256 94166484848769 140729359764816 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94166484863536 94166484865624 94166495395840 140729359767960 140729359768098 140729359768098 140729359773671 0
/proc/48174/statm: 665 320 320 5 0 90 0
[pid=48175] ppid=48174 vsize=47536 memory=32576 CPUtime=6.25 cores=4,6
/proc/48175/stat : 48175 (CASHWMaxSAT-Dis) R 48174 48174 45381 0 -1 4194304 6688 0 0 0 624 1 0 0 20 0 1 0 49029910 48676864 8144 18446744073709551615 4198400 14093885 140724149688848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35815424 140724149692829 140724149692955 140724149692955 140724149698528 0
/proc/48175/statm: 11884 8144 768 2416 0 8986 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 54520 KiB
Current children cumulated memory: 36928 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/273 48175
/proc/meminfo: memFree=127904556/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/48174/stat : 48174 (timeout) S 48171 48174 45381 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49029909 2723840 320 18446744073709551615 94166484832256 94166484848769 140729359764816 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94166484863536 94166484865624 94166495395840 140729359767960 140729359768098 140729359768098 140729359773671 0
/proc/48174/statm: 665 320 320 5 0 90 0
[pid=48175] ppid=48174 vsize=66348 memory=49528 CPUtime=12.63 cores=4,6
/proc/48175/stat : 48175 (CASHWMaxSAT-Dis) R 48174 48174 45381 0 -1 4194304 8526 0 0 0 1262 1 0 0 20 0 1 0 49029910 67940352 12382 18446744073709551615 4198400 14093885 140724149688848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35815424 140724149692829 140724149692955 140724149692955 140724149698528 0
/proc/48175/statm: 16587 12382 768 2416 0 13689 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 73332 KiB
Current children cumulated memory: 53880 KiB

[startup+25.5002 s]
/proc/loadavg: 4.28 4.15 4.10 5/273 48176
/proc/meminfo: memFree=127904824/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/48174/stat : 48174 (timeout) S 48171 48174 45381 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49029909 2723840 320 18446744073709551615 94166484832256 94166484848769 140729359764816 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94166484863536 94166484865624 94166495395840 140729359767960 140729359768098 140729359768098 140729359773671 0
/proc/48174/statm: 665 320 320 5 0 90 0
[pid=48175] ppid=48174 vsize=66348 memory=49528 CPUtime=25.39 cores=4,6
/proc/48175/stat : 48175 (CASHWMaxSAT-Dis) R 48174 48174 45381 0 -1 4194304 8530 0 0 0 2538 1 0 0 20 0 1 0 49029910 67940352 12382 18446744073709551615 4198400 14093885 140724149688848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35815424 140724149692829 140724149692955 140724149692955 140724149698528 0
/proc/48175/statm: 16587 12382 768 2416 0 13689 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 73332 KiB
Current children cumulated memory: 53880 KiB

[startup+51.1055 s]
/proc/loadavg: 4.37 4.18 4.12 5/273 48176
/proc/meminfo: memFree=128009132/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/48174/stat : 48174 (timeout) S 48171 48174 45381 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49029909 2723840 320 18446744073709551615 94166484832256 94166484848769 140729359764816 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94166484863536 94166484865624 94166495395840 140729359767960 140729359768098 140729359768098 140729359773671 0
/proc/48174/statm: 665 320 320 5 0 90 0
[pid=48175] ppid=48174 vsize=66348 memory=52056 CPUtime=50.94 cores=4,6
/proc/48175/stat : 48175 (CASHWMaxSAT-Dis) R 48174 48174 45381 0 -1 4194304 8693 0 0 0 5092 2 0 0 20 0 1 0 49029910 67940352 13014 18446744073709551615 4198400 14093885 140724149688848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 35815424 140724149692829 140724149692955 140724149692955 140724149698528 0
/proc/48175/statm: 16587 13014 768 2416 0 13689 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 73332 KiB
Current children cumulated memory: 56408 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/274 48179
/proc/meminfo: memFree=127988612/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48174] ppid=48171 vsize=2660 memory=1280 CPUtime=0 cores=4,6

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

/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48287] ppid=48171 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48287/stat : 48287 (timeout) S 48171 48287 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49119810 2723840 352 18446744073709551615 94309076115456 94309076131969 140735840944528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94309076146736 94309076148824 94309091352576 140735840946565 140735840946722 140735840946722 140735840952295 0
/proc/48287/statm: 665 352 352 5 0 90 0
[pid=48288] ppid=48287 vsize=453008 memory=433784 CPUtime=2555.99 cores=4,6
/proc/48288/stat : 48288 (ExactPR-S9) R 48287 48287 45381 0 -1 4194304 102834 0 0 0 249821 5778 0 0 20 0 1 0 49119811 463880192 108446 18446744073709551615 94798405529600 94798414829701 140729306463488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94798416615744 94798416654824 94798438244352 140729306466716 140729306466854 140729306466854 140729306472427 0
/proc/48288/statm: 113252 108446 3392 2271 0 107890 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 438264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 48581
/proc/meminfo: memFree=127762088/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=896.72 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 282 11743 0 0 0 0 89664 8 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48287] ppid=48171 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48287/stat : 48287 (timeout) S 48171 48287 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49119810 2723840 352 18446744073709551615 94309076115456 94309076131969 140735840944528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94309076146736 94309076148824 94309091352576 140735840946565 140735840946722 140735840946722 140735840952295 0
/proc/48287/statm: 665 352 352 5 0 90 0
[pid=48288] ppid=48287 vsize=453008 memory=433784 CPUtime=2615.82 cores=4,6
/proc/48288/stat : 48288 (ExactPR-S9) R 48287 48287 45381 0 -1 4194304 102835 0 0 0 255778 5804 0 0 20 0 1 0 49119811 463880192 108446 18446744073709551615 94798405529600 94798414829701 140729306463488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94798416615744 94798416654824 94798438244352 140729306466716 140729306466854 140729306466854 140729306472427 0
/proc/48288/statm: 113252 108446 3392 2271 0 107890 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 438264 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 48583
/proc/meminfo: memFree=127738080/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=896.72 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 282 11743 0 0 0 0 89664 8 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48287] ppid=48171 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48287/stat : 48287 (timeout) S 48171 48287 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49119810 2723840 352 18446744073709551615 94309076115456 94309076131969 140735840944528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94309076146736 94309076148824 94309091352576 140735840946565 140735840946722 140735840946722 140735840952295 0
/proc/48287/statm: 665 352 352 5 0 90 0
[pid=48288] ppid=48287 vsize=453008 memory=433784 CPUtime=2675.64 cores=4,6
/proc/48288/stat : 48288 (ExactPR-S9) R 48287 48287 45381 0 -1 4194304 102835 0 0 0 261740 5824 0 0 20 0 1 0 49119811 463880192 108446 18446744073709551615 94798405529600 94798414829701 140729306463488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94798416615744 94798416654824 94798438244352 140729306466716 140729306466854 140729306466854 140729306472427 0
/proc/48288/statm: 113252 108446 3392 2271 0 107890 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 438264 KiB

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

# cumulated CPU time of all completed processes:  user=3527.7 s, system=58.4162 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 5/273 48583
/proc/meminfo: memFree=127738080/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=896.72 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 282 11743 0 0 0 0 89664 8 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48287] ppid=48171 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48287/stat : 48287 (timeout) S 48171 48287 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49119810 2723840 352 18446744073709551615 94309076115456 94309076131969 140735840944528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94309076146736 94309076148824 94309091352576 140735840946565 140735840946722 140735840946722 140735840952295 0
/proc/48287/statm: 665 352 352 5 0 90 0
[pid=48288] ppid=48287 vsize=453008 memory=433784 CPUtime=2677.33 cores=4,6
/proc/48288/stat : 48288 (ExactPR-S9) R 48287 48287 45381 0 -1 4194304 102835 0 0 0 261909 5824 0 0 20 0 1 0 49119811 463880192 108446 18446744073709551615 94798405529600 94798414829701 140729306463488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94798416615744 94798416654824 94798438244352 140729306466716 140729306466854 140729306466854 140729306472427 0
/proc/48288/statm: 113252 108446 3392 2271 0 107890 0
Current children cumulated CPU time: 3574.05 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 438264 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/273 48583
/proc/meminfo: memFree=127738144/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=896.72 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 282 11743 0 0 0 0 89664 8 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48287] ppid=48171 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48287/stat : 48287 (timeout) S 48171 48287 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49119810 2723840 352 18446744073709551615 94309076115456 94309076131969 140735840944528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94309076146736 94309076148824 94309091352576 140735840946565 140735840946722 140735840946722 140735840952295 0
/proc/48287/statm: 665 352 352 5 0 90 0
[pid=48288] ppid=48287 vsize=453008 memory=433784 CPUtime=2683.72 cores=4,6
/proc/48288/stat : 48288 (ExactPR-S9) R 48287 48287 45381 0 -1 4194304 102835 0 0 0 262544 5828 0 0 20 0 1 0 49119811 463880192 108446 18446744073709551615 94798405529600 94798414829701 140729306463488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94798416615744 94798416654824 94798438244352 140729306466716 140729306466854 140729306466854 140729306472427 0
/proc/48288/statm: 113252 108446 3392 2271 0 107890 0
Current children cumulated CPU time: 3580.44 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 438264 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/273 48583
/proc/meminfo: memFree=127738144/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=896.72 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 282 11743 0 0 0 0 89664 8 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48287] ppid=48171 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48287/stat : 48287 (timeout) S 48171 48287 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49119810 2723840 352 18446744073709551615 94309076115456 94309076131969 140735840944528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94309076146736 94309076148824 94309091352576 140735840946565 140735840946722 140735840946722 140735840952295 0
/proc/48287/statm: 665 352 352 5 0 90 0
[pid=48288] ppid=48287 vsize=453008 memory=433784 CPUtime=2686.91 cores=4,6
/proc/48288/stat : 48288 (ExactPR-S9) R 48287 48287 45381 0 -1 4194304 102898 0 0 0 262861 5830 0 0 20 0 1 0 49119811 463880192 108446 18446744073709551615 94798405529600 94798414829701 140729306463488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94798416615744 94798416654824 94798438244352 140729306466716 140729306466854 140729306466854 140729306472427 0
/proc/48288/statm: 113252 108446 3392 2271 0 107890 0
Current children cumulated CPU time: 3583.63 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 438264 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/273 48583
/proc/meminfo: memFree=127738144/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=896.72 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 282 11743 0 0 0 0 89664 8 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48287] ppid=48171 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48287/stat : 48287 (timeout) S 48171 48287 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49119810 2723840 352 18446744073709551615 94309076115456 94309076131969 140735840944528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94309076146736 94309076148824 94309091352576 140735840946565 140735840946722 140735840946722 140735840952295 0
/proc/48287/statm: 665 352 352 5 0 90 0
[pid=48288] ppid=48287 vsize=453008 memory=433784 CPUtime=2688.5 cores=4,6
/proc/48288/stat : 48288 (ExactPR-S9) R 48287 48287 45381 0 -1 4194304 102898 0 0 0 263020 5830 0 0 20 0 1 0 49119811 463880192 108446 18446744073709551615 94798405529600 94798414829701 140729306463488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94798416615744 94798416654824 94798438244352 140729306466716 140729306466854 140729306466854 140729306472427 0
/proc/48288/statm: 113252 108446 3392 2271 0 107890 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 438264 KiB

[startup+3595.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/273 48583
/proc/meminfo: memFree=127738144/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=896.72 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 282 11743 0 0 0 0 89664 8 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48287] ppid=48171 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48287/stat : 48287 (timeout) S 48171 48287 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49119810 2723840 352 18446744073709551615 94309076115456 94309076131969 140735840944528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94309076146736 94309076148824 94309091352576 140735840946565 140735840946722 140735840946722 140735840952295 0
/proc/48287/statm: 665 352 352 5 0 90 0
[pid=48288] ppid=48287 vsize=453008 memory=433784 CPUtime=2688.9 cores=4,6
/proc/48288/stat : 48288 (ExactPR-S9) R 48287 48287 45381 0 -1 4194304 102898 0 0 0 263060 5830 0 0 20 0 1 0 49119811 463880192 108446 18446744073709551615 94798405529600 94798414829701 140729306463488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94798416615744 94798416654824 94798438244352 140729306466716 140729306466854 140729306466854 140729306472427 0
/proc/48288/statm: 113252 108446 3392 2271 0 107890 0
Current children cumulated CPU time: 3585.62 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 438264 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.09 5/273 48583
/proc/meminfo: memFree=127738144/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=896.72 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 282 11743 0 0 0 0 89664 8 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
[pid=48287] ppid=48171 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48287/stat : 48287 (timeout) S 48171 48287 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49119810 2723840 352 18446744073709551615 94309076115456 94309076131969 140735840944528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94309076146736 94309076148824 94309091352576 140735840946565 140735840946722 140735840946722 140735840952295 0
/proc/48287/statm: 665 352 352 5 0 90 0
[pid=48288] ppid=48287 vsize=453008 memory=433784 CPUtime=2689.3 cores=4,6
/proc/48288/stat : 48288 (ExactPR-S9) R 48287 48287 45381 0 -1 4194304 102898 0 0 0 263100 5830 0 0 20 0 1 0 49119811 463880192 108446 18446744073709551615 94798405529600 94798414829701 140729306463488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94798416615744 94798416654824 94798438244352 140729306466716 140729306466854 140729306466854 140729306472427 0
/proc/48288/statm: 113252 108446 3392 2271 0 107890 0
Current children cumulated CPU time: 3586.02 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 438264 KiB

[startup+3596.11 s]
/proc/loadavg: 4.14 4.12 4.09 5/273 48583
/proc/meminfo: memFree=127738144/131250000 swapFree=33010684/33010684
[pid=48171] ppid=48168 vsize=4324 memory=3072 CPUtime=3586.09 cores=4,6
/proc/48171/stat : 48171 (Hybrid-CASHWMax) S 48168 48171 45381 0 -1 4194304 428 117033 0 0 0 0 352769 5840 20 0 1 0 49029908 4427776 768 18446744073709551615 93934812192768 93934813087301 140731332210240 0 0 0 2 4 65536 1 0 0 17 6 0 0 0 0 0 93934813326352 93934813374096 93934837530624 140731332213077 140731332213232 140731332213232 140731332218834 0
/proc/48171/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.09 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.13
CPU time (s): 3586.11
CPU user time (s): 3527.7
CPU system time (s): 58.4162
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 466068
Max. memory (cumulated for all children) (KiB): 438264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3527.7
system time used= 58.4162
maximum resident set size= 434168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1914
involuntary context switches= 3037


# summary of solver processes directly reported to runsolver:
#   pid: 48171
#   total CPU time (s): 3586.11
#   total CPU user time (s): 3527.7
#   total CPU system time (s): 58.4162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28444 second user time and 16.2544 second system time

The end