| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP-NaPS 1.00a1 | ? (MO) | 1294.24 | 1298.63 |
| 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 |
55.34/55.61 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4523897-1751595459.opb 55.34/55.61 c Solving mode: optimization 55.34/55.61 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 55.34/55.61 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 55.34/55.61 c original problem has 1269148 variables (1269148 bin, 0 int, 0 impl, 0 cont) and 918926 constraints 55.34/55.61 c feasible solution found by trivial heuristic after 5.1 seconds, objective value 6.189250e+05 55.34/55.61 c presolving: 55.34/55.61 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 55.34/55.61 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 55.34/55.61 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 55.34/55.61 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 55.34/55.61 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 55.34/55.61 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 55.34/55.61 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 55.34/55.61 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 55.34/55.61 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 55.34/55.61 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 55.34/55.61 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 55.34/55.61 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 55.34/55.61 c (round 13, exhaustive) 660898 del vars, 625412 del conss, 0 add conss, 64797 chg bounds, 25766 chg sides, 26667 chg coeffs, 0 upgd conss, 0 impls, 80104 clqs 55.34/55.61 c (round 14, fast) 661243 del vars, 625613 del conss, 0 add conss, 64863 chg bounds, 25850 chg sides, 26758 chg coeffs, 0 upgd conss, 0 impls, 80083 clqs 55.34/55.61 c (round 15, exhaustive) 661492 del vars, 625663 del conss, 0 add conss, 64863 chg bounds, 25856 chg sides, 26765 chg coeffs, 172158 upgd conss, 0 impls, 80073 clqs 55.34/55.61 c (round 16, fast) 665346 del vars, 625692 del conss, 0 add conss, 64863 chg bounds, 25856 chg sides, 26765 chg coeffs, 172158 upgd conss, 0 impls, 80072 clqs 55.34/55.61 c (round 17, fast) 666365 del vars, 626595 del conss, 0 add conss, 64863 chg bounds, 25856 chg sides, 30432 chg coeffs, 172158 upgd conss, 0 impls, 80185 clqs 55.34/55.61 c (round 18, medium) 867563 del vars, 920395 del conss, 347599 add conss, 64864 chg bounds, 25870 chg sides, 30564 chg coeffs, 172158 upgd conss, 0 impls, 220880 clqs 55.34/55.61 c (round 19, fast) 869131 del vars, 923201 del conss, 347599 add conss, 65142 chg bounds, 26092 chg sides, 30876 chg coeffs, 172158 upgd conss, 0 impls, 220672 clqs 55.34/55.61 c (round 20, fast) 870415 del vars, 924915 del conss, 347599 add conss, 65164 chg bounds, 26195 chg sides, 31031 chg coeffs, 172158 upgd conss, 0 impls, 220059 clqs 55.34/55.61 c (round 21, fast) 871338 del vars, 925617 del conss, 347599 add conss, 65164 chg bounds, 26198 chg sides, 31055 chg coeffs, 172158 upgd conss, 0 impls, 219613 clqs 55.34/55.61 c (round 22, fast) 871846 del vars, 926004 del conss, 347599 add conss, 65164 chg bounds, 26198 chg sides, 31063 chg coeffs, 172158 upgd conss, 0 impls, 219369 clqs 55.34/55.61 c (round 23, fast) 872182 del vars, 926320 del conss, 347599 add conss, 65164 chg bounds, 26198 chg sides, 31071 chg coeffs, 172158 upgd conss, 0 impls, 219175 clqs 55.34/55.61 c (round 24, medium) 872838 del vars, 926825 del conss, 347599 add conss, 65164 chg bounds, 26198 chg sides, 31079 chg coeffs, 172158 upgd conss, 0 impls, 218699 clqs 55.34/55.61 c (round 25, exhaustive) 872940 del vars, 927251 del conss, 347599 add conss, 65164 chg bounds, 26204 chg sides, 31098 chg coeffs, 172158 upgd conss, 0 impls, 218652 clqs 55.34/55.61 c (round 26, exhaustive) 873082 del vars, 927365 del conss, 347599 add conss, 65164 chg bounds, 26204 chg sides, 31099 chg coeffs, 285242 upgd conss, 0 impls, 218551 clqs 55.34/55.61 c (round 27, fast) 879509 del vars, 927399 del conss, 347599 add conss, 65164 chg bounds, 26204 chg sides, 31099 chg coeffs, 285242 upgd conss, 0 impls, 218519 clqs 55.34/55.61 c (round 28, fast) 881233 del vars, 928817 del conss, 347600 add conss, 65164 chg bounds, 26204 chg sides, 37479 chg coeffs, 285242 upgd conss, 0 impls, 219012 clqs 55.34/55.61 c (round 29, medium) 1026844 del vars, 1127654 del conss, 565330 add conss, 65164 chg bounds, 26204 chg sides, 37823 chg coeffs, 285242 upgd conss, 0 impls, 282703 clqs 55.34/55.61 c (round 30, fast) 1030580 del vars, 1136680 del conss, 565330 add conss, 65243 chg bounds, 26218 chg sides, 42707 chg coeffs, 285242 upgd conss, 0 impls, 282378 clqs 55.34/55.61 c (round 31, fast) 1032973 del vars, 1140172 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43189 chg coeffs, 285242 upgd conss, 0 impls, 280049 clqs 55.34/55.61 c (round 32, fast) 1034067 del vars, 1141886 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43359 chg coeffs, 285242 upgd conss, 0 impls, 278707 clqs 55.34/55.61 c (round 33, fast) 1034785 del vars, 1143208 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43448 chg coeffs, 285242 upgd conss, 0 impls, 277635 clqs 55.34/55.61 c (round 34, fast) 1035474 del vars, 1144369 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43509 chg coeffs, 285242 upgd conss, 0 impls, 276670 clqs 55.34/55.61 c (round 35, fast) 1036113 del vars, 1145395 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43554 chg coeffs, 285242 upgd conss, 0 impls, 275782 clqs 55.34/55.61 c (round 36, fast) 1036590 del vars, 1146063 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43609 chg coeffs, 285242 upgd conss, 0 impls, 275248 clqs 55.34/55.61 c (round 37, fast) 1036943 del vars, 1146734 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43658 chg coeffs, 285242 upgd conss, 0 impls, 274717 clqs 55.34/55.61 c (round 38, fast) 1037338 del vars, 1147344 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43692 chg coeffs, 285242 upgd conss, 0 impls, 274260 clqs 55.34/55.61 c (round 39, fast) 1037725 del vars, 1147948 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43723 chg coeffs, 285242 upgd conss, 0 impls, 273793 clqs 55.34/55.61 c (round 40, fast) 1038066 del vars, 1148353 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43756 chg coeffs, 285242 upgd conss, 0 impls, 273472 clqs 55.34/55.61 c (round 41, fast) 1038280 del vars, 1148626 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43785 chg coeffs, 285242 upgd conss, 0 impls, 273245 clqs 55.34/55.61 c (round 42, medium) 1040428 del vars, 1150769 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43818 chg coeffs, 285242 upgd conss, 0 impls, 270946 clqs 55.34/55.61 c (round 43, fast) 1040511 del vars, 1151067 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43866 chg coeffs, 285242 upgd conss, 0 impls, 270881 clqs 55.34/55.61 c (round 44, medium) 1040699 del vars, 1151263 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43876 chg coeffs, 285242 upgd conss, 0 impls, 270676 clqs 55.34/55.61 c (round 45, exhaustive) 1040723 del vars, 1151315 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43880 chg coeffs, 290404 upgd conss, 0 impls, 270646 clqs 306.60/307.94 c (round 46, fast) 1041478 del vars, 1151346 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 43880 chg coeffs, 290404 upgd conss, 0 impls, 270634 clqs 306.60/307.94 c (round 47, fast) 1041708 del vars, 1151532 del conss, 565330 add conss, 65256 chg bounds, 26224 chg sides, 44629 chg coeffs, 290404 upgd conss, 0 impls, 270662 clqs 306.60/307.94 c (round 48, medium) 1049660 del vars, 1161489 del conss, 575573 add conss, 65256 chg bounds, 26224 chg sides, 44711 chg coeffs, 290404 upgd conss, 0 impls, 272070 clqs 306.60/307.94 c (round 49, fast) 1049729 del vars, 1161945 del conss, 575573 add conss, 65256 chg bounds, 26224 chg sides, 44767 chg coeffs, 290404 upgd conss, 0 impls, 271995 clqs 306.60/307.94 c (round 50, medium) 1049989 del vars, 1162217 del conss, 575573 add conss, 65256 chg bounds, 26224 chg sides, 44787 chg coeffs, 290404 upgd conss, 0 impls, 271699 clqs 306.60/307.94 c (round 51, exhaustive) 1050040 del vars, 1162475 del conss, 575573 add conss, 65256 chg bounds, 26224 chg sides, 44797 chg coeffs, 290472 upgd conss, 0 impls, 271632 clqs 306.60/307.94 c (round 52, fast) 1050234 del vars, 1162659 del conss, 575573 add conss, 65256 chg bounds, 26224 chg sides, 44797 chg coeffs, 290472 upgd conss, 0 impls, 271465 clqs 306.60/307.94 c (round 53, medium) 1050659 del vars, 1163147 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 44831 chg coeffs, 290472 upgd conss, 0 impls, 271422 clqs 306.60/307.94 c (round 54, exhaustive) 1050712 del vars, 1163765 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 45295 chg coeffs, 290472 upgd conss, 0 impls, 266132 clqs 306.60/307.94 c (round 55, fast) 1053802 del vars, 1170765 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 45384 chg coeffs, 290472 upgd conss, 0 impls, 265099 clqs 306.60/307.94 c (round 56, fast) 1054965 del vars, 1172550 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 45560 chg coeffs, 290472 upgd conss, 0 impls, 263629 clqs 306.60/307.94 c (round 57, fast) 1055841 del vars, 1173964 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 45676 chg coeffs, 290472 upgd conss, 0 impls, 262466 clqs 306.60/307.94 c (round 58, fast) 1056605 del vars, 1175252 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 45793 chg coeffs, 290472 upgd conss, 0 impls, 261447 clqs 306.60/307.94 c (round 59, fast) 1057208 del vars, 1176065 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 45873 chg coeffs, 290472 upgd conss, 0 impls, 260779 clqs 306.60/307.94 c (round 60, fast) 1057563 del vars, 1176465 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 45916 chg coeffs, 290472 upgd conss, 0 impls, 260432 clqs 306.60/307.94 c (round 61, medium) 1058671 del vars, 1177526 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 45943 chg coeffs, 290472 upgd conss, 0 impls, 259317 clqs 306.60/307.94 c (round 62, exhaustive) 1064559 del vars, 1177721 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 45987 chg coeffs, 290472 upgd conss, 0 impls, 257254 clqs 306.60/307.94 c (round 63, fast) 1065044 del vars, 1180452 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 52070 chg coeffs, 290472 upgd conss, 0 impls, 259254 clqs 306.60/307.94 c (round 64, fast) 1066887 del vars, 1182072 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 52105 chg coeffs, 290472 upgd conss, 0 impls, 257715 clqs 306.60/307.94 c (round 65, fast) 1067168 del vars, 1182332 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 52451 chg coeffs, 290472 upgd conss, 0 impls, 257569 clqs 306.60/307.94 c (round 66, medium) 1067424 del vars, 1182581 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 52487 chg coeffs, 290472 upgd conss, 0 impls, 257323 clqs 306.60/307.94 c (round 67, exhaustive) 1068061 del vars, 1182726 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 52494 chg coeffs, 290472 upgd conss, 0 impls, 257105 clqs 306.60/307.94 c (round 68, fast) 1068236 del vars, 1183083 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53120 chg coeffs, 290472 upgd conss, 0 impls, 257200 clqs 306.60/307.94 c (round 69, fast) 1068513 del vars, 1183349 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53131 chg coeffs, 290472 upgd conss, 0 impls, 256957 clqs 306.60/307.94 c (round 70, exhaustive) 1068815 del vars, 1183450 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53260 chg coeffs, 290472 upgd conss, 0 impls, 258295 clqs 306.60/307.94 c (round 71, fast) 1068855 del vars, 1183960 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53288 chg coeffs, 290472 upgd conss, 0 impls, 258314 clqs 306.60/307.94 c (round 72, exhaustive) 1069046 del vars, 1184106 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53321 chg coeffs, 290472 upgd conss, 0 impls, 258326 clqs 306.60/307.94 c (round 73, exhaustive) 1069218 del vars, 1184278 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53346 chg coeffs, 290472 upgd conss, 0 impls, 258041 clqs 306.60/307.94 c (round 74, fast) 1069236 del vars, 1184646 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53371 chg coeffs, 290472 upgd conss, 0 impls, 258031 clqs 306.60/307.94 c (round 75, exhaustive) 1069413 del vars, 1184811 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53395 chg coeffs, 290472 upgd conss, 0 impls, 257744 clqs 306.60/307.94 c (round 76, medium) 1069599 del vars, 1185107 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53473 chg coeffs, 290472 upgd conss, 0 impls, 257658 clqs 306.60/307.94 c (round 77, exhaustive) 1069816 del vars, 1185147 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53505 chg coeffs, 290472 upgd conss, 0 impls, 257531 clqs 306.60/307.94 c (round 78, fast) 1069840 del vars, 1185646 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53536 chg coeffs, 290472 upgd conss, 0 impls, 257517 clqs 306.60/307.94 c (round 79, exhaustive) 1070029 del vars, 1185825 del conss, 575969 add conss, 65256 chg bounds, 26224 chg sides, 53555 chg coeffs, 290472 upgd conss, 0 impls, 257428 clqs 306.60/307.94 c (98.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 306.60/307.94 c (99.2s) symmetry computation finished: 317 generators found (max: 317, log10 of symmetry group size: 10.0) (symcode time: 0.50) 306.60/307.94 c dynamic symmetry handling statistics: 306.60/307.94 c orbitopal reduction: 5 components: 2x3, 3x3, 3x3, 2x3, 3x3 306.60/307.94 c orbital reduction: 2 components of sizes 5, 3 306.60/307.94 c lexicographic reduction: 64 permutations with support sizes 10, 6, 10, 6, 10, 6, 6, 6, 6, 6, 8, 6, 4, 6, 4, 4, 6, 6, 6, 6, 6, 4, 6, 6, 6, 6, 4, 4, 8, 6, 6, 6, 6, 6, 6, 6, 6, 6, 10, 6, 4, 8, 6, 4, 6, 6, 4, 4, 4, 6, 6, 8, 8, 4, 6, 6, 6, 4, 6, 6, 4, 8, 6, 6 306.60/307.94 c handled 277 out of 277 symmetry components 306.60/307.94 c (round 80, exhaustive) 1070138 del vars, 1185988 del conss, 576212 add conss, 65256 chg bounds, 26224 chg sides, 53595 chg coeffs, 290472 upgd conss, 0 impls, 257753 clqs 306.60/307.94 c (round 81, exhaustive) 1070160 del vars, 1186125 del conss, 576212 add conss, 65256 chg bounds, 26224 chg sides, 53600 chg coeffs, 290715 upgd conss, 0 impls, 257736 clqs 306.60/307.94 c presolving (82 rounds: 82 fast, 29 medium, 18 exhaustive): 306.60/307.94 c 1070229 deleted vars, 1186159 deleted constraints, 576212 added constraints, 65256 tightened bounds, 0 added holes, 26224 changed sides, 53604 changed coefficients 306.60/307.94 c 0 implications, 257947 cliques 306.60/307.94 c presolved problem has 201271 variables (201271 bin, 0 int, 0 impl, 0 cont) and 308834 constraints 306.60/307.94 c 250714 constraints of type <setppc> 306.60/307.94 c 58120 constraints of type <logicor> 306.60/307.94 c transformed objective value is always integral (scale: 1) 306.60/307.94 c Presolving Time: 101.53 306.60/307.94 c 306.60/307.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 306.60/307.94 c t 106s| 1 | 0 | 0 | - | trivial| 0 | 201k| 308k| 0 | 0 | 0 | 0 | 0 | 7.522900e+04 | 4.927030e+05 | 554.94%| unknown 306.60/307.94 c p 143s| 1 | 0 | 9126 | - | vbounds| 0 | 201k| 308k| 308k| 0 | 0 | 14 | 0 | 7.522900e+04 | 3.719550e+05 | 394.43%| unknown 306.60/307.94 c i 146s| 1 | 0 | 9126 | - | oneopt| 0 | 201k| 308k| 308k| 0 | 0 | 36 | 0 | 7.522900e+04 | 1.686370e+05 | 124.16%| unknown 1155.27/1159.39 c 304s| 1 | 0 | 70945 | - | 5284M | 0 | 201k| 308k| 308k| 0 | 0 | 36 | 0 | 1.097148e+05 | 1.686370e+05 | 53.70%| unknown 1155.27/1159.39 c r 306s| 1 | 0 | 74391 | - |shifting| 0 | 201k| 308k| 308k| 0 | 0 | 36 | 0 | 1.097162e+05 | 1.199750e+05 | 9.35%| unknown 1155.27/1159.39 c i 307s| 1 | 0 | 74391 | - | oneopt| 0 | 201k| 308k| 308k| 0 | 0 | 36 | 0 | 1.097162e+05 | 1.148800e+05 | 4.71%| unknown 1155.27/1159.39 c 496s| 1 | 0 | 76297 | - | 5426M | 0 | 201k| 308k| 308k| 230 | 1 | 36 | 0 | 1.101088e+05 | 1.148800e+05 | 4.33%| unknown 1155.27/1159.39 c 692s| 1 | 0 | 78545 | - | 5460M | 0 | 201k| 308k| 308k| 381 | 2 | 38 | 0 | 1.102724e+05 | 1.148800e+05 | 4.18%| unknown 1155.27/1159.39 c 936s| 1 | 0 | 80964 | - | 5496M | 0 | 201k| 308k| 308k| 437 | 3 | 39 | 0 | 1.104092e+05 | 1.148800e+05 | 4.05%| unknown 1155.27/1159.39 c 1142s| 1 | 0 | 80964 | - | 5501M | 0 | 201k| 308k| 308k| 456 | 4 | 40 | 0 | 1.104092e+05 | 1.148800e+05 | 4.05%| unknown 1155.27/1159.39 c (node 1) LP solver hit time limit in LP 6 -- using pseudo solution instead 1155.27/1159.39 c 1155.27/1159.39 c SCIP Status : solving was interrupted [time limit reached] 1155.27/1159.39 c Solving Time (sec) : 1142.49 1155.27/1159.39 c Solving Nodes : 1 1155.27/1159.39 c Primal Bound : +1.14879999999999e+05 (6 solutions) 1155.27/1159.39 c Dual Bound : +1.10409187500000e+05 1155.27/1159.39 c Gap : 4.05 % 1155.27/1159.39 c All original constraints are satisfied. 1155.27/1159.39 c SCIP's best solution is verified feasible for the original problem. 1155.27/1159.39 c ---------------------------------------------------------------------- 1155.27/1159.39 c dual bound: 110409.1875 -> 110410 1155.27/1159.39 c primal bound: 114879.99999999892 -> 114879 1155.27/1159.39 c scip-goal-lb: 110410 1155.27/1159.39 c scip-goal-ub: 114879 1155.27/1159.39 c writing output to: HOME/tmp27utfoo0.opb 1155.27/1159.39 c appending fixed variable constraints 1155.27/1159.39 c scip-fixed vars: 313.85% (631681/201271) 1155.27/1159.39 c ---------------------------------------------------------------------- 1155.27/1159.39 c executing external solver: HOME/naps-1.03a6 1155.27/1159.39 c ---------------------------------------------------------------------- 1155.27/1159.39 c command: HOME/naps-1.03a6 -goal-lb=110410 -goal-ub=114878 HOME/tmp27utfoo0.opb 1155.42/1159.58 c NaPS 1.03a6. 1155.42/1159.58 c Input file name: HOME/tmp27utfoo0.opb 1291.99/1296.40 c 1291.99/1296.40 c *** TERMINATED *** by signal 15 1291.99/1296.40 c _____________________________________________________________________________ 1291.99/1296.40 c std/band forms : 181633,0 1291.99/1296.40 c 2cl/3cl ITE-codings : 0,0 1291.99/1296.40 c BDD/srt/adr Max costs : 29,86537396,0 1291.99/1296.40 c BDDraw/bin/mul/srt/adr: 181631,0,0,2,0 1291.99/1296.40 c BDD nodes : 884704 1291.99/1296.40 c Es1/CC detections : 0,0 1291.99/1296.40 c CC sort : 1 1291.99/1296.40 c SAT/UNSAT calls : 0,0 1291.99/1296.40 c regenrated variables : 0 1291.99/1296.40 c eliminated fixed lits : 756774 1291.99/1296.40 c goal lit flips : 0 1291.99/1296.40 c goal stages : 0 1291.99/1296.40 c goal shrink : 0 1291.99/1296.40 c goal coeff separations: 0 1291.99/1296.40 c restarts : 0 1291.99/1296.40 c conflicts : 0 (0 /sec) 1291.99/1296.40 c decisions : 0 (0 /sec) 1291.99/1296.40 c propagations : 0 (0 /sec) 1291.99/1296.40 c inspects : 0 (0 /sec) 1291.99/1296.40 c CPU time (solving tm) : 128.4 s (0 s, SAT 0 s, UNSAT 0 s) 1291.99/1296.40 c Time for Opt-base : 0.08459 s 1291.99/1296.40 c Steps for Opt-base : 0 1291.99/1296.40 c Time for BDD coding : 2.233 s 1291.99/1296.40 c Time for srt coding : 78.85 s 1291.99/1296.40 c _____________________________________________________________________________
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (39181 MiB free)
memory of node 1: 64465 MiB (8821 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523897-1751595459/watcher-4523897-1751595459 -o /tmp/evaluation-result-4523897-1751595459/solver-4523897-1751595459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751592140-93467 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4523897-1751595459.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=93957, runsolver pid=93954
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 4.14 4.10 4.02 5/257 93962
/proc/meminfo: memFree=49152100/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=11420 memory=8448 CPUtime=0.04 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 1148 0 0 0 3 1 0 0 20 0 1 0 75225182 11694080 2112 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 2855 2112 1120 1 0 1103 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 15612 KiB
Current children cumulated memory: 11520 KiB
[startup+0.214248 s]*
/proc/loadavg: 4.14 4.10 4.02 5/257 93962
/proc/meminfo: memFree=49151104/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=1184628 memory=28424 CPUtime=0.13 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 3173 0 0 0 11 2 0 0 20 0 1 0 75225182 1213059072 7106 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 296157 7106 4546 1 0 268254 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 1188820 KiB
Current children cumulated memory: 31496 KiB
[startup+0.313856 s]*
/proc/loadavg: 4.14 4.10 4.02 5/257 93962
/proc/meminfo: memFree=49141780/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=1222108 memory=73844 CPUtime=0.24 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 10752 0 0 0 19 5 0 0 20 0 1 0 75225182 1251438592 18461 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 305527 18461 7554 1 0 276885 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1226300 KiB
Current children cumulated memory: 76916 KiB
[startup+0.700409 s]
/proc/loadavg: 4.14 4.10 4.02 5/257 93962
/proc/meminfo: memFree=48973192/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=1513628 memory=360804 CPUtime=0.61 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 78869 0 0 0 44 17 0 0 20 0 1 0 75225182 1549955072 90201 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 378407 90201 7586 1 0 349765 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1517820 KiB
Current children cumulated memory: 363876 KiB
[startup+1.50043 s]
/proc/loadavg: 4.14 4.10 4.02 5/257 93962
/proc/meminfo: memFree=48634504/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=2000812 memory=846144 CPUtime=1.4 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 192535 0 0 0 104 36 0 0 20 0 1 0 75225182 2048831488 211536 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 500203 211536 7618 1 0 471561 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 2005004 KiB
Current children cumulated memory: 849216 KiB
[startup+3.11378 s]
/proc/loadavg: 4.14 4.10 4.02 5/257 93962
/proc/meminfo: memFree=47909436/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=2520004 memory=1364996 CPUtime=3.01 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 317119 0 0 0 245 56 0 0 20 0 1 0 75225182 2580484096 341249 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 630001 341249 7618 1 0 601359 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 2524196 KiB
Current children cumulated memory: 1368068 KiB
[startup+6.30041 s]
/proc/loadavg: 4.12 4.10 4.02 5/257 93962
/proc/meminfo: memFree=46075328/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=4156660 memory=3003460 CPUtime=6.19 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 735976 0 0 0 496 123 0 0 20 0 1 0 75225182 4256419840 750865 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1039165 750865 7810 1 0 1010523 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 4160852 KiB
Current children cumulated memory: 3006532 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.09 4.02 5/257 93962
/proc/meminfo: memFree=44833748/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=5141164 memory=3926392 CPUtime=12.57 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 897179 0 0 0 1105 152 0 0 20 0 1 0 75225182 5264551936 981598 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1285291 981598 7906 1 0 1256649 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 5145356 KiB
Current children cumulated memory: 3929464 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.11 4.02 5/254 93976
/proc/meminfo: memFree=68401908/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=5260000 memory=4025540 CPUtime=25.32 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 912268 0 0 0 2375 157 0 0 20 0 1 0 75225182 5386240000 1006385 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1315000 1006385 7906 1 0 1286358 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 5264192 KiB
Current children cumulated memory: 4028612 KiB
[startup+51.1137 s]
/proc/loadavg: 4.25 4.13 4.03 5/256 94012
/proc/meminfo: memFree=65133288/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=5968848 memory=4735368 CPUtime=50.86 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 1074320 0 0 0 4903 183 0 0 20 0 1 0 75225182 6112100352 1183842 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1492212 1183842 7970 1 0 1463570 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 5973040 KiB
Current children cumulated memory: 4738440 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.03 5/257 94014
/proc/meminfo: memFree=64303516/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=6137488 memory=4913844 CPUtime=101.9 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 1093163 0 0 0 9999 191 0 0 20 0 1 0 75225182 6284787712 1228461 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1534372 1228461 7970 1 0 1505730 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 6141680 KiB
Current children cumulated memory: 4916916 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/256 94064
/proc/meminfo: memFree=85377896/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=7443692 memory=6103692 CPUtime=161.63 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 1415898 0 0 0 15915 248 0 0 20 0 1 0 75225182 7622340608 1525923 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1860923 1525923 8130 1 0 1832281 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 7447884 KiB
Current children cumulated memory: 6106764 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/257 94067
/proc/meminfo: memFree=85505336/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=7443692 memory=6104076 CPUtime=221.32 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 1416045 0 0 0 21882 250 0 0 20 0 1 0 75225182 7622340608 1526019 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1860923 1526019 8130 1 0 1832281 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 7447884 KiB
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/255 94149
/proc/meminfo: memFree=103330472/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=7443692 memory=6119308 CPUtime=938.87 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 1418262 0 0 0 93626 261 0 0 20 0 1 0 75225182 7622340608 1529827 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1860923 1529827 8130 1 0 1832281 0
Current children cumulated CPU time: 938.88 s
Current children cumulated vsize: 7447884 KiB
Current children cumulated memory: 6122380 KiB
[startup+1002.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 94151
/proc/meminfo: memFree=103197352/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=7443692 memory=6119308 CPUtime=998.7 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 1418313 0 0 0 99608 262 0 0 20 0 1 0 75225182 7622340608 1529827 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1860923 1529827 8130 1 0 1832281 0
Current children cumulated CPU time: 998.71 s
Current children cumulated vsize: 7447884 KiB
Current children cumulated memory: 6122380 KiB
[startup+1062.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 94158
/proc/meminfo: memFree=103196440/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=7443692 memory=6119308 CPUtime=1058.53 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 1418313 0 0 0 105591 262 0 0 20 0 1 0 75225182 7622340608 1529827 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1860923 1529827 8130 1 0 1832281 0
Current children cumulated CPU time: 1058.54 s
Current children cumulated vsize: 7447884 KiB
Current children cumulated memory: 6122380 KiB
[startup+1122.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 94163
/proc/meminfo: memFree=102633664/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=7443692 memory=6119308 CPUtime=1118.37 cores=0,2
/proc/93962/stat : 93962 (python3) R 93957 93957 93457 0 -1 4194304 1418313 0 0 0 111575 262 0 0 20 0 1 0 75225182 7622340608 1529827 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 1860923 1529827 8130 1 0 1832281 0
Current children cumulated CPU time: 1118.38 s
Current children cumulated vsize: 7447884 KiB
Current children cumulated memory: 6122380 KiB
[startup+1182.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/259 94167
/proc/meminfo: memFree=95082756/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=8148204 memory=6824180 CPUtime=1155.41 cores=0,2
/proc/93962/stat : 93962 (python3) S 93957 93957 93457 0 -1 4194304 1615124 0 0 0 115235 306 0 0 20 0 1 0 75225182 8343760896 1706045 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 2037051 1706045 8226 1 0 2008409 0
[pid=94167] ppid=93962 vsize=1951100 memory=1913484 CPUtime=22.78 cores=0,2
/proc/94167/stat : 94167 (naps-1.03a6) R 93962 94167 94167 0 -1 4194304 229145 0 0 0 2144 134 0 0 20 0 1 0 75341122 1997926400 478371 18446744073709551615 4198400 7047149 140728066460032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33435648 140728066464113 140728066464243 140728066464243 140728066469833 0
/proc/94167/statm: 487775 478371 544 696 0 486936 0
Current children cumulated CPU time: 1178.2 s
Current children cumulated vsize: 10103496 KiB
Current children cumulated memory: 8740736 KiB
[startup+1242.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 94169
/proc/meminfo: memFree=90701308/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=8148204 memory=6824180 CPUtime=1155.41 cores=0,2
/proc/93962/stat : 93962 (python3) S 93957 93957 93457 0 -1 4194304 1615124 0 0 0 115235 306 0 0 20 0 1 0 75225182 8343760896 1706045 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 2037051 1706045 8226 1 0 2008409 0
[pid=94167] ppid=93962 vsize=5432272 memory=5304256 CPUtime=82.62 cores=0,2
/proc/94167/stat : 94167 (naps-1.03a6) R 93962 94167 94167 0 -1 4194304 661997 0 0 0 7992 270 0 0 20 0 1 0 75341122 5562646528 1326064 18446744073709551615 4198400 7047149 140728066460032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33435648 140728066464113 140728066464243 140728066464243 140728066469833 0
/proc/94167/statm: 1358068 1326064 544 696 0 1357229 0
Current children cumulated CPU time: 1238.04 s
Current children cumulated vsize: 13584668 KiB
Current children cumulated memory: 12131508 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1296.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 94171
/proc/meminfo: memFree=76422612/131382112 swapFree=33005784/33010684
[pid=93957] ppid=93954 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/93957/stat : 93957 (scip-naps-1.00.) S 93954 93957 93457 0 -1 4194304 258 2366 0 0 0 0 0 1 20 0 1 0 75225177 4292608 768 18446744073709551615 93827048984576 93827049879109 140731751667200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93827050118160 93827050165904 93827060097024 140731751672225 140731751672322 140731751672322 140731751677924 0
/proc/93957/statm: 1048 768 704 219 0 110 0
[pid=93962] ppid=93957 vsize=8148204 memory=6824180 CPUtime=1155.41 cores=0,2
/proc/93962/stat : 93962 (python3) S 93957 93957 93457 0 -1 4194304 1615124 0 0 0 115235 306 0 0 20 0 1 0 75225182 8343760896 1706045 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 2037051 1706045 8226 1 0 2008409 0
[pid=94167] ppid=93962 vsize=24044652 memory=19382068 CPUtime=136.57 cores=0,2
/proc/94167/stat : 94167 (naps-1.03a6) R 93962 94167 94167 0 -1 4194304 2048478 0 0 0 12837 820 0 0 20 0 1 0 75341122 24621723648 4845517 18446744073709551615 4198400 7047149 140728066460032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33435648 140728066464113 140728066464243 140728066464243 140728066469833 0
/proc/94167/statm: 6011163 4845517 544 696 0 6010324 0
Current children cumulated CPU time: 1291.99 s
Current children cumulated vsize: 32197048 KiB
Current children cumulated memory: 26209320 KiB
Sending SIGTERM to process tree (bottom up)
[startup+1296.41 s]
# the end of solver process 93957 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.009764 s, system=0.0221 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1298.62 s]
# the end of solver process 93962 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=1282.31 s, system=11.933 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+1297.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 94171
/proc/meminfo: memFree=94761868/131382112 swapFree=33005784/33010684
[pid=93962] ppid=93954 vsize=8148204 memory=6824180 CPUtime=1293.16 cores=0,2
/proc/93962/stat : 93962 (python3) R 93954 93957 93457 0 -1 4194304 1713832 2048481 0 0 115312 315 12837 852 20 0 1 0 75225182 8343760896 1706045 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 2037051 1706045 8226 1 0 2008409 0
Current cumulated CPU time of completed processes: 0.031864 s
Current children cumulated CPU time: 1293.16 s
Current children cumulated vsize: 8148204 KiB
Current children cumulated memory: 6824180 KiB
[startup+1298 s]*
/proc/loadavg: 4.07 4.10 4.09 5/255 94171
/proc/meminfo: memFree=94787068/131382112 swapFree=33005784/33010684
[pid=93962] ppid=93954 vsize=8148204 memory=6824180 CPUtime=1293.57 cores=0,2
/proc/93962/stat : 93962 (python3) R 93954 93957 93457 0 -1 4194304 1714559 2048481 0 0 115353 315 12837 852 20 0 1 0 75225182 8343760896 1706045 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 2037051 1706045 8226 1 0 2008409 0
Current cumulated CPU time of completed processes: 0.031864 s
Current children cumulated CPU time: 1293.57 s
Current children cumulated vsize: 8148204 KiB
Current children cumulated memory: 6824180 KiB
[startup+1298.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 94171
/proc/meminfo: memFree=94787068/131382112 swapFree=33005784/33010684
[pid=93962] ppid=93954 vsize=8148204 memory=6824180 CPUtime=1293.96 cores=0,2
/proc/93962/stat : 93962 (python3) R 93954 93957 93457 0 -1 4194304 1714815 2048481 0 0 115392 315 12837 852 20 0 1 0 75225182 8343760896 1706045 18446744073709551615 94457103704064 94457103704441 140736669136928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94457103715736 94457103716356 94457105625088 140736669141351 140736669141538 140736669141538 140736669147111 0
/proc/93962/statm: 2037051 1706045 8226 1 0 2008409 0
Current cumulated CPU time of completed processes: 0.031864 s
Current children cumulated CPU time: 1293.96 s
Current children cumulated vsize: 8148204 KiB
Current children cumulated memory: 6824180 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1298.63
CPU time (s): 1294.24
CPU user time (s): 1282.31
CPU system time (s): 11.933
CPU usage (%): 99.6627
Max. virtual memory (cumulated for all children) (KiB): 32197048
Max. memory (cumulated for all children) (KiB): 26209320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1282.31
system time used= 11.933
maximum resident set size= 19386164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3765920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 108096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 367
involuntary context switches= 2878
# summary of solver processes directly reported to runsolver:
# pid: 93957,93962
# total CPU time (s): 1294.24
# total CPU user time (s): 1282.31
# total CPU system time (s): 11.933
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2021 second user time and 13.8245 second system time
The end
Begin job on nodeC007 at 2025-07-04 04:17:40 IDJOB=4523897 IDBENCH=180377 IDSOLVER=3368 FILE ID=nodeC007/4523897-1751595459 RUNJOBID= nodeC007-1751592140-93467 SLURM_JOB_ID= 9598854 Free space on /tmp= 430964 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master-noopt.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523897-1751595459/watcher-4523897-1751595459 -o /tmp/evaluation-result-4523897-1751595459/solver-4523897-1751595459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751592140-93467 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4523897-1751595459.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c9e2c34ab166c037a70ac98b2c310360 RANDOM SEED=623372658 nodeC007 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 : 2394.405 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.68 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 : 3491.879 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.68 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.255 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.68 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.661 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.68 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 : 3491.828 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.68 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 : 3491.923 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.68 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.474 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.68 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.846 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 49156368 kB MemAvailable: 58978668 kB Buffers: 16 kB Cached: 10490156 kB SwapCached: 252 kB Active: 71000064 kB Inactive: 10173564 kB Active(anon): 70649244 kB Inactive(anon): 47716 kB Active(file): 350820 kB Inactive(file): 10125848 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005784 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 48964 kB Writeback: 0 kB AnonPages: 70686320 kB Mapped: 128968 kB Shmem: 13504 kB KReclaimable: 370520 kB Slab: 461776 kB SReclaimable: 370520 kB SUnreclaim: 91256 kB KernelStack: 4160 kB PageTables: 143140 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 76713460 kB VmallocTotal: 34359738367 kB VmallocUsed: 149496 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 29038592 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 430828 MiB End job on nodeC007 at 2025-07-04 04:39:19