| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? (TO) | 3600.11 | 3610.41 |
| Name | PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-08-04-08_c24.opb |
| MD5SUM | e5dad10f2c51a051686c6ce21bebf57a |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 101921 |
| Total number of constraints | 213661 |
| Number of constraints which are clauses | 56497 |
| Number of constraints which are cardinality constraints (but not clauses) | 776 |
| Number of constraints which are nor clauses,nor cardinality constraints | 156388 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 62 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4545321-1753236388.opb>
1.18/1.26 c original problem has 101921 variables (101921 bin, 0 int, 0 cont) and 213661 constraints
1.18/1.26 c problem read in 1.258 seconds
1.18/1.26 c problem without objective
1.88/1.97 c presolving:
2.38/2.43 c (round 1, fast) 14107 del vars, 13987 del conss, 256 add conss, 14106 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1710 clqs
2.58/2.69 c (round 2, fast) 27852 del vars, 57708 del conss, 264 add conss, 27742 chg bounds, 30947 chg sides, 38078 chg coeffs, 0 upgd conss, 0 impls, 25487 clqs
2.68/2.72 c (round 3, fast) 28135 del vars, 58536 del conss, 264 add conss, 27762 chg bounds, 30951 chg sides, 38078 chg coeffs, 0 upgd conss, 0 impls, 25377 clqs
2.99/3.08 c (3.1s) running MILP presolver
7.17/7.21 c (7.2s) MILP presolver (10 rounds): 2731 aggregations, 1122 fixings, 0 bound changes
7.17/7.24 c (round 4, medium) 31988 del vars, 58540 del conss, 264 add conss, 27762 chg bounds, 30951 chg sides, 38078 chg coeffs, 0 upgd conss, 0 impls, 18941 clqs
7.46/7.53 c (round 5, fast) 32012 del vars, 65753 del conss, 460 add conss, 27762 chg bounds, 32056 chg sides, 39839 chg coeffs, 0 upgd conss, 0 impls, 21411 clqs
7.56/7.66 c (round 6, exhaustive) 32012 del vars, 66672 del conss, 460 add conss, 27762 chg bounds, 32123 chg sides, 40403 chg coeffs, 0 upgd conss, 0 impls, 21411 clqs
8.26/8.36 c (round 7, exhaustive) 32012 del vars, 66672 del conss, 460 add conss, 27762 chg bounds, 32123 chg sides, 40403 chg coeffs, 143664 upgd conss, 0 impls, 21411 clqs
8.45/8.57 c (round 8, fast) 32012 del vars, 66672 del conss, 460 add conss, 27762 chg bounds, 34729 chg sides, 63385 chg coeffs, 143664 upgd conss, 0 impls, 21411 clqs
9.16/9.26 c (round 9, medium) 32014 del vars, 91361 del conss, 53705 add conss, 27762 chg bounds, 45955 chg sides, 79171 chg coeffs, 143664 upgd conss, 0 impls, 66784 clqs
9.26/9.39 c (round 10, fast) 32014 del vars, 93977 del conss, 56313 add conss, 27762 chg bounds, 45955 chg sides, 79177 chg coeffs, 143664 upgd conss, 0 impls, 66784 clqs
9.76/9.87 c (round 11, exhaustive) 32014 del vars, 166417 del conss, 80151 add conss, 27762 chg bounds, 45957 chg sides, 79181 chg coeffs, 143664 upgd conss, 0 impls, 66784 clqs
10.45/10.55 c (round 12, exhaustive) 36259 del vars, 170664 del conss, 80153 add conss, 27762 chg bounds, 45957 chg sides, 84234 chg coeffs, 143664 upgd conss, 0 impls, 56418 clqs
10.75/10.84 c (round 13, exhaustive) 37005 del vars, 171420 del conss, 80163 add conss, 27762 chg bounds, 45965 chg sides, 84274 chg coeffs, 143664 upgd conss, 0 impls, 55240 clqs
10.97/11.10 c (round 14, exhaustive) 37005 del vars, 171420 del conss, 80163 add conss, 27762 chg bounds, 45965 chg sides, 84274 chg coeffs, 147173 upgd conss, 0 impls, 55245 clqs
11.15/11.27 c (round 15, medium) 37005 del vars, 174745 del conss, 86932 add conss, 27762 chg bounds, 46014 chg sides, 85300 chg coeffs, 147173 upgd conss, 0 impls, 61878 clqs
11.35/11.47 c (round 16, exhaustive) 37005 del vars, 185215 del conss, 90395 add conss, 27762 chg bounds, 46014 chg sides, 85300 chg coeffs, 147173 upgd conss, 0 impls, 61878 clqs
11.55/11.61 c (round 17, medium) 37216 del vars, 185218 del conss, 90395 add conss, 27762 chg bounds, 46223 chg sides, 85509 chg coeffs, 147173 upgd conss, 0 impls, 61246 clqs
11.55/11.68 c (round 18, fast) 37216 del vars, 185418 del conss, 90395 add conss, 27762 chg bounds, 46223 chg sides, 85509 chg coeffs, 147173 upgd conss, 0 impls, 61246 clqs
11.75/11.88 c (round 19, exhaustive) 37804 del vars, 186006 del conss, 90395 add conss, 27762 chg bounds, 46223 chg sides, 85519 chg coeffs, 147173 upgd conss, 0 impls, 59769 clqs
85.32/85.64 c (85.6s) probing: 1000/64184 (1.6%) - 4 fixings, 10 aggregations, 21950 implications, 0 bound changes
92.90/93.21 c (93.2s) probing: 1103/64184 (1.7%) - 4 fixings, 10 aggregations, 23647 implications, 0 bound changes
92.90/93.21 c (93.2s) probing aborted: 1000/1000 successive useless probings
92.90/93.21 c (93.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
93.59/93.94 c (93.9s) symmetry computation finished: 58 generators found (max: 997, log10 of symmetry group size: 3406.87) (symcode time: 0.44)
93.59/93.96 c dynamic symmetry handling statistics:
93.59/93.96 c orbitopal reduction: no components
93.59/93.96 c orbital reduction: 4 components of sizes 4, 4, 3, 3
93.59/93.96 c lexicographic reduction: 56 permutations with support sizes 4, 4, 4, 4, 4, 4, 4, 2, 2, 2, 2, 2, 2, 2, 2, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4
93.59/93.96 c handled 48 out of 48 symmetry components
93.81/94.13 c presolving (20 rounds: 20 fast, 13 medium, 9 exhaustive):
93.81/94.13 c 37818 deleted vars, 186006 deleted constraints, 90397 added constraints, 27762 tightened bounds, 0 added holes, 46223 changed sides, 85519 changed coefficients
93.81/94.13 c 0 implications, 81324 cliques
93.81/94.13 c presolved problem has 64170 variables (64170 bin, 0 int, 0 cont) and 118052 constraints
93.81/94.13 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
93.81/94.13 c 78701 constraints of type <knapsack>
93.81/94.13 c 15750 constraints of type <setppc>
93.81/94.13 c 20358 constraints of type <and>
93.81/94.13 c 278 constraints of type <linear>
93.81/94.13 c 2965 constraints of type <logicor>
93.81/94.13 c transformed objective value is always integral (scale: 1)
93.81/94.13 c Presolving Time: 92.20
93.81/94.13 c
93.81/94.13 c - non default parameters ----------------------------------------------------------------------
93.81/94.13 c
93.81/94.13 c # SCIP version 10.0.0
93.81/94.13 c
93.81/94.13 c # maximal time in seconds to run
93.81/94.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
93.81/94.13 c limits/time = 3596.995046
93.81/94.13 c
93.81/94.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
93.81/94.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
93.81/94.13 c limits/memory = 27900
93.81/94.13 c
93.81/94.13 c # belongs reading time to solving time?
93.81/94.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
93.81/94.13 c timing/reading = TRUE
93.81/94.13 c
93.81/94.13 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
93.81/94.13 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
93.81/94.13 c reading/opbreader/maxintsize = 47
93.81/94.13 c
93.81/94.13 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
93.81/94.13 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
93.81/94.13 c propagating/genvbounds/timingmask = 0
93.81/94.13 c
93.81/94.13 c -----------------------------------------------------------------------------------------------
93.81/94.15 c
146.24/146.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
146.24/146.79 c 147s| 1 | 0 | 37926 | - | 1096M | 0 | 64k| 118k| 138k| 0 | 0 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
561.83/563.48 c 563s| 1 | 0 |110573 | - | 1116M | 0 | 64k| 118k| 140k|2000 | 1 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
618.06/619.88 c 620s| 1 | 0 |126352 | - | 1116M | 0 | 64k| 118k| 142k|4000 | 2 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
690.17/692.13 c 692s| 1 | 0 |138884 | - | 1148M | 0 | 64k| 118k| 144k|6000 | 3 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown
760.16/762.34 c 762s| 1 | 0 |150063 | - | 1164M | 0 | 64k| 118k| 146k|8000 | 4 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown
839.13/841.57 c 842s| 1 | 0 |162704 | - | 1181M | 0 | 64k| 118k| 147k|8836 | 5 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
881.41/884.01 c 884s| 1 | 0 |170965 | - | 1206M | 0 | 64k| 118k| 148k|9664 | 6 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
928.56/931.25 c 931s| 1 | 0 |180933 | - | 1230M | 0 | 64k| 118k| 148k| 10k| 7 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
1006.24/1009.19 c 1009s| 1 | 0 |191910 | - | 1256M | 0 | 64k| 118k| 148k| 10k| 8 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
1048.20/1051.24 c 1051s| 1 | 0 |199668 | - | 1281M | 0 | 64k| 118k| 149k| 11k| 9 | 78 | 0 | 0.000000e+00 | -- | Inf | unknown
1091.66/1094.86 c 1095s| 1 | 0 |207252 | - | 1301M | 0 | 64k| 118k| 149k| 11k| 10 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
1136.33/1139.67 c 1140s| 1 | 0 |215326 | - | 1334M | 0 | 64k| 118k| 150k| 12k| 11 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
1734.05/1739.33 c 1739s| 1 | 2 |245386 | - | 1337M | 0 | 64k| 118k| 150k| 12k| 11 | 99 | 26 | 0.000000e+00 | -- | Inf | unknown
ERROR: no interpretation found !
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: 63837 MiB (50495 MiB free)
memory of node 1: 64465 MiB (52677 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545321-1753236388/watcher-4545321-1753236388 -o /tmp/evaluation-result-4545321-1753236388/solver-4545321-1753236388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753236388-162915 --watchdog 3760 pbsolver -f HOME/instance-4545321-1753236388.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=162979, runsolver pid=162968
[startup+0.100071 s]*
/proc/loadavg: 1.10 1.25 2.18 5/256 162980
/proc/meminfo: memFree=105576708/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=38440 memory=28032 CPUtime=0.11 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 5077 0 0 0 9 2 0 0 20 0 1 0 239318275 39362560 7008 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 9610 7008 2176 2575 0 6517 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38440 KiB
Current children cumulated memory: 28032 KiB
[startup+0.21376 s]*
/proc/loadavg: 1.10 1.25 2.18 5/256 162980
/proc/meminfo: memFree=105505140/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=55556 memory=44544 CPUtime=0.21 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 9182 0 0 0 18 3 0 0 20 0 1 0 239318275 56889344 11104 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 13889 11136 2176 2575 0 10796 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55556 KiB
Current children cumulated memory: 44544 KiB
[startup+0.313795 s]*
/proc/loadavg: 1.10 1.25 2.18 5/256 162980
/proc/meminfo: memFree=105401064/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=68912 memory=58368 CPUtime=0.31 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 12643 0 0 0 27 4 0 0 20 0 1 0 239318275 70565888 14592 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 17228 14592 2176 2575 0 14135 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68912 KiB
Current children cumulated memory: 58368 KiB
[startup+0.700316 s]
/proc/loadavg: 1.10 1.25 2.18 5/256 162980
/proc/meminfo: memFree=105272040/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=124696 memory=113536 CPUtime=0.68 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 26464 0 0 0 60 8 0 0 20 0 1 0 239318275 127688704 28384 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 31174 28384 2176 2575 0 28081 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124696 KiB
Current children cumulated memory: 113536 KiB
[startup+1.50035 s]
/proc/loadavg: 1.41 1.31 2.19 5/256 162981
/proc/meminfo: memFree=105042024/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=362636 memory=352596 CPUtime=1.48 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 86412 0 0 0 123 25 0 0 20 0 1 0 239318275 371339264 88149 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 90659 88149 2368 2575 0 87566 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 362636 KiB
Current children cumulated memory: 352596 KiB
[startup+3.1134 s]
/proc/loadavg: 1.41 1.31 2.19 5/256 162981
/proc/meminfo: memFree=104083352/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=743292 memory=720784 CPUtime=3.09 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 160400 0 0 0 266 43 0 0 20 0 1 0 239318275 761131008 180196 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 185823 180196 2464 2575 0 182730 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 743292 KiB
Current children cumulated memory: 720784 KiB
[startup+6.30032 s]
/proc/loadavg: 1.62 1.36 2.20 5/256 162981
/proc/meminfo: memFree=103901448/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=749336 memory=727092 CPUtime=6.27 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 160925 0 0 0 583 44 0 0 20 0 1 0 239318275 767320064 181773 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 187334 181773 2528 2575 0 184241 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 749336 KiB
Current children cumulated memory: 727092 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 1.40 2.21 5/256 162981
/proc/meminfo: memFree=103600380/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=816056 memory=791356 CPUtime=12.65 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 214339 0 0 0 1213 52 0 0 20 0 1 0 239318275 835641344 197839 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 204014 197839 2624 2575 0 200921 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 816056 KiB
Current children cumulated memory: 791356 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 1.49 2.23 5/256 162981
/proc/meminfo: memFree=103232520/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=818064 memory=793276 CPUtime=25.41 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 214812 0 0 0 2489 52 0 0 20 0 1 0 239318275 837697536 198319 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 204516 198319 2624 2575 0 201423 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 818064 KiB
Current children cumulated memory: 793276 KiB
[startup+51.1132 s]
/proc/loadavg: 2.95 1.75 2.29 5/256 162981
/proc/meminfo: memFree=103185084/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=818592 memory=793788 CPUtime=50.94 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 214944 0 0 0 5042 52 0 0 20 0 1 0 239318275 838238208 198447 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 204648 198447 2624 2575 0 201555 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 818592 KiB
Current children cumulated memory: 793788 KiB
[startup+102.3 s]
/proc/loadavg: 3.69 2.13 2.40 5/256 162983
/proc/meminfo: memFree=102529028/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1239508 memory=1111548 CPUtime=101.97 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 270520 0 0 0 10133 64 0 0 20 0 1 0 239318275 1269256192 277887 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 309877 277887 2688 2575 0 306784 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1239508 KiB
Current children cumulated memory: 1111548 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.49 2.51 5/257 162992
/proc/meminfo: memFree=101970460/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1260288 memory=1139040 CPUtime=161.81 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 275382 0 0 0 16116 65 0 0 20 0 1 0 239318275 1290534912 284760 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 315072 284760 2688 2575 0 311979 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1260288 KiB
Current children cumulated memory: 1139040 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.80 2.61 5/258 162995
/proc/meminfo: memFree=101876692/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1279632 memory=1158456 CPUtime=221.63 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 278204 0 0 0 22097 66 0 0 20 0 1 0 239318275 1310343168 289614 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 319908 289614 2688 2575 0 316815 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1279632 KiB
Current children cumulated memory: 1158456 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.03 2.71 5/258 162997
/proc/meminfo: memFree=101855452/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1279632 memory=1158456 CPUtime=281.45 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 278245 0 0 0 28079 66 0 0 20 0 1 0 239318275 1310343168 289614 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 319908 289614 2688 2575 0 316815 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1279632 KiB
Current children cumulated memory: 1158456 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.23 2.80 5/252 162999
/proc/meminfo: memFree=101505824/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1526584 memory=1396788 CPUtime=341.29 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 337342 0 0 0 34053 76 0 0 20 0 1 0 239318275 1563222016 349197 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 381646 349197 2688 2575 0 378553 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 1526584 KiB
Current children cumulated memory: 1396788 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.40 2.88 5/251 163001
/proc/meminfo: memFree=101442356/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1526584 memory=1396788 CPUtime=401.14 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 337342 0 0 0 40038 76 0 0 20 0 1 0 239318275 1563222016 349197 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 381646 349197 2688 2575 0 378553 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 1526584 KiB
Current children cumulated memory: 1396788 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.53 2.96 5/250 163003
/proc/meminfo: memFree=101370044/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1526584 memory=1396788 CPUtime=460.99 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 337342 0 0 0 46023 76 0 0 20 0 1 0 239318275 1563222016 349197 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 381646 349197 2688 2575 0 378553 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
Current children cumulated memory: 1840744 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/249 163113
/proc/meminfo: memFree=99379092/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1840744 CPUtime=2853.76 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 443646 0 0 0 285276 100 0 0 20 0 1 0 239318275 1991270400 460186 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 460186 2688 2575 0 483057 0
Current children cumulated CPU time: 2853.76 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1840744 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/249 163115
/proc/meminfo: memFree=99344244/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1841256 CPUtime=2913.61 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 443651 0 0 0 291261 100 0 0 20 0 1 0 239318275 1991270400 460314 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 460314 2688 2575 0 483057 0
Current children cumulated CPU time: 2913.61 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1841256 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/250 163118
/proc/meminfo: memFree=99333252/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1842408 CPUtime=2973.46 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 443674 0 0 0 297246 100 0 0 20 0 1 0 239318275 1991270400 460602 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 460602 2688 2575 0 483057 0
Current children cumulated CPU time: 2973.46 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1842408 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/251 163121
/proc/meminfo: memFree=99322048/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1842408 CPUtime=3033.33 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 443674 0 0 0 303232 101 0 0 20 0 1 0 239318275 1991270400 460602 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 460602 2688 2575 0 483057 0
Current children cumulated CPU time: 3033.33 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1842408 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/251 163123
/proc/meminfo: memFree=99301456/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1842920 CPUtime=3093.19 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 443674 0 0 0 309218 101 0 0 20 0 1 0 239318275 1991270400 460730 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 460730 2688 2575 0 483057 0
Current children cumulated CPU time: 3093.19 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1842920 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/251 163131
/proc/meminfo: memFree=99278948/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1842920 CPUtime=3153.05 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 443674 0 0 0 315204 101 0 0 20 0 1 0 239318275 1991270400 460730 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 460730 2688 2575 0 483057 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1842920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/251 163133
/proc/meminfo: memFree=99276824/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1842920 CPUtime=3212.91 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 443677 0 0 0 321190 101 0 0 20 0 1 0 239318275 1991270400 460730 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 460730 2688 2575 0 483057 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1842920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/252 163148
/proc/meminfo: memFree=99246344/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1846120 CPUtime=3272.77 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 443678 0 0 0 327176 101 0 0 20 0 1 0 239318275 1991270400 461530 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 461530 2688 2575 0 483057 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1846120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/252 163150
/proc/meminfo: memFree=99231604/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1849576 CPUtime=3332.62 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 444154 0 0 0 333161 101 0 0 20 0 1 0 239318275 1991270400 462394 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 462394 2688 2575 0 483057 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1849576 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/251 163152
/proc/meminfo: memFree=99217508/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1849576 CPUtime=3392.47 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 444347 0 0 0 339145 102 0 0 20 0 1 0 239318275 1991270400 462394 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 462394 2688 2575 0 483057 0
Current children cumulated CPU time: 3392.47 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1849576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/251 163154
/proc/meminfo: memFree=99204988/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1849576 CPUtime=3452.33 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 444363 0 0 0 345131 102 0 0 20 0 1 0 239318275 1991270400 462394 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 462394 2688 2575 0 483057 0
Current children cumulated CPU time: 3452.33 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1849576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/251 163156
/proc/meminfo: memFree=98799500/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1849576 CPUtime=3512.19 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 444363 0 0 0 351117 102 0 0 20 0 1 0 239318275 1991270400 462394 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 462394 2688 2575 0 483057 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1849576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/249 163158
/proc/meminfo: memFree=98790400/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1849576 CPUtime=3572.06 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 444363 0 0 0 357104 102 0 0 20 0 1 0 239318275 1991270400 462394 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 462394 2688 2575 0 483057 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1849576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 3.78 4.03 4.02 2/231 163251
/proc/meminfo: memFree=103915628/131382112 swapFree=33001664/33010684
[pid=162979] ppid=162968 vsize=1944600 memory=1849576 CPUtime=3600.09 cores=4,6
/proc/162979/stat : 162979 (pbsolver) R 162968 162979 162904 0 -1 4194304 444363 0 0 0 359907 102 0 0 20 0 1 0 239318275 1991270400 462394 18446744073709551615 4198400 14743177 140721002279568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45019136 140721002285448 140721002285544 140721002285544 140721002291148 0
/proc/162979/statm: 486150 462394 2688 2575 0 483057 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1944600 KiB
Current children cumulated memory: 1849576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 162979 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.08 s, system=1.03622 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.41
CPU time (s): 3600.11
CPU user time (s): 3599.08
CPU system time (s): 1.03622
CPU usage (%): 99.7147
Max. virtual memory (cumulated for all children) (KiB): 1944600
Max. memory (cumulated for all children) (KiB): 1849576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 1.03622
maximum resident set size= 1849576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 444363
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 18762
# summary of solver processes directly reported to runsolver:
# pid: 162979
# total CPU time (s): 3600.11
# total CPU user time (s): 3599.08
# total CPU system time (s): 1.03622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8946 second user time and 34.0066 second system time
The end
Begin job on nodeC005 at 2025-07-23 04:06:29 IDJOB=4545321 IDBENCH=180812 IDSOLVER=3366 FILE ID=nodeC005/4545321-1753236388 RUNJOBID= nodeC005-1753236388-162915 SLURM_JOB_ID= 9687870 Free space on /tmp= 432980 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-08_c24.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545321-1753236388/watcher-4545321-1753236388 -o /tmp/evaluation-result-4545321-1753236388/solver-4545321-1753236388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753236388-162915 --watchdog 3760 pbsolver -f HOME/instance-4545321-1753236388.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a RANDOM SEED=14364691 nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00001f cpu MHz : 1197.248 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.247 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.930 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1196.951 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.245 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.035 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.354 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.252 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 105653384 kB MemAvailable: 129815872 kB Buffers: 12 kB Cached: 24933884 kB SwapCached: 776 kB Active: 480132 kB Inactive: 24519092 kB Active(anon): 47508 kB Inactive(anon): 38384 kB Active(file): 432624 kB Inactive(file): 24480708 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33001664 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 81132 kB Writeback: 8 kB AnonPages: 67684 kB Mapped: 102828 kB Shmem: 20564 kB KReclaimable: 177564 kB Slab: 268808 kB SReclaimable: 177564 kB SUnreclaim: 91244 kB KernelStack: 3888 kB PageTables: 2812 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 353312 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433008 MiB End job on nodeC005 at 2025-07-23 05:06:40