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: 63665 MiB (62962 MiB free)
  memory of node 1: 64507 MiB (63986 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484886-1751301534/watcher-4484886-1751301534 -o /tmp/evaluation-result-4484886-1751301534/solver-4484886-1751301534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751301533-41965 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484886-1751301534.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42015, runsolver pid=42006
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.62 1.92 3.13 6/272 42036
/proc/meminfo: memFree=129947520/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42028] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42028/stat : 42028 (timeout) S 42015 42028 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831147 2723840 352 18446744073709551615 94631480250368 94631480266881 140730459946992 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94631480281648 94631480283736 94631496298496 140730459953558 140730459953698 140730459953698 140730459959271 0
/proc/42028/statm: 665 352 352 5 0 90 0
[pid=42032] ppid=42028 vsize=31400 memory=16896 CPUtime=0.06 cores=0,2
/proc/42032/stat : 42032 (CASHWMaxSAT-Dis) R 42028 42028 41955 0 -1 4194304 3481 0 0 0 6 0 0 0 20 0 1 0 45831147 32153600 4224 18446744073709551615 4198400 14817773 140736053403936 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54050816 140736053410204 140736053410331 140736053410331 140736053415904 0
/proc/42032/statm: 7850 4224 864 2593 0 4743 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 21248 KiB

[startup+0.204941 s]*
/proc/loadavg: 0.62 1.92 3.13 6/272 42036
/proc/meminfo: memFree=129892340/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42028] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42028/stat : 42028 (timeout) S 42015 42028 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831147 2723840 352 18446744073709551615 94631480250368 94631480266881 140730459946992 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94631480281648 94631480283736 94631496298496 140730459953558 140730459953698 140730459953698 140730459959271 0
/proc/42028/statm: 665 352 352 5 0 90 0
[pid=42032] ppid=42028 vsize=50944 memory=36352 CPUtime=0.17 cores=0,2
/proc/42032/stat : 42032 (CASHWMaxSAT-Dis) R 42028 42028 41955 0 -1 4194304 8330 0 0 0 16 1 0 0 20 0 1 0 45831147 52166656 9088 18446744073709551615 4198400 14817773 140736053403936 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54050816 140736053410204 140736053410331 140736053410331 140736053415904 0
/proc/42032/statm: 12736 9088 864 2593 0 9629 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 57928 KiB
Current children cumulated memory: 40704 KiB

[startup+0.305934 s]*
/proc/loadavg: 0.89 1.95 3.13 6/272 42036
/proc/meminfo: memFree=129852272/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42028] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42028/stat : 42028 (timeout) S 42015 42028 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831147 2723840 352 18446744073709551615 94631480250368 94631480266881 140730459946992 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94631480281648 94631480283736 94631496298496 140730459953558 140730459953698 140730459953698 140730459959271 0
/proc/42028/statm: 665 352 352 5 0 90 0
[pid=42032] ppid=42028 vsize=69260 memory=54656 CPUtime=0.27 cores=0,2
/proc/42032/stat : 42032 (CASHWMaxSAT-Dis) R 42028 42028 41955 0 -1 4194304 12912 0 0 0 25 2 0 0 20 0 1 0 45831147 70922240 13664 18446744073709551615 4198400 14817773 140736053403936 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54050816 140736053410204 140736053410331 140736053410331 140736053415904 0
/proc/42032/statm: 17315 13664 864 2593 0 14208 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76244 KiB
Current children cumulated memory: 59008 KiB

[startup+0.700187 s]
/proc/loadavg: 0.89 1.95 3.13 6/272 42036
/proc/meminfo: memFree=129835492/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42028] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42028/stat : 42028 (timeout) S 42015 42028 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831147 2723840 352 18446744073709551615 94631480250368 94631480266881 140730459946992 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94631480281648 94631480283736 94631496298496 140730459953558 140730459953698 140730459953698 140730459959271 0
/proc/42028/statm: 665 352 352 5 0 90 0
[pid=42032] ppid=42028 vsize=82304 memory=67552 CPUtime=0.65 cores=0,2
/proc/42032/stat : 42032 (CASHWMaxSAT-Dis) R 42028 42028 41955 0 -1 4194304 16724 0 0 0 62 3 0 0 20 0 1 0 45831147 84279296 16888 18446744073709551615 4198400 14817773 140736053403936 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54050816 140736053410204 140736053410331 140736053410331 140736053415904 0
/proc/42032/statm: 20576 16888 960 2593 0 17469 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 89288 KiB
Current children cumulated memory: 71904 KiB

