Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | ? (TO) | 3600.15 | 3610.89 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb |
| MD5SUM | c9e2c34ab166c037a70ac98b2c310360 |
| 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 | 110850 |
| Best CPU time to get the best result obtained on this benchmark | 621.116 |
| 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 | 1269148 |
| Total number of constraints | 918926 |
| Number of constraints which are clauses | 731477 |
| Number of constraints which are cardinality constraints (but not clauses) | 4 |
| Number of constraints which are nor clauses,nor cardinality constraints | 187445 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 30 |
| Number of terms in the objective function | 618925 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 618925 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 29 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 618925 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-4523895-1751598227.opb>
3.98/4.14 c original problem has 1269148 variables (1269148 bin, 0 int, 0 cont) and 918926 constraints
3.98/4.14 c problem read in 4.134 seconds
8.74/8.90 o 618925
8.74/8.95 c feasible solution found by trivial heuristic after 8.9 seconds, objective value 6.189250e+05
8.74/8.95 c presolving:
18.73/19.01 c (round 1, fast) 561500 del vars, 549567 del conss, 0 add conss, 32063 chg bounds, 4459 chg sides, 4642 chg coeffs, 0 upgd conss, 0 impls, 97900 clqs
19.42/19.79 c (round 2, fast) 593962 del vars, 580519 del conss, 0 add conss, 56878 chg bounds, 15504 chg sides, 16082 chg coeffs, 0 upgd conss, 0 impls, 90255 clqs
19.92/20.22 c (round 3, fast) 612810 del vars, 600838 del conss, 0 add conss, 63356 chg bounds, 23629 chg sides, 24478 chg coeffs, 0 upgd conss, 0 impls, 87003 clqs
20.21/20.53 c (round 4, fast) 628076 del vars, 610214 del conss, 0 add conss, 64243 chg bounds, 25394 chg sides, 26286 chg coeffs, 0 upgd conss, 0 impls, 84779 clqs
20.41/20.77 c (round 5, fast) 638486 del vars, 615304 del conss, 0 add conss, 64411 chg bounds, 25647 chg sides, 26546 chg coeffs, 0 upgd conss, 0 impls, 83245 clqs
20.71/21.00 c (round 6, fast) 645545 del vars, 618629 del conss, 0 add conss, 64423 chg bounds, 25695 chg sides, 26595 chg coeffs, 0 upgd conss, 0 impls, 82188 clqs
20.91/21.21 c (round 7, fast) 650589 del vars, 621025 del conss, 0 add conss, 64423 chg bounds, 25701 chg sides, 26601 chg coeffs, 0 upgd conss, 0 impls, 81427 clqs
21.10/21.41 c (round 8, fast) 654194 del vars, 622628 del conss, 0 add conss, 64423 chg bounds, 25701 chg sides, 26601 chg coeffs, 0 upgd conss, 0 impls, 80913 clqs
21.30/21.60 c (round 9, fast) 656667 del vars, 623626 del conss, 0 add conss, 64423 chg bounds, 25701 chg sides, 26601 chg coeffs, 0 upgd conss, 0 impls, 80619 clqs
21.40/21.79 c (round 10, fast) 658285 del vars, 624346 del conss, 0 add conss, 64423 chg bounds, 25702 chg sides, 26602 chg coeffs, 0 upgd conss, 0 impls, 80407 clqs
21.60/21.92 c (round 11, fast) 659324 del vars, 624776 del conss, 0 add conss, 64423 chg bounds, 25702 chg sides, 26602 chg coeffs, 0 upgd conss, 0 impls, 80288 clqs
21.80/22.10 c (round 12, fast) 660056 del vars, 625025 del conss, 0 add conss, 64423 chg bounds, 25702 chg sides, 26602 chg coeffs, 0 upgd conss, 0 impls, 80219 clqs
22.89/23.24 c (23.2s) running MILP presolver
30.33/30.76 c (30.8s) MILP presolver (10 rounds): 0 aggregations, 31054 fixings, 0 bound changes
30.53/30.98 c (round 13, medium) 691536 del vars, 625152 del conss, 0 add conss, 64423 chg bounds, 25702 chg sides, 26602 chg coeffs, 0 upgd conss, 0 impls, 73064 clqs
30.83/31.29 c (round 14, fast) 693616 del vars, 645759 del conss, 0 add conss, 64423 chg bounds, 30702 chg sides, 31755 chg coeffs, 0 upgd conss, 0 impls, 74975 clqs
31.03/31.49 c (round 15, fast) 694167 del vars, 646318 del conss, 0 add conss, 64423 chg bounds, 30709 chg sides, 31762 chg coeffs, 0 upgd conss, 0 impls, 74728 clqs
32.64/33.10 c (round 16, exhaustive) 694185 del vars, 646348 del conss, 0 add conss, 64423 chg bounds, 30709 chg sides, 31762 chg coeffs, 159354 upgd conss, 0 impls, 74733 clqs
33.13/33.55 c (round 17, fast) 697899 del vars, 646382 del conss, 0 add conss, 64423 chg bounds, 30709 chg sides, 31762 chg coeffs, 159354 upgd conss, 0 impls, 74734 clqs
33.43/33.85 c (round 18, fast) 698932 del vars, 647313 del conss, 0 add conss, 64423 chg bounds, 30709 chg sides, 35373 chg coeffs, 159354 upgd conss, 0 impls, 74850 clqs
37.21/37.64 c (round 19, medium) 891240 del vars, 926917 del conss, 324683 add conss, 64423 chg bounds, 30725 chg sides, 35508 chg coeffs, 159354 upgd conss, 0 impls, 201564 clqs
37.81/38.23 c (round 20, fast) 892003 del vars, 928367 del conss, 324683 add conss, 64423 chg bounds, 30821 chg sides, 35627 chg coeffs, 159354 upgd conss, 0 impls, 201852 clqs
38.21/38.62 c (round 21, fast) 892809 del vars, 929120 del conss, 324683 add conss, 64423 chg bounds, 30824 chg sides, 35654 chg coeffs, 159354 upgd conss, 0 impls, 201307 clqs
38.62/39.01 c (round 22, fast) 893329 del vars, 929467 del conss, 324683 add conss, 64423 chg bounds, 30824 chg sides, 35669 chg coeffs, 159354 upgd conss, 0 impls, 201061 clqs
40.10/40.51 c (40.5s) running MILP presolver
41.61/42.01 c (42.0s) MILP presolver (3 rounds): 0 aggregations, 624 fixings, 0 bound changes
42.00/42.42 c (round 23, medium) 894447 del vars, 930159 del conss, 324683 add conss, 64423 chg bounds, 30825 chg sides, 35716 chg coeffs, 159354 upgd conss, 0 impls, 200476 clqs
42.71/43.20 c (round 24, medium) 894524 del vars, 930428 del conss, 324683 add conss, 64423 chg bounds, 30829 chg sides, 35730 chg coeffs, 159354 upgd conss, 0 impls, 200412 clqs
44.20/44.61 c (round 25, exhaustive) 894551 del vars, 930772 del conss, 324683 add conss, 64423 chg bounds, 30834 chg sides, 35731 chg coeffs, 159354 upgd conss, 0 impls, 200402 clqs
46.19/46.67 c (round 26, exhaustive) 894660 del vars, 930867 del conss, 324683 add conss, 64423 chg bounds, 30834 chg sides, 35731 chg coeffs, 265418 upgd conss, 0 impls, 200310 clqs
46.70/47.14 c (round 27, fast) 900964 del vars, 930888 del conss, 324683 add conss, 64423 chg bounds, 30834 chg sides, 35731 chg coeffs, 265418 upgd conss, 0 impls, 200282 clqs
47.19/47.61 c (round 28, fast) 902629 del vars, 932257 del conss, 324683 add conss, 64423 chg bounds, 30834 chg sides, 41997 chg coeffs, 265418 upgd conss, 0 impls, 200774 clqs
50.37/50.88 c (round 29, medium) 1042148 del vars, 1122278 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 42348 chg coeffs, 265418 upgd conss, 0 impls, 261997 clqs
50.97/51.46 c (round 30, fast) 1043737 del vars, 1126345 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 46749 chg coeffs, 265418 upgd conss, 0 impls, 262095 clqs
51.37/51.87 c (round 31, fast) 1045215 del vars, 1128529 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 47137 chg coeffs, 265418 upgd conss, 0 impls, 260232 clqs
51.77/52.27 c (round 32, fast) 1045986 del vars, 1129901 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 47228 chg coeffs, 265418 upgd conss, 0 impls, 259075 clqs
52.17/52.67 c (round 33, fast) 1046683 del vars, 1131079 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 47277 chg coeffs, 265418 upgd conss, 0 impls, 258128 clqs
52.58/53.07 c (round 34, fast) 1047283 del vars, 1132137 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 47345 chg coeffs, 265418 upgd conss, 0 impls, 257307 clqs
53.07/53.50 c (round 35, fast) 1047928 del vars, 1133039 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 47400 chg coeffs, 265418 upgd conss, 0 impls, 256574 clqs
53.47/53.92 c (round 36, fast) 1048462 del vars, 1133855 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 47463 chg coeffs, 265418 upgd conss, 0 impls, 255942 clqs
53.86/54.31 c (round 37, fast) 1048900 del vars, 1134384 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 47507 chg coeffs, 265418 upgd conss, 0 impls, 255514 clqs
54.26/54.70 c (round 38, fast) 1049151 del vars, 1134700 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 47540 chg coeffs, 265418 upgd conss, 0 impls, 255253 clqs
55.57/56.04 c (56.0s) running MILP presolver
56.57/57.02 c (57.0s) MILP presolver (2 rounds): 0 aggregations, 131 fixings, 0 bound changes
57.05/57.58 c (round 39, medium) 1050966 del vars, 1136596 del conss, 530126 add conss, 64423 chg bounds, 30834 chg sides, 47594 chg coeffs, 265418 upgd conss, 0 impls, 253263 clqs
58.05/58.57 c (round 40, medium) 1051113 del vars, 1136938 del conss, 530126 add conss, 64423 chg bounds, 30835 chg sides, 47610 chg coeffs, 265418 upgd conss, 0 impls, 253093 clqs
60.15/60.69 c (round 41, exhaustive) 1051123 del vars, 1136966 del conss, 530126 add conss, 64423 chg bounds, 30835 chg sides, 47613 chg coeffs, 270626 upgd conss, 0 impls, 253084 clqs
60.56/61.06 c (round 42, fast) 1051906 del vars, 1136988 del conss, 530126 add conss, 64423 chg bounds, 30835 chg sides, 47613 chg coeffs, 270626 upgd conss, 0 impls, 253082 clqs
60.95/61.42 c (round 43, fast) 1052129 del vars, 1137173 del conss, 530126 add conss, 64423 chg bounds, 30835 chg sides, 48393 chg coeffs, 270626 upgd conss, 0 impls, 253121 clqs
61.95/62.45 c (round 44, medium) 1060352 del vars, 1147490 del conss, 540673 add conss, 64423 chg bounds, 30835 chg sides, 48467 chg coeffs, 270626 upgd conss, 0 impls, 254290 clqs
62.44/62.93 c (round 45, fast) 1060482 del vars, 1147977 del conss, 540673 add conss, 64423 chg bounds, 30835 chg sides, 48525 chg coeffs, 270626 upgd conss, 0 impls, 254142 clqs
62.84/63.32 c (round 46, fast) 1060657 del vars, 1148218 del conss, 540673 add conss, 64423 chg bounds, 30835 chg sides, 48545 chg coeffs, 270626 upgd conss, 0 impls, 253945 clqs
63.74/64.24 c (round 47, medium) 1060882 del vars, 1148445 del conss, 540673 add conss, 64423 chg bounds, 30835 chg sides, 48567 chg coeffs, 270626 upgd conss, 0 impls, 253708 clqs
65.73/66.29 c (round 48, exhaustive) 1060938 del vars, 1148666 del conss, 540673 add conss, 64423 chg bounds, 30835 chg sides, 48589 chg coeffs, 270700 upgd conss, 0 impls, 253645 clqs
66.13/66.68 c (round 49, fast) 1061107 del vars, 1148807 del conss, 540673 add conss, 64423 chg bounds, 30835 chg sides, 48589 chg coeffs, 270700 upgd conss, 0 impls, 253509 clqs
67.13/67.68 c (round 50, medium) 1061434 del vars, 1149183 del conss, 541026 add conss, 64423 chg bounds, 30835 chg sides, 48615 chg coeffs, 270700 upgd conss, 0 impls, 253476 clqs
69.82/70.32 c (round 51, exhaustive) 1067214 del vars, 1149252 del conss, 541026 add conss, 64423 chg bounds, 30835 chg sides, 48718 chg coeffs, 270700 upgd conss, 0 impls, 251525 clqs
70.22/70.72 c (round 52, fast) 1067704 del vars, 1151883 del conss, 541026 add conss, 64423 chg bounds, 30835 chg sides, 54812 chg coeffs, 270700 upgd conss, 0 impls, 253568 clqs
70.63/71.11 c (round 53, fast) 1069580 del vars, 1153578 del conss, 541026 add conss, 64423 chg bounds, 30835 chg sides, 54844 chg coeffs, 270700 upgd conss, 0 impls, 251971 clqs
70.91/71.49 c (round 54, fast) 1069905 del vars, 1153923 del conss, 541026 add conss, 64423 chg bounds, 30835 chg sides, 55201 chg coeffs, 270700 upgd conss, 0 impls, 251758 clqs
71.81/72.39 c (round 55, medium) 1070172 del vars, 1154183 del conss, 541026 add conss, 64423 chg bounds, 30835 chg sides, 55231 chg coeffs, 270700 upgd conss, 0 impls, 251499 clqs
74.52/75.02 c (round 56, exhaustive) 1070797 del vars, 1154311 del conss, 541026 add conss, 64423 chg bounds, 30835 chg sides, 55237 chg coeffs, 270700 upgd conss, 0 impls, 251307 clqs
74.81/75.39 c (round 57, fast) 1070960 del vars, 1154643 del conss, 541026 add conss, 64423 chg bounds, 30835 chg sides, 55853 chg coeffs, 270700 upgd conss, 0 impls, 251392 clqs
75.21/75.76 c (round 58, fast) 1071189 del vars, 1154868 del conss, 541026 add conss, 64423 chg bounds, 30835 chg sides, 55864 chg coeffs, 270700 upgd conss, 0 impls, 251181 clqs
259.18/260.25 c (260.2s) probing: 1000/199385 (0.5%) - 1 fixings, 0 aggregations, 53829 implications, 0 bound changes
334.92/336.25 c (336.2s) probing: 1420/199385 (0.7%) - 1 fixings, 0 aggregations, 71613 implications, 0 bound changes
334.92/336.25 c (336.2s) probing aborted: 1000/1000 successive useless probings
335.83/337.13 c (337.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
336.91/338.24 c (338.2s) symmetry computation finished: 320 generators found (max: 320, log10 of symmetry group size: 858.01) (symcode time: 0.43)
337.41/338.76 c dynamic symmetry handling statistics:
337.41/338.76 c orbitopal reduction: 4 components: 2x3, 2x3, 3x3, 3x3
337.41/338.76 c orbital reduction: 5 components of sizes 3, 5, 3, 3, 3
337.41/338.76 c lexicographic reduction: 70 permutations with support sizes 6, 6, 6, 10, 6, 6, 8, 6, 6, 6, 6, 6, 6, 6, 6, 10, 8, 6, 4, 6, 4, 4, 4, 4, 6, 4, 6, 6, 6, 4, 10, 6, 4, 6, 6, 4, 6, 6, 6, 6, 6, 6, 6, 8, 10, 6, 6, 8, 8, 4, 6, 6, 6, 8, 6, 4, 6, 6, 4, 4, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2
337.41/338.76 c handled 287 out of 287 symmetry components
337.41/338.76 c (round 59, exhaustive) 1071322 del vars, 1154919 del conss, 541268 add conss, 64423 chg bounds, 30835 chg sides, 55991 chg coeffs, 270700 upgd conss, 0 impls, 322972 clqs
339.40/340.78 c (round 60, exhaustive) 1071363 del vars, 1154986 del conss, 541268 add conss, 64423 chg bounds, 30835 chg sides, 55995 chg coeffs, 270942 upgd conss, 0 impls, 322960 clqs
360.53/362.00 c (362.0s) probing: 1520/199385 (0.8%) - 1 fixings, 0 aggregations, 100533 implications, 0 bound changes
360.53/362.00 c (362.0s) probing aborted: 1000/1000 successive useless probings
361.23/362.63 c presolving (61 rounds: 61 fast, 21 medium, 10 exhaustive):
361.23/362.63 c 1071402 deleted vars, 1155009 deleted constraints, 541268 added constraints, 64423 tightened bounds, 0 added holes, 30835 changed sides, 56017 changed coefficients
361.23/362.63 c 0 implications, 351864 cliques
361.23/362.63 c presolved problem has 199304 variables (199304 bin, 0 int, 0 cont) and 304972 constraints
361.23/362.63 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
361.23/362.63 c 247743 constraints of type <setppc>
361.23/362.63 c 57229 constraints of type <logicor>
361.23/362.63 c transformed objective value is always integral (scale: 1)
361.23/362.63 c Presolving Time: 354.81
361.23/362.63 c
361.23/362.63 c - non default parameters ----------------------------------------------------------------------
361.23/362.63 c
361.23/362.63 c # SCIP version 10.0.0
361.23/362.63 c
361.23/362.63 c # maximal time in seconds to run
361.23/362.63 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
361.23/362.63 c limits/time = 3596.995015
361.23/362.63 c
361.23/362.63 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
361.23/362.63 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
361.23/362.63 c limits/memory = 27900
361.23/362.63 c
361.23/362.63 c # belongs reading time to solving time?
361.23/362.63 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
361.23/362.63 c timing/reading = TRUE
361.23/362.63 c
361.23/362.63 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
361.23/362.63 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
361.23/362.63 c reading/opbreader/maxintsize = 47
361.23/362.63 c
361.23/362.63 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
361.23/362.63 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
361.23/362.63 c propagating/genvbounds/timingmask = 0
361.23/362.63 c
361.23/362.63 c -----------------------------------------------------------------------------------------------
361.33/362.78 c
362.13/363.56 o 489191
362.13/363.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
362.13/363.56 c t 364s| 1 | 0 | 0 | - | trivial| 0 | 199k| 304k| 0 | 0 | 0 | 0 | 0 | 7.762500e+04 | 4.891910e+05 | 530.20%| unknown
394.62/396.17 o 368878
394.62/396.17 c p 396s| 1 | 0 | 9066 | - | vbounds| 0 | 199k| 304k| 304k| 0 | 0 | 6 | 0 | 7.762500e+04 | 3.688780e+05 | 375.21%| unknown
397.51/399.08 o 167949
397.51/399.08 c i 399s| 1 | 0 | 9066 | - | oneopt| 0 | 199k| 304k| 304k| 0 | 0 | 24 | 0 | 7.762500e+04 | 1.679490e+05 | 116.36%| unknown
536.78/538.99 c 539s| 1 | 0 | 67642 | - | 5442M | 0 | 199k| 304k| 304k| 0 | 0 | 24 | 0 | 1.098710e+05 | 1.679490e+05 | 52.86%| unknown
538.67/540.81 o 119430
538.67/540.81 c r 541s| 1 | 0 | 71010 | - |shifting| 0 | 199k| 304k| 304k| 0 | 0 | 25 | 0 | 1.098725e+05 | 1.194300e+05 | 8.70%| unknown
539.27/541.49 o 114596
539.27/541.49 c i 541s| 1 | 0 | 71010 | - | oneopt| 0 | 199k| 304k| 304k| 0 | 0 | 25 | 0 | 1.098725e+05 | 1.145960e+05 | 4.30%| unknown
761.33/764.22 c 764s| 1 | 0 | 73512 | - | 5614M | 0 | 199k| 304k| 305k| 195 | 1 | 25 | 0 | 1.102711e+05 | 1.145960e+05 | 3.92%| unknown
988.86/992.58 c 993s| 1 | 0 | 74981 | - | 5648M | 0 | 199k| 304k| 305k| 256 | 2 | 26 | 0 | 1.103935e+05 | 1.145960e+05 | 3.81%| unknown
1190.33/1194.67 c 1195s| 1 | 0 | 76508 | - | 5683M | 0 | 199k| 304k| 305k| 305 | 3 | 27 | 0 | 1.104483e+05 | 1.145960e+05 | 3.76%| unknown
1424.75/1429.80 c 1430s| 1 | 0 | 78719 | - | 5716M | 0 | 199k| 304k| 305k| 339 | 4 | 28 | 0 | 1.105106e+05 | 1.145960e+05 | 3.70%| unknown
1653.42/1659.16 c 1659s| 1 | 0 | 80599 | - | 5752M | 0 | 199k| 304k| 305k| 362 | 5 | 29 | 0 | 1.106688e+05 | 1.145960e+05 | 3.55%| unknown
1835.02/1841.21 c 1841s| 1 | 0 | 81139 | - | 5788M | 0 | 199k| 304k| 305k| 385 | 6 | 30 | 0 | 1.107094e+05 | 1.145960e+05 | 3.51%| unknown
1835.52/1841.70 o 114097
1835.52/1841.70 c r1842s| 1 | 0 | 81139 | - |shifting| 0 | 199k| 304k| 305k| 385 | 6 | 31 | 0 | 1.107094e+05 | 1.140970e+05 | 3.06%| unknown
2020.52/2027.22 c 2027s| 1 | 0 | 81456 | - | 5843M | 0 | 199k| 304k| 305k| 397 | 7 | 31 | 0 | 1.107187e+05 | 1.140970e+05 | 3.05%| unknown
2021.12/2027.87 o 111597
2021.12/2027.87 c i2028s| 1 | 0 | 81456 | - | oneopt| 0 | 199k| 304k| 305k| 397 | 7 | 31 | 0 | 1.107187e+05 | 1.115970e+05 | 0.79%| unknown
2206.41/2213.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2206.41/2213.64 c 2214s| 1 | 0 | 82954 | - | 5911M | 0 | 199k| 304k| 305k| 407 | 8 | 32 | 0 | 1.107228e+05 | 1.115970e+05 | 0.79%| unknown
2401.39/2409.14 c 2409s| 1 | 0 | 83239 | - | 5953M | 0 | 199k| 304k| 305k| 415 | 9 | 32 | 0 | 1.107266e+05 | 1.115970e+05 | 0.79%| unknown
2576.64/2584.83 c 2585s| 1 | 0 | 83393 | - | 5986M | 0 | 199k| 304k| 305k| 424 | 10 | 32 | 0 | 1.107303e+05 | 1.115970e+05 | 0.78%| unknown
2577.03/2585.23 o 111596
2577.03/2585.23 c r2585s| 1 | 0 | 83393 | - |rounding| 0 | 199k| 304k| 305k| 424 | 10 | 33 | 0 | 1.107303e+05 | 1.115960e+05 | 0.78%| unknown
2577.43/2585.60 o 111595
2577.43/2585.60 c r2586s| 1 | 0 | 83393 | - |shifting| 0 | 199k| 304k| 305k| 424 | 10 | 33 | 0 | 1.107303e+05 | 1.115950e+05 | 0.78%| unknown
2743.00/2751.63 c 2752s| 1 | 0 | 83504 | - | 6037M | 0 | 199k| 304k| 305k| 429 | 11 | 33 | 0 | 1.107319e+05 | 1.115950e+05 | 0.78%| unknown
2743.51/2752.18 o 111064
2743.51/2752.18 c i2752s| 1 | 0 | 83504 | - | oneopt| 0 | 199k| 304k| 305k| 429 | 11 | 33 | 0 | 1.107319e+05 | 1.110640e+05 | 0.30%| unknown
2926.70/2935.82 c 2936s| 1 | 0 | 87087 | - | 6106M | 0 | 199k| 304k| 305k| 437 | 12 | 34 | 0 | 1.107723e+05 | 1.110640e+05 | 0.26%| unknown
2927.19/2936.38 c 2936s| 1 | 0 | 87087 | - | 6110M | 0 | 199k| 304k| 303k| 437 | 12 | 34 | 0 | 1.107723e+05 | 1.110640e+05 | 0.26%| unknown
3092.96/3102.51 c 3103s| 1 | 0 | 87215 | - | 6139M | 0 | 199k| 303k| 302k| 449 | 13 | 34 | 0 | 1.107751e+05 | 1.110640e+05 | 0.26%| unknown
3256.34/3266.39 c 3266s| 1 | 0 | 87331 | - | 6168M | 0 | 199k| 303k| 302k| 455 | 14 | 35 | 0 | 1.107762e+05 | 1.110640e+05 | 0.26%| unknown
3419.92/3430.36 c 3430s| 1 | 0 | 87388 | - | 6202M | 0 | 199k| 303k| 302k| 461 | 15 | 36 | 0 | 1.107778e+05 | 1.110640e+05 | 0.26%| unknown
3582.29/3593.06 c 3593s| 1 | 0 | 87404 | - | 6235M | 0 | 199k| 303k| 302k| 465 | 16 | 37 | 0 | 1.107799e+05 | 1.110640e+05 | 0.26%| 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: 63794 MiB (61484 MiB free)
memory of node 1: 64507 MiB (62948 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523895-1751598227/watcher-4523895-1751598227 -o /tmp/evaluation-result-4523895-1751598227/solver-4523895-1751598227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751590941-84098 --watchdog 3760 pbsolver -f HOME/instance-4523895-1751598227.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=84966, runsolver pid=84963
[startup+0.100075 s]*
/proc/loadavg: 4.13 4.12 4.14 5/249 84967
/proc/meminfo: memFree=127346756/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=92568 memory=80060 CPUtime=0.09 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 13443 0 0 0 5 4 0 0 20 0 1 0 75502534 94789632 20015 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 23142 20015 2176 2575 0 20049 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 92568 KiB
Current children cumulated memory: 80060 KiB
[startup+0.213126 s]*
/proc/loadavg: 4.13 4.12 4.14 5/249 84967
/proc/meminfo: memFree=127306436/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=137376 memory=123196 CPUtime=0.19 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 24244 0 0 0 12 7 0 0 20 0 1 0 75502534 140673024 30799 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 34344 30799 2176 2575 0 31251 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 137376 KiB
Current children cumulated memory: 123196 KiB
[startup+0.313063 s]*
/proc/loadavg: 4.13 4.12 4.14 5/249 84967
/proc/meminfo: memFree=127266116/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=177468 memory=163004 CPUtime=0.28 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 34199 0 0 0 18 10 0 0 20 0 1 0 75502534 181727232 40751 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 44367 40751 2176 2575 0 41274 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 177468 KiB
Current children cumulated memory: 163004 KiB
[startup+0.700265 s]
/proc/loadavg: 4.13 4.12 4.14 5/249 84967
/proc/meminfo: memFree=127186752/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=349704 memory=334908 CPUtime=0.62 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 76668 0 0 0 41 21 0 0 20 0 1 0 75502534 358096896 83727 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 87426 83727 2176 2575 0 84333 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 349704 KiB
Current children cumulated memory: 334908 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.11 4.14 5/249 84967
/proc/meminfo: memFree=126901296/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=810788 memory=795012 CPUtime=1.41 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 184538 0 0 0 97 44 0 0 20 0 1 0 75502534 830246912 198753 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 202697 198753 2176 2575 0 199604 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 810788 KiB
Current children cumulated memory: 795012 KiB
[startup+3.10535 s]
/proc/loadavg: 4.12 4.11 4.14 5/249 84967
/proc/meminfo: memFree=125985972/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=1418712 memory=1401824 CPUtime=2.99 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 331130 0 0 0 232 67 0 0 20 0 1 0 75502534 1452761088 350456 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 354678 350456 2176 2575 0 351585 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 1418712 KiB
Current children cumulated memory: 1401824 KiB
[startup+6.30019 s]
/proc/loadavg: 4.11 4.11 4.14 5/249 84967
/proc/meminfo: memFree=124127716/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=3291312 memory=3276612 CPUtime=6.16 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 810229 0 0 0 477 139 0 0 20 0 1 0 75502534 3370303488 819153 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 822828 819153 2368 2575 0 819735 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 3291312 KiB
Current children cumulated memory: 3276612 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.13 5/249 84967
/proc/meminfo: memFree=123209176/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=4168376 memory=4092828 CPUtime=12.5 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 945819 0 0 0 1085 165 0 0 20 0 1 0 75502534 4268417024 1023207 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1042094 1023207 2432 2575 0 1039001 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 4168376 KiB
Current children cumulated memory: 4092828 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.13 5/249 84967
/proc/meminfo: memFree=122703900/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=4613720 memory=4549520 CPUtime=25.17 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 987096 0 0 0 2336 181 0 0 20 0 1 0 75502534 4724449280 1137380 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1153430 1137380 2528 2575 0 1150337 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 4613720 KiB
Current children cumulated memory: 4549520 KiB
[startup+51.1128 s]
/proc/loadavg: 4.11 4.11 4.13 5/249 84968
/proc/meminfo: memFree=122157908/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=5025084 memory=4962044 CPUtime=50.69 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1164140 0 0 0 4855 214 0 0 20 0 1 0 75502534 5145686016 1240511 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1256271 1240511 2592 2575 0 1253178 0
Current children cumulated CPU time: 50.69 s
Current children cumulated vsize: 5025084 KiB
Current children cumulated memory: 4962044 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/249 84969
/proc/meminfo: memFree=122027064/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=5095300 memory=5031640 CPUtime=101.73 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1182610 0 0 0 9951 222 0 0 20 0 1 0 75502534 5217587200 1257910 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1273825 1257910 2592 2575 0 1270732 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 5095300 KiB
Current children cumulated memory: 5031640 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/252 85020
/proc/meminfo: memFree=119745696/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=5095300 memory=5031640 CPUtime=161.56 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1182610 0 0 0 15934 222 0 0 20 0 1 0 75502534 5217587200 1257910 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1273825 1257910 2592 2575 0 1270732 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 5095300 KiB
Current children cumulated memory: 5031640 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/252 85022
/proc/meminfo: memFree=119741196/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=5095300 memory=5031640 CPUtime=221.39 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1182610 0 0 0 21917 222 0 0 20 0 1 0 75502534 5217587200 1257910 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1273825 1257910 2592 2575 0 1270732 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 5095300 KiB
Current children cumulated memory: 5031640 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/252 85024
/proc/meminfo: memFree=119732952/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=5095300 memory=5031640 CPUtime=281.2 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1182611 0 0 0 27898 222 0 0 20 0 1 0 75502534 5217587200 1257910 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1273825 1257910 2592 2575 0 1270732 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 5095300 KiB
Current children cumulated memory: 5031640 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/253 85033
/proc/meminfo: memFree=119374684/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=5596772 memory=5390148 CPUtime=341 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1244596 0 0 0 33866 234 0 0 20 0 1 0 75502534 5731094528 1347537 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1399193 1347537 2592 2575 0 1396100 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 5596772 KiB
Current children cumulated memory: 5390148 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/253 85035
/proc/meminfo: memFree=118368784/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6554332 memory=6346344 CPUtime=400.78 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1480385 0 0 0 39808 270 0 0 20 0 1 0 75502534 6711635968 1586586 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1638583 1586586 2688 2575 0 1635490 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 6554332 KiB
Current children cumulated memory: 6346344 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/251 85037
/proc/meminfo: memFree=118424016/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6554332 memory=6348136 CPUtime=460.48 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1480845 0 0 0 45778 270 0 0 20 0 1 0 75502534 6711635968 1587034 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1638583 1587034 2688 2575 0 1635490 0
Current children cumulated CPU time: 460.48 s
################
# More data... #
################
Current children cumulated memory: 6363112 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/251 85148
/proc/meminfo: memFree=116883632/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6554332 memory=6363112 CPUtime=2853.41 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1492973 0 0 0 285055 286 0 0 20 0 1 0 75502534 6711635968 1590778 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1638583 1590778 2688 2575 0 1635490 0
Current children cumulated CPU time: 2853.41 s
Current children cumulated vsize: 6554332 KiB
Current children cumulated memory: 6363112 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/251 85150
/proc/meminfo: memFree=116883160/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6554332 memory=6363496 CPUtime=2913.25 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1494333 0 0 0 291038 287 0 0 20 0 1 0 75502534 6711635968 1590874 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1638583 1590874 2688 2575 0 1635490 0
Current children cumulated CPU time: 2913.25 s
Current children cumulated vsize: 6554332 KiB
Current children cumulated memory: 6363496 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/251 85152
/proc/meminfo: memFree=116869460/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6554332 memory=6363496 CPUtime=2973.08 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1495206 0 0 0 297021 287 0 0 20 0 1 0 75502534 6711635968 1590874 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1638583 1590874 2688 2575 0 1635490 0
Current children cumulated CPU time: 2973.08 s
Current children cumulated vsize: 6554332 KiB
Current children cumulated memory: 6363496 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/250 85154
/proc/meminfo: memFree=116870464/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6554332 memory=6363752 CPUtime=3032.92 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1495213 0 0 0 303005 287 0 0 20 0 1 0 75502534 6711635968 1590938 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1638583 1590938 2688 2575 0 1635490 0
Current children cumulated CPU time: 3032.92 s
Current children cumulated vsize: 6554332 KiB
Current children cumulated memory: 6363752 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/249 85156
/proc/meminfo: memFree=116870276/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6554332 memory=6365160 CPUtime=3092.76 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1496341 0 0 0 308989 287 0 0 20 0 1 0 75502534 6711635968 1591290 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1638583 1591290 2688 2575 0 1635490 0
Current children cumulated CPU time: 3092.76 s
Current children cumulated vsize: 6554332 KiB
Current children cumulated memory: 6365160 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/249 85158
/proc/meminfo: memFree=116868700/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6554332 memory=6365928 CPUtime=3152.62 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1496525 0 0 0 314974 288 0 0 20 0 1 0 75502534 6711635968 1591482 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1638583 1591482 2688 2575 0 1635490 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 6554332 KiB
Current children cumulated memory: 6365928 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/249 85160
/proc/meminfo: memFree=116867780/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6554332 memory=6366568 CPUtime=3212.46 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1496526 0 0 0 320958 288 0 0 20 0 1 0 75502534 6711635968 1591642 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1638583 1591642 2688 2575 0 1635490 0
Current children cumulated CPU time: 3212.46 s
Current children cumulated vsize: 6554332 KiB
Current children cumulated memory: 6366568 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/249 85162
/proc/meminfo: memFree=116863136/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6560560 memory=6371688 CPUtime=3272.3 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1497953 0 0 0 326942 288 0 0 20 0 1 0 75502534 6718013440 1592922 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1640140 1592922 2688 2575 0 1637047 0
Current children cumulated CPU time: 3272.3 s
Current children cumulated vsize: 6560560 KiB
Current children cumulated memory: 6371688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/250 85171
/proc/meminfo: memFree=116863112/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6560560 memory=6371688 CPUtime=3332.15 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1497957 0 0 0 332927 288 0 0 20 0 1 0 75502534 6718013440 1592922 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1640140 1592922 2688 2575 0 1637047 0
Current children cumulated CPU time: 3332.15 s
Current children cumulated vsize: 6560560 KiB
Current children cumulated memory: 6371688 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 85173
/proc/meminfo: memFree=116864116/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6560560 memory=6371944 CPUtime=3391.99 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1497960 0 0 0 338911 288 0 0 20 0 1 0 75502534 6718013440 1592986 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1640140 1592986 2688 2575 0 1637047 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 6560560 KiB
Current children cumulated memory: 6371944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 85186
/proc/meminfo: memFree=116830340/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6595196 memory=6376776 CPUtime=3451.84 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1499583 0 0 0 344896 288 0 0 20 0 1 0 75502534 6753480704 1594194 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1648799 1594194 2688 2575 0 1645706 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 6595196 KiB
Current children cumulated memory: 6376776 KiB
[startup+3522.3 s]
/proc/loadavg: 3.98 4.08 4.08 4/244 85219
/proc/meminfo: memFree=117620776/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6595196 memory=6382664 CPUtime=3511.7 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1499588 0 0 0 350882 288 0 0 20 0 1 0 75502534 6753480704 1595666 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1648799 1595666 2688 2575 0 1645706 0
Current children cumulated CPU time: 3511.7 s
Current children cumulated vsize: 6595196 KiB
Current children cumulated memory: 6382664 KiB
[startup+3582.3 s]
/proc/loadavg: 2.97 3.79 3.98 3/238 85251
/proc/meminfo: memFree=118657232/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6595196 memory=6389704 CPUtime=3571.59 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1499597 0 0 0 356871 288 0 0 20 0 1 0 75502534 6753480704 1597426 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1648799 1597426 2688 2575 0 1645706 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 6595196 KiB
Current children cumulated memory: 6389704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 2.70 3.66 3.93 3/238 85252
/proc/meminfo: memFree=118660012/131382112 swapFree=33010416/33010684
[pid=84966] ppid=84963 vsize=6623604 memory=6389832 CPUtime=3600.05 cores=5,7
/proc/84966/stat : 84966 (pbsolver) R 84963 84966 84085 0 -1 4194304 1501154 0 0 0 359716 289 0 0 20 0 1 0 75502534 6782570496 1597458 18446744073709551615 4198400 14743177 140732243046304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 26521600 140732243048842 140732243048938 140732243048938 140732243054540 0
/proc/84966/statm: 1655901 1597458 2688 2575 0 1652808 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 6623604 KiB
Current children cumulated memory: 6389832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.89 s]
# the end of solver process 84966 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.17 s, system=2.98167 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.89
CPU time (s): 3600.15
CPU user time (s): 3597.17
CPU system time (s): 2.98167
CPU usage (%): 99.7024
Max. virtual memory (cumulated for all children) (KiB): 6623604
Max. memory (cumulated for all children) (KiB): 6406052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.17
system time used= 2.98167
maximum resident set size= 6406052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1501154
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= 22
involuntary context switches= 1770
# summary of solver processes directly reported to runsolver:
# pid: 84966
# total CPU time (s): 3600.15
# total CPU user time (s): 3597.17
# total CPU system time (s): 2.98167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6884 second user time and 35.0553 second system time
The end
Begin job on nodeC012 at 2025-07-04 05:03:48 IDJOB=4523895 IDBENCH=180377 IDSOLVER=3366 FILE ID=nodeC012/4523895-1751598227 RUNJOBID= nodeC012-1751590941-84098 SLURM_JOB_ID= 9598848 Free space on /tmp= 431768 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master-noopt.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523895-1751598227/watcher-4523895-1751598227 -o /tmp/evaluation-result-4523895-1751598227/solver-4523895-1751598227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751590941-84098 --watchdog 3760 pbsolver -f HOME/instance-4523895-1751598227.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c9e2c34ab166c037a70ac98b2c310360 RANDOM SEED=404450672 nodeC012 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 : 3659.976 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.39 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 : 3662.413 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.39 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.291 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.39 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 : 1197.765 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.39 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 : 3659.463 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.39 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 : 3700.000 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.39 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 : 3700.000 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.39 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.150 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.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 127419336 kB MemAvailable: 127800948 kB Buffers: 2136 kB Cached: 1181528 kB SwapCached: 16 kB Active: 2811856 kB Inactive: 561300 kB Active(anon): 2202488 kB Inactive(anon): 4948 kB Active(file): 609368 kB Inactive(file): 556352 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 58436 kB Writeback: 0 kB AnonPages: 2189600 kB Mapped: 137052 kB Shmem: 17944 kB KReclaimable: 110656 kB Slab: 196772 kB SReclaimable: 110656 kB SUnreclaim: 86116 kB KernelStack: 4032 kB PageTables: 7356 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 2627012 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1040384 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431772 MiB End job on nodeC012 at 2025-07-04 06:03:59