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.07 | 3610.13 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb |
| MD5SUM | 1e36bee0e8dff19b6f5f05570059901e |
| 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 | 37 |
| Best CPU time to get the best result obtained on this benchmark | 2.57771 |
| 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 | 21756 |
| Total number of constraints | 1266468 |
| Number of constraints which are clauses | 1262688 |
| Number of constraints which are cardinality constraints (but not clauses) | 3780 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 168 |
| Number of terms in the objective function | 168 |
| 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 | 168 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 166 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 334 |
| 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-4432668-1721091912.opb>
3.18/3.25 c original problem has 21756 variables (21756 bin, 0 int, 0 impl, 0 cont) and 1266468 constraints
3.18/3.25 c problem read in 3.24
5.08/5.17 c presolving:
7.98/8.08 c (round 1, fast) 9503 del vars, 1130950 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 85470 clqs
8.08/8.13 c (round 2, fast) 9506 del vars, 1135726 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 85470 clqs
8.27/8.39 c (8.4s) running MILP presolver
9.66/9.78 c (9.8s) MILP presolver (5 rounds): 0 aggregations, 77 fixings, 0 bound changes
9.66/9.79 c (round 3, medium) 9583 del vars, 1135726 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 84636 clqs
9.76/9.83 c (round 4, fast) 9583 del vars, 1136560 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 84636 clqs
10.26/10.34 c (round 5, exhaustive) 9583 del vars, 1136560 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 129908 upgd conss, 0 impls, 84636 clqs
17.14/17.25 c (17.2s) probing: 297/12173 (2.4%) - 4 fixings, 0 aggregations, 72 implications, 0 bound changes
17.14/17.25 c (17.2s) probing aborted: 50/50 successive totally useless probings
17.64/17.77 c (17.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
17.84/17.99 c (18.0s) symmetry computation finished: 70 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.05)
17.84/18.01 c dynamic symmetry handling statistics:
17.84/18.01 c orbitopal reduction: no components
17.84/18.01 c orbital reduction: no components
17.84/18.01 c lexicographic reduction: no permutations
17.84/18.01 c handled 70 out of 70 symmetry components
18.05/18.13 c presolving (6 rounds: 6 fast, 3 medium, 2 exhaustive):
18.05/18.13 c 9587 deleted vars, 1136560 deleted constraints, 70 added constraints, 9058 tightened bounds, 0 added holes, 441 changed sides, 886 changed coefficients
18.05/18.13 c 0 implications, 84730 cliques
18.05/18.13 c presolved problem has 12169 variables (12169 bin, 0 int, 0 impl, 0 cont) and 129978 constraints
18.05/18.13 c 84636 constraints of type <setppc>
18.05/18.13 c 70 constraints of type <linear>
18.05/18.13 c 45272 constraints of type <logicor>
18.05/18.13 c transformed objective value is always integral (scale: 1)
18.05/18.13 c Presolving Time: 12.96
18.05/18.13 c - non default parameters ----------------------------------------------------------------------
18.05/18.13 c # SCIP version 10.0.0
18.05/18.13 c
18.05/18.13 c # maximal time in seconds to run
18.05/18.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
18.05/18.13 c limits/time = 3596.993114
18.05/18.13 c
18.05/18.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.05/18.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
18.05/18.13 c limits/memory = 27900
18.05/18.13 c
18.05/18.13 c # belongs reading time to solving time?
18.05/18.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
18.05/18.13 c timing/reading = TRUE
18.05/18.13 c
18.05/18.13 c -----------------------------------------------------------------------------------------------
18.05/18.13 c start solving
18.05/18.14 c
18.13/18.22 o 165
18.13/18.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.13/18.22 c t18.2s| 1 | 0 | 0 | - | trivial| 0 | 12k| 129k| 0 | 0 | 0 | 0 | 0 | 5.000000e+00 | 1.650000e+02 |3200.00%| unknown
19.23/19.33 o 121
19.23/19.33 c p19.3s| 1 | 0 | 0 | - | clique| 0 | 12k| 129k| 129k| 0 | 0 | 0 | 0 | 5.000000e+00 | 1.210000e+02 |2320.00%| unknown
19.73/19.82 o 88
19.73/19.82 c p19.8s| 1 | 0 | 0 | - | vbounds| 0 | 12k| 129k| 129k| 0 | 0 | 1 | 0 | 5.000000e+00 | 8.800000e+01 |1660.00%| unknown
27.01/27.11 c 27.1s| 1 | 0 | 16045 | - | 1376M | 0 | 12k| 129k| 129k| 0 | 0 | 6 | 0 | 5.000000e+00 | 8.800000e+01 |1660.00%| unknown
201.18/201.94 c 202s| 1 | 0 | 58738 | - | 1398M | 0 | 12k| 129k| 129k| 41 | 1 | 16 | 0 | 8.019816e+00 | 8.800000e+01 | 997.28%| unknown
235.67/236.51 c 236s| 1 | 0 | 69054 | - | 1415M | 0 | 12k| 129k| 130k| 81 | 2 | 19 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
333.59/334.72 c 335s| 1 | 0 | 76373 | - | 1429M | 0 | 12k| 129k| 130k| 91 | 3 | 21 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
409.78/411.16 c 411s| 1 | 0 | 77584 | - | 1446M | 0 | 12k| 129k| 130k| 99 | 4 | 22 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
498.53/500.12 c 500s| 1 | 0 | 84020 | - | 1461M | 0 | 12k| 129k| 130k| 111 | 5 | 32 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
573.80/575.69 c 576s| 1 | 0 | 85251 | - | 1475M | 0 | 12k| 129k| 130k| 118 | 6 | 34 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
660.07/662.13 c 662s| 1 | 0 | 91119 | - | 1496M | 0 | 12k| 129k| 130k| 129 | 7 | 44 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
736.77/739.06 c 739s| 1 | 0 | 92709 | - | 1509M | 0 | 12k| 129k| 130k| 143 | 8 | 45 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
814.44/816.99 c 817s| 1 | 0 | 94775 | - | 1522M | 0 | 12k| 129k| 130k| 152 | 9 | 47 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
896.03/898.71 c 899s| 1 | 0 | 97828 | - | 1538M | 0 | 12k| 129k| 130k| 163 | 10 | 53 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
916.28/919.04 c 919s| 1 | 0 |104220 | - | 1556M | 0 | 12k| 129k| 130k| 176 | 11 | 63 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
928.73/931.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
928.73/931.52 c 932s| 1 | 0 |108063 | - | 1573M | 0 | 12k| 129k| 130k| 188 | 12 | 73 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
1367.19/1371.26 c 1371s| 1 | 2 |175854 | - | 1583M | 0 | 12k| 130k| 130k| 188 | 12 | 103 | 39 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
3508.47/3518.39 o 80
3508.47/3518.39 c d3518s| 41 | 42 |836159 |18202.4 |linesear| 27 | 12k| 130k| 130k| 0 | 1 | 241 | 39 | 3.200000e+01 | 8.000000e+01 | 150.00%| unknown
3558.64/3568.62 o 76
3558.64/3568.62 c i3569s| 42 | 41 |837749 |17797.2 | oneopt| 27 | 12k| 130k| 130k| 237 | 0 | 241 | 39 | 3.200000e+01 | 7.600000e+01 | 137.50%| 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: 64059 MiB (59806 MiB free)
memory of node 1: 64510 MiB (62200 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432668-1721091912/watcher-4432668-1721091912 -o /tmp/evaluation-result-4432668-1721091912/solver-4432668-1721091912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721084720-824564 --watchdog 3760 pbscip -f HOME/instance-4432668-1721091912.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=828628, runsolver pid=828625
[startup+0.10009 s]*
/proc/loadavg: 4.14 4.13 4.12 5/239 828635
/proc/meminfo: memFree=124821148/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=74300 memory=34264 CPUtime=0.1 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 5588 0 0 0 8 2 0 0 20 0 1 0 161350042 76083200 8566 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 18575 8566 3258 3540 0 6832 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 74300 KiB
Current children cumulated memory: 34264 KiB
[startup+0.20984 s]*
/proc/loadavg: 4.14 4.13 4.12 5/239 828635
/proc/meminfo: memFree=124749160/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=84792 memory=44292 CPUtime=0.2 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 8139 0 0 0 18 2 0 0 20 0 1 0 161350042 86827008 11073 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 21198 11073 3258 3540 0 9455 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84792 KiB
Current children cumulated memory: 44292 KiB
[startup+0.309707 s]*
/proc/loadavg: 4.14 4.13 4.12 5/239 828635
/proc/meminfo: memFree=124657244/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=97520 memory=56640 CPUtime=0.31 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 11178 0 0 0 27 4 0 0 20 0 1 0 161350042 99860480 14160 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 24380 14160 3258 3540 0 12637 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97520 KiB
Current children cumulated memory: 56640 KiB
[startup+0.700355 s]
/proc/loadavg: 4.14 4.13 4.12 5/237 828635
/proc/meminfo: memFree=124504776/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=148380 memory=107104 CPUtime=0.69 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 23857 0 0 0 62 7 0 0 20 0 1 0 161350042 151941120 26776 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 37095 26776 3258 3540 0 25352 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148380 KiB
Current children cumulated memory: 107104 KiB
[startup+1.5003 s]
/proc/loadavg: 4.14 4.13 4.12 5/243 828646
/proc/meminfo: memFree=124096864/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=286848 memory=245384 CPUtime=1.49 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 57918 0 0 0 134 15 0 0 20 0 1 0 161350042 293732352 61346 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 71712 61346 3258 3540 0 59969 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 286848 KiB
Current children cumulated memory: 245384 KiB
[startup+3.11283 s]
/proc/loadavg: 4.13 4.13 4.12 5/243 828646
/proc/meminfo: memFree=122568044/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=672124 memory=631128 CPUtime=3.09 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 147175 0 0 0 280 29 0 0 20 0 1 0 161350042 688254976 157782 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 168031 157782 3258 3540 0 156288 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 672124 KiB
Current children cumulated memory: 631128 KiB
[startup+6.30031 s]
/proc/loadavg: 4.13 4.13 4.12 5/243 828647
/proc/meminfo: memFree=119292152/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1701432 memory=1650944 CPUtime=6.27 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 365407 0 0 0 564 63 0 0 20 0 1 0 161350042 1742266368 412736 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 425358 412736 3609 3540 0 413615 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1701432 KiB
Current children cumulated memory: 1650944 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.12 5/243 828647
/proc/meminfo: memFree=118104760/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1766244 memory=1713984 CPUtime=12.65 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 384907 0 0 0 1197 68 0 0 20 0 1 0 161350042 1808633856 428496 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 441561 428496 3752 3540 0 429818 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1766244 KiB
Current children cumulated memory: 1713984 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.12 4.11 5/243 828651
/proc/meminfo: memFree=118017008/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1738884 CPUtime=25.4 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387359 0 0 0 2471 69 0 0 20 0 1 0 161350042 1843261440 434721 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434721 3976 3540 0 438272 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1738884 KiB
[startup+51.1132 s]
/proc/loadavg: 4.12 4.12 4.11 5/243 828655
/proc/meminfo: memFree=117975060/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739392 CPUtime=50.93 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387474 0 0 0 5023 70 0 0 20 0 1 0 161350042 1843261440 434848 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434848 4008 3540 0 438272 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739392 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/243 828664
/proc/meminfo: memFree=117974440/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=101.93 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387505 0 0 0 10123 70 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/243 828674
/proc/meminfo: memFree=117974212/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=161.72 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387573 0 0 0 16101 71 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/243 828685
/proc/meminfo: memFree=117973400/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=221.52 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387731 0 0 0 22080 72 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 828695
/proc/meminfo: memFree=117972972/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=281.35 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387896 0 0 0 28062 73 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/246 828711
/proc/meminfo: memFree=117972444/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=341.17 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 388205 0 0 0 34043 74 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/245 828721
/proc/meminfo: memFree=117972176/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=400.99 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 388313 0 0 0 40024 75 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 828732
/proc/meminfo: memFree=117971576/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739568 CPUtime=460.82 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 389424 0 0 0 46006 76 0 0 20 0 1 0 161350042 1843261440 434892 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434892 4008 3540 0 438272 0
################
# More data... #
################
Current children cumulated memory: 1892280 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/244 829807
/proc/meminfo: memFree=117560756/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=2914.02 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 468179 0 0 0 291309 93 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/244 829818
/proc/meminfo: memFree=117560460/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=2973.87 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 468490 0 0 0 297293 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 2973.87 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/242 830212
/proc/meminfo: memFree=117560292/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3033.71 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 468725 0 0 0 303277 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/242 830222
/proc/meminfo: memFree=117561088/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3093.56 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469026 0 0 0 309262 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/242 830233
/proc/meminfo: memFree=117559080/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3153.4 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469290 0 0 0 315246 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/244 830414
/proc/meminfo: memFree=117556700/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3213.25 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469593 0 0 0 321230 95 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/244 830424
/proc/meminfo: memFree=117555604/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3273.09 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469855 0 0 0 327214 95 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3342.3 s]
/proc/loadavg: 4.51 4.19 4.12 5/243 830447
/proc/meminfo: memFree=117555288/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3332.93 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 470085 0 0 0 333198 95 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3402.3 s]
/proc/loadavg: 4.54 4.27 4.16 5/243 830457
/proc/meminfo: memFree=117496920/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2041840 memory=1950200 CPUtime=3392.77 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 496446 0 0 0 339179 98 0 0 20 0 1 0 161350042 2090844160 487550 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 510460 487550 4055 3540 0 498717 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 2041840 KiB
Current children cumulated memory: 1950200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.24 4.15 5/243 830469
/proc/meminfo: memFree=117482552/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3452.6 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 507917 0 0 0 345160 100 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.22 4.15 5/242 830479
/proc/meminfo: memFree=117482316/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3512.46 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 508464 0 0 0 351145 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/242 830490
/proc/meminfo: memFree=117482020/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3572.3 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 508951 0 0 0 357129 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 3.90 4.14 4.13 2/220 830588
/proc/meminfo: memFree=124347112/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3600.04 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 509074 0 0 0 359903 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.13 s]
# the end of solver process 828628 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.04 s, system=1.03138 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 3.90 4.14 4.13 2/220 830588
/proc/meminfo: memFree=124347112/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3600.04 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 509074 0 0 0 359903 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.13
CPU time (s): 3600.07
CPU user time (s): 3599.04
CPU system time (s): 1.03138
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 2090712
Max. memory (cumulated for all children) (KiB): 1995564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.04
system time used= 1.03138
maximum resident set size= 1995828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509074
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= 63
involuntary context switches= 1045
# summary of solver processes directly reported to runsolver:
# pid: 828628
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.04
# total CPU system time (s): 1.03138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0896 second user time and 35.949 second system time
The end
Begin job on nodeC006 at 2024-07-16 03:05:25 IDJOB=4432668 IDBENCH=147569 IDSOLVER=3059 FILE ID=nodeC006/4432668-1721091912 RUNJOBID= nodeC006-1721084720-824564 SLURM_JOB_ID= 7505576 Free space on /tmp= 723596 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.07.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432668-1721091912/watcher-4432668-1721091912 -o /tmp/evaluation-result-4432668-1721091912/solver-4432668-1721091912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721084720-824564 --watchdog 3760 pbscip -f HOME/instance-4432668-1721091912.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1e36bee0e8dff19b6f5f05570059901e RANDOM SEED=477542125 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 1276.507 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 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 : 3610.924 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 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 : 1478.462 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 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.247 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 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 : 3499.658 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 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 : 1221.150 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 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.433 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 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 : 1396.383 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124949972 kB MemAvailable: 128711008 kB Buffers: 390520 kB Cached: 4167004 kB SwapCached: 0 kB Active: 714140 kB Inactive: 5365456 kB Active(anon): 1424 kB Inactive(anon): 1558348 kB Active(file): 712716 kB Inactive(file): 3807108 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 232076 kB Writeback: 0 kB AnonPages: 1522412 kB Mapped: 113740 kB Shmem: 37704 kB KReclaimable: 162488 kB Slab: 266904 kB SReclaimable: 162488 kB SUnreclaim: 104416 kB KernelStack: 3708 kB PageTables: 11744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1920820 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51872 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 219976 kB DirectMap2M: 27996160 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723716 MiB End job on nodeC006 at 2024-07-16 04:05:36