[startup+1.50019 s]
/proc/loadavg: 0.89 1.95 3.13 6/272 42036
/proc/meminfo: memFree=129819868/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42028] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42028/stat : 42028 (timeout) S 42015 42028 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831147 2723840 352 18446744073709551615 94631480250368 94631480266881 140730459946992 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94631480281648 94631480283736 94631496298496 140730459953558 140730459953698 140730459953698 140730459959271 0
/proc/42028/statm: 665 352 352 5 0 90 0
[pid=42032] ppid=42028 vsize=83700 memory=69752 CPUtime=1.45 cores=0,2
/proc/42032/stat : 42032 (CASHWMaxSAT-Dis) R 42028 42028 41955 0 -1 4194304 21316 0 0 0 140 5 0 0 20 0 1 0 45831147 85708800 17438 18446744073709551615 4198400 14817773 140736053403936 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54050816 140736053410204 140736053410331 140736053410331 140736053415904 0
/proc/42032/statm: 20925 17438 992 2593 0 17818 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 90684 KiB
Current children cumulated memory: 74104 KiB

[startup+3.10467 s]
/proc/loadavg: 0.89 1.95 3.13 6/272 42036
/proc/meminfo: memFree=129806520/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42028] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42028/stat : 42028 (timeout) S 42015 42028 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831147 2723840 352 18446744073709551615 94631480250368 94631480266881 140730459946992 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94631480281648 94631480283736 94631496298496 140730459953558 140730459953698 140730459953698 140730459959271 0
/proc/42028/statm: 665 352 352 5 0 90 0
[pid=42032] ppid=42028 vsize=84248 memory=70300 CPUtime=3.06 cores=0,2
/proc/42032/stat : 42032 (CASHWMaxSAT-Dis) R 42028 42028 41955 0 -1 4194304 24098 0 0 0 300 6 0 0 20 0 1 0 45831147 86269952 17575 18446744073709551615 4198400 14817773 140736053403936 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54050816 140736053410204 140736053410331 140736053410331 140736053415904 0
/proc/42032/statm: 21062 17575 992 2593 0 17955 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 91232 KiB
Current children cumulated memory: 74652 KiB

[startup+6.30016 s]
/proc/loadavg: 1.14 1.99 3.14 6/272 42036
/proc/meminfo: memFree=129797836/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42028] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42028/stat : 42028 (timeout) S 42015 42028 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831147 2723840 352 18446744073709551615 94631480250368 94631480266881 140730459946992 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94631480281648 94631480283736 94631496298496 140730459953558 140730459953698 140730459953698 140730459959271 0
/proc/42028/statm: 665 352 352 5 0 90 0
[pid=42032] ppid=42028 vsize=84684 memory=70760 CPUtime=6.24 cores=0,2
/proc/42032/stat : 42032 (CASHWMaxSAT-Dis) R 42028 42028 41955 0 -1 4194304 26073 0 0 0 618 6 0 0 20 0 1 0 45831147 86716416 17690 18446744073709551615 4198400 14817773 140736053403936 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54050816 140736053410204 140736053410331 140736053410331 140736053415904 0
/proc/42032/statm: 21171 17690 992 2593 0 18064 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 91668 KiB
Current children cumulated memory: 75112 KiB

[startup+12.7002 s]
/proc/loadavg: 1.45 2.04 3.15 6/272 42036
/proc/meminfo: memFree=129786684/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42028] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42028/stat : 42028 (timeout) S 42015 42028 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831147 2723840 352 18446744073709551615 94631480250368 94631480266881 140730459946992 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94631480281648 94631480283736 94631496298496 140730459953558 140730459953698 140730459953698 140730459959271 0
/proc/42028/statm: 665 352 352 5 0 90 0
[pid=42032] ppid=42028 vsize=91672 memory=77568 CPUtime=12.62 cores=0,2
/proc/42032/stat : 42032 (CASHWMaxSAT-Dis) R 42028 42028 41955 0 -1 4194304 31595 0 0 0 1254 8 0 0 20 0 1 0 45831147 93872128 19392 18446744073709551615 4198400 14817773 140736053403936 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54050816 140736053410204 140736053410331 140736053410331 140736053415904 0
/proc/42032/statm: 22918 19392 992 2593 0 19811 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 98656 KiB
Current children cumulated memory: 81920 KiB

