Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | ? (TO) | 3600.11 | 3611 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4523894-1751598212.opb>
3.87/3.97 c original problem has 1269148 variables (1269148 bin, 0 int, 0 impl, 0 cont) and 918926 constraints
3.87/3.97 c problem read in 3.95
8.86/8.91 o 618925
8.86/8.95 c feasible solution found by trivial heuristic after 8.9 seconds, objective value 6.189250e+05
8.86/8.95 c presolving:
19.20/19.30 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.91/20.11 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
20.40/20.53 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.70/20.84 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.91/21.09 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
21.20/21.31 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
21.39/21.52 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.59/21.71 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.79/21.90 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.91/22.09 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
22.09/22.21 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
22.19/22.39 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
23.49/23.64 c (23.6s) running MILP presolver
31.76/31.93 c (31.9s) MILP presolver (11 rounds): 0 aggregations, 31023 fixings, 0 bound changes
31.98/32.16 c (round 13, medium) 691505 del vars, 625152 del conss, 0 add conss, 64423 chg bounds, 25702 chg sides, 26602 chg coeffs, 0 upgd conss, 0 impls, 73070 clqs
32.26/32.47 c (round 14, fast) 693589 del vars, 645742 del conss, 0 add conss, 64423 chg bounds, 30700 chg sides, 31753 chg coeffs, 0 upgd conss, 0 impls, 74985 clqs
32.46/32.66 c (round 15, fast) 694147 del vars, 646306 del conss, 0 add conss, 64423 chg bounds, 30708 chg sides, 31761 chg coeffs, 0 upgd conss, 0 impls, 74736 clqs
34.16/34.37 c (round 16, exhaustive) 694172 del vars, 646338 del conss, 0 add conss, 64423 chg bounds, 30708 chg sides, 31761 chg coeffs, 159359 upgd conss, 0 impls, 74738 clqs
34.65/34.83 c (round 17, fast) 697885 del vars, 646369 del conss, 0 add conss, 64423 chg bounds, 30708 chg sides, 31761 chg coeffs, 159359 upgd conss, 0 impls, 74741 clqs
34.96/35.12 c (round 18, fast) 698916 del vars, 647299 del conss, 0 add conss, 64423 chg bounds, 30708 chg sides, 35373 chg coeffs, 159359 upgd conss, 0 impls, 74858 clqs
38.73/38.93 c (round 19, medium) 891243 del vars, 926917 del conss, 324680 add conss, 64423 chg bounds, 30724 chg sides, 35508 chg coeffs, 159359 upgd conss, 0 impls, 201552 clqs
39.23/39.48 c (round 20, fast) 892009 del vars, 928371 del conss, 324680 add conss, 64423 chg bounds, 30820 chg sides, 35627 chg coeffs, 159359 upgd conss, 0 impls, 201833 clqs
39.63/39.88 c (round 21, fast) 892812 del vars, 929123 del conss, 324680 add conss, 64423 chg bounds, 30823 chg sides, 35654 chg coeffs, 159359 upgd conss, 0 impls, 201291 clqs
40.03/40.25 c (round 22, fast) 893331 del vars, 929469 del conss, 324680 add conss, 64423 chg bounds, 30823 chg sides, 35669 chg coeffs, 159359 upgd conss, 0 impls, 201046 clqs
41.43/41.67 c (41.6s) running MILP presolver
43.32/43.53 c (43.5s) MILP presolver (3 rounds): 0 aggregations, 462 fixings, 0 bound changes
43.72/43.94 c (round 23, medium) 894281 del vars, 930082 del conss, 324680 add conss, 64423 chg bounds, 30824 chg sides, 35710 chg coeffs, 159359 upgd conss, 0 impls, 200529 clqs
45.31/45.51 c (round 24, exhaustive) 894331 del vars, 930593 del conss, 324680 add conss, 64423 chg bounds, 30830 chg sides, 35718 chg coeffs, 159359 upgd conss, 0 impls, 200480 clqs
47.51/47.70 c (round 25, exhaustive) 894429 del vars, 930687 del conss, 324680 add conss, 64423 chg bounds, 30831 chg sides, 35719 chg coeffs, 265498 upgd conss, 0 impls, 200387 clqs
47.92/48.16 c (round 26, fast) 900730 del vars, 930710 del conss, 324680 add conss, 64423 chg bounds, 30831 chg sides, 35719 chg coeffs, 265498 upgd conss, 0 impls, 200355 clqs
48.41/48.62 c (round 27, fast) 902404 del vars, 932089 del conss, 324680 add conss, 64423 chg bounds, 30831 chg sides, 41992 chg coeffs, 265498 upgd conss, 0 impls, 200846 clqs
51.69/51.95 c (round 28, medium) 1042022 del vars, 1122247 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 42344 chg coeffs, 265498 upgd conss, 0 impls, 262191 clqs
52.29/52.52 c (round 29, fast) 1043579 del vars, 1126259 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 46748 chg coeffs, 265498 upgd conss, 0 impls, 262332 clqs
52.69/52.93 c (round 30, fast) 1045020 del vars, 1128417 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 47136 chg coeffs, 265498 upgd conss, 0 impls, 260489 clqs
53.09/53.33 c (round 31, fast) 1045763 del vars, 1129664 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 47222 chg coeffs, 265498 upgd conss, 0 impls, 259461 clqs
53.48/53.73 c (round 32, fast) 1046401 del vars, 1130757 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 47266 chg coeffs, 265498 upgd conss, 0 impls, 258541 clqs
53.90/54.13 c (round 33, fast) 1046944 del vars, 1131655 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 47325 chg coeffs, 265498 upgd conss, 0 impls, 257852 clqs
54.28/54.52 c (round 34, fast) 1047483 del vars, 1132536 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 47383 chg coeffs, 265498 upgd conss, 0 impls, 257142 clqs
54.68/54.94 c (round 35, fast) 1047996 del vars, 1133248 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 47433 chg coeffs, 265498 upgd conss, 0 impls, 256582 clqs
55.08/55.35 c (round 36, fast) 1048441 del vars, 1133944 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 47477 chg coeffs, 265498 upgd conss, 0 impls, 256045 clqs
55.48/55.74 c (round 37, fast) 1048817 del vars, 1134415 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 47517 chg coeffs, 265498 upgd conss, 0 impls, 255660 clqs
55.89/56.13 c (round 38, fast) 1049030 del vars, 1134697 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 47545 chg coeffs, 265498 upgd conss, 0 impls, 255430 clqs
57.17/57.48 c (57.4s) running MILP presolver
58.47/58.71 c (58.7s) MILP presolver (2 rounds): 0 aggregations, 169 fixings, 0 bound changes
58.97/59.25 c (round 39, medium) 1050885 del vars, 1136623 del conss, 530291 add conss, 64423 chg bounds, 30831 chg sides, 47598 chg coeffs, 265498 upgd conss, 0 impls, 253414 clqs
59.97/60.22 c (round 40, medium) 1051037 del vars, 1136982 del conss, 530291 add conss, 64423 chg bounds, 30832 chg sides, 47614 chg coeffs, 265498 upgd conss, 0 impls, 253240 clqs
62.15/62.47 c (round 41, exhaustive) 1051047 del vars, 1137010 del conss, 530291 add conss, 64423 chg bounds, 30832 chg sides, 47617 chg coeffs, 270705 upgd conss, 0 impls, 253231 clqs
62.56/62.84 c (round 42, fast) 1051833 del vars, 1137032 del conss, 530291 add conss, 64423 chg bounds, 30832 chg sides, 47617 chg coeffs, 270705 upgd conss, 0 impls, 253229 clqs
62.96/63.20 c (round 43, fast) 1052056 del vars, 1137217 del conss, 530291 add conss, 64423 chg bounds, 30832 chg sides, 48400 chg coeffs, 270705 upgd conss, 0 impls, 253268 clqs
63.96/64.23 c (round 44, medium) 1060252 del vars, 1147499 del conss, 540799 add conss, 64423 chg bounds, 30832 chg sides, 48474 chg coeffs, 270705 upgd conss, 0 impls, 254396 clqs
64.45/64.72 c (round 45, fast) 1060387 del vars, 1148001 del conss, 540799 add conss, 64423 chg bounds, 30832 chg sides, 48532 chg coeffs, 270705 upgd conss, 0 impls, 254245 clqs
64.87/65.11 c (round 46, fast) 1060569 del vars, 1148249 del conss, 540799 add conss, 64423 chg bounds, 30832 chg sides, 48552 chg coeffs, 270705 upgd conss, 0 impls, 254041 clqs
65.76/66.03 c (round 47, medium) 1060795 del vars, 1148476 del conss, 540799 add conss, 64423 chg bounds, 30832 chg sides, 48574 chg coeffs, 270705 upgd conss, 0 impls, 253803 clqs
67.94/68.25 c (round 48, exhaustive) 1060852 del vars, 1148698 del conss, 540799 add conss, 64423 chg bounds, 30832 chg sides, 48596 chg coeffs, 270779 upgd conss, 0 impls, 253739 clqs
68.34/68.64 c (round 49, fast) 1061022 del vars, 1148840 del conss, 540799 add conss, 64423 chg bounds, 30832 chg sides, 48596 chg coeffs, 270779 upgd conss, 0 impls, 253602 clqs
69.24/69.57 c (round 50, medium) 1061352 del vars, 1149217 del conss, 541155 add conss, 64423 chg bounds, 30832 chg sides, 48622 chg coeffs, 270779 upgd conss, 0 impls, 253578 clqs
72.12/72.47 c (round 51, exhaustive) 1067137 del vars, 1149276 del conss, 541155 add conss, 64423 chg bounds, 30832 chg sides, 48727 chg coeffs, 270779 upgd conss, 0 impls, 251588 clqs
72.52/72.87 c (round 52, fast) 1067644 del vars, 1151973 del conss, 541155 add conss, 64423 chg bounds, 30832 chg sides, 54814 chg coeffs, 270779 upgd conss, 0 impls, 253601 clqs
72.92/73.27 c (round 53, fast) 1069487 del vars, 1153635 del conss, 541155 add conss, 64423 chg bounds, 30832 chg sides, 54848 chg coeffs, 270779 upgd conss, 0 impls, 252033 clqs
73.32/73.66 c (round 54, fast) 1069806 del vars, 1153985 del conss, 541155 add conss, 64423 chg bounds, 30832 chg sides, 55203 chg coeffs, 270779 upgd conss, 0 impls, 251815 clqs
74.22/74.56 c (round 55, medium) 1070099 del vars, 1154274 del conss, 541155 add conss, 64423 chg bounds, 30832 chg sides, 55232 chg coeffs, 270779 upgd conss, 0 impls, 251529 clqs
77.01/77.39 c (round 56, exhaustive) 1070722 del vars, 1154396 del conss, 541155 add conss, 64423 chg bounds, 30832 chg sides, 55236 chg coeffs, 270779 upgd conss, 0 impls, 251339 clqs
77.41/77.77 c (round 57, fast) 1070887 del vars, 1154730 del conss, 541155 add conss, 64423 chg bounds, 30832 chg sides, 55850 chg coeffs, 270779 upgd conss, 0 impls, 251438 clqs
77.82/78.15 c (round 58, fast) 1071129 del vars, 1154969 del conss, 541155 add conss, 64423 chg bounds, 30832 chg sides, 55861 chg coeffs, 270779 upgd conss, 0 impls, 251217 clqs
265.38/266.32 c (266.3s) probing: 1000/199457 (0.5%) - 0 fixings, 0 aggregations, 55488 implications, 0 bound changes
265.58/266.51 c (266.5s) probing: 1001/199457 (0.5%) - 0 fixings, 0 aggregations, 55498 implications, 0 bound changes
265.58/266.51 c (266.5s) probing aborted: 1000/1000 successive useless probings
266.38/267.34 c (267.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
267.48/268.44 c (268.4s) symmetry computation finished: 320 generators found (max: 320, log10 of symmetry group size: 10.0) (symcode time: 0.46)
268.37/269.33 c dynamic symmetry handling statistics:
268.37/269.33 c orbitopal reduction: 5 components: 2x3, 3x3, 3x3, 3x3, 2x3
268.37/269.33 c orbital reduction: 5 components of sizes 5, 3, 3, 3, 3
268.37/269.33 c lexicographic reduction: 72 permutations with support sizes 6, 4, 6, 6, 6, 10, 6, 8, 6, 8, 6, 6, 6, 6, 6, 6, 6, 6, 6, 8, 6, 10, 4, 4, 6, 4, 6, 6, 4, 6, 8, 4, 6, 6, 6, 6, 4, 2, 2, 2, 6, 6, 6, 6, 6, 6, 4, 8, 10, 6, 6, 6, 4, 6, 6, 10, 6, 4, 6, 6, 4, 6, 4, 4, 8, 4, 2, 2, 2, 2, 2, 2
268.37/269.33 c handled 285 out of 285 symmetry components
268.37/269.33 c (round 59, exhaustive) 1071249 del vars, 1155040 del conss, 541393 add conss, 64423 chg bounds, 30832 chg sides, 55967 chg coeffs, 270779 upgd conss, 0 impls, 306880 clqs
270.18/271.18 c (round 60, exhaustive) 1071302 del vars, 1155113 del conss, 541393 add conss, 64423 chg bounds, 30832 chg sides, 55973 chg coeffs, 271017 upgd conss, 0 impls, 306844 clqs
291.50/292.56 c (292.5s) probing: 1101/199457 (0.6%) - 0 fixings, 0 aggregations, 87633 implications, 0 bound changes
291.50/292.56 c (292.5s) probing aborted: 1000/1000 successive useless probings
292.11/293.19 c presolving (61 rounds: 61 fast, 20 medium, 10 exhaustive):
292.11/293.19 c 1071334 deleted vars, 1155130 deleted constraints, 541393 added constraints, 64423 tightened bounds, 0 added holes, 30832 changed sides, 55993 changed coefficients
292.11/293.19 c 0 implications, 338960 cliques
292.11/293.19 c presolved problem has 199372 variables (199372 bin, 0 int, 0 impl, 0 cont) and 305008 constraints
292.11/293.19 c 247785 constraints of type <setppc>
292.11/293.19 c 57223 constraints of type <logicor>
292.11/293.19 c transformed objective value is always integral (scale: 1)
292.11/293.19 c Presolving Time: 285.41
292.11/293.19 c - non default parameters ----------------------------------------------------------------------
292.11/293.19 c # SCIP version 10.0.0
292.11/293.19 c
292.11/293.19 c # maximal time in seconds to run
292.11/293.19 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
292.11/293.19 c limits/time = 3596.994161
292.11/293.19 c
292.11/293.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
292.11/293.19 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
292.11/293.19 c limits/memory = 27900
292.11/293.19 c
292.11/293.19 c # belongs reading time to solving time?
292.11/293.19 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
292.11/293.19 c timing/reading = TRUE
292.11/293.19 c
292.11/293.19 c -----------------------------------------------------------------------------------------------
292.11/293.19 c start solving
292.29/293.35 c
293.10/294.11 o 489248
293.10/294.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
293.10/294.11 c t 294s| 1 | 0 | 0 | - | trivial| 0 | 199k| 304k| 0 | 0 | 0 | 0 | 0 | 7.762100e+04 | 4.892480e+05 | 530.30%| unknown
329.56/330.75 o 368737
329.56/330.75 c p 331s| 1 | 0 | 9088 | - | vbounds| 0 | 199k| 305k| 304k| 0 | 0 | 13 | 0 | 7.762100e+04 | 3.687370e+05 | 375.05%| unknown
332.45/333.63 o 168221
332.45/333.63 c i 334s| 1 | 0 | 9088 | - | oneopt| 0 | 199k| 305k| 304k| 0 | 0 | 33 | 0 | 7.762100e+04 | 1.682210e+05 | 116.72%| unknown
467.77/469.55 c 470s| 1 | 0 | 67460 | - | 5392M | 0 | 199k| 305k| 304k| 0 | 0 | 33 | 0 | 1.098710e+05 | 1.682210e+05 | 53.11%| unknown
468.97/470.74 o 120171
468.97/470.74 c r 471s| 1 | 0 | 67460 | - |shifting| 0 | 199k| 305k| 304k| 0 | 0 | 34 | 0 | 1.098710e+05 | 1.201710e+05 | 9.37%| unknown
469.67/471.45 o 114893
469.67/471.45 c i 471s| 1 | 0 | 67460 | - | oneopt| 0 | 199k| 305k| 304k| 0 | 0 | 34 | 0 | 1.098710e+05 | 1.148930e+05 | 4.57%| unknown
692.35/694.89 c 695s| 1 | 0 | 69915 | - | 5567M | 0 | 199k| 305k| 305k| 210 | 1 | 34 | 0 | 1.102179e+05 | 1.148930e+05 | 4.24%| unknown
888.26/891.36 c 891s| 1 | 0 | 75521 | - | 5601M | 0 | 199k| 305k| 305k| 289 | 2 | 35 | 0 | 1.104109e+05 | 1.148930e+05 | 4.06%| unknown
1095.79/1099.58 c 1100s| 1 | 0 | 76092 | - | 5637M | 0 | 199k| 305k| 305k| 333 | 3 | 36 | 0 | 1.104603e+05 | 1.148930e+05 | 4.01%| unknown
1306.83/1311.22 c 1311s| 1 | 0 | 78245 | - | 5674M | 0 | 199k| 305k| 305k| 358 | 4 | 38 | 0 | 1.106374e+05 | 1.148930e+05 | 3.85%| unknown
1520.85/1525.99 c 1526s| 1 | 0 | 79897 | - | 5708M | 0 | 199k| 305k| 305k| 383 | 5 | 39 | 0 | 1.107056e+05 | 1.148930e+05 | 3.78%| unknown
1521.44/1526.54 o 112868
1521.44/1526.54 c r1527s| 1 | 0 | 79897 | - |shifting| 0 | 199k| 305k| 305k| 383 | 5 | 40 | 0 | 1.107056e+05 | 1.128680e+05 | 1.95%| unknown
1701.40/1707.08 c 1707s| 1 | 0 | 80284 | - | 5760M | 0 | 199k| 305k| 305k| 402 | 6 | 40 | 0 | 1.107177e+05 | 1.128680e+05 | 1.94%| unknown
1701.99/1707.69 o 111456
1701.99/1707.69 c i1708s| 1 | 0 | 80284 | - | oneopt| 0 | 199k| 305k| 305k| 402 | 6 | 40 | 0 | 1.107177e+05 | 1.114560e+05 | 0.67%| unknown
1902.74/1909.00 c 1909s| 1 | 0 | 81457 | - | 5830M | 0 | 199k| 305k| 305k| 411 | 7 | 42 | 0 | 1.107234e+05 | 1.114560e+05 | 0.66%| unknown
2093.72/2100.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2093.72/2100.45 c 2100s| 1 | 0 | 84840 | - | 5874M | 0 | 199k| 305k| 305k| 425 | 8 | 43 | 0 | 1.107678e+05 | 1.114560e+05 | 0.62%| unknown
2279.50/2286.79 c 2287s| 1 | 0 | 85245 | - | 5909M | 0 | 199k| 305k| 305k| 441 | 9 | 44 | 0 | 1.107715e+05 | 1.114560e+05 | 0.62%| unknown
2476.56/2484.36 c 2484s| 1 | 0 | 87121 | - | 5943M | 0 | 199k| 305k| 305k| 454 | 10 | 46 | 0 | 1.107944e+05 | 1.114560e+05 | 0.60%| unknown
2477.16/2484.97 c r2485s| 1 | 0 | 87121 | - |shifting| 0 | 199k| 305k| 305k| 454 | 10 | 47 | 0 | 1.107944e+05 | 1.114560e+05 | 0.60%| unknown
2477.37/2485.12 c 2485s| 1 | 0 | 87121 | - | 5948M | 0 | 199k| 305k| 305k| 454 | 10 | 47 | 0 | 1.107944e+05 | 1.114560e+05 | 0.60%| unknown
2477.86/2485.63 o 110921
2477.86/2485.63 c i2486s| 1 | 0 | 87121 | - | oneopt| 0 | 199k| 305k| 305k| 454 | 10 | 47 | 0 | 1.107944e+05 | 1.109210e+05 | 0.11%| unknown
2643.50/2651.78 c 2652s| 1 | 0 | 87996 | - | 6012M | 0 | 199k| 304k| 305k| 463 | 11 | 47 | 0 | 1.108029e+05 | 1.109210e+05 | 0.11%| unknown
2643.91/2652.19 c 2652s| 1 | 0 | 87996 | - | 6016M | 0 | 199k| 304k| 298k| 463 | 11 | 48 | 0 | 1.108029e+05 | 1.109210e+05 | 0.11%| unknown
2806.26/2814.92 c 2815s| 1 | 0 | 88192 | - | 6045M | 0 | 199k| 300k| 297k| 469 | 12 | 48 | 0 | 1.108060e+05 | 1.109210e+05 | 0.10%| unknown
2806.76/2815.47 c 2815s| 1 | 0 | 88192 | - | 6049M | 0 | 199k| 300k| 297k| 469 | 12 | 48 | 0 | 1.108060e+05 | 1.109210e+05 | 0.10%| unknown
2968.12/2977.25 c 2977s| 1 | 0 | 88305 | - | 6078M | 0 | 199k| 298k| 296k| 473 | 13 | 48 | 0 | 1.108090e+05 | 1.109210e+05 | 0.10%| unknown
2968.52/2977.61 c 2978s| 1 | 0 | 88305 | - | 6082M | 0 | 199k| 298k| 296k| 473 | 13 | 49 | 0 | 1.108090e+05 | 1.109210e+05 | 0.10%| unknown
3127.33/3136.87 c 3137s| 1 | 0 | 88408 | - | 6111M | 0 | 199k| 298k| 296k| 477 | 14 | 49 | 0 | 1.108110e+05 | 1.109210e+05 | 0.10%| unknown
3127.73/3137.24 c 3137s| 1 | 0 | 88408 | - | 6115M | 0 | 199k| 298k| 296k| 477 | 14 | 50 | 0 | 1.108110e+05 | 1.109210e+05 | 0.10%| unknown
3284.75/3294.68 c 3295s| 1 | 0 | 88445 | - | 6143M | 0 | 199k| 298k| 296k| 479 | 15 | 50 | 0 | 1.108115e+05 | 1.109210e+05 | 0.10%| unknown
3285.26/3295.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3285.26/3295.18 c 3295s| 1 | 0 | 88445 | - | 6148M | 0 | 199k| 298k| 296k| 479 | 15 | 50 | 0 | 1.108115e+05 | 1.109210e+05 | 0.10%| unknown
3445.81/3456.14 c 3456s| 1 | 0 | 89092 | - | 6176M | 0 | 199k| 298k| 296k| 482 | 16 | 50 | 0 | 1.108195e+05 | 1.109210e+05 | 0.09%| unknown
3446.49/3456.82 o 110919
3446.49/3456.82 c r3457s| 1 | 0 | 89092 | - |rounding| 0 | 199k| 298k| 295k| 482 | 16 | 50 | 0 | 1.108195e+05 | 1.109190e+05 | 0.09%| unknown
3446.80/3457.14 o 110918
3446.80/3457.14 c r3457s| 1 | 0 | 89092 | - |shifting| 0 | 199k| 298k| 295k| 482 | 16 | 50 | 0 | 1.108195e+05 | 1.109180e+05 | 0.09%| unknown
3446.89/3457.26 c 3457s| 1 | 0 | 89092 | - | 6197M | 0 | 199k| 298k| 295k| 482 | 16 | 50 | 0 | 1.108195e+05 | 1.109180e+05 | 0.09%| unknown
3447.59/3457.93 o 110858
3447.59/3457.93 c i3458s| 1 | 0 | 89092 | - | oneopt| 0 | 199k| 298k| 295k| 482 | 16 | 50 | 0 | 1.108195e+05 | 1.108580e+05 | 0.03%| unknown
3447.70/3458.06 c 3458s| 1 | 0 | 89092 | - | 6232M | 0 | 199k| 298k| 295k| 482 | 16 | 50 | 0 | 1.108195e+05 | 1.108580e+05 | 0.03%| unknown
3448.09/3458.42 c 3458s| 1 | 0 | 89092 | - | 6232M | 0 | 199k| 298k| 283k| 482 | 16 | 50 | 0 | 1.108195e+05 | 1.108580e+05 | 0.03%| 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 (60989 MiB free)
memory of node 1: 64507 MiB (60941 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523894-1751598212/watcher-4523894-1751598212 -o /tmp/evaluation-result-4523894-1751598212/solver-4523894-1751598212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89441 --watchdog 3760 pbscip -f HOME/instance-4523894-1751598212.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=89974, runsolver pid=89971
[startup+0.100073 s]*
/proc/loadavg: 4.06 4.08 4.13 5/252 89975
/proc/meminfo: memFree=124789160/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=116240 memory=86708 CPUtime=0.09 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 14174 0 0 0 5 4 0 0 20 0 1 0 75501030 119029760 21677 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 29060 21677 3232 3530 0 20511 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 116240 KiB
Current children cumulated memory: 86708 KiB
[startup+0.213245 s]*
/proc/loadavg: 4.06 4.08 4.13 5/252 89975
/proc/meminfo: memFree=124708772/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=198488 memory=166324 CPUtime=0.21 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 34086 0 0 0 13 8 0 0 20 0 1 0 75501030 203251712 41581 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 49622 41581 3232 3530 0 41073 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 198488 KiB
Current children cumulated memory: 166324 KiB
[startup+0.313062 s]*
/proc/loadavg: 4.06 4.08 4.13 5/252 89975
/proc/meminfo: memFree=124644260/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=265700 memory=233140 CPUtime=0.31 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 50779 0 0 0 20 11 0 0 20 0 1 0 75501030 272076800 58285 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 66425 58285 3232 3530 0 57876 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 265700 KiB
Current children cumulated memory: 233140 KiB
[startup+0.700329 s]
/proc/loadavg: 4.06 4.08 4.13 5/252 89975
/proc/meminfo: memFree=124523300/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=503112 memory=470480 CPUtime=0.68 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 108534 0 0 0 44 24 0 0 20 0 1 0 75501030 515186688 117588 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 125778 117588 3232 3530 0 117229 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 503112 KiB
Current children cumulated memory: 470480 KiB
[startup+1.50036 s]
/proc/loadavg: 4.06 4.08 4.13 5/252 89975
/proc/meminfo: memFree=124185364/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=919048 memory=885248 CPUtime=1.47 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 206156 0 0 0 105 42 0 0 20 0 1 0 75501030 941105152 221312 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 229762 221312 3232 3530 0 221213 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 919048 KiB
Current children cumulated memory: 885248 KiB
[startup+3.11269 s]
/proc/loadavg: 4.06 4.08 4.13 5/252 89975
/proc/meminfo: memFree=123435216/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=1506288 memory=1472040 CPUtime=3.09 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 348361 0 0 0 244 65 0 0 20 0 1 0 75501030 1542438912 368010 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 376572 368010 3232 3530 0 368023 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1506288 KiB
Current children cumulated memory: 1472040 KiB
[startup+6.30035 s]
/proc/loadavg: 4.05 4.08 4.13 5/252 89975
/proc/meminfo: memFree=121692340/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=3302936 memory=3271772 CPUtime=6.26 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 808559 0 0 0 489 137 0 0 20 0 1 0 75501030 3382206464 817943 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 825734 817943 3520 3530 0 817185 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 3302936 KiB
Current children cumulated memory: 3271772 KiB
[startup+12.7003 s]
/proc/loadavg: 4.05 4.08 4.13 5/252 89975
/proc/meminfo: memFree=120797228/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=4149432 memory=4056644 CPUtime=12.64 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 938860 0 0 0 1102 162 0 0 20 0 1 0 75501030 4249018368 1014161 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1037358 1014161 3584 3530 0 1028809 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 4149432 KiB
Current children cumulated memory: 4056644 KiB
[startup+25.5004 s]
/proc/loadavg: 4.04 4.08 4.13 5/252 89975
/proc/meminfo: memFree=120356856/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=4557476 memory=4466136 CPUtime=25.38 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 976408 0 0 0 2362 176 0 0 20 0 1 0 75501030 4666855424 1116534 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1139369 1116534 3744 3530 0 1130820 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 4557476 KiB
Current children cumulated memory: 4466136 KiB
[startup+51.1128 s]
/proc/loadavg: 4.08 4.08 4.13 5/252 89975
/proc/meminfo: memFree=119806676/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=4997912 memory=4912176 CPUtime=50.91 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1146367 0 0 0 4884 207 0 0 20 0 1 0 75501030 5117861888 1228044 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1249478 1228044 3776 3530 0 1240929 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 4997912 KiB
Current children cumulated memory: 4912176 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.10 4.13 5/253 89980
/proc/meminfo: memFree=119836288/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=5068144 memory=4981752 CPUtime=101.93 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1164534 0 0 0 9980 213 0 0 20 0 1 0 75501030 5189779456 1245438 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1267036 1245438 3776 3530 0 1258487 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 5068144 KiB
Current children cumulated memory: 4981752 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.11 4.13 5/253 89983
/proc/meminfo: memFree=119790732/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=5068144 memory=4981752 CPUtime=161.73 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1164534 0 0 0 15960 213 0 0 20 0 1 0 75501030 5189779456 1245438 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1267036 1245438 3776 3530 0 1258487 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 5068144 KiB
Current children cumulated memory: 4981752 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/253 89985
/proc/meminfo: memFree=119724100/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=5068144 memory=4981752 CPUtime=221.53 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1164536 0 0 0 21940 213 0 0 20 0 1 0 75501030 5189779456 1245438 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1267036 1245438 3776 3530 0 1258487 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 5068144 KiB
Current children cumulated memory: 4981752 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/253 89988
/proc/meminfo: memFree=119332980/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=5591568 memory=5363964 CPUtime=281.33 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1228951 0 0 0 27909 224 0 0 20 0 1 0 75501030 5725765632 1340991 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1397892 1340991 3776 3530 0 1389343 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 5591568 KiB
Current children cumulated memory: 5363964 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.13 4.12 5/253 89990
/proc/meminfo: memFree=118315216/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6412608 memory=6209084 CPUtime=341.11 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1479389 0 0 0 33844 267 0 0 20 0 1 0 75501030 6566510592 1552271 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1603152 1552271 3936 3530 0 1594603 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 6412608 KiB
Current children cumulated memory: 6209084 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/251 89992
/proc/meminfo: memFree=118475612/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6412608 memory=6209468 CPUtime=400.83 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1479457 0 0 0 39816 267 0 0 20 0 1 0 75501030 6566510592 1552367 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1603152 1552367 3968 3530 0 1594603 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 6412608 KiB
Current children cumulated memory: 6209468 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/251 89999
/proc/meminfo: memFree=118463288/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6412608 memory=6209980 CPUtime=460.6 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1479595 0 0 0 45793 267 0 0 20 0 1 0 75501030 6566510592 1552495 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1603152 1552495 3968 3530 0 1594603 0
Current children cumulated CPU time: 460.6 s
################
# More data... #
################
Current children cumulated memory: 6225072 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.23 4.18 5/250 90114
/proc/meminfo: memFree=118344900/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6430368 memory=6226352 CPUtime=2913.37 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1487012 0 0 0 291055 282 0 0 20 0 1 0 75501030 6584696832 1556588 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1607592 1556588 3968 3530 0 1599043 0
Current children cumulated CPU time: 2913.37 s
Current children cumulated vsize: 6430368 KiB
Current children cumulated memory: 6226352 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/250 90116
/proc/meminfo: memFree=118339340/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6464484 memory=6236624 CPUtime=2973.21 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1488635 0 0 0 297038 283 0 0 20 0 1 0 75501030 6619631616 1559156 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1616121 1559156 3968 3530 0 1607572 0
Current children cumulated CPU time: 2973.21 s
Current children cumulated vsize: 6464484 KiB
Current children cumulated memory: 6236624 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.18 4.16 5/252 90122
/proc/meminfo: memFree=118341444/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6464484 memory=6238800 CPUtime=3033.06 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1488637 0 0 0 303022 284 0 0 20 0 1 0 75501030 6619631616 1559700 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1616121 1559700 3968 3530 0 1607572 0
Current children cumulated CPU time: 3033.06 s
Current children cumulated vsize: 6464484 KiB
Current children cumulated memory: 6238800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/252 90124
/proc/meminfo: memFree=118342692/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6464484 memory=6238800 CPUtime=3092.91 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1488640 0 0 0 309007 284 0 0 20 0 1 0 75501030 6619631616 1559700 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1616121 1559700 3968 3530 0 1607572 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 6464484 KiB
Current children cumulated memory: 6238800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/252 90126
/proc/meminfo: memFree=118323920/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6492304 memory=6252800 CPUtime=3152.77 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1490219 0 0 0 314992 285 0 0 20 0 1 0 75501030 6648119296 1563200 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1623076 1563200 3968 3530 0 1614527 0
Current children cumulated CPU time: 3152.77 s
Current children cumulated vsize: 6492304 KiB
Current children cumulated memory: 6252800 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/251 90128
/proc/meminfo: memFree=118316768/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6492304 memory=6252800 CPUtime=3212.63 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1490224 0 0 0 320977 286 0 0 20 0 1 0 75501030 6648119296 1563200 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1623076 1563200 3968 3530 0 1614527 0
Current children cumulated CPU time: 3212.63 s
Current children cumulated vsize: 6492304 KiB
Current children cumulated memory: 6252800 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.12 4.14 5/251 90130
/proc/meminfo: memFree=118318252/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6492304 memory=6252928 CPUtime=3272.48 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1490225 0 0 0 326962 286 0 0 20 0 1 0 75501030 6648119296 1563232 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1623076 1563232 3968 3530 0 1614527 0
Current children cumulated CPU time: 3272.48 s
Current children cumulated vsize: 6492304 KiB
Current children cumulated memory: 6252928 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/250 90133
/proc/meminfo: memFree=118311920/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6523972 memory=6263408 CPUtime=3332.34 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1492028 0 0 0 332947 287 0 0 20 0 1 0 75501030 6680547328 1565852 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1630993 1565852 3968 3530 0 1622444 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 6523972 KiB
Current children cumulated memory: 6263408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/251 90225
/proc/meminfo: memFree=116573556/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6523972 memory=6264816 CPUtime=3392.16 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1492033 0 0 0 338929 287 0 0 20 0 1 0 75501030 6680547328 1566204 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1630993 1566204 3968 3530 0 1622444 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 6523972 KiB
Current children cumulated memory: 6264816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/251 90283
/proc/meminfo: memFree=113773752/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6592192 memory=6324716 CPUtime=3451.97 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1497624 0 0 0 344908 289 0 0 20 0 1 0 75501030 6750404608 1581179 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1648048 1581179 3968 3530 0 1639499 0
Current children cumulated CPU time: 3451.97 s
Current children cumulated vsize: 6592192 KiB
Current children cumulated memory: 6324716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/252 90290
/proc/meminfo: memFree=113798340/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6592192 memory=6325996 CPUtime=3511.77 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1497625 0 0 0 350886 291 0 0 20 0 1 0 75501030 6750404608 1581499 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1648048 1581499 3968 3530 0 1639499 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 6592192 KiB
Current children cumulated memory: 6325996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/252 90292
/proc/meminfo: memFree=113781768/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6592192 memory=6330604 CPUtime=3571.51 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1497631 0 0 0 356860 291 0 0 20 0 1 0 75501030 6750404608 1582651 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1648048 1582651 3968 3530 0 1639499 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 6592192 KiB
Current children cumulated memory: 6330604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.14 4.12 4.13 5/252 90293
/proc/meminfo: memFree=113779252/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6592192 memory=6330860 CPUtime=3600 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1497638 0 0 0 359708 292 0 0 20 0 1 0 75501030 6750404608 1582715 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1648048 1582715 3968 3530 0 1639499 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6592192 KiB
Current children cumulated memory: 6330860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611 s]
# the end of solver process 89974 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.08 s, system=3.02226 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.14 4.12 4.13 5/252 90293
/proc/meminfo: memFree=113779252/131382116 swapFree=33010684/33010684
[pid=89974] ppid=89971 vsize=6592192 memory=6330860 CPUtime=3600 cores=1,3
/proc/89974/stat : 89974 (pbscip) R 89971 89974 89429 0 -1 4194304 1497638 0 0 0 359708 292 0 0 20 0 1 0 75501030 6750404608 1582715 18446744073709551615 4235264 18693293 140720745581824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55234560 140720745585033 140720745585132 140720745585132 140720745590734 0
/proc/89974/statm: 1648048 1582715 3968 3530 0 1639499 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6592192 KiB
Current children cumulated memory: 6330860 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611
CPU time (s): 3600.11
CPU user time (s): 3597.08
CPU system time (s): 3.02226
CPU usage (%): 99.6983
Max. virtual memory (cumulated for all children) (KiB): 6641248
Max. memory (cumulated for all children) (KiB): 6416116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.09
system time used= 3.02226
maximum resident set size= 6416116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1497638
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= 98
involuntary context switches= 1222
# summary of solver processes directly reported to runsolver:
# pid: 89974
# total CPU time (s): 3600.11
# total CPU user time (s): 3597.08
# total CPU system time (s): 3.02226
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9238 second user time and 33.1473 second system time
The end
Begin job on nodeC011 at 2025-07-04 05:03:33 IDJOB=4523894 IDBENCH=180377 IDSOLVER=3365 FILE ID=nodeC011/4523894-1751598212 RUNJOBID= nodeC011-1751594361-89441 SLURM_JOB_ID= 9598860 Free space on /tmp= 430432 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master-noopt.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523894-1751598212/watcher-4523894-1751598212 -o /tmp/evaluation-result-4523894-1751598212/solver-4523894-1751598212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89441 --watchdog 3760 pbscip -f HOME/instance-4523894-1751598212.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c9e2c34ab166c037a70ac98b2c310360 RANDOM SEED=1007696686 nodeC011 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 : 3691.617 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 : 6984.20 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 : 2096.493 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 : 6984.20 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.598 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 : 6984.20 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.289 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 : 6984.20 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 : 3691.629 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 : 6984.20 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 : 3664.206 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 : 6984.20 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.566 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 : 6984.20 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 : 3700.000 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 124857772 kB MemAvailable: 127647244 kB Buffers: 3276 kB Cached: 3584780 kB SwapCached: 0 kB Active: 2798184 kB Inactive: 3143008 kB Active(anon): 2368992 kB Inactive(anon): 2104 kB Active(file): 429192 kB Inactive(file): 3140904 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 62140 kB Writeback: 4 kB AnonPages: 2356268 kB Mapped: 139040 kB Shmem: 17960 kB KReclaimable: 117624 kB Slab: 203372 kB SReclaimable: 117624 kB SUnreclaim: 85748 kB KernelStack: 4048 kB PageTables: 7792 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 2805696 kB VmallocTotal: 34359738367 kB VmallocUsed: 149480 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 428032 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430348 MiB End job on nodeC011 at 2025-07-04 06:03:44