| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| IPBHS-SCIP 2024-07-09 | ? (TO) | 3600.1 | 3612.3 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=24-t=2.opb |
| MD5SUM | 585ad78207efe7b44b7f003a9b0d83f6 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| 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 | 924 |
| Total number of constraints | 152976 |
| Number of constraints which are clauses | 152952 |
| Number of constraints which are cardinality constraints (but not clauses) | 24 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 25 |
| Number of terms in the objective function | 24 |
| 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 | 24 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
665.69/668.06 c initialize IPBHS solver 665.69/668.06 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0 665.69/668.06 c optimizer = "scip" 665.69/668.06 c pbsolver = "roundingsat" 665.69/668.06 c load symmetries from file "" 665.69/668.06 c set time limit for symmetry computation to 100 seconds. 665.69/668.06 c set interchangeable summation variable limit to 3 665.69/668.06 c set abs symmetric core budget per WCE-iteration to 100 665.69/668.06 c set rel symmetric core budget per WCE-iteration to 0 665.69/668.06 c set lit symmetric core budget per WCE-iteration to 0 665.69/668.06 c set sym generation to 's' 665.69/668.06 c set abstraction set creation to 10 iterations without LB change 665.69/668.06 c set abstraction set inputs to 0 665.69/668.06 c set abstraction set cluster min size to 2 665.69/668.06 c set abstraction set cluster max size to 100000000 665.69/668.06 c set abstraction set cluster activation limit to 2 665.69/668.06 c enable abstraction set require equal cost 665.69/668.06 c set abstraction set assumptions to 0 665.69/668.06 c set abstraction set constraint type to 0 665.69/668.06 c set abstract core extraction strategy to b 665.69/668.06 c set core extraction strategy to 2 665.69/668.06 c set core extraction shuffles 10 665.69/668.06 c set cores per iteration to 5 665.69/668.06 c set optimizer bound usage strategy to 2 665.69/668.06 c set optimizer max non-optimal iterations to 1000 665.69/668.06 c set small core cardinality limit to 2 665.69/668.06 c set max coef in cores to 1000000000 665.69/668.06 c set SIS iterations to 5 665.69/668.06 c set SIS budget abs to 1000 665.69/668.06 c set SIS budget rel to 0.05 665.69/668.06 c limit for coefficient in constraints and objective to 9223372036854775807 665.69/668.06 c will solve HOME/instance-4449616-1721399502.opb 665.69/668.06 c [0.02] solve iteration 1, LB=0, UB=25 665.69/668.06 c [17.17] solve iteration 2, LB=0, UB=22 665.69/668.06 c [41.3] solve iteration 3, LB=1, UB=22 665.69/668.06 c [79.98] solve iteration 4, LB=1, UB=22 665.69/668.06 c [94.8] solve iteration 5, LB=1, UB=22 665.69/668.06 c [166.56] solve iteration 6, LB=1, UB=22 665.69/668.06 c [181.68] solve iteration 7, LB=1, UB=22 665.69/668.06 c [204.48] solve iteration 8, LB=1, UB=22 665.69/668.06 c [217.13] solve iteration 9, LB=1, UB=22 665.69/668.06 c [231.74] solve iteration 10, LB=1, UB=22 665.69/668.06 c [268.67] solve iteration 11, LB=1, UB=22 665.69/668.06 c [279.5] solve iteration 12, LB=1, UB=22 665.69/668.06 c [282.94] solve iteration 13, LB=1, UB=22 665.69/668.06 c [284.23] solve iteration 14, LB=1, UB=22 665.69/668.06 c [284.82] solve iteration 15, LB=1, UB=22 665.69/668.06 c [306.59] solve iteration 16, LB=1, UB=22 665.69/668.06 c [358.67] solve iteration 17, LB=1, UB=22 665.69/668.06 c [380.9] solve iteration 18, LB=1, UB=22 665.69/668.06 c [396.36] solve iteration 19, LB=1, UB=22 665.69/668.06 c [400.29] solve iteration 20, LB=1, UB=22 665.69/668.06 c [459.02] solve iteration 21, LB=1, UB=22 665.69/668.06 c [462.02] solve iteration 22, LB=1, UB=22 665.69/668.06 c [463.17] solve iteration 23, LB=1, UB=22 665.69/668.06 c [464.08] solve iteration 24, LB=1, UB=22 665.69/668.06 c [481.1] solve iteration 25, LB=1, UB=22 665.69/668.06 c [541.64] solve iteration 26, LB=1, UB=22 665.69/668.06 c [543.26] solve iteration 27, LB=2, UB=22 665.69/668.06 c [546.18] solve iteration 28, LB=2, UB=22 665.69/668.06 c [550.08] solve iteration 29, LB=2, UB=22 665.69/668.06 c [551.21] solve iteration 30, LB=2, UB=22 665.69/668.06 c [628.12] solve iteration 31, LB=2, UB=22 665.69/668.06 c [630.24] solve iteration 32, LB=2, UB=22 665.69/668.06 c [630.42] solve iteration 33, LB=2, UB=22 665.69/668.06 c [630.68] solve iteration 34, LB=2, UB=22 665.88/668.22 c [630.84] solve iteration 35, LB=2, UB=22 753.86/756.51 c [713.01] solve iteration 36, LB=2, UB=22 753.86/756.51 c [714.39] solve iteration 37, LB=2, UB=22 1484.87/1490.07 c [714.64] solve iteration 38, LB=2, UB=22 1484.87/1490.07 c [714.71] solve iteration 39, LB=3, UB=22 1484.87/1490.07 c [715.63] solve iteration 40, LB=3, UB=22 1484.87/1490.07 c [716.5] solve iteration 41, LB=3, UB=22 1484.87/1490.07 c [716.61] solve iteration 42, LB=3, UB=22 1484.87/1490.07 c [716.95] solve iteration 43, LB=3, UB=22 1484.87/1490.07 c [802] solve iteration 44, LB=3, UB=22 1484.87/1490.07 c [802.62] solve iteration 45, LB=3, UB=22 1484.87/1490.07 c [803.21] solve iteration 46, LB=3, UB=22 1484.87/1490.07 c [803.3] solve iteration 47, LB=3, UB=22 1484.87/1490.07 c [803.41] solve iteration 48, LB=3, UB=22 1484.87/1490.07 c [894.13] solve iteration 49, LB=3, UB=22 1484.87/1490.07 c [894.84] solve iteration 50, LB=3, UB=22 1484.87/1490.07 c [894.97] solve iteration 51, LB=3, UB=22 1484.87/1490.07 c [895.16] solve iteration 52, LB=3, UB=22 1484.87/1490.07 c [895.24] solve iteration 53, LB=3, UB=22 1484.87/1490.07 c [958.93] solve iteration 54, LB=3, UB=22 1484.87/1490.07 c [959.59] solve iteration 55, LB=3, UB=22 1484.87/1490.07 c [962.81] solve iteration 56, LB=3, UB=22 1484.87/1490.07 c [963.03] solve iteration 57, LB=3, UB=22 1484.87/1490.07 c [963.09] solve iteration 58, LB=3, UB=22 1484.87/1490.07 c [1021.22] solve iteration 59, LB=3, UB=22 1484.87/1490.07 c [1023.4] solve iteration 60, LB=3, UB=22 1484.87/1490.07 c [1024.3] solve iteration 61, LB=3, UB=22 1484.87/1490.07 c [1030.81] solve iteration 62, LB=3, UB=22 1484.87/1490.07 c [1031.19] solve iteration 63, LB=3, UB=22 1484.87/1490.07 c [1137.65] solve iteration 64, LB=3, UB=22 1484.87/1490.07 c [1140.8] solve iteration 65, LB=3, UB=22 1484.87/1490.07 c [1141.05] solve iteration 66, LB=3, UB=22 1484.87/1490.07 c [1141.35] solve iteration 67, LB=3, UB=22 1484.87/1490.07 c [1141.5] solve iteration 68, LB=3, UB=22 1484.87/1490.07 c [1278.89] solve iteration 69, LB=3, UB=22 1484.87/1490.07 c [1279.76] solve iteration 70, LB=3, UB=22 1484.87/1490.07 c [1279.91] solve iteration 71, LB=3, UB=22 1484.87/1490.07 c [1280.88] solve iteration 72, LB=3, UB=22 1484.87/1490.07 c [1281] solve iteration 73, LB=3, UB=22 1484.87/1490.07 c [1412.69] solve iteration 74, LB=3, UB=22 1484.87/1490.07 c [1413.38] solve iteration 75, LB=3, UB=22 1484.87/1490.07 c [1413.51] solve iteration 76, LB=3, UB=22 1484.87/1490.07 c [1413.58] solve iteration 77, LB=3, UB=22 1484.87/1490.07 c [1413.63] solve iteration 78, LB=3, UB=22 1639.33/1645.01 c [1561.57] solve iteration 79, LB=3, UB=22 1640.11/1645.84 c [1562.15] solve iteration 80, LB=3, UB=22 1640.11/1645.84 c [1562.38] solve iteration 81, LB=3, UB=22 1640.51/1646.27 c [1562.67] solve iteration 82, LB=3, UB=22 1640.51/1646.27 c [1562.79] solve iteration 83, LB=3, UB=22 1787.70/1793.91 c [1703.35] solve iteration 84, LB=3, UB=22 1790.18/1796.45 c [1705.22] solve iteration 85, LB=3, UB=22 1790.18/1796.45 c [1705.79] solve iteration 86, LB=3, UB=22 1790.79/1797.09 c [1706.1] solve iteration 87, LB=3, UB=22 1790.79/1797.09 c [1706.4] solve iteration 88, LB=3, UB=22 1980.46/1987.36 c [1888.28] solve iteration 89, LB=3, UB=22 1981.06/1987.92 c [1888.82] solve iteration 90, LB=3, UB=22 1981.16/1988.10 c [1889] solve iteration 91, LB=3, UB=22 1981.26/1988.18 c [1889.08] solve iteration 92, LB=3, UB=22 1982.76/1989.65 c [1890.51] solve iteration 93, LB=3, UB=22 2198.66/2206.28 c [2097.1] solve iteration 94, LB=3, UB=22 2199.26/2206.89 c [2097.69] solve iteration 95, LB=3, UB=22 2199.56/2207.17 c [2097.96] solve iteration 96, LB=3, UB=22 2199.96/2207.53 c [2098.32] solve iteration 97, LB=3, UB=22 2200.85/2208.47 c [2099.23] solve iteration 98, LB=3, UB=22 2403.61/2411.80 c [2298.47] solve iteration 99, LB=3, UB=22 2404.00/2412.21 c [2298.87] solve iteration 100, LB=3, UB=22 2404.10/2412.37 c [2299.03] solve iteration 101, LB=3, UB=22 2404.30/2412.54 c [2299.19] solve iteration 102, LB=3, UB=22 2404.39/2412.67 c [2299.32] solve iteration 103, LB=3, UB=22 2653.10/2662.12 c [2538.32] solve iteration 104, LB=3, UB=22 2653.80/2662.80 c [2538.98] solve iteration 105, LB=3, UB=22 2653.89/2663.00 c [2539.18] solve iteration 106, LB=3, UB=22 2654.10/2663.12 c [2539.3] solve iteration 107, LB=3, UB=22 2654.19/2663.26 c [2539.43] solve iteration 108, LB=3, UB=22 2978.03/2988.18 c [2852.68] solve iteration 109, LB=3, UB=22 2978.72/2988.84 c [2853.32] solve iteration 110, LB=3, UB=22 2979.03/2989.11 c [2853.58] solve iteration 111, LB=3, UB=22 2979.12/2989.29 c [2853.76] solve iteration 112, LB=3, UB=22 2979.32/2989.45 c [2853.92] solve iteration 113, LB=3, UB=22 3268.20/3279.33 c [3133.77] solve iteration 114, LB=3, UB=22 3270.79/3281.99 c [3136.36] solve iteration 115, LB=3, UB=22 3271.39/3282.59 c [3136.94] solve iteration 116, LB=3, UB=22 3271.69/3282.83 c [3137.18] solve iteration 117, LB=3, UB=22 3271.89/3283.02 c [3137.36] solve iteration 118, LB=3, UB=22 3577.06/3589.28 c [3432.48] solve iteration 119, LB=3, UB=22 3577.56/3589.71 c [3432.9] solve iteration 120, LB=3, UB=22 3577.97/3590.13 c [3433.32] solve iteration 121, LB=3, UB=22 3578.26/3590.40 c [3433.59] solve iteration 122, LB=3, UB=22 3578.45/3590.65 c [3433.82] solve iteration 123, LB=3, UB=22
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 (61518 MiB free)
memory of node 1: 64510 MiB (62492 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449616-1721399502/watcher-4449616-1721399502 -o /tmp/evaluation-result-4449616-1721399502/solver-4449616-1721399502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721399515-1039300 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4449616-1721399502.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=1039353, runsolver pid=1039350
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.08 0.09 0.09 4/257 1039364
/proc/meminfo: memFree=126971668/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=40684 memory=16780 CPUtime=0.1 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 3795 0 0 0 10 0 0 0 20 0 1 0 192112114 41660416 4195 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 10171 4195 1023 2900 0 6685 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40684 KiB
Current children cumulated memory: 16780 KiB
[startup+0.205295 s]*
/proc/loadavg: 0.08 0.09 0.09 4/254 1039372
/proc/meminfo: memFree=126951916/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=50220 memory=26428 CPUtime=0.2 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 5634 0 0 0 17 3 0 0 20 0 1 0 192112114 51425280 6607 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 12555 6607 1135 2900 0 9069 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50220 KiB
Current children cumulated memory: 26428 KiB
[startup+0.305375 s]*
/proc/loadavg: 0.08 0.09 0.09 4/254 1039372
/proc/meminfo: memFree=126940768/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=55024 memory=31552 CPUtime=0.3 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 6342 0 0 0 22 8 0 0 20 0 1 0 192112114 56344576 7888 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 13756 7888 1135 2900 0 10270 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55024 KiB
Current children cumulated memory: 31552 KiB
[startup+0.700175 s]
/proc/loadavg: 0.08 0.09 0.09 4/256 1039378
/proc/meminfo: memFree=126928736/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=69076 memory=49044 CPUtime=0.68 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 9264 0 0 0 54 14 0 0 20 0 1 0 192112114 70733824 12261 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 17269 12261 2703 2900 0 13783 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69076 KiB
Current children cumulated memory: 49044 KiB
[startup+1.50017 s]
/proc/loadavg: 0.08 0.09 0.09 5/259 1039410
/proc/meminfo: memFree=126913876/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=76180 memory=58216 CPUtime=1.48 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 11076 0 0 0 128 20 0 0 20 0 1 0 192112114 78008320 14554 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 19045 14554 2703 2900 0 15559 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76180 KiB
Current children cumulated memory: 58216 KiB
[startup+3.10566 s]
/proc/loadavg: 0.08 0.09 0.09 5/259 1039410
/proc/meminfo: memFree=126896260/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=76180 memory=60528 CPUtime=3.08 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 11124 0 0 0 276 32 0 0 20 0 1 0 192112114 78008320 15132 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 19045 15132 2703 2900 0 15559 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 76180 KiB
Current children cumulated memory: 60528 KiB
[startup+6.30018 s]
/proc/loadavg: 0.47 0.17 0.12 5/259 1039410
/proc/meminfo: memFree=126890144/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=77764 memory=62096 CPUtime=6.27 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 11538 0 0 0 574 53 0 0 20 0 1 0 192112114 79630336 15524 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 19441 15524 2703 2900 0 15955 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 77764 KiB
Current children cumulated memory: 62096 KiB
[startup+12.7002 s]
/proc/loadavg: 0.91 0.27 0.15 5/259 1039412
/proc/meminfo: memFree=126881056/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=85604 memory=63064 CPUtime=12.65 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 11765 0 0 0 1164 101 0 0 20 0 1 0 192112114 87658496 15766 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 21401 15766 2703 2900 0 17915 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85604 KiB
Current children cumulated memory: 63064 KiB
[startup+25.5002 s]
/proc/loadavg: 1.67 0.47 0.21 5/259 1039413
/proc/meminfo: memFree=126853720/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=91676 memory=75524 CPUtime=25.39 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 12822 0 0 0 2356 183 0 0 20 0 1 0 192112114 93876224 18881 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 22919 18881 2719 2900 0 19433 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 91676 KiB
Current children cumulated memory: 75524 KiB
[startup+51.1055 s]
/proc/loadavg: 2.46 0.76 0.32 5/259 1039418
/proc/meminfo: memFree=126822892/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=107880 memory=84052 CPUtime=50.9 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 14430 0 0 0 4738 352 0 0 20 0 1 0 192112114 110469120 21013 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 26970 21013 2719 2900 0 23484 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 107880 KiB
Current children cumulated memory: 84052 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 1.27 0.52 5/259 1039427
/proc/meminfo: memFree=126765748/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=118588 memory=98800 CPUtime=101.91 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 18819 0 0 0 9537 654 0 0 20 0 1 0 192112114 121434112 24700 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 29647 24700 2719 2900 0 26161 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 118588 KiB
Current children cumulated memory: 98800 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.80 0.75 5/258 1039439
/proc/meminfo: memFree=126691656/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=152812 memory=128348 CPUtime=161.68 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 26177 0 0 0 15140 1028 0 0 20 0 1 0 192112114 156479488 32087 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 38203 32087 2719 2900 0 34717 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 152812 KiB
Current children cumulated memory: 128348 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.22 0.96 5/255 1039449
/proc/meminfo: memFree=126649616/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=177036 memory=147020 CPUtime=221.46 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 31235 0 0 0 20745 1401 0 0 20 0 1 0 192112114 181284864 36755 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 44259 36755 2719 2900 0 40773 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 177036 KiB
Current children cumulated memory: 147020 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.58 1.16 5/255 1039459
/proc/meminfo: memFree=126607144/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=203556 memory=177324 CPUtime=281.26 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 40516 0 0 0 26373 1753 0 0 20 0 1 0 192112114 208441344 44331 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 50889 44331 2719 2900 0 47403 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 203556 KiB
Current children cumulated memory: 177324 KiB
[startup+342.3 s]
/proc/loadavg: 4.37 2.94 1.38 5/255 1039471
/proc/meminfo: memFree=126541468/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=268872 memory=215328 CPUtime=341.06 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 56634 0 0 0 32148 1958 0 0 20 0 1 0 192112114 275324928 53832 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 67218 53832 2719 2900 0 63732 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 268872 KiB
Current children cumulated memory: 215328 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 3.17 1.56 5/255 1039481
/proc/meminfo: memFree=126525228/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=277716 memory=224200 CPUtime=400.86 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 59177 0 0 0 37893 2193 0 0 20 0 1 0 192112114 284381184 56050 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 69429 56050 2719 2900 0 65943 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 277716 KiB
Current children cumulated memory: 224200 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.34 1.72 5/255 1039491
/proc/meminfo: memFree=126493344/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=292696 memory=239088 CPUtime=460.67 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 60411 0 0 0 43545 2522 0 0 20 0 1 0 192112114 299720704 59772 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 73174 59772 2719 2900 0 69688 0
################
# More data... #
################
Current children cumulated memory: 598348 KiB
[startup+2922.3 s]
/proc/loadavg: 4.29 4.15 4.00 5/257 1040608
/proc/meminfo: memFree=125962932/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=702172 memory=598348 CPUtime=2912.46 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 230003 0 0 0 278971 12275 0 0 20 0 1 0 192112114 719024128 149587 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 175543 149587 2943 2900 0 172057 0
Current children cumulated CPU time: 2912.46 s
Current children cumulated vsize: 702172 KiB
Current children cumulated memory: 598348 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.14 4.00 5/257 1040619
/proc/meminfo: memFree=125953364/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=706528 memory=602688 CPUtime=2972.25 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 231333 0 0 0 284716 12509 0 0 20 0 1 0 192112114 723484672 150672 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 176632 150672 2943 2900 0 173146 0
Current children cumulated CPU time: 2972.25 s
Current children cumulated vsize: 706528 KiB
Current children cumulated memory: 602688 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.00 5/256 1040629
/proc/meminfo: memFree=125946748/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=706528 memory=602688 CPUtime=3032.03 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 231574 0 0 0 290585 12618 0 0 20 0 1 0 192112114 723484672 150672 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 176632 150672 2943 2900 0 173146 0
Current children cumulated CPU time: 3032.03 s
Current children cumulated vsize: 706528 KiB
Current children cumulated memory: 602688 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.00 5/256 1040640
/proc/meminfo: memFree=125939436/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=710356 memory=606580 CPUtime=3091.82 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 232676 0 0 0 296393 12789 0 0 20 0 1 0 192112114 727404544 151645 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 177589 151645 2943 2900 0 174103 0
Current children cumulated CPU time: 3091.82 s
Current children cumulated vsize: 710356 KiB
Current children cumulated memory: 606580 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.11 4.00 5/256 1040652
/proc/meminfo: memFree=125940244/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=710356 memory=606580 CPUtime=3151.61 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 232894 0 0 0 302150 13011 0 0 20 0 1 0 192112114 727404544 151645 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 177589 151645 2943 2900 0 174103 0
Current children cumulated CPU time: 3151.61 s
Current children cumulated vsize: 710356 KiB
Current children cumulated memory: 606580 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.00 5/255 1041045
/proc/meminfo: memFree=125933172/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=716692 memory=612896 CPUtime=3211.41 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 234703 0 0 0 307903 13238 0 0 20 0 1 0 192112114 733892608 153224 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 179173 153224 2943 2900 0 175687 0
Current children cumulated CPU time: 3211.41 s
Current children cumulated vsize: 716692 KiB
Current children cumulated memory: 612896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.01 5/255 1041055
/proc/meminfo: memFree=125931712/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=716692 memory=612896 CPUtime=3271.19 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 234935 0 0 0 313691 13428 0 0 20 0 1 0 192112114 733892608 153224 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 179173 153224 2943 2900 0 175687 0
Current children cumulated CPU time: 3271.19 s
Current children cumulated vsize: 716692 KiB
Current children cumulated memory: 612896 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.01 5/255 1041066
/proc/meminfo: memFree=125923804/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=722104 memory=618264 CPUtime=3330.98 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 236514 0 0 0 319451 13647 0 0 20 0 1 0 192112114 739434496 154566 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 180526 154566 2943 2900 0 177040 0
Current children cumulated CPU time: 3330.98 s
Current children cumulated vsize: 722104 KiB
Current children cumulated memory: 618264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.00 5/257 1041246
/proc/meminfo: memFree=125922240/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=722104 memory=618264 CPUtime=3390.77 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 236760 0 0 0 325313 13764 0 0 20 0 1 0 192112114 739434496 154566 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 180526 154566 2943 2900 0 177040 0
Current children cumulated CPU time: 3390.77 s
Current children cumulated vsize: 722104 KiB
Current children cumulated memory: 618264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/257 1041256
/proc/meminfo: memFree=125912952/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=726724 memory=622836 CPUtime=3450.56 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 238231 0 0 0 331057 13999 0 0 20 0 1 0 192112114 744165376 155709 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 181681 155709 2943 2900 0 178195 0
Current children cumulated CPU time: 3450.56 s
Current children cumulated vsize: 726724 KiB
Current children cumulated memory: 622836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/258 1041323
/proc/meminfo: memFree=125911132/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=726724 memory=622836 CPUtime=3510.37 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 238467 0 0 0 336830 14207 0 0 20 0 1 0 192112114 744165376 155709 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 181681 155709 2943 2900 0 178195 0
Current children cumulated CPU time: 3510.37 s
Current children cumulated vsize: 726724 KiB
Current children cumulated memory: 622836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.01 5/259 1041335
/proc/meminfo: memFree=125906304/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=730552 memory=626752 CPUtime=3570.19 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 240117 0 0 0 342603 14416 0 0 20 0 1 0 192112114 748085248 156688 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 182638 156688 2943 2900 0 179152 0
Current children cumulated CPU time: 3570.19 s
Current children cumulated vsize: 730552 KiB
Current children cumulated memory: 626752 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.04 4.08 4.01 5/259 1041385
/proc/meminfo: memFree=125962392/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=730552 memory=626752 CPUtime=3600.08 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 240326 0 0 0 345508 14500 0 0 20 0 1 0 192112114 748085248 156688 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 182638 156688 2943 2900 0 179152 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 730552 KiB
Current children cumulated memory: 626752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.3 s]
# the end of solver process 1039353 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3455.09 s, system=145.011 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.04 4.08 4.01 5/259 1041385
/proc/meminfo: memFree=125962392/131524600 swapFree=131071996/131071996
[pid=1039353] ppid=1039350 vsize=730552 memory=626752 CPUtime=3600.08 cores=0,2
/proc/1039353/stat : 1039353 (ipbhs_static_sc) R 1039350 1039353 1039290 0 -1 4194304 240326 0 0 0 345508 14500 0 0 20 0 1 0 192112114 748085248 156688 134679101440 4194304 16068861 140725642711264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 48271360 140725642720292 140725642720379 140725642720379 140725642727396 0
/proc/1039353/statm: 182638 156688 2943 2900 0 179152 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 730552 KiB
Current children cumulated memory: 626752 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3612.3
CPU time (s): 3600.1
CPU user time (s): 3455.09
CPU system time (s): 145.011
CPU usage (%): 99.6622
Max. virtual memory (cumulated for all children) (KiB): 777172
Max. memory (cumulated for all children) (KiB): 673328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3455.09
system time used= 145.011
maximum resident set size= 673328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240326
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= 120
involuntary context switches= 25199
# summary of solver processes directly reported to runsolver:
# pid: 1039353
# total CPU time (s): 3600.1
# total CPU user time (s): 3455.09
# total CPU system time (s): 145.011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64814 second user time and 16.0413 second system time
The end
Begin job on nodeC017 at 2024-07-19 16:31:55 IDJOB=4449616 IDBENCH=176087 IDSOLVER=3057 FILE ID=nodeC017/4449616-1721399502 RUNJOBID= nodeC017-1721399515-1039300 SLURM_JOB_ID= 7545429 Free space on /tmp= 890048 MiB SOLVER NAME= IPBHS-SCIP 2024-07-09 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=24-t=2.opb COMMAND LINE= ./ipbhs_static_scip BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449616-1721399502/watcher-4449616-1721399502 -o /tmp/evaluation-result-4449616-1721399502/solver-4449616-1721399502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721399515-1039300 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4449616-1721399502.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 585ad78207efe7b44b7f003a9b0d83f6 RANDOM SEED=2127392891 nodeC017.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 : 3600.075 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 : 6999.46 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 : 3544.871 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 : 7006.99 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 : 3657.495 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 : 6999.46 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 : 3570.436 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 : 7006.99 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 : 3657.364 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 : 6999.46 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 : 3543.500 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 : 7006.99 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.749 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 : 6999.46 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 : 3568.345 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 : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126994760 kB MemAvailable: 129710420 kB Buffers: 566224 kB Cached: 2973292 kB SwapCached: 0 kB Active: 1248368 kB Inactive: 2622448 kB Active(anon): 1440 kB Inactive(anon): 375764 kB Active(file): 1246928 kB Inactive(file): 2246684 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 221676 kB Writeback: 0 kB AnonPages: 331600 kB Mapped: 106536 kB Shmem: 45912 kB KReclaimable: 123388 kB Slab: 238416 kB SReclaimable: 123388 kB SUnreclaim: 115028 kB KernelStack: 3808 kB PageTables: 9680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 625880 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 70272 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 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: 287444 kB DirectMap2M: 40380416 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 889864 MiB End job on nodeC017 at 2024-07-19 17:32:08