Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 | OPT | -12104 | 1793.51 | 1798.19 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated/normalized-knapPI_1_50_1000_4_-4888.opb |
| MD5SUM | 92573cc8e272343f134c178d29564a08 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -12104 |
| Best CPU time to get the best result obtained on this benchmark | 0.005925 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 200 |
| Total number of constraints | 1 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 200 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 999 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 106164 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 999 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 106164 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1793.31/1798.19 c Exit code from Second Program: 30 1793.31/1798.19 o 0 1793.31/1798.19 o 0 1793.31/1798.19 o -94 1793.31/1798.19 o -617 1793.31/1798.19 o -1525 1793.31/1798.19 o -1905 1793.31/1798.19 o -1999 1793.31/1798.19 o -2411 1793.31/1798.19 o -3009 1793.31/1798.19 o -3067 1793.31/1798.19 o -3067 1793.31/1798.19 o -3502 1793.31/1798.19 o -3509 1793.31/1798.19 o -3553 1793.31/1798.19 o -3590 1793.31/1798.19 o -3889 1793.31/1798.19 o -4130 1793.31/1798.19 o -4677 1793.31/1798.19 o -4677 1793.31/1798.19 o -4776 1793.31/1798.19 o -4776 1793.31/1798.19 o -4776 1793.31/1798.19 o -4776 1793.31/1798.19 o -4776 1793.31/1798.19 o -4861 1793.31/1798.19 o -4861 1793.31/1798.19 o -4861 1793.31/1798.19 o -4861 1793.31/1798.19 o -4861 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -4972 1793.31/1798.19 o -5471 1793.31/1798.19 o -5471 1793.31/1798.19 o -5471 1793.31/1798.19 o -5471 1793.31/1798.19 o -5516 1793.31/1798.19 o -5516 1793.31/1798.19 o -5516 1793.31/1798.19 o -5516 1793.31/1798.19 o -5516 1793.31/1798.19 o -5516 1793.31/1798.19 o -5516 1793.31/1798.19 o -5516 1793.31/1798.19 o -5960 1793.31/1798.19 o -5960 1793.31/1798.19 o -5960 1793.31/1798.19 o -5960 1793.31/1798.19 o -5960 1793.31/1798.19 o -5960 1793.31/1798.19 o -6094 1793.31/1798.19 o -6094 1793.31/1798.19 o -6094 1793.31/1798.19 o -6094 1793.31/1798.19 o -6094 1793.31/1798.19 o -6094 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -6279 1793.31/1798.19 o -7693 1793.31/1798.19 o -7693 1793.31/1798.19 o -7693 1793.31/1798.19 o -7693 1793.31/1798.19 o -7693 1793.31/1798.19 o -7693 1793.31/1798.19 o -8502 1793.31/1798.19 o -8502 1793.31/1798.19 o -8502 1793.31/1798.19 o -8502 1793.31/1798.19 o -8502 1793.31/1798.19 o -8502 1793.31/1798.19 o -8502 1793.31/1798.19 o -8502 1793.31/1798.19 o -8502 1793.31/1798.19 o -8552 1793.31/1798.19 o -8552 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8726 1793.31/1798.19 o -8922 1793.31/1798.19 o -8922 1793.31/1798.19 o -8922 1793.31/1798.19 o -9205 1793.31/1798.19 o -9205 1793.31/1798.19 o -9205 1793.31/1798.19 o -9205 1793.31/1798.19 o -9205 1793.31/1798.19 o -9205 1793.31/1798.19 o -9205 1793.31/1798.19 o -9205 1793.31/1798.19 o -9205 1793.31/1798.19 o -9205 1793.31/1798.19 o -9205 1793.31/1798.19 o -9212 1793.31/1798.19 o -9212 1793.31/1798.19 o -9212 1793.31/1798.19 o -9212 1793.31/1798.19 o -9212 1793.31/1798.19 o -9212 1793.31/1798.19 o -9212 1793.31/1798.19 o -9212 1793.31/1798.19 o -9212 1793.31/1798.19 o -9416 1793.31/1798.19 o -9416 1793.31/1798.19 o -9416 1793.31/1798.19 o -9416 1793.31/1798.19 o -9416 1793.31/1798.19 o -9416 1793.31/1798.19 o -9416 1793.31/1798.19 o -9416 1793.31/1798.19 o -9416 1793.31/1798.19 o -9416 1793.31/1798.19 o -9416 1793.31/1798.19 o -9501 1793.31/1798.19 o -9555 1793.31/1798.19 o -9555 1793.31/1798.19 o -9555 1793.31/1798.19 o -9555 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9583 1793.31/1798.19 o -9692 1793.31/1798.19 o -9692 1793.31/1798.19 o -9746 1793.31/1798.19 o -9746 1793.31/1798.19 o -9796 1793.31/1798.19 o -9796 1793.31/1798.19 o -9850 1793.31/1798.19 o -9850 1793.31/1798.19 o -9850 1793.31/1798.19 o -9850 1793.31/1798.19 o -9850 1793.31/1798.19 o -9867 1793.31/1798.19 o -9867 1793.31/1798.19 o -9867 1793.31/1798.19 o -10083 1793.31/1798.19 o -10083 1793.31/1798.19 o -10083 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10234 1793.31/1798.19 o -10303 1793.31/1798.19 o -10303 1793.31/1798.19 o -10303 1793.31/1798.19 o -10303 1793.31/1798.19 o -10494 1793.31/1798.19 o -10494 1793.31/1798.19 o -10598 1793.31/1798.19 o -10598 1793.31/1798.19 o -10598 1793.31/1798.19 o -10598 1793.31/1798.19 o -10598 1793.31/1798.19 o -10598 1793.31/1798.19 o -10604 1793.31/1798.19 o -10604 1793.31/1798.19 o -10604 1793.31/1798.19 o -10604 1793.31/1798.19 o -10604 1793.31/1798.19 o -10604 1793.31/1798.19 o -10604 1793.31/1798.19 o -10604 1793.31/1798.19 o -10604 1793.31/1798.19 o -10604 1793.31/1798.19 o -10604 1793.31/1798.19 o -10716 1793.31/1798.19 o -10716 1793.31/1798.19 o -10716 1793.31/1798.19 o -10716 1793.31/1798.19 o -10716 1793.31/1798.19 o -10716 1793.31/1798.19 o -10721 1793.31/1798.19 o -10721 1793.31/1798.19 o -10772 1793.31/1798.19 o -10772 1793.31/1798.19 o -10772 1793.31/1798.19 o -10961 1793.31/1798.19 o -10961 1793.31/1798.19 o -10961 1793.31/1798.19 o -11015 1793.31/1798.19 o -11015 1793.31/1798.19 o -11015 1793.31/1798.19 o -11060 1793.31/1798.19 o -11093 1793.31/1798.19 o -11125 1793.31/1798.19 o -11125 1793.31/1798.19 o -11125 1793.31/1798.19 o -11125 1793.31/1798.19 o -11140 1793.31/1798.19 o -11140 1793.31/1798.19 o -11931 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11940 1793.31/1798.19 o -11957 1793.31/1798.19 o -11957 1793.31/1798.19 o -11957 1793.31/1798.19 o -12027 1793.31/1798.19 o -12027 1793.31/1798.19 o -12027 1793.31/1798.19 o -12027 1793.31/1798.19 o -12027 1793.31/1798.19 o -12027 1793.31/1798.19 o -12027 1793.31/1798.19 o -12027 1793.31/1798.19 o -12027 1793.31/1798.19 o -12027 1793.31/1798.19 o -12027 1793.31/1798.19 o -12033 1793.31/1798.19 o -12033 1793.31/1798.19 o -12033 1793.31/1798.19 o -12033 1793.31/1798.19 o -12033 1793.31/1798.19 o -12104 1793.31/1798.19 o -12104 1793.31/1798.19 o -12104 1793.31/1798.19 s OPTIMUM FOUND 1793.31/1798.19 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
OK -12104
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: 63968 MiB (58321 MiB free)
memory of node 1: 64473 MiB (61963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457727-1722988030/watcher-4457727-1722988030 -o /tmp/evaluation-result-4457727-1722988030/solver-4457727-1722988030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722982519-360321 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4457727-1722988030.opb 3600 HOME 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=364290, runsolver pid=364287
[startup+0.100664 s]*
/proc/loadavg: 4.65 4.24 4.13 5/263 364294
/proc/meminfo: memFree=123144728/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=47452 memory=39752 CPUtime=0.09 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 8612 0 0 0 8 1 0 0 20 0 1 0 65402870 48590848 9938 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 11863 9938 2826 2726 0 8611 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66044 KiB
Current children cumulated memory: 43396 KiB
[startup+0.205818 s]*
/proc/loadavg: 4.65 4.24 4.13 5/263 364294
/proc/meminfo: memFree=123140612/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=49860 memory=41312 CPUtime=0.19 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 8957 0 0 0 18 1 0 0 20 0 1 0 65402870 51056640 10328 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 12465 10328 2890 2726 0 9213 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68452 KiB
Current children cumulated memory: 44956 KiB
[startup+0.305938 s]*
/proc/loadavg: 4.65 4.24 4.13 5/263 364294
/proc/meminfo: memFree=123133052/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=60836 memory=52324 CPUtime=0.3 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 11689 0 0 0 28 2 0 0 20 0 1 0 65402870 62296064 13081 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 15209 13081 2954 2726 0 11957 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79428 KiB
Current children cumulated memory: 55968 KiB
[startup+0.700311 s]
/proc/loadavg: 4.65 4.24 4.13 5/263 364294
/proc/meminfo: memFree=123127200/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=63060 memory=54980 CPUtime=0.68 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 12255 0 0 0 66 2 0 0 20 0 1 0 65402870 64573440 13745 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 15765 13745 3034 2726 0 12513 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81652 KiB
Current children cumulated memory: 58624 KiB
[startup+1.5003 s]
/proc/loadavg: 4.65 4.24 4.13 5/263 364294
/proc/meminfo: memFree=123126836/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=63540 memory=55244 CPUtime=1.48 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 12322 0 0 0 146 2 0 0 20 0 1 0 65402870 65064960 13811 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 15885 13811 3034 2726 0 12633 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58888 KiB
[startup+3.10576 s]
/proc/loadavg: 4.68 4.25 4.14 5/263 364294
/proc/meminfo: memFree=123125396/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=63540 memory=55244 CPUtime=3.08 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 12342 0 0 0 306 2 0 0 20 0 1 0 65402870 65064960 13811 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 15885 13811 3034 2726 0 12633 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58888 KiB
[startup+6.30028 s]
/proc/loadavg: 4.68 4.25 4.14 5/263 364296
/proc/meminfo: memFree=123092788/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=97576 memory=87692 CPUtime=6.27 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 20452 0 0 0 623 4 0 0 20 0 1 0 65402870 99917824 21923 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 24394 21923 3050 2726 0 21142 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116168 KiB
Current children cumulated memory: 91336 KiB
[startup+12.7003 s]
/proc/loadavg: 4.70 4.26 4.14 5/263 364298
/proc/meminfo: memFree=124036468/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=120572 memory=105640 CPUtime=12.66 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 24921 0 0 0 1261 5 0 0 20 0 1 0 65402870 123465728 26410 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 30143 26410 3050 2726 0 26891 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 139164 KiB
Current children cumulated memory: 109284 KiB
[startup+25.5003 s]
/proc/loadavg: 4.62 4.27 4.14 5/263 364301
/proc/meminfo: memFree=123953688/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=123304 memory=109336 CPUtime=25.42 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 25892 0 0 0 2537 5 0 0 20 0 1 0 65402870 126263296 27334 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 30826 27334 3050 2726 0 27574 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 141896 KiB
Current children cumulated memory: 112980 KiB
[startup+51.1057 s]
/proc/loadavg: 4.41 4.24 4.14 5/263 364306
/proc/meminfo: memFree=123861160/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=174012 memory=157472 CPUtime=50.96 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 38976 0 0 0 5089 7 0 0 20 0 1 0 65402870 178188288 39368 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 43503 39368 3050 2726 0 40251 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 192604 KiB
Current children cumulated memory: 161116 KiB
[startup+102.3 s]
/proc/loadavg: 4.54 4.31 4.17 5/263 364314
/proc/meminfo: memFree=123787612/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
################
# More data... #
################
/proc/meminfo: memFree=123376120/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=575100 memory=569000 CPUtime=1658.01 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 137409 0 0 0 165756 45 0 0 20 0 1 0 65402870 588902400 142250 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 143775 142250 3111 2726 0 140523 0
Current children cumulated CPU time: 1658.01 s
Current children cumulated vsize: 593692 KiB
Current children cumulated memory: 572644 KiB
[startup+1722.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/263 365187
/proc/meminfo: memFree=123374796/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=575100 memory=569000 CPUtime=1717.83 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 137490 0 0 0 171738 45 0 0 20 0 1 0 65402870 588902400 142250 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 143775 142250 3111 2726 0 140523 0
Current children cumulated CPU time: 1717.83 s
Current children cumulated vsize: 593692 KiB
Current children cumulated memory: 572644 KiB
[startup+1782.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/263 365197
/proc/meminfo: memFree=123362912/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=575100 memory=569000 CPUtime=1777.65 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 137571 0 0 0 177720 45 0 0 20 0 1 0 65402870 588902400 142250 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 143775 142250 3111 2726 0 140523 0
Current children cumulated CPU time: 1777.65 s
Current children cumulated vsize: 593692 KiB
Current children cumulated memory: 572644 KiB
[startup+1798.19 s]
# the end of solver process 364290 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1793.04 s, system=0.471901 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 365200
/proc/meminfo: memFree=124288072/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=575100 memory=569000 CPUtime=1780.94 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 137573 0 0 0 178049 45 0 0 20 0 1 0 65402870 588902400 142250 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 143775 142250 3111 2726 0 140523 0
Current children cumulated CPU time: 1780.94 s
Current children cumulated vsize: 593692 KiB
Current children cumulated memory: 572644 KiB
[startup+1792 s]*
/proc/loadavg: 4.15 4.14 4.11 6/264 365256
/proc/meminfo: memFree=124122936/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=575100 memory=569000 CPUtime=1787.32 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 137573 0 0 0 178687 45 0 0 20 0 1 0 65402870 588902400 142250 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 143775 142250 3111 2726 0 140523 0
Current children cumulated CPU time: 1787.32 s
Current children cumulated vsize: 593692 KiB
Current children cumulated memory: 572644 KiB
[startup+1795.2 s]
/proc/loadavg: 4.14 4.14 4.11 5/264 365258
/proc/meminfo: memFree=124035624/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=575100 memory=569000 CPUtime=1790.51 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 137583 0 0 0 179006 45 0 0 20 0 1 0 65402870 588902400 142250 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 143775 142250 3111 2726 0 140523 0
Current children cumulated CPU time: 1790.51 s
Current children cumulated vsize: 593692 KiB
Current children cumulated memory: 572644 KiB
[startup+1796.8 s]
/proc/loadavg: 4.14 4.14 4.11 6/264 365258
/proc/meminfo: memFree=124034216/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=575100 memory=569000 CPUtime=1792.1 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 137583 0 0 0 179165 45 0 0 20 0 1 0 65402870 588902400 142250 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 143775 142250 3111 2726 0 140523 0
Current children cumulated CPU time: 1792.1 s
Current children cumulated vsize: 593692 KiB
Current children cumulated memory: 572644 KiB
[startup+1797.6 s]
/proc/loadavg: 4.14 4.14 4.11 5/264 365258
/proc/meminfo: memFree=124039868/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
[pid=364294] ppid=364293 vsize=575100 memory=569000 CPUtime=1792.9 cores=4,6
/proc/364294/stat : 364294 (CASHWMaxSAT-Dis) R 364293 364293 360310 0 -1 4194304 137583 0 0 0 179245 45 0 0 20 0 1 0 65402870 588902400 142250 134679101440 4194304 15356333 140734788466448 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32477184 140734788473859 140734788474005 140734788474005 140734788480991 0
/proc/364294/statm: 143775 142250 3111 2726 0 140523 0
Current children cumulated CPU time: 1792.9 s
Current children cumulated vsize: 593692 KiB
Current children cumulated memory: 572644 KiB
[startup+1798 s]*
/proc/loadavg: 4.13 4.14 4.11 5/264 365258
/proc/meminfo: memFree=124039552/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 65402870 10170368 675 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 675 596 264 0 134 0
[pid=364293] ppid=364290 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/364293/stat : 364293 (timeout) S 364290 364293 360310 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 65402870 8867840 236 134679101440 94526589841408 94526589876424 140722013002656 0 0 0 0 3293184 73735 0 0 0 17 4 0 0 0 0 0 94526591973840 94526591975972 94526600269824 140722013004798 140722013004957 140722013004957 140722013011943 0
/proc/364293/statm: 2165 236 212 9 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3644 KiB
[startup+1798.11 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 365258
/proc/meminfo: memFree=124039552/131524600 swapFree=131071996/131071996
[pid=364290] ppid=364287 vsize=9932 memory=2756 CPUtime=1793.31 cores=4,6
/proc/364290/stat : 364290 (Hybrid-CASHWMax) S 364287 364290 360310 0 -1 4194304 271 137806 0 0 0 0 179285 46 20 0 1 0 65402870 10170368 689 134679101440 93863212052480 93863213131800 140722869412416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93863215230256 93863215277444 93863225909248 140722869421006 140722869421165 140722869421165 140722869428180 0
/proc/364290/statm: 2483 689 596 264 0 134 0
Current children cumulated CPU time: 1793.31 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2756 KiB
Child status: 0
Real time (s): 1798.19
CPU time (s): 1793.51
CPU user time (s): 1793.04
CPU system time (s): 0.471901
CPU usage (%): 99.7395
Max. virtual memory (cumulated for all children) (KiB): 638484
Max. memory (cumulated for all children) (KiB): 572644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.04
system time used= 0.471901
maximum resident set size= 569000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 1202
# summary of solver processes directly reported to runsolver:
# pid: 364290
# total CPU time (s): 1793.51
# total CPU user time (s): 1793.04
# total CPU system time (s): 0.471901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.15751 second user time and 10.1011 second system time
The end
Begin job on nodeC025 at 2024-08-07 01:47:10 IDJOB=4457727 IDBENCH=176742 IDSOLVER=3072 FILE ID=nodeC025/4457727-1722988030 RUNJOBID= nodeC025-1722982519-360321 SLURM_JOB_ID= 8259091 Free space on /tmp= 890016 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_50_1000_4_-4888.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457727-1722988030/watcher-4457727-1722988030 -o /tmp/evaluation-result-4457727-1722988030/solver-4457727-1722988030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722982519-360321 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4457727-1722988030.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 92573cc8e272343f134c178d29564a08 RANDOM SEED=1829653888 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.980 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.310 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3620.197 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.274 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.962 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.344 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3659.093 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.275 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123171984 kB MemAvailable: 127372416 kB Buffers: 351664 kB Cached: 4667608 kB SwapCached: 0 kB Active: 664472 kB Inactive: 7101248 kB Active(anon): 1628 kB Inactive(anon): 2782552 kB Active(file): 662844 kB Inactive(file): 4318696 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 38856 kB Writeback: 112 kB AnonPages: 2746448 kB Mapped: 127860 kB Shmem: 37720 kB KReclaimable: 117428 kB Slab: 212260 kB SReclaimable: 117428 kB SUnreclaim: 94832 kB KernelStack: 4140 kB PageTables: 14992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3368072 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 30720 kB HardwareCorrupted: 0 kB AnonHugePages: 1726464 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 361172 kB DirectMap2M: 25626624 kB DirectMap1G: 110100480 kB Free space on /tmp at the end= 889996 MiB End job on nodeC025 at 2024-08-07 02:17:08