Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | ? (TO) | 3600.09 | 3611.41 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb |
| MD5SUM | 2c36d20de18350ccd034c3f0e7e67663 |
| 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 | 41 |
| Best CPU time to get the best result obtained on this benchmark | 3.23506 |
| 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 | 25484 |
| Total number of constraints | 1553328 |
| Number of constraints which are clauses | 1549096 |
| Number of constraints which are cardinality constraints (but not clauses) | 4232 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 184 |
| Number of terms in the objective function | 184 |
| 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 | 184 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 182 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 366 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4489976-1751364727.opb>
2.87/2.96 c original problem has 25484 variables (25484 bin, 0 int, 0 impl, 0 cont) and 1553328 constraints
2.87/2.96 c problem read in 2.95
5.27/5.37 c presolving:
8.96/9.00 c (round 1, fast) 12536 del vars, 1400388 del conss, 0 add conss, 12062 chg bounds, 468 chg sides, 936 chg coeffs, 0 upgd conss, 0 impls, 91360 clqs
8.96/9.08 c (round 2, fast) 12546 del vars, 1412417 del conss, 0 add conss, 12062 chg bounds, 469 chg sides, 938 chg coeffs, 0 upgd conss, 0 impls, 91356 clqs
9.25/9.35 c (9.3s) running MILP presolver
11.65/11.77 c (11.7s) MILP presolver (7 rounds): 0 aggregations, 84 fixings, 0 bound changes
11.65/11.79 c (round 3, medium) 12630 del vars, 1412417 del conss, 0 add conss, 12062 chg bounds, 469 chg sides, 938 chg coeffs, 0 upgd conss, 0 impls, 90448 clqs
11.75/11.83 c (round 4, fast) 12631 del vars, 1413326 del conss, 0 add conss, 12062 chg bounds, 469 chg sides, 938 chg coeffs, 0 upgd conss, 0 impls, 90448 clqs
12.34/12.42 c (round 5, exhaustive) 12631 del vars, 1413326 del conss, 0 add conss, 12062 chg bounds, 469 chg sides, 938 chg coeffs, 140002 upgd conss, 0 impls, 90448 clqs
23.80/23.90 c (23.9s) probing: 408/12853 (3.2%) - 2 fixings, 0 aggregations, 64 implications, 0 bound changes
23.80/23.90 c (23.9s) probing aborted: 50/50 successive totally useless probings
24.30/24.49 c (24.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
24.60/24.73 c (24.7s) symmetry computation finished: 100 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.06)
24.60/24.75 c dynamic symmetry handling statistics:
24.60/24.75 c orbitopal reduction: no components
24.60/24.75 c orbital reduction: no components
24.60/24.75 c lexicographic reduction: no permutations
24.60/24.75 c handled 100 out of 100 symmetry components
24.69/24.88 c presolving (6 rounds: 6 fast, 3 medium, 2 exhaustive):
24.69/24.88 c 12633 deleted vars, 1413326 deleted constraints, 100 added constraints, 12062 tightened bounds, 0 added holes, 469 changed sides, 940 changed coefficients
24.69/24.88 c 0 implications, 90586 cliques
24.69/24.88 c presolved problem has 12851 variables (12851 bin, 0 int, 0 impl, 0 cont) and 140102 constraints
24.69/24.88 c 90448 constraints of type <setppc>
24.69/24.88 c 100 constraints of type <linear>
24.69/24.88 c 49554 constraints of type <logicor>
24.69/24.88 c transformed objective value is always integral (scale: 1)
24.69/24.88 c Presolving Time: 19.52
24.69/24.88 c - non default parameters ----------------------------------------------------------------------
24.69/24.88 c # SCIP version 10.0.0
24.69/24.88 c
24.69/24.88 c # maximal time in seconds to run
24.69/24.88 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
24.69/24.88 c limits/time = 3596.997025
24.69/24.88 c
24.69/24.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
24.69/24.88 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
24.69/24.88 c limits/memory = 27900
24.69/24.88 c
24.69/24.88 c # belongs reading time to solving time?
24.69/24.88 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
24.69/24.88 c timing/reading = TRUE
24.69/24.88 c
24.69/24.88 c -----------------------------------------------------------------------------------------------
24.69/24.88 c start solving
24.79/24.90 c
24.79/24.98 o 178
24.79/24.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.79/24.98 c t25.0s| 1 | 0 | 0 | - | trivial| 0 | 12k| 140k| 0 | 0 | 0 | 0 | 0 | 8.000000e+00 | 1.780000e+02 |2125.00%| unknown
26.00/26.15 o 152
26.00/26.15 c p26.1s| 1 | 0 | 0 | - | clique| 0 | 12k| 140k| 140k| 0 | 0 | 0 | 0 | 8.000000e+00 | 1.520000e+02 |1800.00%| unknown
26.59/26.71 o 96
26.59/26.71 c p26.7s| 1 | 0 | 0 | - | vbounds| 0 | 12k| 140k| 140k| 0 | 0 | 11 | 0 | 8.000000e+00 | 9.600000e+01 |1100.00%| unknown
26.89/27.05 o 88
26.89/27.05 c p27.0s| 1 | 0 | 0 | - | vbounds| 0 | 12k| 140k| 140k| 0 | 0 | 16 | 0 | 8.000000e+00 | 8.800000e+01 |1000.00%| unknown
46.83/47.03 c 47.0s| 1 | 0 | 21553 | - | 1629M | 0 | 12k| 140k| 140k| 0 | 0 | 17 | 0 | 8.000000e+00 | 8.800000e+01 |1000.00%| unknown
286.81/287.80 c 288s| 1 | 0 | 91424 | - | 1657M | 0 | 12k| 140k| 140k| 54 | 1 | 27 | 0 | 1.087108e+01 | 8.800000e+01 | 709.49%| unknown
374.23/375.53 c 376s| 1 | 0 |108950 | - | 1671M | 0 | 12k| 140k| 140k| 102 | 2 | 32 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
491.55/493.24 c 493s| 1 | 0 |113202 | - | 1688M | 0 | 12k| 140k| 140k| 117 | 3 | 33 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
608.29/610.32 c 610s| 1 | 0 |118580 | - | 1704M | 0 | 12k| 140k| 140k| 130 | 4 | 43 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
711.57/713.92 c 714s| 1 | 0 |120336 | - | 1719M | 0 | 12k| 140k| 140k| 140 | 5 | 45 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
834.22/836.95 c 837s| 1 | 0 |128989 | - | 1738M | 0 | 12k| 140k| 140k| 156 | 6 | 55 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
944.47/947.59 c 948s| 1 | 0 |131796 | - | 1760M | 0 | 12k| 140k| 140k| 166 | 7 | 65 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
1048.04/1051.49 c 1051s| 1 | 0 |133279 | - | 1773M | 0 | 12k| 140k| 140k| 170 | 8 | 66 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
1159.49/1163.24 c 1163s| 1 | 0 |137487 | - | 1787M | 0 | 12k| 140k| 140k| 179 | 9 | 76 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
1267.75/1271.83 c 1272s| 1 | 0 |140160 | - | 1806M | 0 | 12k| 140k| 140k| 188 | 10 | 86 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
1275.52/1279.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1275.52/1279.63 c 1280s| 1 | 0 |141986 | - | 1822M | 0 | 12k| 140k| 140k| 195 | 11 | 88 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
1281.91/1286.05 c 1286s| 1 | 0 |143491 | - | 1835M | 0 | 12k| 140k| 140k| 198 | 12 | 90 | 0 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
1947.43/1953.75 c 1954s| 1 | 2 |229285 | - | 1840M | 0 | 12k| 140k| 140k| 198 | 12 | 120 | 24 | 3.700000e+01 | 8.800000e+01 | 137.84%| unknown
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62174 MiB free)
memory of node 1: 64465 MiB (63044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489976-1751364727/watcher-4489976-1751364727 -o /tmp/evaluation-result-4489976-1751364727/solver-4489976-1751364727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751361124-51518 --watchdog 3760 pbscip -f HOME/instance-4489976-1751364727.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51932, runsolver pid=51928
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.09 4.11 4.09 5/258 51938
/proc/meminfo: memFree=128096816/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=79148 memory=51328 CPUtime=0.08 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 9938 0 0 0 7 1 0 0 20 0 1 0 52151400 81047552 12832 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 19787 12832 3200 3530 0 11238 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 79148 KiB
Current children cumulated memory: 51328 KiB
[startup+0.205637 s]*
/proc/loadavg: 4.09 4.11 4.09 6/263 51947
/proc/meminfo: memFree=127980288/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=109032 memory=80768 CPUtime=0.19 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 17287 0 0 0 17 2 0 0 20 0 1 0 52151400 111648768 20192 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 27258 20192 3200 3530 0 18709 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109032 KiB
Current children cumulated memory: 80768 KiB
[startup+0.305693 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 51947
/proc/meminfo: memFree=127876036/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=137060 memory=108544 CPUtime=0.29 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 24240 0 0 0 26 3 0 0 20 0 1 0 52151400 140349440 27136 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 34265 27136 3200 3530 0 25716 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 137060 KiB
Current children cumulated memory: 108544 KiB
[startup+0.700171 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 51947
/proc/meminfo: memFree=127658308/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=240036 memory=211452 CPUtime=0.68 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 49476 0 0 0 61 7 0 0 20 0 1 0 52151400 245796864 52863 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 60009 52863 3200 3530 0 51460 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 240036 KiB
Current children cumulated memory: 211452 KiB
[startup+1.50017 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 51947
/proc/meminfo: memFree=127144436/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=450412 memory=421744 CPUtime=1.48 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 100003 0 0 0 132 16 0 0 20 0 1 0 52151400 461221888 105436 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 112603 105436 3200 3530 0 104054 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 450412 KiB
Current children cumulated memory: 421744 KiB
[startup+3.10562 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 51947
/proc/meminfo: memFree=124866164/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=888800 memory=860012 CPUtime=3.08 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 210163 0 0 0 275 33 0 0 20 0 1 0 52151400 910131200 215003 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 222200 215003 3520 3530 0 213651 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 888800 KiB
Current children cumulated memory: 860012 KiB
[startup+6.30018 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 51947
/proc/meminfo: memFree=120800196/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2005144 memory=1967348 CPUtime=6.26 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 444379 0 0 0 557 69 0 0 20 0 1 0 52151400 2053267456 491837 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 501286 491837 3552 3530 0 492737 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2005144 KiB
Current children cumulated memory: 1967348 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 51954
/proc/meminfo: memFree=120106884/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2064720 memory=2026816 CPUtime=12.64 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 463680 0 0 0 1191 73 0 0 20 0 1 0 52151400 2114273280 506704 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 516180 506704 3680 3530 0 507631 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2064720 KiB
Current children cumulated memory: 2026816 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 51954
/proc/meminfo: memFree=120071232/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2096276 memory=2051424 CPUtime=25.39 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 465397 0 0 0 2465 74 0 0 20 0 1 0 52151400 2146586624 512856 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 524069 512856 3808 3530 0 515520 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2096276 KiB
Current children cumulated memory: 2051424 KiB
[startup+51.1057 s]
/proc/loadavg: 4.20 4.13 4.10 5/264 51954
/proc/meminfo: memFree=120059620/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2096276 memory=2051936 CPUtime=50.92 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 465412 0 0 0 5018 74 0 0 20 0 1 0 52151400 2146586624 512984 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 524069 512984 3936 3530 0 515520 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2096276 KiB
Current children cumulated memory: 2051936 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 51956
/proc/meminfo: memFree=120059552/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2096276 memory=2052192 CPUtime=101.93 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 465477 0 0 0 10119 74 0 0 20 0 1 0 52151400 2146586624 513048 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 524069 513048 3936 3530 0 515520 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2096276 KiB
Current children cumulated memory: 2052192 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 51958
/proc/meminfo: memFree=120060736/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2096276 memory=2052192 CPUtime=161.72 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 465477 0 0 0 16098 74 0 0 20 0 1 0 52151400 2146586624 513048 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 524069 513048 3936 3530 0 515520 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 2096276 KiB
Current children cumulated memory: 2052192 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 51960
/proc/meminfo: memFree=120045316/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2096276 memory=2052192 CPUtime=221.51 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 465488 0 0 0 22077 74 0 0 20 0 1 0 52151400 2146586624 513048 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 524069 513048 3936 3530 0 515520 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 2096276 KiB
Current children cumulated memory: 2052192 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 51962
/proc/meminfo: memFree=120058788/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2096276 memory=2052192 CPUtime=281.33 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 465490 0 0 0 28059 74 0 0 20 0 1 0 52151400 2146586624 513048 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 524069 513048 3936 3530 0 515520 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 2096276 KiB
Current children cumulated memory: 2052192 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 51965
/proc/meminfo: memFree=120059552/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2096276 memory=2052192 CPUtime=341.14 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 465537 0 0 0 34040 74 0 0 20 0 1 0 52151400 2146586624 513048 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 524069 513048 3936 3530 0 515520 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 2096276 KiB
Current children cumulated memory: 2052192 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 51967
/proc/meminfo: memFree=120061252/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2096276 memory=2052192 CPUtime=400.94 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 465561 0 0 0 40020 74 0 0 20 0 1 0 52151400 2146586624 513048 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 524069 513048 3936 3530 0 515520 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 2096276 KiB
Current children cumulated memory: 2052192 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 51969
/proc/meminfo: memFree=120060580/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2096276 memory=2052192 CPUtime=460.75 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 465561 0 0 0 46001 74 0 0 20 0 1 0 52151400 2146586624 513048 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 524069 513048 3936 3530 0 515520 0
Current children cumulated CPU time: 460.75 s
################
# More data... #
################
Current children cumulated memory: 2152968 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 52078
/proc/meminfo: memFree=119765436/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2152968 CPUtime=2853.17 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 505667 0 0 0 285236 81 0 0 20 0 1 0 52151400 2263818240 538242 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 538242 3936 3530 0 544141 0
Current children cumulated CPU time: 2853.17 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2152968 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 52080
/proc/meminfo: memFree=119778940/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2153352 CPUtime=2912.99 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 505677 0 0 0 291218 81 0 0 20 0 1 0 52151400 2263818240 538338 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 538338 3936 3530 0 544141 0
Current children cumulated CPU time: 2912.99 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2153352 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 52093
/proc/meminfo: memFree=119768836/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2156552 CPUtime=2972.81 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506047 0 0 0 297200 81 0 0 20 0 1 0 52151400 2263818240 539138 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539138 3936 3530 0 544141 0
Current children cumulated CPU time: 2972.81 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2156552 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 52095
/proc/meminfo: memFree=119764628/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2157576 CPUtime=3032.63 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506049 0 0 0 303182 81 0 0 20 0 1 0 52151400 2263818240 539394 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539394 3936 3530 0 544141 0
Current children cumulated CPU time: 3032.63 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2157576 KiB
[startup+3102.3 s]
/proc/loadavg: 4.55 4.20 4.13 5/263 52104
/proc/meminfo: memFree=119770892/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2159624 CPUtime=3092.44 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506049 0 0 0 309163 81 0 0 20 0 1 0 52151400 2263818240 539906 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539906 3936 3530 0 544141 0
Current children cumulated CPU time: 3092.44 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2159624 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/263 52106
/proc/meminfo: memFree=119751044/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2159624 CPUtime=3152.26 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506060 0 0 0 315145 81 0 0 20 0 1 0 52151400 2263818240 539906 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539906 3936 3530 0 544141 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2159624 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 52110
/proc/meminfo: memFree=119734584/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2159624 CPUtime=3212.09 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506063 0 0 0 321128 81 0 0 20 0 1 0 52151400 2263818240 539906 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539906 3936 3530 0 544141 0
Current children cumulated CPU time: 3212.09 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2159624 KiB
[startup+3282.3 s]
/proc/loadavg: 4.73 4.33 4.18 5/264 52112
/proc/meminfo: memFree=119732968/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2159624 CPUtime=3271.91 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506078 0 0 0 327110 81 0 0 20 0 1 0 52151400 2263818240 539906 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539906 3936 3530 0 544141 0
Current children cumulated CPU time: 3271.91 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2159624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.28 4.17 5/264 52114
/proc/meminfo: memFree=119718048/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2159624 CPUtime=3331.74 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506439 0 0 0 333093 81 0 0 20 0 1 0 52151400 2263818240 539906 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539906 3936 3530 0 544141 0
Current children cumulated CPU time: 3331.74 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2159624 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.24 4.16 5/263 52116
/proc/meminfo: memFree=119728728/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2159624 CPUtime=3391.56 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506439 0 0 0 339075 81 0 0 20 0 1 0 52151400 2263818240 539906 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539906 3936 3530 0 544141 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2159624 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.23 4.16 5/263 52118
/proc/meminfo: memFree=119627116/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2159624 CPUtime=3451.39 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506524 0 0 0 345058 81 0 0 20 0 1 0 52151400 2263818240 539906 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539906 3936 3530 0 544141 0
Current children cumulated CPU time: 3451.39 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2159624 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.20 4.16 5/262 52121
/proc/meminfo: memFree=119624644/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2159624 CPUtime=3511.22 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506524 0 0 0 351041 81 0 0 20 0 1 0 52151400 2263818240 539906 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539906 3936 3530 0 544141 0
Current children cumulated CPU time: 3511.22 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2159624 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/262 52123
/proc/meminfo: memFree=119624336/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2159624 CPUtime=3571.05 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506530 0 0 0 357024 81 0 0 20 0 1 0 52151400 2263818240 539906 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539906 3936 3530 0 544141 0
Current children cumulated CPU time: 3571.05 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2159624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.09 4.17 4.15 5/262 52258
/proc/meminfo: memFree=126128944/131250000 swapFree=33010684/33010684
[pid=51932] ppid=51928 vsize=2210760 memory=2159624 CPUtime=3600.07 cores=0,2
/proc/51932/stat : 51932 (pbscip) R 51928 51932 51501 0 -1 4194304 506530 0 0 0 359926 81 0 0 20 0 1 0 52151400 2263818240 539906 18446744073709551615 4235264 18693293 140734826217440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51163136 140734826224009 140734826224108 140734826224108 140734826229710 0
/proc/51932/statm: 552690 539906 3936 3530 0 544141 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2210760 KiB
Current children cumulated memory: 2159624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 51932 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.26 s, system=0.825513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.41
CPU time (s): 3600.09
CPU user time (s): 3599.26
CPU system time (s): 0.825513
CPU usage (%): 99.6866
Max. virtual memory (cumulated for all children) (KiB): 2272760
Max. memory (cumulated for all children) (KiB): 2210400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.26
system time used= 0.825513
maximum resident set size= 2210400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129
involuntary context switches= 7836
# summary of solver processes directly reported to runsolver:
# pid: 51932
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.26
# total CPU system time (s): 0.825513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98814 second user time and 17.4416 second system time
The end
Begin job on nodeC026 at 2025-07-01 12:12:08 IDJOB=4489976 IDBENCH=147567 IDSOLVER=3365 FILE ID=nodeC026/4489976-1751364727 RUNJOBID= nodeC026-1751361124-51518 SLURM_JOB_ID= 9598167 Free space on /tmp= 432716 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.12.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489976-1751364727/watcher-4489976-1751364727 -o /tmp/evaluation-result-4489976-1751364727/solver-4489976-1751364727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751361124-51518 --watchdog 3760 pbscip -f HOME/instance-4489976-1751364727.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2c36d20de18350ccd034c3f0e7e67663 RANDOM SEED=400110473 nodeC026 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 : 0xb00002a cpu MHz : 3599.517 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3600.996 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3601.468 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3599.962 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3600.299 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3600.293 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3599.770 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3506.719 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128240688 kB MemAvailable: 129750340 kB Buffers: 3280 kB Cached: 2305412 kB SwapCached: 0 kB Active: 337500 kB Inactive: 2047240 kB Active(anon): 93860 kB Inactive(anon): 0 kB Active(file): 243640 kB Inactive(file): 2047240 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 271248 kB Writeback: 8 kB AnonPages: 78876 kB Mapped: 104332 kB Shmem: 18080 kB KReclaimable: 116020 kB Slab: 204784 kB SReclaimable: 116020 kB SUnreclaim: 88764 kB KernelStack: 4064 kB PageTables: 2884 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 340460 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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: 187092 kB DirectMap2M: 9021440 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432800 MiB End job on nodeC026 at 2025-07-01 13:12:19