[startup+25.5002 s]
/proc/loadavg: 1.84 2.10 3.16 6/272 42036
/proc/meminfo: memFree=129758648/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42028] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42028/stat : 42028 (timeout) S 42015 42028 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831147 2723840 352 18446744073709551615 94631480250368 94631480266881 140730459946992 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94631480281648 94631480283736 94631496298496 140730459953558 140730459953698 140730459953698 140730459959271 0
/proc/42028/statm: 665 352 352 5 0 90 0
[pid=42032] ppid=42028 vsize=86152 memory=72264 CPUtime=25.38 cores=0,2
/proc/42032/stat : 42032 (CASHWMaxSAT-Dis) R 42028 42028 41955 0 -1 4194304 37132 0 0 0 2529 9 0 0 20 0 1 0 45831147 88219648 18066 18446744073709551615 4198400 14817773 140736053403936 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54050816 140736053410204 140736053410331 140736053410331 140736053415904 0
/proc/42032/statm: 21538 18066 992 2593 0 18431 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 93136 KiB
Current children cumulated memory: 76616 KiB

[startup+51.1048 s]
/proc/loadavg: 2.76 2.30 3.19 6/272 42036
/proc/meminfo: memFree=129739076/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42028] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42028/stat : 42028 (timeout) S 42015 42028 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831147 2723840 352 18446744073709551615 94631480250368 94631480266881 140730459946992 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94631480281648 94631480283736 94631496298496 140730459953558 140730459953698 140730459953698 140730459959271 0
/proc/42028/statm: 665 352 352 5 0 90 0
[pid=42032] ppid=42028 vsize=89048 memory=75100 CPUtime=50.91 cores=0,2
/proc/42032/stat : 42032 (CASHWMaxSAT-Dis) R 42028 42028 41955 0 -1 4194304 46105 0 0 0 5078 13 0 0 20 0 1 0 45831147 91185152 18775 18446744073709551615 4198400 14817773 140736053403936 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54050816 140736053410204 140736053410331 140736053410331 140736053415904 0
/proc/42032/statm: 22262 18775 992 2593 0 19155 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 96032 KiB
Current children cumulated memory: 79452 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.58 3.24 6/272 42038
/proc/meminfo: memFree=129713360/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0

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

/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42093] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42093/stat : 42093 (timeout) S 42015 42093 41955 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45950948 2723840 352 18446744073709551615 94228869881856 94228869898369 140723574642144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94228869913136 94228869915224 94228897898496 140723574651270 140723574651426 140723574651426 140723574656999 0
/proc/42093/statm: 665 352 352 5 0 90 0
[pid=42095] ppid=42093 vsize=1422344 memory=1165328 CPUtime=2197.86 cores=0,2
/proc/42095/stat : 42095 (ExactPR-S) R 42093 42093 41955 0 -1 4194304 231645 0 0 0 219596 190 0 0 20 0 1 0 45950948 1456480256 291332 18446744073709551615 93982535782400 93982545082437 140735734841664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93982546868544 93982546907624 93982564388864 140735734843806 140735734843943 140735734843943 140735734849516 0
/proc/42095/statm: 355586 291332 3520 2271 0 350224 0
Current children cumulated CPU time: 3392.4 s
Current children cumulated vsize: 1429328 KiB
Current children cumulated memory: 1169680 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.07 6/273 42222
/proc/meminfo: memFree=126220944/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=1194.54 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 283 91550 0 0 0 0 119417 37 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42093] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42093/stat : 42093 (timeout) S 42015 42093 41955 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45950948 2723840 352 18446744073709551615 94228869881856 94228869898369 140723574642144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94228869913136 94228869915224 94228897898496 140723574651270 140723574651426 140723574651426 140723574656999 0
/proc/42093/statm: 665 352 352 5 0 90 0
[pid=42095] ppid=42093 vsize=1422344 memory=1165328 CPUtime=2257.69 cores=0,2
/proc/42095/stat : 42095 (ExactPR-S) R 42093 42093 41955 0 -1 4194304 231707 0 0 0 225579 190 0 0 20 0 1 0 45950948 1456480256 291332 18446744073709551615 93982535782400 93982545082437 140735734841664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93982546868544 93982546907624 93982564388864 140735734843806 140735734843943 140735734843943 140735734849516 0
/proc/42095/statm: 355586 291332 3520 2271 0 350224 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 1429328 KiB
Current children cumulated memory: 1169680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.07 6/273 42224
/proc/meminfo: memFree=126215292/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=1194.54 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 283 91550 0 0 0 0 119417 37 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42093] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42093/stat : 42093 (timeout) S 42015 42093 41955 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45950948 2723840 352 18446744073709551615 94228869881856 94228869898369 140723574642144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94228869913136 94228869915224 94228897898496 140723574651270 140723574651426 140723574651426 140723574656999 0
/proc/42093/statm: 665 352 352 5 0 90 0
[pid=42095] ppid=42093 vsize=1422344 memory=1167376 CPUtime=2317.54 cores=0,2
/proc/42095/stat : 42095 (ExactPR-S) R 42093 42093 41955 0 -1 4194304 231816 0 0 0 231562 192 0 0 20 0 1 0 45950948 1456480256 291844 18446744073709551615 93982535782400 93982545082437 140735734841664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93982546868544 93982546907624 93982564388864 140735734843806 140735734843943 140735734843943 140735734849516 0
/proc/42095/statm: 355586 291844 3520 2271 0 350224 0
Current children cumulated CPU time: 3512.08 s
Current children cumulated vsize: 1429328 KiB
Current children cumulated memory: 1171728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.07 6/270 42226
/proc/meminfo: memFree=126235448/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=1194.54 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 283 91550 0 0 0 0 119417 37 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42093] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42093/stat : 42093 (timeout) S 42015 42093 41955 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45950948 2723840 352 18446744073709551615 94228869881856 94228869898369 140723574642144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94228869913136 94228869915224 94228897898496 140723574651270 140723574651426 140723574651426 140723574656999 0
/proc/42093/statm: 665 352 352 5 0 90 0
[pid=42095] ppid=42093 vsize=1422344 memory=1167376 CPUtime=2377.38 cores=0,2
/proc/42095/stat : 42095 (ExactPR-S) R 42093 42093 41955 0 -1 4194304 231816 0 0 0 237544 194 0 0 20 0 1 0 45950948 1456480256 291844 18446744073709551615 93982535782400 93982545082437 140735734841664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93982546868544 93982546907624 93982564388864 140735734843806 140735734843943 140735734843943 140735734849516 0
/proc/42095/statm: 355586 291844 3520 2271 0 350224 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 1429328 KiB
Current children cumulated memory: 1171728 KiB

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

