Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? (TO) | 3600.07 | 3611.35 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmq1_wcsp.wbo |
| MD5SUM | f2e6d50712d8e4dd21820824b9e97e2e |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 3438412 |
| Best CPU time to get the best result obtained on this benchmark | 3600.3 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 90600 |
| Total number of constraints | 180900 |
| Number of soft constraints | 180300 |
| Number of constraints which are clauses | 180300 |
| Number of constraints which are cardinality constraints (but not clauses) | 600 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 300 |
| Top cost | 167360670 |
| Min constraint cost | 1 |
| Max constraint cost | 167360670 |
| Sum of constraints costs | 15063769612171 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 301 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4456492-1721720428.wbo>
0.99/1.09 c original problem has 270900 variables (270900 bin, 0 int, 0 impl, 0 cont) and 361201 constraints
0.99/1.09 c problem read in 1.09
3.87/3.94 c presolving:
4.67/4.74 c (round 1, fast) 300 del vars, 300 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 180300 impls, 312 clqs
4.87/4.93 c (round 2, fast) 300 del vars, 300 del conss, 0 add conss, 180300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 180300 impls, 312 clqs
5.08/5.10 c (round 3, fast) 600 del vars, 600 del conss, 0 add conss, 180300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 180300 impls, 312 clqs
5.86/5.92 c (round 4, exhaustive) 600 del vars, 600 del conss, 0 add conss, 180300 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 180300 impls, 312 clqs
6.56/6.65 c (round 5, fast) 180600 del vars, 90600 del conss, 0 add conss, 180300 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 180300 impls, 300 clqs
7.36/7.42 c (round 6, exhaustive) 180600 del vars, 90600 del conss, 0 add conss, 180300 chg bounds, 0 chg sides, 0 chg coeffs, 90301 upgd conss, 180300 impls, 90300 clqs
12.54/12.66 c (12.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
13.53/13.69 c (13.7s) no symmetry present (symcode time: 0.50)
13.84/13.96 c presolving (7 rounds: 7 fast, 3 medium, 3 exhaustive):
13.84/13.96 c 180625 deleted vars, 90600 deleted constraints, 0 added constraints, 180300 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
13.84/13.96 c 180300 implications, 90347 cliques
13.84/13.96 c presolved problem has 270575 variables (180600 bin, 0 int, 89975 impl, 0 cont) and 270601 constraints
13.84/13.96 c 1 constraints of type <knapsack>
13.84/13.96 c 90300 constraints of type <setppc>
13.84/13.96 c 90000 constraints of type <linear>
13.84/13.96 c 90300 constraints of type <indicator>
13.84/13.96 c transformed objective value is always integral (scale: 1)
13.84/13.96 c Presolving Time: 11.82
13.84/13.96 c - non default parameters ----------------------------------------------------------------------
13.84/13.96 c # SCIP version 10.0.0
13.84/13.96 c
13.84/13.96 c # maximal time in seconds to run
13.84/13.96 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
13.84/13.96 c limits/time = 3596.998041
13.84/13.96 c
13.84/13.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.84/13.96 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
13.84/13.96 c limits/memory = 27900
13.84/13.96 c
13.84/13.96 c # belongs reading time to solving time?
13.84/13.96 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
13.84/13.96 c timing/reading = TRUE
13.84/13.96 c
13.84/13.96 c -----------------------------------------------------------------------------------------------
13.84/13.96 c start solving
14.04/14.11 c
36.84/37.02 o 167360669
36.84/37.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.84/37.02 c p37.0s| 1 | 0 | 0 | - | locks| 0 | 270k| 270k| 270k| 0 | 0 | 0 | 0 | 0.000000e+00 | 1.673607e+08 | Inf | unknown
37.53/37.72 o 163448997
37.53/37.72 c i37.7s| 1 | 0 | 0 | - | oneopt| 0 | 270k| 270k| 270k| 0 | 0 | 0 | 0 | 0.000000e+00 | 1.634490e+08 | Inf | unknown
490.88/492.85 c 493s| 1 | 0 |223905 | - | 2355M | 0 | 270k| 270k| 270k| 0 | 0 | 0 | 0 | 2.821992e+06 | 1.634490e+08 |5691.97%| unknown
507.41/509.40 o 8610628
507.41/509.40 c r 509s| 1 | 0 |223905 | - |shifting| 0 | 270k| 270k| 270k| 0 | 0 | 0 | 0 | 2.821992e+06 | 8.610628e+06 | 205.13%| unknown
709.77/712.43 c 712s| 1 | 0 |225802 | - | 2759M | 0 | 270k| 270k| 270k| 3 | 1 | 0 | 0 | 2.823552e+06 | 8.610628e+06 | 204.96%| unknown
726.10/728.85 o 8559902
726.10/728.85 c r 729s| 1 | 0 |225802 | - |shifting| 0 | 270k| 270k| 270k| 3 | 1 | 0 | 0 | 2.823552e+06 | 8.559902e+06 | 203.16%| unknown
887.68/890.91 c 891s| 1 | 0 |226661 | - | 2892M | 0 | 270k| 270k| 270k| 5 | 2 | 0 | 0 | 2.824083e+06 | 8.559902e+06 | 203.10%| unknown
1119.48/1123.55 c 1124s| 1 | 0 |229349 | - | 3086M | 0 | 270k| 270k| 270k| 8 | 3 | 0 | 0 | 2.825210e+06 | 8.559902e+06 | 202.98%| unknown
1307.46/1312.11 c 1312s| 1 | 0 |231509 | - | 3187M | 0 | 270k| 270k| 270k| 10 | 4 | 0 | 0 | 2.827000e+06 | 8.559902e+06 | 202.79%| unknown
1504.69/1510.03 c 1510s| 1 | 0 |234478 | - | 3309M | 0 | 270k| 270k| 270k| 13 | 5 | 0 | 0 | 2.828102e+06 | 8.559902e+06 | 202.67%| unknown
1754.41/1760.66 c 1761s| 1 | 0 |238127 | - | 3479M | 0 | 270k| 270k| 270k| 16 | 6 | 0 | 0 | 2.828971e+06 | 8.559902e+06 | 202.58%| unknown
1950.85/1957.73 c 1958s| 1 | 0 |239006 | - | 3509M | 0 | 270k| 270k| 270k| 18 | 7 | 0 | 0 | 2.829174e+06 | 8.559902e+06 | 202.56%| unknown
2143.20/2150.76 c 2151s| 1 | 0 |240571 | - | 3538M | 0 | 270k| 270k| 270k| 20 | 8 | 0 | 0 | 2.829494e+06 | 8.559902e+06 | 202.52%| unknown
2338.97/2347.28 c 2347s| 1 | 0 |241996 | - | 3565M | 0 | 270k| 270k| 270k| 22 | 9 | 0 | 0 | 2.829782e+06 | 8.559902e+06 | 202.49%| unknown
2521.97/2530.96 c 2531s| 1 | 0 |242850 | - | 3594M | 0 | 270k| 270k| 270k| 24 | 10 | 0 | 0 | 2.829932e+06 | 8.559902e+06 | 202.48%| unknown
2640.02/2649.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2640.02/2649.35 c 2649s| 1 | 0 |244387 | - | 3621M | 0 | 270k| 270k| 270k| 26 | 11 | 0 | 0 | 2.830096e+06 | 8.559902e+06 | 202.46%| unknown
2752.07/2761.68 c 2762s| 1 | 0 |245562 | - | 3648M | 0 | 270k| 270k| 270k| 29 | 12 | 0 | 0 | 2.830318e+06 | 8.559902e+06 | 202.44%| unknown
2865.35/2875.13 c 2875s| 1 | 0 |247038 | - | 3676M | 0 | 270k| 270k| 270k| 31 | 13 | 0 | 0 | 2.830661e+06 | 8.559902e+06 | 202.40%| unknown
2989.78/2999.89 c 3000s| 1 | 0 |250076 | - | 3705M | 0 | 270k| 270k| 270k| 33 | 14 | 0 | 0 | 2.831045e+06 | 8.559902e+06 | 202.36%| unknown
3101.84/3112.13 c 3112s| 1 | 0 |251302 | - | 3734M | 0 | 270k| 270k| 270k| 36 | 15 | 0 | 0 | 2.831443e+06 | 8.559902e+06 | 202.32%| unknown
3204.92/3215.47 c 3215s| 1 | 0 |251731 | - | 3762M | 0 | 270k| 270k| 270k| 38 | 16 | 1 | 0 | 2.831526e+06 | 8.559902e+06 | 202.31%| unknown
3315.30/3326.06 c 3326s| 1 | 0 |252718 | - | 3791M | 0 | 270k| 270k| 270k| 39 | 17 | 1 | 0 | 2.831615e+06 | 8.559902e+06 | 202.30%| unknown
3424.87/3435.83 c 3436s| 1 | 0 |253535 | - | 3819M | 0 | 270k| 270k| 270k| 41 | 18 | 1 | 0 | 2.831810e+06 | 8.559902e+06 | 202.28%| unknown
3532.14/3543.33 c 3543s| 1 | 0 |254088 | - | 3845M | 0 | 270k| 270k| 270k| 45 | 19 | 1 | 0 | 2.831951e+06 | 8.559902e+06 | 202.26%| 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: 63931 MiB (39216 MiB free)
memory of node 1: 64510 MiB (49450 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456492-1721720428/watcher-4456492-1721720428 -o /tmp/evaluation-result-4456492-1721720428/solver-4456492-1721720428 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87306 --watchdog 3760 pbscip -f HOME/instance-4456492-1721720428.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=89457, runsolver pid=89454
Current StackSize limit: 8192 KiB
[startup+0.105845 s]*
/proc/loadavg: 4.17 4.17 3.99 5/260 89458
/proc/meminfo: memFree=90701460/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=148448 memory=107320 CPUtime=0.1 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 23880 0 0 0 8 2 0 0 20 0 1 0 8572365 152010752 26830 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 37112 26830 3271 3540 0 25369 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 148448 KiB
Current children cumulated memory: 107320 KiB
[startup+0.205925 s]*
/proc/loadavg: 4.17 4.17 3.99 5/260 89458
/proc/meminfo: memFree=90664332/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=186476 memory=145152 CPUtime=0.2 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 33353 0 0 0 17 3 0 0 20 0 1 0 8572365 190951424 36288 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 46619 36288 3271 3540 0 34876 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 186476 KiB
Current children cumulated memory: 145152 KiB
[startup+0.305877 s]*
/proc/loadavg: 4.17 4.17 3.99 5/260 89458
/proc/meminfo: memFree=90627904/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=222424 memory=181088 CPUtime=0.3 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 42334 0 0 0 25 5 0 0 20 0 1 0 8572365 227762176 45272 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 55606 45272 3271 3540 0 43863 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 222424 KiB
Current children cumulated memory: 181088 KiB
[startup+0.700247 s]
/proc/loadavg: 4.17 4.17 3.99 5/260 89458
/proc/meminfo: memFree=90553172/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=365908 memory=324496 CPUtime=0.68 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 78143 0 0 0 59 9 0 0 20 0 1 0 8572365 374689792 81124 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 91477 81124 3271 3540 0 79734 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 365908 KiB
Current children cumulated memory: 324496 KiB
[startup+1.50023 s]
/proc/loadavg: 4.17 4.17 3.99 5/260 89458
/proc/meminfo: memFree=90374804/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=812348 memory=770360 CPUtime=1.48 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 189580 0 0 0 122 26 0 0 20 0 1 0 8572365 831844352 192590 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 203087 192590 3591 3540 0 191344 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 812348 KiB
Current children cumulated memory: 770360 KiB
[startup+3.1058 s]
/proc/loadavg: 4.17 4.17 3.99 5/260 89458
/proc/meminfo: memFree=89449616/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=1446492 memory=1394352 CPUtime=3.08 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 343545 0 0 0 259 49 0 0 20 0 1 0 8572365 1481207808 348588 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 361623 348588 3623 3540 0 349880 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1446492 KiB
Current children cumulated memory: 1394352 KiB
[startup+6.30022 s]
/proc/loadavg: 4.16 4.17 3.99 5/260 89460
/proc/meminfo: memFree=89078296/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=1804888 memory=1727376 CPUtime=6.26 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 419913 0 0 0 563 63 0 0 20 0 1 0 8572365 1848205312 431844 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 451222 431844 3687 3540 0 439479 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1804888 KiB
Current children cumulated memory: 1727376 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.18 4.00 5/260 89460
/proc/meminfo: memFree=89045456/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=1983104 memory=1760892 CPUtime=12.64 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 426204 0 0 0 1198 66 0 0 20 0 1 0 8572365 2030698496 440223 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 495776 440223 3687 3540 0 484033 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1983104 KiB
Current children cumulated memory: 1760892 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.17 4.00 5/260 89463
/proc/meminfo: memFree=88583600/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=2416888 memory=2220576 CPUtime=25.38 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 526105 0 0 0 2449 89 0 0 20 0 1 0 8572365 2474893312 555144 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 604222 555144 3767 3540 0 592479 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 2416888 KiB
Current children cumulated memory: 2220576 KiB
[startup+51.1059 s]
/proc/loadavg: 4.11 4.16 4.00 5/260 89468
/proc/meminfo: memFree=88311160/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=2707532 memory=2488416 CPUtime=50.89 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 584014 0 0 0 4989 100 0 0 20 0 1 0 8572365 2772512768 622104 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 676883 622104 3879 3540 0 665140 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 2707532 KiB
Current children cumulated memory: 2488416 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.01 5/259 89476
/proc/meminfo: memFree=88240956/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=2758908 memory=2536932 CPUtime=101.88 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 589980 0 0 0 10084 104 0 0 20 0 1 0 8572365 2825121792 634233 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 689727 634233 3879 3540 0 677984 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 2758908 KiB
Current children cumulated memory: 2536932 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.16 4.01 5/259 89487
/proc/meminfo: memFree=88204764/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=2778928 memory=2563112 CPUtime=161.64 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 630652 0 0 0 16023 141 0 0 20 0 1 0 8572365 2845622272 640778 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 694732 640778 3879 3540 0 682989 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 2778928 KiB
Current children cumulated memory: 2563112 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.01 5/257 89497
/proc/meminfo: memFree=88185304/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=2780012 memory=2564788 CPUtime=221.41 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 665529 0 0 0 21965 176 0 0 20 0 1 0 8572365 2846732288 641197 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 695003 641197 3879 3540 0 683260 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 2780012 KiB
Current children cumulated memory: 2564788 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.01 5/255 89509
/proc/meminfo: memFree=88012656/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=2789848 memory=2565132 CPUtime=281.18 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 666399 0 0 0 27940 178 0 0 20 0 1 0 8572365 2856804352 641283 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 697462 641283 3879 3540 0 685719 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 2789848 KiB
Current children cumulated memory: 2565132 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.01 5/255 89519
/proc/meminfo: memFree=88006576/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=2789848 memory=2565456 CPUtime=340.95 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 666652 0 0 0 33915 180 0 0 20 0 1 0 8572365 2856804352 641364 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 697462 641364 3879 3540 0 685719 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 2789848 KiB
Current children cumulated memory: 2565456 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.01 5/255 89529
/proc/meminfo: memFree=87955060/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=2789848 memory=2565520 CPUtime=400.72 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 666835 0 0 0 39890 182 0 0 20 0 1 0 8572365 2856804352 641380 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 697462 641380 3879 3540 0 685719 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 2789848 KiB
Current children cumulated memory: 2565520 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.02 5/255 89540
/proc/meminfo: memFree=87948644/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=2789848 memory=2565620 CPUtime=460.5 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 667012 0 0 0 45866 184 0 0 20 0 1 0 8572365 2856804352 641405 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 697462 641405 3879 3540 0 685719 0
Current children cumulated CPU time: 460.5 s
################
# More data... #
################
Current children cumulated memory: 3606776 KiB
[startup+2922.3 s]
/proc/loadavg: 1.16 1.95 3.00 2/236 91254
/proc/meminfo: memFree=107504884/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4210760 memory=3623372 CPUtime=2912.44 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 884953 0 0 0 290937 307 0 0 20 0 1 0 8572365 4311818240 905843 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1052690 905843 3911 3540 0 1040947 0
Current children cumulated CPU time: 2912.44 s
Current children cumulated vsize: 4210760 KiB
Current children cumulated memory: 3623372 KiB
[startup+2982.3 s]
/proc/loadavg: 1.10 1.79 2.88 2/236 91321
/proc/meminfo: memFree=107502132/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4236348 memory=3624784 CPUtime=2972.33 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 887195 0 0 0 296924 309 0 0 20 0 1 0 8572365 4338020352 906196 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1059087 906196 3911 3540 0 1047344 0
Current children cumulated CPU time: 2972.33 s
Current children cumulated vsize: 4236348 KiB
Current children cumulated memory: 3624784 KiB
[startup+3042.3 s]
/proc/loadavg: 1.13 1.68 2.77 2/235 91333
/proc/meminfo: memFree=107501776/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4236356 memory=3624924 CPUtime=3032.17 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 889258 0 0 0 302907 310 0 0 20 0 1 0 8572365 4338028544 906231 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1059089 906231 3911 3540 0 1047346 0
Current children cumulated CPU time: 3032.17 s
Current children cumulated vsize: 4236356 KiB
Current children cumulated memory: 3624924 KiB
[startup+3102.3 s]
/proc/loadavg: 1.13 1.58 2.66 2/235 91343
/proc/meminfo: memFree=107500920/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4236356 memory=3624924 CPUtime=3092.07 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 889791 0 0 0 308896 311 0 0 20 0 1 0 8572365 4338028544 906231 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1059089 906231 3911 3540 0 1047346 0
Current children cumulated CPU time: 3092.07 s
Current children cumulated vsize: 4236356 KiB
Current children cumulated memory: 3624924 KiB
[startup+3162.3 s]
/proc/loadavg: 1.16 1.50 2.57 2/235 91355
/proc/meminfo: memFree=107499568/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4261968 memory=3625588 CPUtime=3151.92 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 894957 0 0 0 314879 313 0 0 20 0 1 0 8572365 4364255232 906397 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1065492 906397 3911 3540 0 1053749 0
Current children cumulated CPU time: 3151.92 s
Current children cumulated vsize: 4261968 KiB
Current children cumulated memory: 3625588 KiB
[startup+3222.3 s]
/proc/loadavg: 1.11 1.43 2.47 2/234 91365
/proc/meminfo: memFree=107459372/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4320416 memory=3664904 CPUtime=3211.8 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 899137 0 0 0 320865 315 0 0 20 0 1 0 8572365 4424105984 916226 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1080104 916226 3911 3540 0 1068361 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 4320416 KiB
Current children cumulated memory: 3664904 KiB
[startup+3282.3 s]
/proc/loadavg: 1.16 1.38 2.39 2/234 91375
/proc/meminfo: memFree=107457932/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4320416 memory=3665648 CPUtime=3271.68 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 899737 0 0 0 326852 316 0 0 20 0 1 0 8572365 4424105984 916412 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1080104 916412 3911 3540 0 1068361 0
Current children cumulated CPU time: 3271.68 s
Current children cumulated vsize: 4320416 KiB
Current children cumulated memory: 3665648 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.32 2.30 2/233 91387
/proc/meminfo: memFree=107455892/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4345788 memory=3667096 CPUtime=3331.54 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 900574 0 0 0 332838 316 0 0 20 0 1 0 8572365 4450086912 916774 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1086447 916774 3911 3540 0 1074704 0
Current children cumulated CPU time: 3331.54 s
Current children cumulated vsize: 4345788 KiB
Current children cumulated memory: 3667096 KiB
[startup+3402.3 s]
/proc/loadavg: 1.15 1.29 2.23 2/233 91397
/proc/meminfo: memFree=107447844/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4345788 memory=3674348 CPUtime=3391.44 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 900906 0 0 0 338827 317 0 0 20 0 1 0 8572365 4450086912 918587 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1086447 918587 3911 3540 0 1074704 0
Current children cumulated CPU time: 3391.44 s
Current children cumulated vsize: 4345788 KiB
Current children cumulated memory: 3674348 KiB
[startup+3462.3 s]
/proc/loadavg: 1.17 1.27 2.16 2/234 91409
/proc/meminfo: memFree=107445768/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4395164 memory=3675628 CPUtime=3451.29 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 905323 0 0 0 344809 320 0 0 20 0 1 0 8572365 4500647936 918907 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1098791 918907 3911 3540 0 1087048 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 4395164 KiB
Current children cumulated memory: 3675628 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.23 2.09 2/234 91419
/proc/meminfo: memFree=107444876/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4395164 memory=3675772 CPUtime=3511.19 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 905914 0 0 0 350798 321 0 0 20 0 1 0 8572365 4500647936 918943 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1098791 918943 3911 3540 0 1087048 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 4395164 KiB
Current children cumulated memory: 3675772 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.22 2.03 2/237 91435
/proc/meminfo: memFree=107441404/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4420788 memory=3678284 CPUtime=3571.06 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 908055 0 0 0 356783 323 0 0 20 0 1 0 8572365 4526886912 919571 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1105197 919571 3911 3540 0 1093454 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 4420788 KiB
Current children cumulated memory: 3678284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 1.12 1.21 2.00 2/237 91439
/proc/meminfo: memFree=107440160/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4420788 memory=3679188 CPUtime=3600.01 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 908343 0 0 0 359678 323 0 0 20 0 1 0 8572365 4526886912 919797 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1105197 919797 3911 3540 0 1093454 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4420788 KiB
Current children cumulated memory: 3679188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.35 s]
# the end of solver process 89457 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3596.78 s, system=3.28508 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 1.12 1.21 2.00 2/237 91439
/proc/meminfo: memFree=107440160/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=4420788 memory=3679188 CPUtime=3600.01 cores=4,6
/proc/89457/stat : 89457 (pbscip) R 89454 89457 87295 0 -1 4194304 908343 0 0 0 359678 323 0 0 20 0 1 0 8572365 4526886912 919797 134679101440 4194304 18693293 140733421145312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56123392 140733421151235 140733421151334 140733421151334 140733421158350 0
/proc/89457/statm: 1105197 919797 3911 3540 0 1093454 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4420788 KiB
Current children cumulated memory: 3679188 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.35
CPU time (s): 3600.07
CPU user time (s): 3596.78
CPU system time (s): 3.28508
CPU usage (%): 99.6875
Max. virtual memory (cumulated for all children) (KiB): 4420788
Max. memory (cumulated for all children) (KiB): 3679188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.78
system time used= 3.28508
maximum resident set size= 3699072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 908343
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= 23
involuntary context switches= 4704
# summary of solver processes directly reported to runsolver:
# pid: 89457
# total CPU time (s): 3600.07
# total CPU user time (s): 3596.78
# total CPU system time (s): 3.28508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71009 second user time and 15.5977 second system time
The end
Begin job on nodeC031 at 2024-07-23 09:40:28 IDJOB=4456492 IDBENCH=144017 IDSOLVER=3038 FILE ID=nodeC031/4456492-1721720428 RUNJOBID= nodeC031-1721718373-87306 SLURM_JOB_ID= 7770400 Free space on /tmp= 889980 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-capmq1_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456492-1721720428/watcher-4456492-1721720428 -o /tmp/evaluation-result-4456492-1721720428/solver-4456492-1721720428 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87306 --watchdog 3760 pbscip -f HOME/instance-4456492-1721720428.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f2e6d50712d8e4dd21820824b9e97e2e RANDOM SEED=23351914 nodeC031.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 : 0xb00002a cpu MHz : 3673.179 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 invpcid_single pti ibrs ibpb stibp 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 : 7000.44 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 : 3688.447 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 invpcid_single pti ibrs ibpb stibp 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 : 7007.12 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 : 3628.498 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 invpcid_single pti ibrs ibpb stibp 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 : 7000.44 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 : 3600.589 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 invpcid_single pti ibrs ibpb stibp 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 : 7007.12 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 : 3660.743 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 invpcid_single pti ibrs ibpb stibp 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 : 7000.44 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 : 3688.464 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 invpcid_single pti ibrs ibpb stibp 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 : 7007.12 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 : 3657.420 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 invpcid_single pti ibrs ibpb stibp 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 : 7000.44 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 : 3600.278 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 invpcid_single pti ibrs ibpb stibp 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 : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 90795328 kB MemAvailable: 109533008 kB Buffers: 142648 kB Cached: 19351456 kB SwapCached: 0 kB Active: 993492 kB Inactive: 38998652 kB Active(anon): 1528 kB Inactive(anon): 20534224 kB Active(file): 991964 kB Inactive(file): 18464428 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 25048 kB Writeback: 20 kB AnonPages: 20496736 kB Mapped: 133412 kB Shmem: 37720 kB KReclaimable: 241868 kB Slab: 345252 kB SReclaimable: 241868 kB SUnreclaim: 103384 kB KernelStack: 4192 kB PageTables: 49904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 22094492 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18880 kB HardwareCorrupted: 0 kB AnonHugePages: 6850560 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: 279252 kB DirectMap2M: 23611392 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890060 MiB End job on nodeC031 at 2024-07-23 10:40:40