| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| IPBHS-SCIP 2025-06-09 | ? (TO) | 3600.02 | 3608.91 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-mitre.opb |
| MD5SUM | ef3ff3fe247f050efe42854747d2eb97 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 7677 |
| Best CPU time to get the best result obtained on this benchmark | 6.70395 |
| 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 | 10724 |
| Total number of constraints | 1662 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 1139 |
| Number of constraints which are nor clauses,nor cardinality constraints | 383 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 9324 |
| Biggest coefficient in the objective function | 213 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 909647 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1069 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 909647 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c initialize IPBHS solver 0.00/0.01 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0 0.00/0.01 c optimizer = "scip" 0.00/0.01 c pbsolver = "roundingsat" 0.00/0.01 c use separate pbsolver for SIS 0.00/0.01 c load symmetries from file "" 0.00/0.01 c set time limit for symmetry computation to 100 seconds. 0.00/0.01 c set interchangeable summation variable limit to 3 0.00/0.01 c set sym compact max subset size to 5 0.00/0.01 c set explicit symmetry matrix usage to 1 0.00/0.01 c sym budget explicit to 100 0.00/0.01 c sym budget explicit lits to 6000 0.00/0.01 c sym budget compact to 100 0.00/0.01 c sym budget compact lits to 6000 0.00/0.01 c sym budget common to 0 0.00/0.01 c sym budget common lits to 0 0.00/0.01 c set sym generation to 's' 0.00/0.01 c set abstraction set creation to 10 iterations without LB change 0.00/0.01 c set abstraction set inputs to 0 0.00/0.01 c set abstraction set cluster min size to 2 0.00/0.01 c set abstraction set cluster max size to 100000000 0.00/0.01 c set abstraction set cluster activation limit to 2 0.00/0.01 c enable abstraction set require equal cost 0.00/0.01 c set abstraction set assumptions to 0 0.00/0.01 c set abstraction set constraint type to 0 0.00/0.01 c set abstract core extraction strategy to b 0.00/0.01 c set core extraction strategy to 2 0.00/0.01 c set core extraction shuffles 10 0.00/0.01 c set cores per iteration to 5 0.00/0.01 c set optimizer bound usage strategy to 2 0.00/0.01 c set optimizer max non-optimal iterations to 1000 0.00/0.01 c set small core cardinality limit to 2 0.00/0.01 c set max coef in cores to 1000000000 0.00/0.01 c set core processing techniques to 4095 0.00/0.01 c set SIS iterations to 5 0.00/0.01 c set SIS budget abs to 1000 0.00/0.01 c set SIS budget rel to 0.05 0.31/0.40 c limit for coefficient in constraints and objective to 1000000000 0.31/0.40 c will solve HOME/instance-4522030-1751575994.opb 0.31/0.40 c [0.02] will start solving 0.68/0.78 c [0.14] solve iteration 1, LB=-363860, UB=545788 25.72/25.81 c [19.82] solve iteration 2, LB=5753, UB=8297 74.39/74.67 c [43.36] solve iteration 3, LB=5997, UB=7807 74.39/74.67 c [53.74] solve iteration 4, LB=6725, UB=7807 85.06/85.38 c [64.14] solve iteration 5, LB=6835, UB=7807 103.31/103.65 c [73.6] solve iteration 6, LB=6897, UB=7764 103.31/103.65 c [81.48] solve iteration 7, LB=6951, UB=7764 120.85/121.22 c [90.01] solve iteration 8, LB=6973, UB=7764 120.85/121.22 c [98.04] solve iteration 9, LB=6995, UB=7764 129.74/130.11 c [106.7] solve iteration 10, LB=7007, UB=7764 138.62/139.06 c [115.55] solve iteration 11, LB=7017, UB=7764 147.37/147.84 c [123.89] solve iteration 12, LB=7023, UB=7764 155.95/156.44 c [132.23] solve iteration 13, LB=7031, UB=7764 164.73/165.22 c [140.72] solve iteration 14, LB=7036, UB=7764 173.40/173.96 c [149.16] solve iteration 15, LB=7037, UB=7764 182.48/183.07 c [157.84] solve iteration 16, LB=7043, UB=7764 191.56/192.18 c [166.71] solve iteration 17, LB=7051, UB=7764 200.33/200.93 c [175.29] solve iteration 18, LB=7057, UB=7764 209.10/209.72 c [183.74] solve iteration 19, LB=7058, UB=7764 217.97/218.63 c [192.66] solve iteration 20, LB=7059, UB=7764 235.02/235.72 c [208.95] solve iteration 21, LB=7063, UB=7764 243.89/244.69 c [217.81] solve iteration 22, LB=7067, UB=7764 253.07/253.81 c [226.61] solve iteration 23, LB=7068, UB=7764 262.14/262.97 c [235.93] solve iteration 24, LB=7072, UB=7764 306.02/306.96 c [244.44] solve iteration 25, LB=7079, UB=7764 306.02/306.96 c [270.39] solve iteration 26, LB=7084, UB=7764 306.02/306.96 c [279.21] solve iteration 27, LB=7087, UB=7764 662.14/664.06 c [287.58] solve iteration 28, LB=7087, UB=7764 662.14/664.06 c [296.19] solve iteration 29, LB=7090, UB=7764 662.14/664.06 c [304.45] solve iteration 30, LB=7094, UB=7764 662.14/664.06 c [335.22] solve iteration 31, LB=7096, UB=7764 662.14/664.06 c [344.02] solve iteration 32, LB=7097, UB=7764 662.14/664.06 c [352.9] solve iteration 33, LB=7100, UB=7764 662.14/664.06 c [361.76] solve iteration 34, LB=7103, UB=7764 662.14/664.06 c [370.28] solve iteration 35, LB=7105, UB=7764 662.14/664.06 c [400.96] solve iteration 36, LB=7106, UB=7764 662.14/664.06 c [410.23] solve iteration 37, LB=7110, UB=7764 662.14/664.06 c [419.44] solve iteration 38, LB=7111, UB=7764 662.14/664.06 c [429.05] solve iteration 39, LB=7111, UB=7764 662.14/664.06 c [438.29] solve iteration 40, LB=7114, UB=7764 662.14/664.06 c [472.62] solve iteration 41, LB=7115, UB=7764 662.14/664.06 c [482.2] solve iteration 42, LB=7117, UB=7764 662.14/664.06 c [491.8] solve iteration 43, LB=7126, UB=7764 662.14/664.06 c [501.87] solve iteration 44, LB=7129, UB=7764 662.14/664.06 c [511.55] solve iteration 45, LB=7129, UB=7764 662.14/664.06 c [543.22] solve iteration 46, LB=7130, UB=7764 662.14/664.06 c [553.31] solve iteration 47, LB=7130, UB=7764 662.14/664.06 c [563.41] solve iteration 48, LB=7131, UB=7764 662.14/664.06 c [573.59] solve iteration 49, LB=7131, UB=7764 662.14/664.06 c [583.75] solve iteration 50, LB=7131, UB=7764 662.14/664.06 c [620.18] solve iteration 51, LB=7132, UB=7764 662.14/664.06 c [630.49] solve iteration 52, LB=7135, UB=7764 696.03/698.02 c [643.37] solve iteration 53, LB=7135, UB=7764 696.03/698.02 c [653.67] solve iteration 54, LB=7139, UB=7764 696.03/698.02 c [663.93] solve iteration 55, LB=7139, UB=7764 907.63/910.24 c [701.66] solve iteration 56, LB=7140, UB=7764 907.63/910.24 c [712.55] solve iteration 57, LB=7143, UB=7764 907.63/910.24 c [722.98] solve iteration 58, LB=7147, UB=7764 907.63/910.24 c [733.47] solve iteration 59, LB=7147, UB=7764 907.63/910.24 c [744.43] solve iteration 60, LB=7150, UB=7764 907.63/910.24 c [787.49] solve iteration 61, LB=7150, UB=7764 907.63/910.24 c [798.6] solve iteration 62, LB=7151, UB=7764 907.63/910.24 c [809.64] solve iteration 63, LB=7151, UB=7764 907.63/910.24 c [820.57] solve iteration 64, LB=7151, UB=7764 907.63/910.24 c [831.63] solve iteration 65, LB=7151, UB=7764 907.63/910.24 c [873.44] solve iteration 66, LB=7151, UB=7764 957.98/960.78 c [887.11] solve iteration 67, LB=7152, UB=7764 957.98/960.78 c [899.32] solve iteration 68, LB=7155, UB=7764 957.98/960.78 c [911.38] solve iteration 69, LB=7157, UB=7764 957.98/960.78 c [923.44] solve iteration 70, LB=7158, UB=7764 1127.32/1130.54 c [965.54] solve iteration 71, LB=7159, UB=7764 1127.32/1130.54 c [977.8] solve iteration 72, LB=7159, UB=7764 1127.32/1130.54 c [990.26] solve iteration 73, LB=7161, UB=7764 1127.32/1130.54 c [1002.35] solve iteration 74, LB=7163, UB=7764 1127.32/1130.54 c [1014.81] solve iteration 75, LB=7165, UB=7764 1127.32/1130.54 c [1065.8] solve iteration 76, LB=7166, UB=7764 1127.32/1130.54 c [1078.26] solve iteration 77, LB=7168, UB=7764 1127.32/1130.54 c [1091.16] solve iteration 78, LB=7171, UB=7764 1143.97/1147.24 c [1107.42] solve iteration 79, LB=7174, UB=7764 1161.61/1164.92 c [1125.17] solve iteration 80, LB=7174, UB=7764 1208.50/1211.94 c [1171.77] solve iteration 81, LB=7174, UB=7764 1333.12/1336.90 c [1187.37] solve iteration 82, LB=7174, UB=7764 1333.12/1336.90 c [1201.2] solve iteration 83, LB=7174, UB=7764 1333.12/1336.90 c [1215.54] solve iteration 84, LB=7175, UB=7764 1333.12/1336.90 c [1228.62] solve iteration 85, LB=7175, UB=7764 1333.12/1336.90 c [1283.4] solve iteration 86, LB=7176, UB=7764 1333.12/1336.90 c [1296.4] solve iteration 87, LB=7176, UB=7764 1360.64/1364.58 c [1310.75] solve iteration 88, LB=7176, UB=7764 1360.64/1364.58 c [1323.76] solve iteration 89, LB=7176, UB=7764 1425.87/1429.90 c [1337.8] solve iteration 90, LB=7177, UB=7764 1425.87/1429.90 c [1388.57] solve iteration 91, LB=7177, UB=7764 1481.03/1485.24 c [1402.92] solve iteration 92, LB=7177, UB=7764 1481.03/1485.24 c [1416.3] solve iteration 93, LB=7177, UB=7764 1481.03/1485.24 c [1430.18] solve iteration 94, LB=7177, UB=7764 1481.03/1485.24 c [1443.55] solve iteration 95, LB=7177, UB=7764 1709.79/1714.54 c [1496.58] solve iteration 96, LB=7177, UB=7764 1709.79/1714.54 c [1510.07] solve iteration 97, LB=7180, UB=7764 1709.79/1714.54 c [1523.27] solve iteration 98, LB=7180, UB=7764 1709.79/1714.54 c [1536.79] solve iteration 99, LB=7180, UB=7764 1709.79/1714.54 c [1550.06] solve iteration 100, LB=7181, UB=7764 1709.79/1714.54 c [1617.08] solve iteration 101, LB=7181, UB=7747 1709.79/1714.54 c [1630.87] solve iteration 102, LB=7181, UB=7747 1709.79/1714.54 c [1644.42] solve iteration 103, LB=7181, UB=7747 1709.79/1714.54 c [1658.26] solve iteration 104, LB=7181, UB=7747 1709.79/1714.54 c [1671.41] solve iteration 105, LB=7181, UB=7747 1774.75/1779.67 c [1721.43] solve iteration 106, LB=7181, UB=7747 1774.75/1779.67 c [1735.94] solve iteration 107, LB=7181, UB=7747 1793.91/1798.80 c [1750.47] solve iteration 108, LB=7182, UB=7747 1816.95/1822.01 c [1764.43] solve iteration 109, LB=7183, UB=7747 1816.95/1822.01 c [1778.2] solve iteration 110, LB=7186, UB=7739 2003.46/2008.86 c [1829.25] solve iteration 111, LB=7186, UB=7739 2003.46/2008.86 c [1843.27] solve iteration 112, LB=7186, UB=7739 2003.46/2008.86 c [1857.57] solve iteration 113, LB=7186, UB=7719 2003.46/2008.86 c [1872.36] solve iteration 114, LB=7186, UB=7719 2003.46/2008.86 c [1886.42] solve iteration 115, LB=7186, UB=7719 2003.46/2008.86 c [1943.7] solve iteration 116, LB=7186, UB=7719 2003.46/2008.86 c [1958.19] solve iteration 117, LB=7186, UB=7719 2425.63/2431.98 c [1973.54] solve iteration 118, LB=7186, UB=7719 2425.63/2431.98 c [1987.78] solve iteration 119, LB=7186, UB=7719 2425.63/2431.98 c [2002.15] solve iteration 120, LB=7186, UB=7719 2425.63/2431.98 c [2058.41] solve iteration 121, LB=7186, UB=7719 2425.63/2431.98 c [2072.8] solve iteration 122, LB=7186, UB=7719 2425.63/2431.98 c [2087.65] solve iteration 123, LB=7186, UB=7719 2425.63/2431.98 c [2102.05] solve iteration 124, LB=7186, UB=7719 2425.63/2431.98 c [2116.86] solve iteration 125, LB=7186, UB=7719 2425.63/2431.98 c [2184.61] solve iteration 126, LB=7186, UB=7719 2425.63/2431.98 c [2199.59] solve iteration 127, LB=7186, UB=7719 2425.63/2431.98 c [2213.84] solve iteration 128, LB=7186, UB=7719 2425.63/2431.98 c [2228.38] solve iteration 129, LB=7186, UB=7719 2425.63/2431.98 c [2243.25] solve iteration 130, LB=7186, UB=7719 2425.63/2431.98 c [2320.71] solve iteration 131, LB=7186, UB=7719 2425.63/2431.98 c [2335.34] solve iteration 132, LB=7186, UB=7719 2425.63/2431.98 c [2349.84] solve iteration 133, LB=7186, UB=7719 2425.63/2431.98 c [2365.05] solve iteration 134, LB=7186, UB=7695 2425.63/2431.98 c [2379.31] solve iteration 135, LB=7186, UB=7695 2498.98/2505.42 c [2451.66] solve iteration 136, LB=7186, UB=7695 2514.85/2521.32 c [2467.6] solve iteration 137, LB=7190, UB=7695 2553.96/2560.50 c [2490.85] solve iteration 138, LB=7191, UB=7695 2553.96/2560.50 c [2506.52] solve iteration 139, LB=7192, UB=7695 2569.72/2576.37 c [2522.59] solve iteration 140, LB=7192, UB=7695 2655.04/2661.87 c [2592.37] solve iteration 141, LB=7193, UB=7695 2655.04/2661.87 c [2607.44] solve iteration 142, LB=7193, UB=7695 2673.30/2680.18 c [2631.57] solve iteration 143, LB=7193, UB=7695 2830.65/2837.82 c [2648.08] solve iteration 144, LB=7193, UB=7695 2830.65/2837.82 c [2663.36] solve iteration 145, LB=7198, UB=7695 2830.65/2837.82 c [2736.71] solve iteration 146, LB=7198, UB=7695 2830.65/2837.82 c [2751.39] solve iteration 147, LB=7198, UB=7695 2830.65/2837.82 c [2766.68] solve iteration 148, LB=7198, UB=7695 2830.65/2837.82 c [2782.04] solve iteration 149, LB=7198, UB=7682 2857.68/2864.90 c [2808.78] solve iteration 150, LB=7198, UB=7682 2965.35/2972.81 c [2922.6] solve iteration 151, LB=7198, UB=7682 3003.75/3011.36 c [2939.68] solve iteration 152, LB=7198, UB=7682 3003.75/3011.36 c [2954.91] solve iteration 153, LB=7198, UB=7682 3035.28/3043.01 c [2986.48] solve iteration 154, LB=7198, UB=7682 3064.10/3071.83 c [3015.02] solve iteration 155, LB=7200, UB=7682 3160.98/3168.96 c [3111.84] solve iteration 156, LB=7200, UB=7682 3207.98/3216.02 c [3143.49] solve iteration 157, LB=7200, UB=7682 3207.98/3216.02 c [3158.49] solve iteration 158, LB=7202, UB=7682 3241.79/3249.96 c [3192] solve iteration 159, LB=7202, UB=7682 3348.17/3356.56 c [3215.29] solve iteration 160, LB=7202, UB=7682 3348.17/3356.56 c [3299.07] solve iteration 161, LB=7202, UB=7678 3418.71/3427.25 c [3353.94] solve iteration 162, LB=7674, UB=7678 3418.71/3427.25 c [3369.09] solve iteration 163, LB=7674, UB=7678 3448.14/3456.71 c [3397.95] solve iteration 164, LB=7674, UB=7678 3497.33/3506.10 c [3447.2] solve iteration 165, LB=7674, UB=7678 3537.13/3545.99 c [3487.09] solve iteration 166, LB=7674, UB=7678
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: 63837 MiB (42249 MiB free)
memory of node 1: 64465 MiB (54230 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522030-1751575994/watcher-4522030-1751575994 -o /tmp/evaluation-result-4522030-1751575994/solver-4522030-1751575994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751566271-89203 --watchdog 3760 ./ipbhs_scip HOME/instance-4522030-1751575994.opb --optimizer scip --max-coef 1000000000
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=91502, runsolver pid=91499
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 4.16 4.13 4.09 5/250 91503
/proc/meminfo: memFree=98541764/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=997344 memory=310772 CPUtime=0.1 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 640 0 0 0 3 7 0 0 20 0 1 0 73278541 1021280256 77693 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 249336 77693 1600 2790 0 242761 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 997344 KiB
Current children cumulated memory: 310772 KiB
[startup+0.213252 s]*
/proc/loadavg: 4.16 4.13 4.09 5/250 91503
/proc/meminfo: memFree=98148296/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=997344 memory=710132 CPUtime=0.21 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 835 0 0 0 5 16 0 0 20 0 1 0 73278541 1021280256 177533 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 249336 177533 1600 2790 0 242761 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 997344 KiB
Current children cumulated memory: 710132 KiB
[startup+0.313117 s]*
/proc/loadavg: 4.16 4.13 4.09 5/250 91503
/proc/meminfo: memFree=97852880/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1000796 memory=967264 CPUtime=0.31 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 2251 0 0 0 10 21 0 0 20 0 1 0 73278541 1024815104 241816 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 250199 241816 1728 2790 0 243624 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 1000796 KiB
Current children cumulated memory: 967264 KiB
[startup+0.700337 s]
/proc/loadavg: 4.16 4.13 4.09 5/250 91503
/proc/meminfo: memFree=97816528/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1071132 memory=1042492 CPUtime=0.68 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 19123 0 0 0 42 26 0 0 20 0 1 0 73278541 1096839168 260623 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 267783 260623 3552 2790 0 261208 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1071132 KiB
Current children cumulated memory: 1042492 KiB
[startup+1.5003 s]
/proc/loadavg: 4.16 4.13 4.09 5/250 91503
/proc/meminfo: memFree=97721020/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1147748 memory=1099464 CPUtime=1.48 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 45118 0 0 0 117 31 0 0 20 0 1 0 73278541 1175293952 274866 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 286937 274866 3712 2790 0 280362 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1147748 KiB
Current children cumulated memory: 1099464 KiB
[startup+3.11281 s]
/proc/loadavg: 4.15 4.13 4.09 5/250 91503
/proc/meminfo: memFree=97721524/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1150916 memory=1102792 CPUtime=3.09 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 45966 0 0 0 278 31 0 0 20 0 1 0 73278541 1178537984 275698 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 287729 275698 3712 2790 0 281154 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1150916 KiB
Current children cumulated memory: 1102792 KiB
[startup+6.30029 s]
/proc/loadavg: 4.15 4.13 4.09 5/250 91503
/proc/meminfo: memFree=97718500/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1153928 memory=1106376 CPUtime=6.26 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 46849 0 0 0 595 31 0 0 20 0 1 0 73278541 1181622272 276594 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 288482 276594 3712 2790 0 281907 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1153928 KiB
Current children cumulated memory: 1106376 KiB
[startup+12.7003 s]
/proc/loadavg: 4.21 4.14 4.10 5/251 91504
/proc/meminfo: memFree=97634660/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1239804 memory=1169736 CPUtime=12.65 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 62680 0 0 0 1110 155 0 0 20 0 1 0 73278541 1269559296 292434 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 309951 292434 3744 2790 0 303376 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1239804 KiB
Current children cumulated memory: 1169736 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.14 4.10 5/251 91504
/proc/meminfo: memFree=97624376/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1239804 memory=1169736 CPUtime=25.42 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 62681 0 0 0 1987 555 0 0 20 0 1 0 73278541 1269559296 292434 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 309951 292434 3744 2790 0 303376 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1239804 KiB
Current children cumulated memory: 1169736 KiB
[startup+51.113 s]
/proc/loadavg: 4.11 4.13 4.09 5/251 91505
/proc/meminfo: memFree=97572340/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1265324 memory=1221384 CPUtime=50.97 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 80104 0 0 0 4022 1075 0 0 20 0 1 0 73278541 1295691776 305346 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 316331 305346 3744 2790 0 309756 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1265324 KiB
Current children cumulated memory: 1221384 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/252 91508
/proc/meminfo: memFree=97510064/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1274740 memory=1248968 CPUtime=102.01 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 86526 0 0 0 8715 1486 0 0 20 0 1 0 73278541 1305333760 312242 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 318685 312242 3744 2790 0 312110 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1274740 KiB
Current children cumulated memory: 1248968 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/252 91510
/proc/meminfo: memFree=97428140/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1359420 memory=1333372 CPUtime=161.83 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 122614 0 0 0 14508 1675 0 0 20 0 1 0 73278541 1392046080 333343 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 339855 333343 3744 2790 0 333280 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1359420 KiB
Current children cumulated memory: 1333372 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/252 91512
/proc/meminfo: memFree=97394236/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1404436 memory=1381156 CPUtime=221.67 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 137858 0 0 0 20354 1813 0 0 20 0 1 0 73278541 1438142464 345289 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 351109 345289 3744 2790 0 344534 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1404436 KiB
Current children cumulated memory: 1381156 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/252 91514
/proc/meminfo: memFree=97345732/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1464564 memory=1434640 CPUtime=281.49 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 148704 0 0 0 26242 1907 0 0 20 0 1 0 73278541 1499713536 358660 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 366141 358660 3744 2790 0 359566 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1464564 KiB
Current children cumulated memory: 1434640 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 91517
/proc/meminfo: memFree=97239440/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1603456 memory=1535764 CPUtime=341.33 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 168389 0 0 0 32120 2013 0 0 20 0 1 0 73278541 1641938944 383941 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 400864 383941 3744 2790 0 394289 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 1603456 KiB
Current children cumulated memory: 1535764 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 91520
/proc/meminfo: memFree=97132656/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1679260 memory=1641332 CPUtime=401.15 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 187654 0 0 0 38024 2091 0 0 20 0 1 0 73278541 1719562240 410333 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 419815 410333 3744 2790 0 413240 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1679260 KiB
Current children cumulated memory: 1641332 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 91522
/proc/meminfo: memFree=97135400/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=1670708 memory=1632912 CPUtime=460.99 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 189686 0 0 0 43941 2158 0 0 20 0 1 0 73278541 1710804992 408228 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 417677 408228 3744 2790 0 411102 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
Current children cumulated memory: 2145292 KiB
[startup+2922.3 s]
/proc/loadavg: 1.09 1.11 1.54 2/233 91755
/proc/meminfo: memFree=120945508/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2233096 memory=2145292 CPUtime=2914.95 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 397359 0 0 0 288141 3354 0 0 20 0 1 0 73278541 2286690304 536323 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 558274 536323 3744 2790 0 551699 0
Current children cumulated CPU time: 2914.95 s
Current children cumulated vsize: 2233096 KiB
Current children cumulated memory: 2145292 KiB
[startup+2982.3 s]
/proc/loadavg: 1.14 1.12 1.52 2/233 91757
/proc/meminfo: memFree=120933852/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2239696 memory=2155584 CPUtime=2974.83 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 399424 0 0 0 294111 3372 0 0 20 0 1 0 73278541 2293448704 538896 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 559924 538896 3744 2790 0 553349 0
Current children cumulated CPU time: 2974.83 s
Current children cumulated vsize: 2239696 KiB
Current children cumulated memory: 2155584 KiB
[startup+3042.3 s]
/proc/loadavg: 1.11 1.11 1.49 2/233 91759
/proc/meminfo: memFree=120893428/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2253540 memory=2170176 CPUtime=3034.68 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 406281 0 0 0 300091 3377 0 0 20 0 1 0 73278541 2307624960 542544 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 563385 542544 3744 2790 0 556810 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 2253540 KiB
Current children cumulated memory: 2170176 KiB
[startup+3102.3 s]
/proc/loadavg: 1.16 1.12 1.47 2/231 91765
/proc/meminfo: memFree=120886596/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2253540 memory=2181676 CPUtime=3094.53 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 406604 0 0 0 306070 3383 0 0 20 0 1 0 73278541 2307624960 545419 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 563385 545419 3744 2790 0 556810 0
Current children cumulated CPU time: 3094.53 s
Current children cumulated vsize: 2253540 KiB
Current children cumulated memory: 2181676 KiB
[startup+3162.3 s]
/proc/loadavg: 1.12 1.11 1.44 2/231 91767
/proc/meminfo: memFree=120861268/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2278340 memory=2205356 CPUtime=3154.39 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 412510 0 0 0 312039 3400 0 0 20 0 1 0 73278541 2333020160 551339 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 569585 551339 3744 2790 0 563010 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 2278340 KiB
Current children cumulated memory: 2205356 KiB
[startup+3222.3 s]
/proc/loadavg: 1.09 1.11 1.42 2/231 91769
/proc/meminfo: memFree=120870104/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2258072 memory=2186596 CPUtime=3214.25 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 415397 0 0 0 318020 3405 0 0 20 0 1 0 73278541 2312265728 546649 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 564518 546649 3744 2790 0 557943 0
Current children cumulated CPU time: 3214.25 s
Current children cumulated vsize: 2258072 KiB
Current children cumulated memory: 2186596 KiB
[startup+3282.3 s]
/proc/loadavg: 1.15 1.12 1.40 2/232 91772
/proc/meminfo: memFree=120878836/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2265792 memory=2194172 CPUtime=3274.13 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 421642 0 0 0 323997 3416 0 0 20 0 1 0 73278541 2320171008 548543 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 566448 548543 3744 2790 0 559873 0
Current children cumulated CPU time: 3274.13 s
Current children cumulated vsize: 2265792 KiB
Current children cumulated memory: 2194172 KiB
[startup+3342.3 s]
/proc/loadavg: 1.11 1.11 1.38 2/232 91774
/proc/meminfo: memFree=120875748/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2250904 memory=2183520 CPUtime=3334 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 421644 0 0 0 329970 3430 0 0 20 0 1 0 73278541 2304925696 545880 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 562726 545880 3744 2790 0 556151 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 2250904 KiB
Current children cumulated memory: 2183520 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.10 1.36 2/233 91779
/proc/meminfo: memFree=120851896/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2300344 memory=2227308 CPUtime=3393.87 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 439689 0 0 0 335947 3440 0 0 20 0 1 0 73278541 2355552256 556827 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 575086 556827 3744 2790 0 568511 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 2300344 KiB
Current children cumulated memory: 2227308 KiB
[startup+3462.3 s]
/proc/loadavg: 1.13 1.11 1.34 2/233 91781
/proc/meminfo: memFree=120844840/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2298600 memory=2229428 CPUtime=3453.73 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 444147 0 0 0 341930 3443 0 0 20 0 1 0 73278541 2353766400 557357 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 574650 557357 3744 2790 0 568075 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 2298600 KiB
Current children cumulated memory: 2229428 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.11 1.33 2/233 91783
/proc/meminfo: memFree=120838172/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2313336 memory=2244788 CPUtime=3513.58 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 448004 0 0 0 347912 3446 0 0 20 0 1 0 73278541 2368856064 561197 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 578334 561197 3744 2790 0 571759 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 2313336 KiB
Current children cumulated memory: 2244788 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.10 1.31 2/233 91786
/proc/meminfo: memFree=120839196/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2313336 memory=2245812 CPUtime=3573.45 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 448620 0 0 0 353888 3457 0 0 20 0 1 0 73278541 2368856064 561453 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 578334 561453 3744 2790 0 571759 0
Current children cumulated CPU time: 3573.45 s
Current children cumulated vsize: 2313336 KiB
Current children cumulated memory: 2245812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 1.07 1.09 1.30 2/233 91788
/proc/meminfo: memFree=120831508/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2313336 memory=2258200 CPUtime=3600 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 448788 0 0 0 356535 3465 0 0 20 0 1 0 73278541 2368856064 564550 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 578334 564550 3744 2790 0 571759 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2313336 KiB
Current children cumulated memory: 2258200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.91 s]
# the end of solver process 91502 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3565.36 s, system=34.6622 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 1.07 1.09 1.30 2/233 91788
/proc/meminfo: memFree=120831508/131382112 swapFree=33005784/33010684
[pid=91502] ppid=91499 vsize=2313336 memory=2258200 CPUtime=3600 cores=4,6
/proc/91502/stat : 91502 (ipbhs_scip) R 91499 91502 89192 0 -1 4194304 448788 0 0 0 356535 3465 0 0 20 0 1 0 73278541 2368856064 564550 18446744073709551615 94421503533056 94421514959453 140730168167840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94421517095128 94421517140146 94421539930112 140730168174994 140730168175113 140730168175113 140730168180715 0
/proc/91502/statm: 578334 564550 3744 2790 0 571759 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2313336 KiB
Current children cumulated memory: 2258200 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.91
CPU time (s): 3600.02
CPU user time (s): 3565.36
CPU system time (s): 34.6622
CPU usage (%): 99.7537
Max. virtual memory (cumulated for all children) (KiB): 2313336
Max. memory (cumulated for all children) (KiB): 2258200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.36
system time used= 34.6622
maximum resident set size= 2258200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448788
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= 203
involuntary context switches= 2940
# summary of solver processes directly reported to runsolver:
# pid: 91502
# total CPU time (s): 3600.02
# total CPU user time (s): 3565.36
# total CPU system time (s): 34.6622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1017 second user time and 34.2813 second system time
The end
Begin job on nodeC007 at 2025-07-03 22:53:14 IDJOB=4522030 IDBENCH=178564 IDSOLVER=3335 FILE ID=nodeC007/4522030-1751575994 RUNJOBID= nodeC007-1751566271-89203 SLURM_JOB_ID= 9598776 Free space on /tmp= 430728 MiB SOLVER NAME= IPBHS-SCIP 2025-06-09 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib3/normalized-mitre.opb COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522030-1751575994/watcher-4522030-1751575994 -o /tmp/evaluation-result-4522030-1751575994/solver-4522030-1751575994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751566271-89203 --watchdog 3760 ./ipbhs_scip HOME/instance-4522030-1751575994.opb --optimizer scip --max-coef 1000000000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ef3ff3fe247f050efe42854747d2eb97 RANDOM SEED=496388576 nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.138 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3663.195 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.544 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.209 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3663.159 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.253 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 98795652 kB MemAvailable: 105760872 kB Buffers: 16 kB Cached: 7633716 kB SwapCached: 252 kB Active: 24320348 kB Inactive: 7367456 kB Active(anon): 24019860 kB Inactive(anon): 47716 kB Active(file): 300488 kB Inactive(file): 7319740 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005784 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 70240 kB Writeback: 0 kB AnonPages: 24056892 kB Mapped: 129732 kB Shmem: 13504 kB KReclaimable: 369240 kB Slab: 458612 kB SReclaimable: 369240 kB SUnreclaim: 89372 kB KernelStack: 4032 kB PageTables: 50392 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 25435892 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 9422848 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 430972 MiB End job on nodeC007 at 2025-07-03 23:53:23