# cumulated CPU time of all completed processes:  user=3583.35 s, system=2.35328 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.07 6/270 42226
/proc/meminfo: memFree=126235448/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=1194.54 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 283 91550 0 0 0 0 119417 37 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42093] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42093/stat : 42093 (timeout) S 42015 42093 41955 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45950948 2723840 352 18446744073709551615 94228869881856 94228869898369 140723574642144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94228869913136 94228869915224 94228897898496 140723574651270 140723574651426 140723574651426 140723574656999 0
/proc/42093/statm: 665 352 352 5 0 90 0
[pid=42095] ppid=42093 vsize=1422344 memory=1167376 CPUtime=2379.08 cores=0,2
/proc/42095/stat : 42095 (ExactPR-S) R 42093 42093 41955 0 -1 4194304 231817 0 0 0 237714 194 0 0 20 0 1 0 45950948 1456480256 291844 18446744073709551615 93982535782400 93982545082437 140735734841664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93982546868544 93982546907624 93982564388864 140735734843806 140735734843943 140735734843943 140735734849516 0
/proc/42095/statm: 355586 291844 3520 2271 0 350224 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 1429328 KiB
Current children cumulated memory: 1171728 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.10 4.07 6/270 42226
/proc/meminfo: memFree=126219096/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=1194.54 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 283 91550 0 0 0 0 119417 37 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42093] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42093/stat : 42093 (timeout) S 42015 42093 41955 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45950948 2723840 352 18446744073709551615 94228869881856 94228869898369 140723574642144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94228869913136 94228869915224 94228897898496 140723574651270 140723574651426 140723574651426 140723574656999 0
/proc/42093/statm: 665 352 352 5 0 90 0
[pid=42095] ppid=42093 vsize=1422344 memory=1167376 CPUtime=2385.46 cores=0,2
/proc/42095/stat : 42095 (ExactPR-S) R 42093 42093 41955 0 -1 4194304 231817 0 0 0 238352 194 0 0 20 0 1 0 45950948 1456480256 291844 18446744073709551615 93982535782400 93982545082437 140735734841664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93982546868544 93982546907624 93982564388864 140735734843806 140735734843943 140735734843943 140735734849516 0
/proc/42095/statm: 355586 291844 3520 2271 0 350224 0
Current children cumulated CPU time: 3580 s
Current children cumulated vsize: 1429328 KiB
Current children cumulated memory: 1171728 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.07 6/270 42226
/proc/meminfo: memFree=126219348/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=1194.54 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 283 91550 0 0 0 0 119417 37 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42093] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42093/stat : 42093 (timeout) S 42015 42093 41955 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45950948 2723840 352 18446744073709551615 94228869881856 94228869898369 140723574642144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94228869913136 94228869915224 94228897898496 140723574651270 140723574651426 140723574651426 140723574656999 0
/proc/42093/statm: 665 352 352 5 0 90 0
[pid=42095] ppid=42093 vsize=1422344 memory=1167376 CPUtime=2388.65 cores=0,2
/proc/42095/stat : 42095 (ExactPR-S) R 42093 42093 41955 0 -1 4194304 231817 0 0 0 238671 194 0 0 20 0 1 0 45950948 1456480256 291844 18446744073709551615 93982535782400 93982545082437 140735734841664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93982546868544 93982546907624 93982564388864 140735734843806 140735734843943 140735734843943 140735734849516 0
/proc/42095/statm: 355586 291844 3520 2271 0 350224 0
Current children cumulated CPU time: 3583.19 s
Current children cumulated vsize: 1429328 KiB
Current children cumulated memory: 1171728 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.10 4.07 6/270 42226
/proc/meminfo: memFree=126219600/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=1194.54 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 283 91550 0 0 0 0 119417 37 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42093] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42093/stat : 42093 (timeout) S 42015 42093 41955 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45950948 2723840 352 18446744073709551615 94228869881856 94228869898369 140723574642144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94228869913136 94228869915224 94228897898496 140723574651270 140723574651426 140723574651426 140723574656999 0
/proc/42093/statm: 665 352 352 5 0 90 0
[pid=42095] ppid=42093 vsize=1422344 memory=1167376 CPUtime=2390.24 cores=0,2
/proc/42095/stat : 42095 (ExactPR-S) R 42093 42093 41955 0 -1 4194304 231817 0 0 0 238830 194 0 0 20 0 1 0 45950948 1456480256 291844 18446744073709551615 93982535782400 93982545082437 140735734841664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93982546868544 93982546907624 93982564388864 140735734843806 140735734843943 140735734843943 140735734849516 0
/proc/42095/statm: 355586 291844 3520 2271 0 350224 0
Current children cumulated CPU time: 3584.78 s
Current children cumulated vsize: 1429328 KiB
Current children cumulated memory: 1171728 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.10 4.07 6/270 42226
/proc/meminfo: memFree=126206456/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=1194.54 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 283 91550 0 0 0 0 119417 37 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
[pid=42093] ppid=42015 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42093/stat : 42093 (timeout) S 42015 42093 41955 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45950948 2723840 352 18446744073709551615 94228869881856 94228869898369 140723574642144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94228869913136 94228869915224 94228897898496 140723574651270 140723574651426 140723574651426 140723574656999 0
/proc/42093/statm: 665 352 352 5 0 90 0
[pid=42095] ppid=42093 vsize=1422344 memory=1167376 CPUtime=2391.05 cores=0,2
/proc/42095/stat : 42095 (ExactPR-S) R 42093 42093 41955 0 -1 4194304 231817 0 0 0 238911 194 0 0 20 0 1 0 45950948 1456480256 291844 18446744073709551615 93982535782400 93982545082437 140735734841664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93982546868544 93982546907624 93982564388864 140735734843806 140735734843943 140735734843943 140735734849516 0
/proc/42095/statm: 355586 291844 3520 2271 0 350224 0
Current children cumulated CPU time: 3585.59 s
Current children cumulated vsize: 1429328 KiB
Current children cumulated memory: 1171728 KiB

