| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP-NaPS 1.00a2 | ? (MO) | 1266.62 | 1270.25 |
| 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 |
54.68/54.99 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530586-1752264369.opb 54.68/54.99 c Solving mode: optimization 54.68/54.99 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 54.68/54.99 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 54.68/54.99 c original problem has 1269148 variables (1269148 bin, 0 int, 0 impl, 0 cont) and 918926 constraints 54.68/54.99 c feasible solution found by trivial heuristic after 5.0 seconds, objective value 6.189250e+05 54.68/54.99 c presolving: 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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 54.68/54.99 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 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.47/307.53 c (98.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 306.47/307.53 c (99.2s) symmetry computation finished: 317 generators found (max: 317, log10 of symmetry group size: 10.0) (symcode time: 0.49) 306.47/307.53 c dynamic symmetry handling statistics: 306.47/307.53 c orbitopal reduction: 5 components: 2x3, 3x3, 3x3, 2x3, 3x3 306.47/307.53 c orbital reduction: 2 components of sizes 5, 3 306.47/307.53 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.47/307.53 c handled 277 out of 277 symmetry components 306.47/307.53 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.47/307.53 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.47/307.53 c presolving (82 rounds: 82 fast, 29 medium, 18 exhaustive): 306.47/307.53 c 1070229 deleted vars, 1186159 deleted constraints, 576212 added constraints, 65256 tightened bounds, 0 added holes, 26224 changed sides, 53604 changed coefficients 306.47/307.53 c 0 implications, 257947 cliques 306.47/307.53 c presolved problem has 201271 variables (201271 bin, 0 int, 0 impl, 0 cont) and 308834 constraints 306.47/307.53 c 250714 constraints of type <setppc> 306.47/307.53 c 58120 constraints of type <logicor> 306.47/307.53 c transformed objective value is always integral (scale: 1) 306.47/307.53 c Presolving Time: 101.22 306.47/307.53 c 306.47/307.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 306.47/307.53 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.47/307.53 c p 141s| 1 | 0 | 9126 | - | vbounds| 0 | 201k| 308k| 308k| 0 | 0 | 14 | 0 | 7.522900e+04 | 3.719550e+05 | 394.43%| unknown 306.47/307.53 c i 144s| 1 | 0 | 9126 | - | oneopt| 0 | 201k| 308k| 308k| 0 | 0 | 36 | 0 | 7.522900e+04 | 1.686370e+05 | 124.16%| unknown 1131.87/1135.15 c 304s| 1 | 0 | 70945 | - | 5284M | 0 | 201k| 308k| 308k| 0 | 0 | 36 | 0 | 1.097148e+05 | 1.686370e+05 | 53.70%| unknown 1131.87/1135.15 c r 306s| 1 | 0 | 74391 | - |shifting| 0 | 201k| 308k| 308k| 0 | 0 | 36 | 0 | 1.097162e+05 | 1.199750e+05 | 9.35%| unknown 1131.87/1135.15 c i 307s| 1 | 0 | 74391 | - | oneopt| 0 | 201k| 308k| 308k| 0 | 0 | 36 | 0 | 1.097162e+05 | 1.148800e+05 | 4.71%| unknown 1131.87/1135.15 c 490s| 1 | 0 | 76297 | - | 5426M | 0 | 201k| 308k| 308k| 230 | 1 | 36 | 0 | 1.101088e+05 | 1.148800e+05 | 4.33%| unknown 1131.87/1135.15 c 680s| 1 | 0 | 78545 | - | 5460M | 0 | 201k| 308k| 308k| 381 | 2 | 38 | 0 | 1.102724e+05 | 1.148800e+05 | 4.18%| unknown 1131.87/1135.15 c 919s| 1 | 0 | 80964 | - | 5496M | 0 | 201k| 308k| 308k| 437 | 3 | 39 | 0 | 1.104092e+05 | 1.148800e+05 | 4.05%| unknown 1131.87/1135.15 c 1119s| 1 | 0 | 80964 | - | 5501M | 0 | 201k| 308k| 308k| 456 | 4 | 40 | 0 | 1.104092e+05 | 1.148800e+05 | 4.05%| unknown 1131.87/1135.15 c (node 1) LP solver hit time limit in LP 6 -- using pseudo solution instead 1131.87/1135.15 c 1131.87/1135.15 c SCIP Status : solving was interrupted [time limit reached] 1131.87/1135.15 c Solving Time (sec) : 1118.81 1131.87/1135.15 c Solving Nodes : 1 1131.87/1135.15 c Primal Bound : +1.14879999999999e+05 (6 solutions) 1131.87/1135.15 c Dual Bound : +1.10409187500000e+05 1131.87/1135.15 c Gap : 4.05 % 1131.87/1135.15 c All original constraints are satisfied. 1131.87/1135.15 c SCIP's best solution is verified feasible for the original problem. 1131.87/1135.15 c ---------------------------------------------------------------------- 1131.87/1135.15 c dual bound: 110409.1875 -> 110410 1131.87/1135.15 c primal bound: 114879.99999999892 -> 114879 1131.87/1135.15 c scip-goal-lb: 110410 1131.87/1135.15 c scip-goal-ub: 114879 1131.87/1135.15 c writing output to: HOME/tmpmomr3vob.opb 1131.87/1135.15 c appending fixed variable constraints 1131.87/1135.15 c scip-fixed vars: 313.85% (631681/201271) 1131.87/1135.15 c ---------------------------------------------------------------------- 1131.87/1135.15 c executing external solver: HOME/naps-1.03a6 1131.87/1135.15 c ---------------------------------------------------------------------- 1131.87/1135.15 c command: HOME/naps-1.03a6 -goal-lb=110410 -goal-ub=114878 HOME/tmpmomr3vob.opb 1131.96/1135.35 c NaPS 1.03a6. 1131.96/1135.35 c Input file name: HOME/tmpmomr3vob.opb 1264.23/1267.90 c 1264.23/1267.90 c *** TERMINATED *** by signal 15 1264.23/1267.90 c s UNKNOWN 1264.23/1267.90 c _____________________________________________________________________________ 1264.23/1267.90 c std/band forms : 181633,0 1264.23/1267.90 c 2cl/3cl ITE-codings : 0,0 1264.23/1267.90 c BDD/srt/adr Max costs : 29,86537396,0 1264.23/1267.90 c BDDraw/bin/mul/srt/adr: 181631,0,0,2,0 1264.23/1267.90 c BDD nodes : 884704 1264.23/1267.90 c Es1/CC detections : 0,0 1264.23/1267.90 c CC sort : 1 1264.23/1267.90 c SAT/UNSAT calls : 0,0 1264.23/1267.90 c regenrated variables : 0 1264.23/1267.90 c eliminated fixed lits : 756774 1264.23/1267.90 c goal lit flips : 0 1264.23/1267.90 c goal stages : 0 1264.23/1267.90 c goal shrink : 0 1264.23/1267.90 c goal coeff separations: 0 1264.23/1267.90 c restarts : 0 1264.23/1267.90 c conflicts : 0 (0 /sec) 1264.23/1267.90 c decisions : 0 (0 /sec) 1264.23/1267.90 c propagations : 0 (0 /sec) 1264.23/1267.90 c inspects : 0 (0 /sec) 1264.23/1267.90 c CPU time (solving tm) : 124.3 s (0 s, SAT 0 s, UNSAT 0 s) 1264.23/1267.90 c Time for Opt-base : 0.08228 s 1264.23/1267.90 c Steps for Opt-base : 0 1264.23/1267.90 c Time for BDD coding : 2.15 s 1264.23/1267.90 c Time for srt coding : 76.16 s 1264.23/1267.90 c _____________________________________________________________________________ 1264.23/1267.90 c received SIGTERM, forwarding to pbsolver...
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 (54582 MiB free)
memory of node 1: 64465 MiB (62954 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530586-1752264369/watcher-4530586-1752264369 -o /tmp/evaluation-result-4530586-1752264369/solver-4530586-1752264369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752258008-115400 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530586-1752264369.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=116780, runsolver pid=116777
[startup+0.100097 s]*
/proc/loadavg: 4.04 4.09 4.12 4/257 116785
/proc/meminfo: memFree=120346768/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=1186100 memory=30640 CPUtime=0.05 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 3481 0 0 0 5 0 0 0 20 0 1 0 142116342 1214566400 7660 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 296525 7660 4819 1 0 268593 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190292 KiB
Current children cumulated memory: 33584 KiB
[startup+0.213471 s]*
/proc/loadavg: 4.04 4.09 4.12 5/257 116785
/proc/meminfo: memFree=120276332/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=1277088 memory=126300 CPUtime=0.16 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 20719 0 0 0 12 4 0 0 20 0 1 0 142116342 1307738112 31543 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 319272 31575 7603 1 0 290630 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1281280 KiB
Current children cumulated memory: 129244 KiB
[startup+0.313427 s]*
/proc/loadavg: 4.04 4.09 4.12 5/257 116785
/proc/meminfo: memFree=120171500/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=1372972 memory=220252 CPUtime=0.26 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 44242 0 0 0 18 8 0 0 20 0 1 0 142116342 1405923328 55063 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 343243 55063 7603 1 0 314601 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1377164 KiB
Current children cumulated memory: 223196 KiB
[startup+0.700399 s]
/proc/loadavg: 4.04 4.09 4.12 5/257 116785
/proc/meminfo: memFree=119998060/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=1708488 memory=555780 CPUtime=0.63 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 125545 0 0 0 43 20 0 0 20 0 1 0 142116342 1749491712 138945 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 427122 138945 7603 1 0 398480 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1712680 KiB
Current children cumulated memory: 558724 KiB
[startup+1.50039 s]
/proc/loadavg: 4.03 4.09 4.12 5/257 116785
/proc/meminfo: memFree=119624652/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=2114504 memory=960924 CPUtime=1.43 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 221189 0 0 0 108 35 0 0 20 0 1 0 142116342 2165252096 240231 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 528626 240231 7635 1 0 499984 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 2118696 KiB
Current children cumulated memory: 963868 KiB
[startup+3.11326 s]
/proc/loadavg: 4.03 4.09 4.12 5/257 116785
/proc/meminfo: memFree=118905884/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=2663272 memory=1509560 CPUtime=3.04 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 353250 0 0 0 248 56 0 0 20 0 1 0 142116342 2727190528 377390 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 665818 377390 7635 1 0 637176 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2667464 KiB
Current children cumulated memory: 1512504 KiB
[startup+6.30038 s]
/proc/loadavg: 4.03 4.08 4.12 5/257 116785
/proc/meminfo: memFree=117239016/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=4347824 memory=3194944 CPUtime=6.22 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 777253 0 0 0 500 122 0 0 20 0 1 0 142116342 4452171776 798736 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 1086956 798736 7827 1 0 1058314 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 4352016 KiB
Current children cumulated memory: 3197888 KiB
[startup+12.7004 s]
/proc/loadavg: 4.03 4.08 4.12 5/257 116785
/proc/meminfo: memFree=116293152/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=5141608 memory=3927804 CPUtime=12.6 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 897577 0 0 0 1115 145 0 0 20 0 1 0 142116342 5265006592 981951 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 1285402 981951 7891 1 0 1256760 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 5145800 KiB
Current children cumulated memory: 3930748 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.10 4.12 5/256 116785
/proc/meminfo: memFree=116255640/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=5541260 memory=4305692 CPUtime=25.36 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 981776 0 0 0 2377 159 0 0 20 0 1 0 142116342 5674250240 1076391 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 1385315 1076391 7923 1 0 1356673 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 5545452 KiB
Current children cumulated memory: 4308636 KiB
[startup+51.1134 s]
/proc/loadavg: 4.06 4.09 4.11 5/256 116786
/proc/meminfo: memFree=115723680/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=5968476 memory=4734140 CPUtime=50.9 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 1075093 0 0 0 4914 176 0 0 20 0 1 0 142116342 6111719424 1183535 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 1492119 1183535 7955 1 0 1463477 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 5972668 KiB
Current children cumulated memory: 4737084 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/257 116793
/proc/meminfo: memFree=115288740/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=6261204 memory=4941764 CPUtime=101.95 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 1095922 0 0 0 10011 184 0 0 20 0 1 0 142116342 6411472896 1235441 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 1565301 1235441 7955 1 0 1536659 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 6265396 KiB
Current children cumulated memory: 4944708 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.08 4.10 5/257 116796
/proc/meminfo: memFree=114072276/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=7339684 memory=5998560 CPUtime=161.75 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 1413095 0 0 0 15938 237 0 0 20 0 1 0 142116342 7515836416 1499640 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 1834921 1499640 8147 1 0 1806279 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 7343876 KiB
Current children cumulated memory: 6001504 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.10 5/257 116798
/proc/meminfo: memFree=114130360/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=7339684 memory=6000736 CPUtime=221.53 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 1413683 0 0 0 21913 240 0 0 20 0 1 0 142116342 7515836416 1500184 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 1834921 1500184 8147 1 0 1806279 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 7343876 KiB
################
# More data... #
################
Current children cumulated memory: 6006496 KiB
[startup+1002.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/257 116833
/proc/meminfo: memFree=112256216/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=7339684 memory=6003552 CPUtime=999.42 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 1415634 0 0 0 99691 251 0 0 20 0 1 0 142116342 7515836416 1500888 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 1834921 1500888 8147 1 0 1806279 0
Current children cumulated CPU time: 999.43 s
Current children cumulated vsize: 7343876 KiB
Current children cumulated memory: 6006496 KiB
[startup+1062.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/257 116835
/proc/meminfo: memFree=111726740/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=7339684 memory=6003552 CPUtime=1059.26 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 1415634 0 0 0 105675 251 0 0 20 0 1 0 142116342 7515836416 1500888 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 1834921 1500888 8147 1 0 1806279 0
Current children cumulated CPU time: 1059.27 s
Current children cumulated vsize: 7343876 KiB
Current children cumulated memory: 6006496 KiB
[startup+1122.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/257 116837
/proc/meminfo: memFree=102225676/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=7339684 memory=6003552 CPUtime=1119.09 cores=5,7
/proc/116785/stat : 116785 (python3) R 116780 116780 115387 0 -1 4194304 1415634 0 0 0 111658 251 0 0 20 0 1 0 142116342 7515836416 1500888 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 1834921 1500888 8147 1 0 1806279 0
Current children cumulated CPU time: 1119.1 s
Current children cumulated vsize: 7343876 KiB
Current children cumulated memory: 6006496 KiB
[startup+1182.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/258 116840
/proc/meminfo: memFree=86344840/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=8044196 memory=6708760 CPUtime=1131.95 cores=5,7
/proc/116785/stat : 116785 (python3) S 116780 116780 115387 0 -1 4194304 1612466 0 0 0 112904 291 0 0 20 0 1 0 142116342 8237256704 1677190 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 2011049 1677190 8211 1 0 1982407 0
[pid=116839] ppid=116785 vsize=4233312 memory=4049348 CPUtime=46.9 cores=5,7
/proc/116839/stat : 116839 (naps-1.03a6) R 116785 116839 116839 0 -1 4194304 448263 0 0 0 4473 217 0 0 20 0 1 0 142229859 4334911488 1012337 18446744073709551615 4198400 7047149 140736744255616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 31657984 140736744261999 140736744262129 140736744262129 140736744267721 0
/proc/116839/statm: 1058328 1012337 544 696 0 1057489 0
Current children cumulated CPU time: 1178.86 s
Current children cumulated vsize: 12281700 KiB
Current children cumulated memory: 10761052 KiB
[startup+1242.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/258 116845
/proc/meminfo: memFree=79769520/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=8044196 memory=6708760 CPUtime=1131.95 cores=5,7
/proc/116785/stat : 116785 (python3) S 116780 116780 115387 0 -1 4194304 1612466 0 0 0 112904 291 0 0 20 0 1 0 142116342 8237256704 1677190 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 2011049 1677190 8211 1 0 1982407 0
[pid=116839] ppid=116785 vsize=11082004 memory=10494524 CPUtime=106.73 cores=5,7
/proc/116839/stat : 116839 (naps-1.03a6) R 116785 116839 116839 0 -1 4194304 944862 0 0 0 10234 439 0 0 20 0 1 0 142229859 11347972096 2623631 18446744073709551615 4198400 7047149 140736744255616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 31657984 140736744261999 140736744262129 140736744262129 140736744267721 0
/proc/116839/statm: 2770501 2623631 544 696 0 2769662 0
Current children cumulated CPU time: 1238.69 s
Current children cumulated vsize: 19130392 KiB
Current children cumulated memory: 17206228 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1267.9 s]
/proc/loadavg: 4.16 4.15 4.13 5/258 116851
/proc/meminfo: memFree=69922876/131382116 swapFree=33005528/33010684
[pid=116780] ppid=116777 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/116780/stat : 116780 (scip-naps-1.00a) S 116777 116780 115387 0 -1 4194304 256 2874 0 0 0 0 0 1 20 0 1 0 142116338 4292608 736 18446744073709551615 94674894487552 94674895382085 140726515437472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674895621136 94674895668880 94674905395200 140726515444123 140726515444222 140726515444222 140726515449826 0
/proc/116780/statm: 1048 736 672 219 0 110 0
[pid=116785] ppid=116780 vsize=8044196 memory=6708760 CPUtime=1131.95 cores=5,7
/proc/116785/stat : 116785 (python3) S 116780 116780 115387 0 -1 4194304 1612466 0 0 0 112904 291 0 0 20 0 1 0 142116342 8237256704 1677190 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 2011049 1677190 8211 1 0 1982407 0
[pid=116839] ppid=116785 vsize=24044652 memory=19502484 CPUtime=132.27 cores=5,7
/proc/116839/stat : 116839 (naps-1.03a6) R 116785 116839 116839 0 -1 4194304 2043802 0 0 0 12429 798 0 0 20 0 1 0 142229859 24621723648 4875621 18446744073709551615 4198400 7047149 140736744255616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 31657984 140736744261999 140736744262129 140736744262129 140736744267721 0
/proc/116839/statm: 6011163 4875621 544 696 0 6010324 0
Current children cumulated CPU time: 1264.23 s
Current children cumulated vsize: 32093040 KiB
Current children cumulated memory: 26214188 KiB
Sending SIGTERM to process tree (bottom up)
[startup+1267.91 s]
# the end of solver process 116780 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00749 s, system=0.015794 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1270.25 s]
# the end of solver process 116785 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=1254.91 s, system=11.7051 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+1268.8 s]
/proc/loadavg: 4.16 4.15 4.13 5/257 116851
/proc/meminfo: memFree=72181440/131382116 swapFree=33005528/33010684
[pid=116785] ppid=116777 vsize=8044196 memory=6708760 CPUtime=1265.14 cores=5,7
/proc/116785/stat : 116785 (python3) R 116777 116780 115387 0 -1 4194304 1697630 2043805 0 0 112953 303 12429 829 20 0 1 0 142116342 8237256704 1677190 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 2011049 1677190 8211 1 0 1982407 0
Current cumulated CPU time of completed processes: 0.023284 s
Current children cumulated CPU time: 1265.14 s
Current children cumulated vsize: 8044196 KiB
Current children cumulated memory: 6708760 KiB
[startup+1269.6 s]
/proc/loadavg: 4.16 4.15 4.13 5/256 116851
/proc/meminfo: memFree=87836344/131382116 swapFree=33005528/33010684
[pid=116785] ppid=116777 vsize=8044196 memory=6708760 CPUtime=1265.93 cores=5,7
/proc/116785/stat : 116785 (python3) R 116777 116780 115387 0 -1 4194304 1711085 2043805 0 0 113031 304 12429 829 20 0 1 0 142116342 8237256704 1677190 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 2011049 1677190 8211 1 0 1982407 0
Current cumulated CPU time of completed processes: 0.023284 s
Current children cumulated CPU time: 1265.93 s
Current children cumulated vsize: 8044196 KiB
Current children cumulated memory: 6708760 KiB
[startup+1269.8 s]
/proc/loadavg: 4.16 4.15 4.13 5/256 116851
/proc/meminfo: memFree=87836344/131382116 swapFree=33005528/33010684
[pid=116785] ppid=116777 vsize=8044196 memory=6708760 CPUtime=1266.13 cores=5,7
/proc/116785/stat : 116785 (python3) R 116777 116780 115387 0 -1 4194304 1711348 2043805 0 0 113051 304 12429 829 20 0 1 0 142116342 8237256704 1677190 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 2011049 1677190 8211 1 0 1982407 0
Current cumulated CPU time of completed processes: 0.023284 s
Current children cumulated CPU time: 1266.13 s
Current children cumulated vsize: 8044196 KiB
Current children cumulated memory: 6708760 KiB
[startup+1269.9 s]
/proc/loadavg: 4.16 4.15 4.13 5/256 116851
/proc/meminfo: memFree=87836344/131382116 swapFree=33005528/33010684
[pid=116785] ppid=116777 vsize=8044196 memory=6708760 CPUtime=1266.22 cores=5,7
/proc/116785/stat : 116785 (python3) R 116777 116780 115387 0 -1 4194304 1711477 2043805 0 0 113060 304 12429 829 20 0 1 0 142116342 8237256704 1677190 18446744073709551615 94086902263808 94086902264185 140736195368096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94086902275480 94086902276100 94086902894592 140736195373406 140736195373600 140736195373600 140736195379175 0
/proc/116785/statm: 2011049 1677190 8211 1 0 1982407 0
Current cumulated CPU time of completed processes: 0.023284 s
Current children cumulated CPU time: 1266.22 s
Current children cumulated vsize: 8044196 KiB
Current children cumulated memory: 6708760 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1270.25
CPU time (s): 1266.62
CPU user time (s): 1254.91
CPU system time (s): 11.7051
CPU usage (%): 99.714
Max. virtual memory (cumulated for all children) (KiB): 32093040
Max. memory (cumulated for all children) (KiB): 26214188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1254.91
system time used= 11.7051
maximum resident set size= 19504532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3758412
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= 341
involuntary context switches= 1130
# summary of solver processes directly reported to runsolver:
# pid: 116780,116785
# total CPU time (s): 1266.62
# total CPU user time (s): 1254.91
# total CPU system time (s): 11.7051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76266 second user time and 13.1703 second system time
The end
Begin job on nodeC010 at 2025-07-11 22:06:09 IDJOB=4530586 IDBENCH=180377 IDSOLVER=3388 FILE ID=nodeC010/4530586-1752264369 RUNJOBID= nodeC010-1752258008-115400 SLURM_JOB_ID= 9682609 Free space on /tmp= 429504 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master-noopt.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530586-1752264369/watcher-4530586-1752264369 -o /tmp/evaluation-result-4530586-1752264369/solver-4530586-1752264369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752258008-115400 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530586-1752264369.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c9e2c34ab166c037a70ac98b2c310360 RANDOM SEED=1503026838 nodeC010 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 : 3660.678 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.36 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 : 3664.590 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.36 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.277 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.36 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.525 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.36 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 : 3660.683 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.36 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 : 3493.120 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.36 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 : 1198.391 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.36 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.151 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 120358172 kB MemAvailable: 120933828 kB Buffers: 228 kB Cached: 1369208 kB SwapCached: 4296 kB Active: 9326016 kB Inactive: 1115640 kB Active(anon): 9033304 kB Inactive(anon): 52264 kB Active(file): 292712 kB Inactive(file): 1063376 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005528 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 57636 kB Writeback: 0 kB AnonPages: 9070760 kB Mapped: 127072 kB Shmem: 13628 kB KReclaimable: 118392 kB Slab: 206536 kB SReclaimable: 118392 kB SUnreclaim: 88144 kB KernelStack: 4144 kB PageTables: 21604 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 13616636 kB VmallocTotal: 34359738367 kB VmallocUsed: 149544 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3971072 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: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 429440 MiB End job on nodeC010 at 2025-07-11 22:27:20