| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a1 | UNSAT | 7.19658 | 7.28732 |
| Name | PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-13array_ineq10.opb |
| MD5SUM | 32780b78fab45ab21c186f405b9011ec |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1.88082 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1281 |
| Total number of constraints | 1635 |
| Number of constraints which are clauses | 1134 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 461 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 54 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 67108864 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 268435455 |
| Number of bits of the biggest sum of numbers | 28 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3.20/3.36 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4516907-1751232106.opb 3.20/3.36 c Solving mode: decision 3.20/3.36 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 3.20/3.36 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 3.20/3.36 c original problem has 1281 variables (1281 bin, 0 int, 0 impl, 0 cont) and 1635 constraints 3.20/3.36 c presolving: 3.20/3.36 c (round 1, fast) 332 del vars, 565 del conss, 0 add conss, 205 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 537 clqs 3.20/3.36 c (round 2, fast) 343 del vars, 678 del conss, 0 add conss, 207 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 657 clqs 3.20/3.36 c (round 3, medium) 511 del vars, 678 del conss, 0 add conss, 207 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 321 clqs 3.20/3.36 c (round 4, fast) 511 del vars, 1014 del conss, 0 add conss, 207 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 322 clqs 3.20/3.36 c (round 5, exhaustive) 511 del vars, 1014 del conss, 0 add conss, 207 chg bounds, 0 chg sides, 0 chg coeffs, 295 upgd conss, 0 impls, 322 clqs 3.20/3.36 c (round 6, fast) 512 del vars, 1014 del conss, 0 add conss, 207 chg bounds, 0 chg sides, 0 chg coeffs, 295 upgd conss, 0 impls, 304 clqs 3.20/3.36 c (round 7, medium) 512 del vars, 1014 del conss, 0 add conss, 207 chg bounds, 1 chg sides, 2 chg coeffs, 295 upgd conss, 0 impls, 306 clqs 3.20/3.36 c (round 8, exhaustive) 512 del vars, 1308 del conss, 98 add conss, 207 chg bounds, 1 chg sides, 2 chg coeffs, 295 upgd conss, 0 impls, 306 clqs 3.20/3.36 c (round 9, exhaustive) 512 del vars, 1308 del conss, 98 add conss, 207 chg bounds, 1 chg sides, 2 chg coeffs, 296 upgd conss, 0 impls, 306 clqs 3.20/3.36 c (round 10, exhaustive) 537 del vars, 1308 del conss, 98 add conss, 207 chg bounds, 1 chg sides, 2 chg coeffs, 296 upgd conss, 0 impls, 555 clqs 3.20/3.36 c (round 11, fast) 547 del vars, 1320 del conss, 98 add conss, 207 chg bounds, 1 chg sides, 2 chg coeffs, 296 upgd conss, 0 impls, 557 clqs 3.20/3.36 c (round 12, medium) 547 del vars, 1320 del conss, 98 add conss, 207 chg bounds, 2 chg sides, 4 chg coeffs, 296 upgd conss, 0 impls, 558 clqs 3.20/3.36 c (round 13, exhaustive) 547 del vars, 1320 del conss, 98 add conss, 207 chg bounds, 2 chg sides, 4 chg coeffs, 299 upgd conss, 0 impls, 558 clqs 3.20/3.36 c (0.2s) probing cycle finished: starting next cycle 3.20/3.36 c (round 14, exhaustive) 550 del vars, 1320 del conss, 98 add conss, 207 chg bounds, 2 chg sides, 4 chg coeffs, 299 upgd conss, 0 impls, 4183 clqs 3.20/3.36 c (round 15, fast) 550 del vars, 1321 del conss, 98 add conss, 207 chg bounds, 2 chg sides, 4 chg coeffs, 299 upgd conss, 0 impls, 4184 clqs 3.20/3.36 c (round 16, exhaustive) 550 del vars, 1321 del conss, 98 add conss, 207 chg bounds, 2 chg sides, 4 chg coeffs, 300 upgd conss, 0 impls, 4184 clqs 3.20/3.36 c (0.3s) probing cycle finished: starting next cycle 3.20/3.36 c (round 17, exhaustive) 552 del vars, 1321 del conss, 98 add conss, 207 chg bounds, 2 chg sides, 4 chg coeffs, 300 upgd conss, 0 impls, 4724 clqs 3.20/3.36 c (round 18, fast) 553 del vars, 1322 del conss, 98 add conss, 207 chg bounds, 2 chg sides, 4 chg coeffs, 301 upgd conss, 0 impls, 4722 clqs 3.20/3.36 c (round 19, exhaustive) 553 del vars, 1322 del conss, 98 add conss, 207 chg bounds, 2 chg sides, 4 chg coeffs, 302 upgd conss, 0 impls, 4722 clqs 3.20/3.36 c (0.4s) probing cycle finished: starting next cycle 3.20/3.36 c (round 20, exhaustive) 554 del vars, 1322 del conss, 98 add conss, 207 chg bounds, 2 chg sides, 4 chg coeffs, 302 upgd conss, 0 impls, 4726 clqs 3.20/3.36 c (round 21, exhaustive) 554 del vars, 1322 del conss, 98 add conss, 207 chg bounds, 2 chg sides, 4 chg coeffs, 303 upgd conss, 0 impls, 4727 clqs 3.20/3.36 c (0.4s) probing: 593/733 (80.9%) - 27 fixings, 4 aggregations, 8815 implications, 0 bound changes 3.20/3.36 c (0.4s) probing aborted: 1000/1000 successive useless probings 3.20/3.36 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 3.20/3.36 c (0.4s) no symmetry present (symcode time: 0.00) 3.20/3.36 c presolving (22 rounds: 22 fast, 15 medium, 12 exhaustive): 3.20/3.36 c 554 deleted vars, 1322 deleted constraints, 98 added constraints, 207 tightened bounds, 0 added holes, 2 changed sides, 4 changed coefficients 3.20/3.36 c 0 implications, 4759 cliques 3.20/3.36 c presolved problem has 733 variables (733 bin, 0 int, 0 impl, 0 cont) and 403 constraints 3.20/3.36 c 1 constraints of type <knapsack> 3.20/3.36 c 5 constraints of type <setppc> 3.20/3.36 c 90 constraints of type <and> 3.20/3.36 c 307 constraints of type <linear> 3.20/3.36 c transformed objective value is always integral (scale: 1) 3.20/3.36 c Presolving Time: 0.43 3.20/3.36 c 3.20/3.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 3.20/3.36 c 0.5s| 1 | 0 | 293 | - | 12M | 0 | 733 | 461 | 493 | 0 | 0 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 0.7s| 1 | 0 | 476 | - | 13M | 0 | 733 | 572 | 543 | 50 | 1 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 0.7s| 1 | 0 | 608 | - | 15M | 0 | 733 | 572 | 610 | 117 | 2 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 0.9s| 1 | 0 | 824 | - | 17M | 0 | 733 | 572 | 682 | 189 | 3 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 0.9s| 1 | 0 | 1145 | - | 17M | 0 | 733 | 576 | 740 | 247 | 4 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 1.0s| 1 | 0 | 1378 | - | 19M | 0 | 733 | 576 | 811 | 318 | 5 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 1.3s| 1 | 0 | 1901 | - | 24M | 0 | 733 | 576 | 865 | 372 | 6 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 1.4s| 1 | 0 | 1999 | - | 27M | 0 | 733 | 576 | 912 | 419 | 7 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 1.6s| 1 | 0 | 2109 | - | 33M | 0 | 733 | 576 | 947 | 454 | 8 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 1.7s| 1 | 0 | 2186 | - | 34M | 0 | 733 | 576 | 988 | 495 | 9 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 1.8s| 1 | 0 | 2249 | - | 38M | 0 | 733 | 576 |1017 | 524 | 10 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 1.8s| 1 | 0 | 2306 | - | 38M | 0 | 733 | 576 |1043 | 550 | 11 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 2.3s| 1 | 0 | 3225 | - | 38M | 0 | 733 | 563 |1043 | 550 | 11 | 68 | 12 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 2.3s| 1 | 0 | 3456 | - | 39M | 0 | 733 | 565 |1110 | 617 | 12 | 70 | 12 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c 2.4s| 1 | 0 | 4424 | - | 39M | 0 | 733 | 563 |1133 | 640 | 13 | 70 | 12 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 3.20/3.36 c 2.9s| 1 | 2 | 4501 | - | 39M | 0 | 733 | 555 |1133 | 640 | 13 | 70 | 23 | 0.000000e+00 | -- | Inf | unknown 3.20/3.36 c (run 1, node 1) restarting after 22 global fixings of integer variables 3.20/3.36 c 3.20/3.36 c (restart) converted 635 cuts from the global cut pool into linear constraints 3.20/3.36 c 3.20/3.36 c presolving: 3.20/3.36 c (round 1, fast) 33 del vars, 27 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 4371 clqs 3.20/3.36 c (round 2, exhaustive) 33 del vars, 33 del conss, 0 add conss, 0 chg bounds, 12 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 4371 clqs 3.20/3.36 c (round 3, exhaustive) 33 del vars, 33 del conss, 0 add conss, 0 chg bounds, 12 chg sides, 16 chg coeffs, 700 upgd conss, 0 impls, 4371 clqs 3.20/3.36 c (round 4, exhaustive) 33 del vars, 36 del conss, 1 add conss, 0 chg bounds, 12 chg sides, 16 chg coeffs, 700 upgd conss, 0 impls, 4371 clqs 3.20/3.36 c (round 5, exhaustive) 33 del vars, 36 del conss, 1 add conss, 0 chg bounds, 12 chg sides, 23 chg coeffs, 700 upgd conss, 0 impls, 4371 clqs 7.08/7.20 c (round 6, exhaustive) 33 del vars, 38 del conss, 1 add conss, 0 chg bounds, 12 chg sides, 94 chg coeffs, 700 upgd conss, 0 impls, 4371 clqs 7.08/7.20 c (round 7, exhaustive) 33 del vars, 38 del conss, 1 add conss, 0 chg bounds, 12 chg sides, 778 chg coeffs, 700 upgd conss, 0 impls, 4371 clqs 7.08/7.20 c (round 8, exhaustive) 33 del vars, 38 del conss, 1 add conss, 0 chg bounds, 12 chg sides, 789 chg coeffs, 700 upgd conss, 0 impls, 4371 clqs 7.08/7.20 c presolving (9 rounds: 9 fast, 8 medium, 8 exhaustive): 7.08/7.20 c 33 deleted vars, 38 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 12 changed sides, 789 changed coefficients 7.08/7.20 c 0 implications, 4371 cliques 7.08/7.20 c presolved problem has 700 variables (700 bin, 0 int, 0 impl, 0 cont) and 1153 constraints 7.08/7.20 c 18 constraints of type <knapsack> 7.08/7.20 c 363 constraints of type <setppc> 7.08/7.20 c 79 constraints of type <and> 7.08/7.20 c 310 constraints of type <linear> 7.08/7.20 c 383 constraints of type <logicor> 7.08/7.20 c transformed objective value is always integral (scale: 1) 7.08/7.20 c Presolving Time: 0.46 7.08/7.20 c 7.08/7.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 7.08/7.20 c 3.0s| 1 | 0 | 5389 | - | 38M | 0 | 700 |1154 |1076 | 0 | 0 | 71 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 3.2s| 1 | 0 | 5754 | - | 39M | 0 | 700 |1262 |1141 | 65 | 1 | 71 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 3.5s| 1 | 0 | 6051 | - | 39M | 0 | 700 |1262 |1192 | 116 | 2 | 71 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 3.6s| 1 | 0 | 6220 | - | 41M | 0 | 700 |1262 |1219 | 143 | 3 | 71 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 3.8s| 1 | 0 | 6322 | - | 43M | 0 | 700 |1263 |1246 | 170 | 4 | 72 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 4.0s| 1 | 0 | 6504 | - | 45M | 0 | 700 |1263 |1275 | 199 | 5 | 72 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 4.3s| 1 | 0 | 6723 | - | 47M | 0 | 700 |1264 |1293 | 217 | 6 | 73 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 4.6s| 1 | 0 | 6846 | - | 51M | 0 | 700 |1264 |1307 | 231 | 7 | 73 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 4.8s| 1 | 0 | 6967 | - | 56M | 0 | 700 |1264 |1324 | 248 | 8 | 73 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 4.9s| 1 | 0 | 7166 | - | 65M | 0 | 700 |1266 |1337 | 261 | 9 | 75 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 5.2s| 1 | 0 | 7286 | - | 71M | 0 | 700 |1266 |1347 | 271 | 10 | 75 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 5.2s| 1 | 0 | 7396 | - | 71M | 0 | 700 |1267 |1354 | 278 | 11 | 76 | 23 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 6.1s| 1 | 2 | 9694 | - | 71M | 0 | 700 |1270 |1354 | 278 | 11 | 79 | 33 | 0.000000e+00 | -- | Inf | unknown 7.08/7.20 c 7.08/7.20 c SCIP Status : problem is solved [infeasible] 7.08/7.20 c Solving Time (sec) : 6.79 7.08/7.20 c Solving Nodes : 88 (total of 89 nodes in 2 runs) 7.08/7.20 c Primal Bound : +1.00000000000000e+20 (0 solutions) 7.08/7.20 c Dual Bound : +1.00000000000000e+20 7.08/7.20 c Gap : 0.00 % 7.08/7.20 c SCIP found the problem to be infeasible. 7.08/7.20 s UNSATISFIABLE
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (59000 MiB free)
memory of node 1: 64507 MiB (63853 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516907-1751232106/watcher-4516907-1751232106 -o /tmp/evaluation-result-4516907-1751232106/solver-4516907-1751232106 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751226828-31369 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4516907-1751232106.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=34722, runsolver pid=34719
[startup+0.100076 s]*
/proc/loadavg: 4.24 4.15 4.11 5/255 34736
/proc/meminfo: memFree=125800776/131382116 swapFree=33010684/33010684
[pid=34722] ppid=34719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/34722/stat : 34722 (scip-naps-1.00.) S 34719 34722 31357 0 -1 4194304 258 328 0 0 0 0 0 0 20 0 1 0 38890310 4292608 736 18446744073709551615 94663660441600 94663661336133 140733961466576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94663661575184 94663661622928 94663680618496 140733961472417 140733961472514 140733961472514 140733961478116 0
/proc/34722/statm: 1048 736 672 219 0 110 0
[pid=34732] ppid=34722 vsize=12528 memory=9856 CPUtime=0.05 cores=1,3
/proc/34732/stat : 34732 (python3) R 34722 34722 31357 0 -1 4194304 1444 0 0 0 5 0 0 0 20 0 1 0 38890313 12828672 2464 18446744073709551615 94126786048000 94126786048377 140734296638816 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94126786059672 94126786060292 94126799716352 140734296648024 140734296648226 140734296648226 140734296653799 0
/proc/34732/statm: 3132 2464 1184 1 0 1344 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 16720 KiB
Current children cumulated memory: 12800 KiB
[startup+0.21933 s]*
/proc/loadavg: 4.24 4.15 4.11 4/256 34744
/proc/meminfo: memFree=125798452/131382116 swapFree=33010684/33010684
[pid=34722] ppid=34719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/34722/stat : 34722 (scip-naps-1.00.) S 34719 34722 31357 0 -1 4194304 258 328 0 0 0 0 0 0 20 0 1 0 38890310 4292608 736 18446744073709551615 94663660441600 94663661336133 140733961466576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94663661575184 94663661622928 94663680618496 140733961472417 140733961472514 140733961472514 140733961478116 0
/proc/34722/statm: 1048 736 672 219 0 110 0
[pid=34732] ppid=34722 vsize=1185792 memory=30284 CPUtime=0.15 cores=1,3
/proc/34732/stat : 34732 (python3) R 34722 34722 31357 0 -1 4194304 3447 0 0 0 13 2 0 0 20 0 1 0 38890313 1214251008 7571 18446744073709551615 94126786048000 94126786048377 140734296638816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94126786059672 94126786060292 94126799716352 140734296648024 140734296648226 140734296648226 140734296653799 0
/proc/34732/statm: 296448 7571 4755 1 0 268516 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1189984 KiB
Current children cumulated memory: 33228 KiB
[startup+0.314543 s]*
/proc/loadavg: 4.24 4.15 4.11 4/255 34750
/proc/meminfo: memFree=125798772/131382116 swapFree=33010684/33010684
[pid=34722] ppid=34719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/34722/stat : 34722 (scip-naps-1.00.) S 34719 34722 31357 0 -1 4194304 258 328 0 0 0 0 0 0 20 0 1 0 38890310 4292608 736 18446744073709551615 94663660441600 94663661336133 140733961466576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94663661575184 94663661622928 94663680618496 140733961472417 140733961472514 140733961472514 140733961478116 0
/proc/34722/statm: 1048 736 672 219 0 110 0
[pid=34732] ppid=34722 vsize=1189544 memory=34508 CPUtime=0.24 cores=1,3
/proc/34732/stat : 34732 (python3) R 34722 34722 31357 0 -1 4194304 4282 0 0 0 22 2 0 0 20 0 1 0 38890313 1218093056 8627 18446744073709551615 94126786048000 94126786048377 140734296638816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94126786059672 94126786060292 94126799716352 140734296648024 140734296648226 140734296648226 140734296653799 0
/proc/34732/statm: 297386 8627 5043 1 0 269295 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1193736 KiB
Current children cumulated memory: 37452 KiB
[startup+0.700324 s]
/proc/loadavg: 4.24 4.15 4.11 5/254 34759
/proc/meminfo: memFree=125814452/131382116 swapFree=33010684/33010684
[pid=34722] ppid=34719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/34722/stat : 34722 (scip-naps-1.00.) S 34719 34722 31357 0 -1 4194304 258 328 0 0 0 0 0 0 20 0 1 0 38890310 4292608 736 18446744073709551615 94663660441600 94663661336133 140733961466576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94663661575184 94663661622928 94663680618496 140733961472417 140733961472514 140733961472514 140733961478116 0
/proc/34722/statm: 1048 736 672 219 0 110 0
[pid=34732] ppid=34722 vsize=1206772 memory=59596 CPUtime=0.62 cores=1,3
/proc/34732/stat : 34732 (python3) R 34722 34722 31357 0 -1 4194304 7872 0 0 0 57 5 0 0 20 0 1 0 38890313 1235734528 14899 18446744073709551615 94126786048000 94126786048377 140734296638816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94126786059672 94126786060292 94126799716352 140734296648024 140734296648226 140734296648226 140734296653799 0
/proc/34732/statm: 301693 14899 7923 1 0 273051 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1210964 KiB
Current children cumulated memory: 62540 KiB
[startup+1.50035 s]
/proc/loadavg: 4.24 4.15 4.11 5/258 34785
/proc/meminfo: memFree=125818460/131382116 swapFree=33010684/33010684
[pid=34722] ppid=34719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/34722/stat : 34722 (scip-naps-1.00.) S 34719 34722 31357 0 -1 4194304 258 328 0 0 0 0 0 0 20 0 1 0 38890310 4292608 736 18446744073709551615 94663660441600 94663661336133 140733961466576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94663661575184 94663661622928 94663680618496 140733961472417 140733961472514 140733961472514 140733961478116 0
/proc/34722/statm: 1048 736 672 219 0 110 0
[pid=34732] ppid=34722 vsize=1220172 memory=72140 CPUtime=1.4 cores=1,3
/proc/34732/stat : 34732 (python3) R 34722 34722 31357 0 -1 4194304 10827 0 0 0 135 5 0 0 20 0 1 0 38890313 1249456128 18035 18446744073709551615 94126786048000 94126786048377 140734296638816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94126786059672 94126786060292 94126799716352 140734296648024 140734296648226 140734296648226 140734296653799 0
/proc/34732/statm: 305043 18035 8115 1 0 276401 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 1224364 KiB
Current children cumulated memory: 75084 KiB
[startup+3.11325 s]
/proc/loadavg: 4.24 4.15 4.11 5/258 34834
/proc/meminfo: memFree=125777324/131382116 swapFree=33010684/33010684
[pid=34722] ppid=34719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/34722/stat : 34722 (scip-naps-1.00.) S 34719 34722 31357 0 -1 4194304 258 328 0 0 0 0 0 0 20 0 1 0 38890310 4292608 736 18446744073709551615 94663660441600 94663661336133 140733961466576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94663661575184 94663661622928 94663680618496 140733961472417 140733961472514 140733961472514 140733961478116 0
/proc/34722/statm: 1048 736 672 219 0 110 0
[pid=34732] ppid=34722 vsize=1239576 memory=90588 CPUtime=3.01 cores=1,3
/proc/34732/stat : 34732 (python3) R 34722 34722 31357 0 -1 4194304 15963 0 0 0 294 7 0 0 20 0 1 0 38890313 1269325824 22647 18446744073709551615 94126786048000 94126786048377 140734296638816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94126786059672 94126786060292 94126799716352 140734296648024 140734296648226 140734296648226 140734296653799 0
/proc/34732/statm: 309894 22647 8115 1 0 281252 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 1243768 KiB
Current children cumulated memory: 93532 KiB
[startup+6.30036 s]
/proc/loadavg: 4.22 4.14 4.11 5/258 34834
/proc/meminfo: memFree=125756192/131382116 swapFree=33010684/33010684
[pid=34722] ppid=34719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/34722/stat : 34722 (scip-naps-1.00.) S 34719 34722 31357 0 -1 4194304 258 328 0 0 0 0 0 0 20 0 1 0 38890310 4292608 736 18446744073709551615 94663660441600 94663661336133 140733961466576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94663661575184 94663661622928 94663680618496 140733961472417 140733961472514 140733961472514 140733961478116 0
/proc/34722/statm: 1048 736 672 219 0 110 0
[pid=34732] ppid=34722 vsize=1270616 memory=120156 CPUtime=6.19 cores=1,3
/proc/34732/stat : 34732 (python3) R 34722 34722 31357 0 -1 4194304 23353 0 0 0 611 8 0 0 20 0 1 0 38890313 1301110784 30039 18446744073709551615 94126786048000 94126786048377 140734296638816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94126786059672 94126786060292 94126799716352 140734296648024 140734296648226 140734296648226 140734296653799 0
/proc/34732/statm: 317654 30039 8115 1 0 289012 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 1274808 KiB
Current children cumulated memory: 123100 KiB
[startup+7.28718 s]
# the end of solver process 34722 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=7.09449 s, system=0.102086 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40039 s]
/proc/loadavg: 4.22 4.14 4.11 5/258 34834
/proc/meminfo: memFree=125756192/131382116 swapFree=33010684/33010684
[pid=34722] ppid=34719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/34722/stat : 34722 (scip-naps-1.00.) S 34719 34722 31357 0 -1 4194304 258 328 0 0 0 0 0 0 20 0 1 0 38890310 4292608 736 18446744073709551615 94663660441600 94663661336133 140733961466576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94663661575184 94663661622928 94663680618496 140733961472417 140733961472514 140733961472514 140733961478116 0
/proc/34722/statm: 1048 736 672 219 0 110 0
[pid=34732] ppid=34722 vsize=1270616 memory=120156 CPUtime=6.29 cores=1,3
/proc/34732/stat : 34732 (python3) R 34722 34722 31357 0 -1 4194304 23353 0 0 0 621 8 0 0 20 0 1 0 38890313 1301110784 30039 18446744073709551615 94126786048000 94126786048377 140734296638816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94126786059672 94126786060292 94126799716352 140734296648024 140734296648226 140734296648226 140734296653799 0
/proc/34732/statm: 317654 30039 8115 1 0 289012 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1274808 KiB
Current children cumulated memory: 123100 KiB
[startup+6.80038 s]
/proc/loadavg: 4.22 4.14 4.11 5/258 34834
/proc/meminfo: memFree=125756192/131382116 swapFree=33010684/33010684
[pid=34722] ppid=34719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/34722/stat : 34722 (scip-naps-1.00.) S 34719 34722 31357 0 -1 4194304 258 328 0 0 0 0 0 0 20 0 1 0 38890310 4292608 736 18446744073709551615 94663660441600 94663661336133 140733961466576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94663661575184 94663661622928 94663680618496 140733961472417 140733961472514 140733961472514 140733961478116 0
/proc/34722/statm: 1048 736 672 219 0 110 0
[pid=34732] ppid=34722 vsize=1277248 memory=125916 CPUtime=6.69 cores=1,3
/proc/34732/stat : 34732 (python3) R 34722 34722 31357 0 -1 4194304 25270 0 0 0 661 8 0 0 20 0 1 0 38890313 1307901952 31479 18446744073709551615 94126786048000 94126786048377 140734296638816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94126786059672 94126786060292 94126799716352 140734296648024 140734296648226 140734296648226 140734296653799 0
/proc/34732/statm: 319312 31479 8115 1 0 290670 0
Current children cumulated CPU time: 6.69 s
Current children cumulated vsize: 1281440 KiB
Current children cumulated memory: 128860 KiB
[startup+7.2004 s]
/proc/loadavg: 4.22 4.14 4.11 5/258 34834
/proc/meminfo: memFree=125671056/131382116 swapFree=33010684/33010684
[pid=34722] ppid=34719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/34722/stat : 34722 (scip-naps-1.00.) S 34719 34722 31357 0 -1 4194304 258 328 0 0 0 0 0 0 20 0 1 0 38890310 4292608 736 18446744073709551615 94663660441600 94663661336133 140733961466576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94663661575184 94663661622928 94663680618496 140733961472417 140733961472514 140733961472514 140733961478116 0
/proc/34722/statm: 1048 736 672 219 0 110 0
[pid=34732] ppid=34722 vsize=1278792 memory=128732 CPUtime=7.08 cores=1,3
/proc/34732/stat : 34732 (python3) R 34722 34722 31357 0 -1 4194304 25960 0 0 0 700 8 0 0 20 0 1 0 38890313 1309483008 32183 18446744073709551615 94126786048000 94126786048377 140734296638816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94126786059672 94126786060292 94126799716352 140734296648024 140734296648226 140734296648226 140734296653799 0
/proc/34732/statm: 319698 32183 8115 1 0 291056 0
Current children cumulated CPU time: 7.08 s
Current children cumulated vsize: 1282984 KiB
Current children cumulated memory: 131676 KiB
Child status: 0
Real time (s): 7.28732
CPU time (s): 7.19658
CPU user time (s): 7.09449
CPU system time (s): 0.102086
CPU usage (%): 98.7549
Max. virtual memory (cumulated for all children) (KiB): 1283240
Max. memory (cumulated for all children) (KiB): 131676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.0945
system time used= 0.102086
maximum resident set size= 129244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 363
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 34722
# total CPU time (s): 7.19658
# total CPU user time (s): 7.09449
# total CPU system time (s): 0.102086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077771 second user time and 0.136571 second system time
The end
Begin job on nodeC011 at 2025-06-29 23:21:46 IDJOB=4516907 IDBENCH=175922 IDSOLVER=3368 FILE ID=nodeC011/4516907-1751232106 RUNJOBID= nodeC011-1751226828-31369 SLURM_JOB_ID= 9587684 Free space on /tmp= 433024 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq10/normalized-13array_ineq10.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516907-1751232106/watcher-4516907-1751232106 -o /tmp/evaluation-result-4516907-1751232106/solver-4516907-1751232106 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751226828-31369 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4516907-1751232106.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 32780b78fab45ab21c186f405b9011ec RANDOM SEED=1755556154 nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.756 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.284 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.355 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.159 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.907 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1198.899 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.443 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.216 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 125809088 kB MemAvailable: 125619064 kB Buffers: 3280 kB Cached: 619556 kB SwapCached: 0 kB Active: 4571464 kB Inactive: 320684 kB Active(anon): 4287272 kB Inactive(anon): 0 kB Active(file): 284192 kB Inactive(file): 320684 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17080 kB Writeback: 4 kB AnonPages: 4267052 kB Mapped: 126888 kB Shmem: 17960 kB KReclaimable: 89068 kB Slab: 169476 kB SReclaimable: 89068 kB SUnreclaim: 80408 kB KernelStack: 4128 kB PageTables: 11732 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 6959304 kB VmallocTotal: 34359738367 kB VmallocUsed: 149496 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 905216 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433012 MiB End job on nodeC011 at 2025-06-29 23:21:53