[startup+3596.2 s]
/proc/loadavg: 4.10 4.10 4.07 6/270 42226
/proc/meminfo: memFree=126206456/131249996 swapFree=33010416/33010684
[pid=42015] ppid=42006 vsize=4324 memory=2944 CPUtime=3585.69 cores=0,2
/proc/42015/stat : 42015 (Hybrid-CASHWMax) S 42006 42015 41955 0 -1 4194304 479 326097 0 3 0 0 358334 235 20 0 1 0 45831144 4427776 736 18446744073709551615 94782222757888 94782223652421 140727416239568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94782223891472 94782223939216 94782251646976 140727416244567 140727416244721 140727416244721 140727416250323 0
/proc/42015/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.69 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.23
CPU time (s): 3585.7
CPU user time (s): 3583.35
CPU system time (s): 2.35328
CPU usage (%): 99.7072
Max. virtual memory (cumulated for all children) (KiB): 1596292
Max. memory (cumulated for all children) (KiB): 1171728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.35
system time used= 2.35328
maximum resident set size= 1167504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326931
page faults= 3
swaps= 0
block input operations= 184
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2966
involuntary context switches= 8024


# summary of solver processes directly reported to runsolver:
#   pid: 42015
#   total CPU time (s): 3585.7
#   total CPU user time (s): 3583.35
#   total CPU system time (s): 2.35328

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00185 second user time and 13.2735 second system time

The end