Trace number 4501841

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2025-06-13UNSAT 20.9027 20.963

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6021_1-unsat.opb
MD5SUMacb3bfa25be6cee6deaef298d2d917c1
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.387219
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12566
Total number of constraints41514
Number of constraints which are clauses41106
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints408
Minimum length of a constraint1
Maximum length of a constraint36
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 233
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4501841-1751153515.opb>
0.00/0.07	c original problem has 12566 variables (12566 bin, 0 int, 0 cont) and 41514 constraints
0.00/0.07	c problem read in 0.072 seconds
0.00/0.07	c problem without objective
0.10/0.14	c presolving:
0.20/0.24	c (round 1, fast)       7602 del vars, 8021 del conss, 0 add conss, 2089 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12350 clqs
0.20/0.28	c (round 2, fast)       12821 del vars, 28384 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 12076 clqs
0.20/0.29	c (round 3, fast)       12821 del vars, 28894 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 12381 clqs
0.20/0.30	c    (0.3s) running MILP presolver
0.68/0.73	c    (0.7s) MILP presolver (17 rounds): 251 aggregations, 391 fixings, 0 bound changes
0.68/0.73	c (round 4, medium)     13463 del vars, 28894 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 10054 clqs
0.68/0.74	c (round 5, fast)       13463 del vars, 31215 del conss, 0 add conss, 2089 chg bounds, 38 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 10077 clqs
0.68/0.77	c (round 6, exhaustive) 13463 del vars, 31215 del conss, 0 add conss, 2089 chg bounds, 38 chg sides, 37 chg coeffs, 10299 upgd conss, 0 impls, 10077 clqs
0.68/0.77	c (round 7, fast)       13463 del vars, 31219 del conss, 8 add conss, 2089 chg bounds, 57 chg sides, 89 chg coeffs, 10299 upgd conss, 0 impls, 10077 clqs
0.68/0.78	c (round 8, medium)     13463 del vars, 31233 del conss, 83 add conss, 2089 chg bounds, 139 chg sides, 341 chg coeffs, 10299 upgd conss, 0 impls, 10103 clqs
0.68/0.79	c (round 9, fast)       13463 del vars, 31239 del conss, 87 add conss, 2089 chg bounds, 151 chg sides, 382 chg coeffs, 10299 upgd conss, 0 impls, 10105 clqs
0.79/0.80	c (round 10, exhaustive) 13463 del vars, 36820 del conss, 1826 add conss, 2089 chg bounds, 151 chg sides, 382 chg coeffs, 10299 upgd conss, 0 impls, 10105 clqs
0.79/0.81	c (round 11, fast)       13465 del vars, 36830 del conss, 1826 add conss, 2089 chg bounds, 151 chg sides, 382 chg coeffs, 10299 upgd conss, 0 impls, 10448 clqs
0.79/0.81	c (round 12, fast)       13467 del vars, 36837 del conss, 1826 add conss, 2089 chg bounds, 151 chg sides, 382 chg coeffs, 10299 upgd conss, 0 impls, 10446 clqs
0.79/0.81	c (round 13, fast)       13468 del vars, 36852 del conss, 1826 add conss, 2089 chg bounds, 151 chg sides, 382 chg coeffs, 10299 upgd conss, 0 impls, 10428 clqs
0.79/0.81	c (round 14, medium)     13482 del vars, 36869 del conss, 1826 add conss, 2089 chg bounds, 162 chg sides, 393 chg coeffs, 10299 upgd conss, 0 impls, 10375 clqs
0.79/0.81	c (round 15, fast)       13487 del vars, 36933 del conss, 1826 add conss, 2089 chg bounds, 162 chg sides, 393 chg coeffs, 10299 upgd conss, 0 impls, 10310 clqs
0.79/0.81	c (round 16, fast)       13491 del vars, 36967 del conss, 1826 add conss, 2089 chg bounds, 162 chg sides, 393 chg coeffs, 10299 upgd conss, 0 impls, 10274 clqs
0.79/0.82	c (round 17, medium)     13498 del vars, 36975 del conss, 1826 add conss, 2089 chg bounds, 163 chg sides, 396 chg coeffs, 10299 upgd conss, 0 impls, 10264 clqs
1.09/1.16	c (round 18, exhaustive) 13534 del vars, 36976 del conss, 1826 add conss, 2089 chg bounds, 167 chg sides, 443 chg coeffs, 10299 upgd conss, 0 impls, 64647 clqs
1.09/1.16	c (round 19, fast)       13562 del vars, 37082 del conss, 1826 add conss, 2089 chg bounds, 169 chg sides, 469 chg coeffs, 10299 upgd conss, 0 impls, 64251 clqs
1.09/1.17	c (round 20, medium)     13564 del vars, 37087 del conss, 1833 add conss, 2089 chg bounds, 180 chg sides, 499 chg coeffs, 10299 upgd conss, 0 impls, 64231 clqs
1.09/1.18	c (round 21, medium)     13568 del vars, 37089 del conss, 1833 add conss, 2089 chg bounds, 184 chg sides, 532 chg coeffs, 10299 upgd conss, 0 impls, 64177 clqs
1.09/1.19	c (round 22, exhaustive) 13571 del vars, 37090 del conss, 1833 add conss, 2089 chg bounds, 186 chg sides, 561 chg coeffs, 10299 upgd conss, 0 impls, 64129 clqs
1.09/1.19	c (round 23, medium)     13576 del vars, 37093 del conss, 1834 add conss, 2089 chg bounds, 187 chg sides, 564 chg coeffs, 10299 upgd conss, 0 impls, 64031 clqs
1.18/1.20	c (round 24, medium)     13580 del vars, 37095 del conss, 1834 add conss, 2089 chg bounds, 189 chg sides, 572 chg coeffs, 10299 upgd conss, 0 impls, 63924 clqs
1.18/1.20	c (round 25, medium)     13584 del vars, 37097 del conss, 1834 add conss, 2089 chg bounds, 191 chg sides, 580 chg coeffs, 10299 upgd conss, 0 impls, 63778 clqs
1.18/1.20	c (round 26, medium)     13588 del vars, 37099 del conss, 1834 add conss, 2089 chg bounds, 191 chg sides, 581 chg coeffs, 10299 upgd conss, 0 impls, 63590 clqs
1.18/1.21	c (round 27, exhaustive) 13591 del vars, 37100 del conss, 1834 add conss, 2089 chg bounds, 193 chg sides, 595 chg coeffs, 10299 upgd conss, 0 impls, 63415 clqs
1.18/1.21	c (round 28, medium)     13594 del vars, 37102 del conss, 1834 add conss, 2089 chg bounds, 196 chg sides, 607 chg coeffs, 10299 upgd conss, 0 impls, 63216 clqs
1.18/1.22	c (round 29, exhaustive) 13599 del vars, 37182 del conss, 1834 add conss, 2089 chg bounds, 199 chg sides, 626 chg coeffs, 10299 upgd conss, 0 impls, 62727 clqs
1.18/1.22	c (round 30, medium)     13599 del vars, 37182 del conss, 1834 add conss, 2089 chg bounds, 205 chg sides, 648 chg coeffs, 10299 upgd conss, 0 impls, 62727 clqs
1.18/1.23	c (round 31, exhaustive) 13599 del vars, 37294 del conss, 1946 add conss, 2089 chg bounds, 205 chg sides, 648 chg coeffs, 10299 upgd conss, 0 impls, 62727 clqs
1.28/1.36	c (round 32, exhaustive) 13628 del vars, 37294 del conss, 1946 add conss, 2089 chg bounds, 205 chg sides, 648 chg coeffs, 10299 upgd conss, 0 impls, 78775 clqs
1.28/1.37	c (round 33, fast)       13647 del vars, 37390 del conss, 1946 add conss, 2089 chg bounds, 205 chg sides, 660 chg coeffs, 10299 upgd conss, 0 impls, 78277 clqs
1.38/1.40	c (round 34, exhaustive) 13647 del vars, 37505 del conss, 2061 add conss, 2089 chg bounds, 205 chg sides, 663 chg coeffs, 10299 upgd conss, 0 impls, 78277 clqs
2.18/2.28	c    (2.3s) probing: 1000/3773 (26.5%) - 67 fixings, 7 aggregations, 207362 implications, 0 bound changes
2.28/2.39	c (round 35, exhaustive) 13672 del vars, 37505 del conss, 2061 add conss, 2089 chg bounds, 205 chg sides, 667 chg coeffs, 10299 upgd conss, 0 impls, 95467 clqs
2.28/2.40	c (round 36, fast)       13683 del vars, 37576 del conss, 2061 add conss, 2089 chg bounds, 205 chg sides, 678 chg coeffs, 10299 upgd conss, 0 impls, 95173 clqs
2.38/2.42	c (round 37, exhaustive) 13684 del vars, 37689 del conss, 2172 add conss, 2089 chg bounds, 205 chg sides, 696 chg coeffs, 10299 upgd conss, 0 impls, 95164 clqs
2.38/2.43	c (round 38, medium)     13684 del vars, 37695 del conss, 2186 add conss, 2089 chg bounds, 221 chg sides, 735 chg coeffs, 10299 upgd conss, 0 impls, 95294 clqs
2.38/2.43	c (round 39, fast)       13684 del vars, 37700 del conss, 2191 add conss, 2089 chg bounds, 224 chg sides, 745 chg coeffs, 10299 upgd conss, 0 impls, 95294 clqs
3.18/3.23	c (round 40, exhaustive) 13712 del vars, 37700 del conss, 2191 add conss, 2089 chg bounds, 224 chg sides, 746 chg coeffs, 10300 upgd conss, 0 impls, 95516 clqs
3.18/3.23	c (round 41, fast)       13730 del vars, 37779 del conss, 2191 add conss, 2089 chg bounds, 224 chg sides, 760 chg coeffs, 10300 upgd conss, 0 impls, 94741 clqs
3.18/3.24	c (round 42, medium)     13731 del vars, 37780 del conss, 2192 add conss, 2089 chg bounds, 228 chg sides, 768 chg coeffs, 10300 upgd conss, 0 impls, 94740 clqs
3.18/3.26	c (round 43, exhaustive) 13731 del vars, 37786 del conss, 2198 add conss, 2089 chg bounds, 228 chg sides, 775 chg coeffs, 10300 upgd conss, 0 impls, 94740 clqs
3.38/3.47	c (round 44, exhaustive) 13756 del vars, 37786 del conss, 2198 add conss, 2089 chg bounds, 228 chg sides, 778 chg coeffs, 10300 upgd conss, 0 impls, 94210 clqs
3.38/3.47	c (round 45, fast)       13779 del vars, 37894 del conss, 2198 add conss, 2089 chg bounds, 230 chg sides, 796 chg coeffs, 10300 upgd conss, 0 impls, 92782 clqs
3.38/3.50	c (round 46, exhaustive) 13779 del vars, 37906 del conss, 2210 add conss, 2089 chg bounds, 234 chg sides, 840 chg coeffs, 10300 upgd conss, 0 impls, 92782 clqs
3.57/3.68	c (round 47, exhaustive) 13805 del vars, 37906 del conss, 2210 add conss, 2089 chg bounds, 236 chg sides, 852 chg coeffs, 10300 upgd conss, 0 impls, 95603 clqs
3.57/3.68	c (round 48, fast)       13832 del vars, 38011 del conss, 2210 add conss, 2089 chg bounds, 236 chg sides, 875 chg coeffs, 10300 upgd conss, 0 impls, 94383 clqs
3.57/3.68	c (round 49, medium)     13834 del vars, 38014 del conss, 2212 add conss, 2089 chg bounds, 238 chg sides, 880 chg coeffs, 10300 upgd conss, 0 impls, 94242 clqs
3.67/3.71	c (round 50, exhaustive) 13834 del vars, 38026 del conss, 2224 add conss, 2089 chg bounds, 238 chg sides, 920 chg coeffs, 10300 upgd conss, 0 impls, 94243 clqs
3.67/3.71	c (round 51, medium)     13834 del vars, 38026 del conss, 2228 add conss, 2089 chg bounds, 243 chg sides, 936 chg coeffs, 10300 upgd conss, 0 impls, 94272 clqs
3.77/3.84	c    (3.8s) probing: 2000/3773 (53.0%) - 150 fixings, 18 aggregations, 483716 implications, 0 bound changes
4.87/4.95	c (round 52, exhaustive) 13859 del vars, 38026 del conss, 2228 add conss, 2089 chg bounds, 243 chg sides, 943 chg coeffs, 10301 upgd conss, 0 impls, 95493 clqs
4.87/4.95	c (round 53, fast)       13876 del vars, 38085 del conss, 2228 add conss, 2089 chg bounds, 243 chg sides, 954 chg coeffs, 10309 upgd conss, 0 impls, 94926 clqs
4.87/4.96	c (round 54, medium)     13904 del vars, 38087 del conss, 2229 add conss, 2089 chg bounds, 244 chg sides, 957 chg coeffs, 10309 upgd conss, 0 impls, 94468 clqs
4.87/4.96	c (round 55, fast)       13904 del vars, 38123 del conss, 2229 add conss, 2089 chg bounds, 247 chg sides, 967 chg coeffs, 10309 upgd conss, 0 impls, 94470 clqs
4.87/4.99	c (round 56, exhaustive) 13904 del vars, 38143 del conss, 2249 add conss, 2089 chg bounds, 247 chg sides, 978 chg coeffs, 10309 upgd conss, 0 impls, 94470 clqs
4.97/5.01	c    (5.0s) probing: 3000/3773 (79.5%) - 161 fixings, 18 aggregations, 661665 implications, 0 bound changes
5.47/5.59	c    (5.6s) probing cycle finished: starting next cycle
5.87/5.95	c (round 57, exhaustive) 13933 del vars, 38143 del conss, 2249 add conss, 2089 chg bounds, 249 chg sides, 988 chg coeffs, 10310 upgd conss, 0 impls, 92921 clqs
5.87/5.95	c (round 58, fast)       13947 del vars, 38219 del conss, 2249 add conss, 2089 chg bounds, 249 chg sides, 997 chg coeffs, 10310 upgd conss, 0 impls, 92098 clqs
5.87/5.96	c (round 59, medium)     13948 del vars, 38221 del conss, 2251 add conss, 2089 chg bounds, 251 chg sides, 1001 chg coeffs, 10310 upgd conss, 0 impls, 91961 clqs
6.56/6.66	c    (6.7s) probing: 1000/3372 (29.7%) - 196 fixings, 28 aggregations, 870057 implications, 0 bound changes
6.76/6.84	c (round 60, exhaustive) 13975 del vars, 38222 del conss, 2251 add conss, 2089 chg bounds, 251 chg sides, 1052 chg coeffs, 10311 upgd conss, 0 impls, 94445 clqs
6.76/6.84	c (round 61, fast)       13989 del vars, 38310 del conss, 2251 add conss, 2089 chg bounds, 252 chg sides, 1070 chg coeffs, 10311 upgd conss, 0 impls, 94169 clqs
6.76/6.84	c (round 62, medium)     13990 del vars, 38313 del conss, 2266 add conss, 2089 chg bounds, 267 chg sides, 1115 chg coeffs, 10311 upgd conss, 0 impls, 94181 clqs
6.76/6.87	c (round 63, exhaustive) 13990 del vars, 38344 del conss, 2296 add conss, 2089 chg bounds, 268 chg sides, 1160 chg coeffs, 10311 upgd conss, 0 impls, 94182 clqs
7.76/7.87	c    (7.9s) probing: 2000/3372 (59.3%) - 222 fixings, 37 aggregations, 1092394 implications, 0 bound changes
7.86/7.91	c (round 64, exhaustive) 14015 del vars, 38344 del conss, 2296 add conss, 2089 chg bounds, 268 chg sides, 1179 chg coeffs, 10312 upgd conss, 0 impls, 95487 clqs
7.86/7.92	c (round 65, fast)       14030 del vars, 38417 del conss, 2296 add conss, 2089 chg bounds, 268 chg sides, 1197 chg coeffs, 10312 upgd conss, 0 impls, 94750 clqs
7.86/7.94	c (round 66, exhaustive) 14031 del vars, 38455 del conss, 2332 add conss, 2089 chg bounds, 268 chg sides, 1211 chg coeffs, 10312 upgd conss, 0 impls, 94743 clqs
8.86/8.96	c    (9.0s) probing: 3000/3372 (89.0%) - 230 fixings, 38 aggregations, 1264236 implications, 0 bound changes
9.26/9.31	c (round 67, exhaustive) 14057 del vars, 38456 del conss, 2332 add conss, 2089 chg bounds, 268 chg sides, 1219 chg coeffs, 10313 upgd conss, 0 impls, 96200 clqs
9.26/9.31	c (round 68, fast)       14077 del vars, 38531 del conss, 2332 add conss, 2089 chg bounds, 268 chg sides, 1235 chg coeffs, 10317 upgd conss, 0 impls, 95390 clqs
9.26/9.33	c (round 69, medium)     14086 del vars, 38536 del conss, 2335 add conss, 2089 chg bounds, 271 chg sides, 1247 chg coeffs, 10317 upgd conss, 0 impls, 95177 clqs
9.26/9.33	c (round 70, fast)       14089 del vars, 38547 del conss, 2335 add conss, 2089 chg bounds, 271 chg sides, 1247 chg coeffs, 10317 upgd conss, 0 impls, 95125 clqs
9.26/9.37	c    (9.4s) probing cycle finished: starting next cycle
10.07/10.12	c (round 71, exhaustive) 14114 del vars, 38549 del conss, 2337 add conss, 2089 chg bounds, 271 chg sides, 1276 chg coeffs, 10317 upgd conss, 0 impls, 94507 clqs
10.07/10.12	c (round 72, fast)       14127 del vars, 38609 del conss, 2337 add conss, 2089 chg bounds, 271 chg sides, 1282 chg coeffs, 10317 upgd conss, 0 impls, 93768 clqs
10.07/10.12	c (round 73, medium)     14127 del vars, 38609 del conss, 2343 add conss, 2089 chg bounds, 277 chg sides, 1303 chg coeffs, 10317 upgd conss, 0 impls, 93777 clqs
10.36/10.40	c    (10.4s) probing: 1000/3197 (31.3%) - 270 fixings, 41 aggregations, 1420081 implications, 0 bound changes
11.46/11.51	c    (11.5s) probing: 2000/3197 (62.6%) - 287 fixings, 44 aggregations, 1615096 implications, 0 bound changes
11.76/11.80	c (round 74, exhaustive) 14152 del vars, 38611 del conss, 2345 add conss, 2089 chg bounds, 277 chg sides, 1357 chg coeffs, 10317 upgd conss, 0 impls, 96075 clqs
11.76/11.80	c (round 75, fast)       14163 del vars, 38664 del conss, 2345 add conss, 2089 chg bounds, 277 chg sides, 1369 chg coeffs, 10321 upgd conss, 0 impls, 95774 clqs
11.76/11.81	c (round 76, medium)     14164 del vars, 38666 del conss, 2349 add conss, 2089 chg bounds, 284 chg sides, 1399 chg coeffs, 10321 upgd conss, 0 impls, 95693 clqs
11.76/11.84	c (round 77, exhaustive) 14164 del vars, 38728 del conss, 2411 add conss, 2089 chg bounds, 284 chg sides, 1417 chg coeffs, 10321 upgd conss, 0 impls, 95693 clqs
12.56/12.63	c    (12.6s) probing: 3000/3197 (93.8%) - 303 fixings, 47 aggregations, 1773739 implications, 0 bound changes
12.76/12.82	c (round 78, exhaustive) 14189 del vars, 38728 del conss, 2411 add conss, 2089 chg bounds, 285 chg sides, 1435 chg coeffs, 10321 upgd conss, 0 impls, 95384 clqs
12.76/12.82	c (round 79, fast)       14205 del vars, 38776 del conss, 2411 add conss, 2089 chg bounds, 285 chg sides, 1443 chg coeffs, 10328 upgd conss, 0 impls, 94099 clqs
12.76/12.82	c (round 80, medium)     14206 del vars, 38780 del conss, 2415 add conss, 2089 chg bounds, 289 chg sides, 1455 chg coeffs, 10328 upgd conss, 0 impls, 94106 clqs
12.76/12.87	c    (12.9s) probing cycle finished: starting next cycle
13.25/13.34	c (round 81, exhaustive) 14235 del vars, 38781 del conss, 2416 add conss, 2089 chg bounds, 289 chg sides, 1463 chg coeffs, 10328 upgd conss, 0 impls, 94872 clqs
13.25/13.35	c (round 82, fast)       14252 del vars, 38882 del conss, 2416 add conss, 2089 chg bounds, 289 chg sides, 1469 chg coeffs, 10328 upgd conss, 0 impls, 94068 clqs
13.25/13.35	c (round 83, medium)     14252 del vars, 38883 del conss, 2419 add conss, 2089 chg bounds, 296 chg sides, 1497 chg coeffs, 10328 upgd conss, 0 impls, 94074 clqs
13.25/13.37	c (round 84, exhaustive) 14252 del vars, 38883 del conss, 2419 add conss, 2089 chg bounds, 296 chg sides, 1622 chg coeffs, 10328 upgd conss, 0 impls, 94074 clqs
13.25/13.38	c (round 85, medium)     14252 del vars, 38884 del conss, 2420 add conss, 2089 chg bounds, 299 chg sides, 1635 chg coeffs, 10328 upgd conss, 0 impls, 94094 clqs
13.35/13.40	c (round 86, exhaustive) 14252 del vars, 38888 del conss, 2424 add conss, 2089 chg bounds, 299 chg sides, 1653 chg coeffs, 10328 upgd conss, 0 impls, 94094 clqs
13.75/13.86	c    (13.9s) probing: 1000/3079 (32.5%) - 330 fixings, 60 aggregations, 1890658 implications, 0 bound changes
14.75/14.86	c    (14.9s) probing: 2000/3079 (65.0%) - 341 fixings, 67 aggregations, 2064906 implications, 0 bound changes
15.65/15.72	c (round 87, exhaustive) 14277 del vars, 38888 del conss, 2424 add conss, 2089 chg bounds, 299 chg sides, 1659 chg coeffs, 10328 upgd conss, 0 impls, 96972 clqs
15.65/15.72	c (round 88, fast)       14280 del vars, 38937 del conss, 2424 add conss, 2089 chg bounds, 299 chg sides, 1670 chg coeffs, 10328 upgd conss, 0 impls, 96846 clqs
15.65/15.74	c (round 89, medium)     14281 del vars, 38940 del conss, 2427 add conss, 2089 chg bounds, 305 chg sides, 1696 chg coeffs, 10328 upgd conss, 0 impls, 96830 clqs
15.65/15.77	c (round 90, exhaustive) 14281 del vars, 38994 del conss, 2481 add conss, 2089 chg bounds, 305 chg sides, 1700 chg coeffs, 10328 upgd conss, 0 impls, 96830 clqs
15.85/15.92	c    (15.9s) probing: 3000/3079 (97.4%) - 344 fixings, 73 aggregations, 2228634 implications, 0 bound changes
15.85/15.96	c    (16.0s) probing cycle finished: starting next cycle
15.95/16.08	c    (16.1s) probing: 143/3003 (4.8%) - 344 fixings, 73 aggregations, 2237520 implications, 0 bound changes
15.95/16.08	c    (16.1s) probing aborted: 50/50 successive totally useless probings
15.95/16.08	c    (16.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
15.95/16.09	c    (16.1s) no symmetry present (symcode time: 0.00)
15.95/16.09	c presolving (91 rounds: 91 fast, 61 medium, 35 exhaustive):
15.95/16.09	c  14283 deleted vars, 38994 deleted constraints, 2481 added constraints, 2089 tightened bounds, 0 added holes, 305 changed sides, 1701 changed coefficients
15.95/16.09	c  0 implications, 98278 cliques
15.95/16.09	c presolved problem has 3003 variables (3003 bin, 0 int, 0 cont) and 4999 constraints
15.95/16.09	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
15.95/16.09	c     341 constraints of type <knapsack>
15.95/16.09	c    4069 constraints of type <setppc>
15.95/16.09	c     583 constraints of type <and>
15.95/16.09	c       6 constraints of type <logicor>
15.95/16.09	c transformed objective value is always integral (scale: 1)
15.95/16.09	c Presolving Time: 15.95
15.95/16.09	c 
15.95/16.09	c - non default parameters ----------------------------------------------------------------------
15.95/16.09	c 
15.95/16.09	c # SCIP version 10.0.0
15.95/16.09	c 
15.95/16.09	c # maximal time in seconds to run
15.95/16.09	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
15.95/16.09	c limits/time = 3596.998128
15.95/16.09	c 
15.95/16.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.95/16.09	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
15.95/16.09	c limits/memory = 27900
15.95/16.09	c 
15.95/16.09	c # belongs reading time to solving time?
15.95/16.09	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
15.95/16.09	c timing/reading = TRUE
15.95/16.09	c 
15.95/16.09	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
15.95/16.09	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
15.95/16.09	c reading/opbreader/maxintsize = 47
15.95/16.09	c 
15.95/16.09	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
15.95/16.09	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
15.95/16.09	c propagating/genvbounds/timingmask = 0
15.95/16.09	c 
15.95/16.09	c -----------------------------------------------------------------------------------------------
15.95/16.09	c 
16.54/16.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.54/16.67	c  16.7s|     1 |     0 |  3631 |     - |   114M |   0 |3003 |5051 |5577 |   0 |  0 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
20.83/20.90	c  20.9s|     1 |     0 | 18735 |     - |   119M |   0 |3003 |5252 |5577 |   0 |  1 |  57 |   0 |    cutoff    |      --      |   0.00%| unknown
20.83/20.90	c  20.9s|     1 |     0 | 18735 |     - |   119M |   0 |3003 |5252 |5577 |   0 |  1 |  57 |   0 |    cutoff    |      --      |   0.00%| unknown
20.83/20.90	c 
20.83/20.90	c SCIP Status        : problem is solved [infeasible]
20.83/20.90	c Solving Time (sec) : 20.90
20.83/20.90	c Solving Nodes      : 1
20.83/20.90	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
20.83/20.90	c Dual Bound         : +1.00000000000000e+20
20.83/20.90	c Gap                : 0.00 %
20.83/20.90	s UNSATISFIABLE
20.83/20.90	c SCIP Status        : problem is solved [infeasible]
20.83/20.90	c Total Time         :      20.90
20.83/20.90	c   solving          :      20.90
20.83/20.90	c   presolving       :      15.95 (included in solving)
20.83/20.90	c   reading          :       0.07 (included in solving)
20.83/20.90	c   copying          :       0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
20.83/20.90	c Original Problem   :
20.83/20.90	c   Problem name     : HOME/instance-4501841-1751153515.opb
20.83/20.90	c   Variables        : 12566 (12566 binary, 0 integer, 0 continuous)
20.83/20.90	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
20.83/20.90	c   Constraints      : 41514 initial, 41514 maximal
20.83/20.90	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
20.83/20.90	c Presolved Problem  :
20.83/20.90	c   Problem name     : t_HOME/instance-4501841-1751153515.opb
20.83/20.90	c   Variables        : 3003 (3003 binary, 0 integer, 0 continuous)
20.83/20.90	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
20.83/20.90	c   Constraints      : 4999 initial, 5252 maximal
20.83/20.90	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
20.83/20.90	c   Nonzeros         : 14942 constraint, 199972 clique table
20.83/20.90	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
20.83/20.90	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   domcol           :       0.00       0.00     17          0          0          0          0          0          0          0          0          0
20.83/20.90	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
20.83/20.90	c   gateextraction   :       0.05       0.00     25          0          0          0          0          0       5581       1739          0          0
20.83/20.90	c   implics          :       0.00       0.00     61          0          0          0          0          0          0          0          0          0
20.83/20.90	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   milp             :       0.44       0.00      1        391        251          0          0          0          0          0          0          0
20.83/20.90	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
20.83/20.90	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   trivial          :       0.01       0.00     91       4720          0          0          0          0          0          0          0          0
20.83/20.90	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   dualfix          :       0.01       0.00     91          1          0          0          0          0          0          0          0          0
20.83/20.90	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   probing          :      14.49       0.00     17        344         73          0          0          0          0          0          0          0
20.83/20.90	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
20.83/20.90	c   vbounds          :       0.06       0.00      7          0         34          0          0          0          0          0          0          0
20.83/20.90	c   knapsack         :       0.32       0.00    177          0          0          0          0          0         32        164        256       1470
20.83/20.90	c   setppc           :       0.27       0.00    176         36        153          0          0          0       1405          0         11         11
20.83/20.90	c   and              :       0.07       0.00    110          3        152          0          0          0        761        578          0        183
20.83/20.90	c   linear           :       0.13       0.01     26       2089       1316          0       2089          0      31215          0         38         37
20.83/20.90	c   logicor          :       0.00       0.00    110          0          0          0          0          0          0          0          0          0
20.83/20.90	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
20.83/20.90	c   root node        :          -          -      -       1487          -          -       1487          -          -          -          -          -
20.83/20.90	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
20.83/20.90	c   integral         :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
20.83/20.90	c   knapsack         :        341        341          1     221298          0          0          0          3       1666         23          0        201          0          0          0
20.83/20.90	c   setppc           :       4069+      4082          1     221275          0          0          0          0       3837        104          0          1          0          0          0
20.83/20.90	c   and              :        583        583          1     221171          0          0          0          0        627         30          0         26          0          0          0
20.83/20.90	c   linear           :          0+       200          0          0          0          0          0          3          0          0          0          0          0          0          0
20.83/20.90	c   logicor          :          6+        46          1       1335          0          0          0          0          2          1          0          0          0          0          0
20.83/20.90	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
20.83/20.90	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   knapsack         :       0.79       0.00       0.00       0.79       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   setppc           :       3.48       0.00       0.00       3.48       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   and              :       1.81       0.00       0.00       1.81       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   linear           :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
20.83/20.90	c   dualfix          :          1          0          0          0
20.83/20.90	c   genvbounds       :          0          0          0          0
20.83/20.90	c   nlobbt           :          0          0          0          0
20.83/20.90	c   obbt             :          0          0          0          0
20.83/20.90	c   probing          :          0          0          0          0
20.83/20.90	c   pseudoobj        :          0          0          0          0
20.83/20.90	c   redcost          :          0          0          0          0
20.83/20.90	c   rootredcost      :          0          0          0          0
20.83/20.90	c   symmetry         :          0          0          0          0
20.83/20.90	c   vbounds          :        989          0          0          0
20.83/20.90	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
20.83/20.90	c   dualfix          :       0.01       0.00       0.01       0.00       0.00       0.00
20.83/20.90	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
20.83/20.90	c   probing          :      14.49       0.00      14.49       0.00       0.00       0.00
20.83/20.90	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
20.83/20.90	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
20.83/20.90	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
20.83/20.90	c   symmetry         :       0.02       0.00       0.01       0.01       0.00       0.00
20.83/20.90	c   vbounds          :       0.06       0.00       0.06       0.01       0.00       0.00
20.83/20.90	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
20.83/20.90	c   propagation      :       0.00        154         25          -         62       10.3          2        2.5          -          -          -
20.83/20.90	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
20.83/20.90	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
20.83/20.90	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
20.83/20.90	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
20.83/20.90	c   applied globally :       0.00          -          -          0         57        7.9          -          -          0          -          -
20.83/20.90	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
20.83/20.90	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
20.83/20.90	c   cut pool         :       0.00          -          0          0          -          -        284          0          -          -          -          -          -    (maximal pool size:        284)
20.83/20.90	c   aggregation      :       0.00       0.00          1          1          0          0         26          0          0          0          0          0          0
20.83/20.90	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
20.83/20.90	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
20.83/20.90	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
20.83/20.90	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   clique           :       0.23       0.00          1          1          0          0          9          0          0          0          0          0          0
20.83/20.90	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   gomory           :       0.40       0.00          1          1          0          0          3          0          0          0          0          0          0
20.83/20.90	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
20.83/20.90	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
20.83/20.90	c   impliedbounds    :       0.01       0.00          1          1          0          0        242          0          0          0          0          0          0
20.83/20.90	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
20.83/20.90	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   multilinear      :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
20.83/20.90	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
20.83/20.90	c   rapidlearning    :       1.48       0.00          1          1          0       1487          0          0          0          0          0          0        200
20.83/20.90	c   rlt              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
20.83/20.90	c   zerohalf         :       0.02       0.00          1          1          0          0          4          0          0          0          0          0          0
20.83/20.90	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
20.83/20.90	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c Pricers            :   ExecTime  SetupTime      Calls       Vars
20.83/20.90	c   problem variables:       0.00          -          0          0
20.83/20.90	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
20.83/20.90	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
20.83/20.90	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
20.83/20.90	c   LP solutions     :       0.00          -          -          0          0
20.83/20.90	c   relax solutions  :       0.00          -          -          0          0
20.83/20.90	c   pseudo solutions :       0.00          -          -          0          0
20.83/20.90	c   strong branching :       0.00          -          -          0          0
20.83/20.90	c   actconsdiving    :       0.00       0.00          0          0          0
20.83/20.90	c   adaptivediving   :       0.00       0.00          0          0          0
20.83/20.90	c   alns             :       0.00       0.00          0          0          0
20.83/20.90	c   bound            :       0.00       0.00          0          0          0
20.83/20.90	c   clique           :       0.01       0.00          1          0          0
20.83/20.90	c   coefdiving       :       0.00       0.00          0          0          0
20.83/20.90	c   completesol      :       0.00       0.00          0          0          0
20.83/20.90	c   conflictdiving   :       0.00       0.00          0          0          0
20.83/20.90	c   crossover        :       0.00       0.00          0          0          0
20.83/20.90	c   dins             :       0.00       0.00          0          0          0
20.83/20.90	c   distributiondivin:       0.00       0.00          0          0          0
20.83/20.90	c   dks              :       0.00       0.00          0          0          0
20.83/20.90	c   dps              :       0.00       0.00          0          0          0
20.83/20.90	c   dualval          :       0.00       0.00          0          0          0
20.83/20.90	c   farkasdiving     :       0.00       0.00          0          0          0
20.83/20.90	c   feaspump         :       2.05       0.00          1          0          0
20.83/20.90	c   fixandinfer      :       0.00       0.00          0          0          0
20.83/20.90	c   fracdiving       :       0.00       0.00          0          0          0
20.83/20.90	c   gins             :       0.00       0.00          0          0          0
20.83/20.90	c   guideddiving     :       0.00       0.00          0          0          0
20.83/20.90	c   indicator        :       0.00       0.00          0          0          0
20.83/20.90	c   indicatordiving  :       0.00       0.00          0          0          0
20.83/20.90	c   intdiving        :       0.00       0.00          0          0          0
20.83/20.90	c   intshifting      :       0.00       0.00          0          0          0
20.83/20.90	c   linesearchdiving :       0.00       0.00          0          0          0
20.83/20.90	c   localbranching   :       0.00       0.00          0          0          0
20.83/20.90	c   locks            :       0.01       0.00          1          0          0
20.83/20.90	c   lpface           :       0.00       0.00          0          0          0
20.83/20.90	c   mpec             :       0.00       0.00          0          0          0
20.83/20.90	c   multistart       :       0.00       0.00          0          0          0
20.83/20.90	c   mutation         :       0.00       0.00          0          0          0
20.83/20.90	c   nlpdiving        :       0.00       0.00          0          0          0
20.83/20.90	c   objpscostdiving  :       0.00       0.00          0          0          0
20.83/20.90	c   octane           :       0.00       0.00          0          0          0
20.83/20.90	c   ofins            :       0.00       0.00          0          0          0
20.83/20.90	c   oneopt           :       0.00       0.00          0          0          0
20.83/20.90	c   padm             :       0.00       0.00          0          0          0
20.83/20.90	c   proximity        :       0.00       0.00          0          0          0
20.83/20.90	c   pscostdiving     :       0.00       0.00          0          0          0
20.83/20.90	c   randrounding     :       0.00       0.00          1          0          0
20.83/20.90	c   rens             :       0.00       0.00          0          0          0
20.83/20.90	c   reoptsols        :       0.00       0.00          0          0          0
20.83/20.90	c   repair           :       0.00       0.00          0          0          0
20.83/20.90	c   rins             :       0.00       0.00          0          0          0
20.83/20.90	c   rootsoldiving    :       0.00       0.00          0          0          0
20.83/20.90	c   rounding         :       0.00       0.00          1          0          0
20.83/20.90	c   scheduler        :       0.00       0.00          0          0          0
20.83/20.90	c   shiftandpropagate:       0.01       0.00          1          0          0
20.83/20.90	c   shifting         :       0.00       0.00          1          0          0
20.83/20.90	c   simplerounding   :       0.00       0.00          0          0          0
20.83/20.90	c   subnlp           :       0.00       0.00          0          0          0
20.83/20.90	c   trivial          :       0.00       0.00          2          0          0
20.83/20.90	c   trivialnegation  :       0.00       0.00          0          0          0
20.83/20.90	c   trustregion      :       0.00       0.00          0          0          0
20.83/20.90	c   trysol           :       0.00       0.00          0          0          0
20.83/20.90	c   twoopt           :       0.00       0.00          0          0          0
20.83/20.90	c   undercover       :       0.00       0.00          1          0          0
20.83/20.90	c   vbounds          :       0.02       0.00          1          0          0
20.83/20.90	c   veclendiving     :       0.00       0.00          0          0          0
20.83/20.90	c   zeroobj          :       0.00       0.00          0          0          0
20.83/20.90	c   zirounding       :       0.00       0.00          0          0          0
20.83/20.90	c   other solutions  :          -          -          -          0          -
20.83/20.90	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
20.83/20.90	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
20.83/20.90	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
20.83/20.90	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
20.83/20.90	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
20.83/20.90	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
20.83/20.90	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
20.83/20.90	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
20.83/20.90	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
20.83/20.90	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
20.83/20.90	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
20.83/20.90	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
20.83/20.90	c   dual LP          :       0.55          2       3764    1882.00    6795.24       0.00          0
20.83/20.90	c   lex dual LP      :       0.00          0          0       0.00          -
20.83/20.90	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
20.83/20.90	c   resolve instable :       0.00          0          0       0.00          -
20.83/20.90	c   diving/probing LP:       2.04          5      14971    2994.20    7328.99
20.83/20.90	c   strong branching :       0.00          0          0       0.00          -          -          -          0
20.83/20.90	c     (at root node) :          -          0          0       0.00          -
20.83/20.90	c   conflict analysis:       0.00          0          0       0.00          -
20.83/20.90	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
20.83/20.90	c   benders          :       0.00          0          0          0       0.00          0          0          0
20.83/20.90	c B&B Tree           :
20.83/20.90	c   number of runs   :          1
20.83/20.90	c   nodes            :          1 (0 internal, 1 leaves)
20.83/20.90	c   feasible leaves  :          0
20.83/20.90	c   infeas. leaves   :          0
20.83/20.90	c   objective leaves :          0
20.83/20.90	c   nodes (total)    :          1 (0 internal, 1 leaves)
20.83/20.90	c   nodes left       :          0
20.83/20.90	c   max depth        :          0
20.83/20.90	c   max depth (total):          0
20.83/20.90	c   backtracks       :          0 (0.0%)
20.83/20.90	c   early backtracks :          0 (0.0%)
20.83/20.90	c   nodes exc. ref.  :          0 (0.0%)
20.83/20.90	c   delayed cutoffs  :          0
20.83/20.90	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
20.83/20.90	c   avg switch length:       2.00
20.83/20.90	c   switching time   :       0.00
20.83/20.90	c Root Node          :
20.83/20.90	c   First LP value   : +0.00000000000000e+00
20.83/20.90	c   First LP Iters   :       3631 (6919.96 Iter/sec)
20.83/20.90	c   First LP Time    :       0.52
20.83/20.90	c   Final Dual Bound :          -
20.83/20.90	c   Final Root Iters :      18735
20.83/20.90	c   Root LP Estimate :                     -
20.83/20.90	c Solution           :
20.83/20.90	c   Solutions found  :          0 (0 improvements)
20.83/20.90	c   Primal Bound     : infeasible
20.83/20.90	c   Dual Bound       :          -
20.83/20.90	c   Gap              :       0.00 %
20.83/20.90	c Integrals          :      Total       Avg%
20.83/20.90	c   primal-dual      :          -          - (problem infeasible)
20.83/20.90	c   primal-ref       :          -          - (problem infeasible)
20.83/20.90	c   dual-ref         :          -          - (problem infeasible)
20.83/20.95	c Time complete (sec):     20.898

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 63665 MiB (62929 MiB free)
  memory of node 1: 64507 MiB (58999 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501841-1751153515/watcher-4501841-1751153515 -o /tmp/evaluation-result-4501841-1751153515/solver-4501841-1751153515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751146306-16114 --watchdog 3760 pbsolver -f HOME/instance-4501841-1751153515.opb -t 3600 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=19003, runsolver pid=19000

[startup+0.100065 s]*
/proc/loadavg: 4.07 4.12 4.09 5/264 19004
/proc/meminfo: memFree=124815364/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=78312 memory=69388 CPUtime=0.1 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 15348 0 0 0 8 2 0 0 20 0 1 0 31029254 80191488 17347 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 19578 17347 2368 2575 0 16485 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 78312 KiB
Current children cumulated memory: 69388 KiB

[startup+0.205575 s]*
/proc/loadavg: 4.07 4.12 4.09 5/264 19004
/proc/meminfo: memFree=124783360/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=107532 memory=97036 CPUtime=0.2 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 22209 0 0 0 17 3 0 0 20 0 1 0 31029254 110112768 24259 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 26883 24259 2432 2575 0 23790 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 97036 KiB

[startup+0.305476 s]*
/proc/loadavg: 4.07 4.12 4.09 5/264 19004
/proc/meminfo: memFree=124776268/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=117636 memory=107472 CPUtime=0.29 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 25593 0 0 0 26 3 0 0 20 0 1 0 31029254 120459264 26868 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 29409 26868 2496 2575 0 26316 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 117636 KiB
Current children cumulated memory: 107472 KiB

[startup+0.700146 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 19004
/proc/meminfo: memFree=124776268/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=117636 memory=107600 CPUtime=0.68 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 25595 0 0 0 65 3 0 0 20 0 1 0 31029254 120459264 26900 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 29409 26900 2528 2575 0 26316 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 117636 KiB
Current children cumulated memory: 107600 KiB

[startup+1.50017 s]
/proc/loadavg: 4.07 4.12 4.09 6/264 19004
/proc/meminfo: memFree=124777356/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=120512 memory=109672 CPUtime=1.48 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 28266 0 0 0 144 4 0 0 20 0 1 0 31029254 123404288 27418 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 30128 27418 2624 2575 0 27035 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120512 KiB
Current children cumulated memory: 109672 KiB

[startup+3.10533 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 19004
/proc/meminfo: memFree=125339940/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=121784 memory=111080 CPUtime=3.08 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 28609 0 0 0 304 4 0 0 20 0 1 0 31029254 124706816 27770 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 30446 27770 2624 2575 0 27353 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121784 KiB
Current children cumulated memory: 111080 KiB

[startup+6.30012 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 19049
/proc/meminfo: memFree=128685032/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=124228 memory=113512 CPUtime=6.26 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 29209 0 0 0 622 4 0 0 20 0 1 0 31029254 127209472 28378 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 31057 28378 2624 2575 0 27964 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 124228 KiB
Current children cumulated memory: 113512 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 19049
/proc/meminfo: memFree=128605780/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=125712 memory=114920 CPUtime=12.66 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 29564 0 0 0 1261 5 0 0 20 0 1 0 31029254 128729088 28730 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 31428 28730 2624 2575 0 28335 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 125712 KiB
Current children cumulated memory: 114920 KiB

[startup+20.9629 s]
# the end of solver process 19003 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=20.8189 s, system=0.083769 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8002 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 19049
/proc/meminfo: memFree=128605780/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=125712 memory=114920 CPUtime=12.76 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 29564 0 0 0 1271 5 0 0 20 0 1 0 31029254 128729088 28730 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 31428 28730 2624 2575 0 28335 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 125712 KiB
Current children cumulated memory: 114920 KiB

[startup+16.0001 s]*
/proc/loadavg: 4.05 4.11 4.09 5/264 19049
/proc/meminfo: memFree=128549584/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=126476 memory=115688 CPUtime=15.95 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 29759 0 0 0 1590 5 0 0 20 0 1 0 31029254 129511424 28922 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 31619 28922 2624 2575 0 28526 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 126476 KiB
Current children cumulated memory: 115688 KiB

[startup+19.2001 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 19049
/proc/meminfo: memFree=128537748/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=148392 memory=132660 CPUtime=19.13 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 34541 0 0 0 1908 5 0 0 20 0 1 0 31029254 151953408 33165 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 37098 33165 2688 2575 0 34005 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 148392 KiB
Current children cumulated memory: 132660 KiB

[startup+20.0001 s]*
/proc/loadavg: 4.05 4.11 4.09 5/264 19049
/proc/meminfo: memFree=128493396/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=186600 memory=169012 CPUtime=19.94 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 43633 0 0 0 1987 7 0 0 20 0 1 0 31029254 191078400 42253 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 46650 42253 2688 2575 0 43557 0
Current children cumulated CPU time: 19.94 s
Current children cumulated vsize: 186600 KiB
Current children cumulated memory: 169012 KiB

[startup+20.4001 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 19049
/proc/meminfo: memFree=128493396/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=191444 memory=173748 CPUtime=20.33 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 44844 0 0 0 2026 7 0 0 20 0 1 0 31029254 196038656 43437 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 47861 43437 2688 2575 0 44768 0
Current children cumulated CPU time: 20.33 s
Current children cumulated vsize: 191444 KiB
Current children cumulated memory: 173748 KiB

[startup+20.8001 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 19049
/proc/meminfo: memFree=128493396/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=195452 memory=177716 CPUtime=20.73 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 45823 0 0 0 2066 7 0 0 20 0 1 0 31029254 200142848 44429 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 48863 44429 2688 2575 0 45770 0
Current children cumulated CPU time: 20.73 s
Current children cumulated vsize: 195452 KiB
Current children cumulated memory: 177716 KiB

[startup+20.9001 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 19049
/proc/meminfo: memFree=128493396/131249996 swapFree=33010684/33010684
[pid=19003] ppid=19000 vsize=193044 memory=175404 CPUtime=20.83 cores=0,2
/proc/19003/stat : 19003 (pbsolver) R 19000 19003 16104 0 -1 4194304 46030 0 0 0 2076 7 0 0 20 0 1 0 31029254 197677056 43851 18446744073709551615 4198400 14743177 140723989884720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23150592 140723989887370 140723989887466 140723989887466 140723989893068 0
/proc/19003/statm: 48261 43851 2688 2575 0 45168 0
Current children cumulated CPU time: 20.83 s
Current children cumulated vsize: 193044 KiB
Current children cumulated memory: 175404 KiB

Child status: 0

Real time (s): 20.963
CPU time (s): 20.9027
CPU user time (s): 20.8189
CPU system time (s): 0.083769
CPU usage (%): 99.7123
Max. virtual memory (cumulated for all children) (KiB): 195452
Max. memory (cumulated for all children) (KiB): 177716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8189
system time used= 0.083769
maximum resident set size= 178484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46030
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= 3
involuntary context switches= 31


# summary of solver processes directly reported to runsolver:
#   pid: 19003
#   total CPU time (s): 20.9027
#   total CPU user time (s): 20.8189
#   total CPU system time (s): 0.083769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041309 second user time and 0.121116 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 01:31:55
IDJOB=4501841
IDBENCH=152011
IDSOLVER=3366
FILE ID=nodeC017/4501841-1751153515
RUNJOBID= nodeC017-1751146306-16114
SLURM_JOB_ID= 9587458
Free space on /tmp= 432916 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j60/normalized-j6021_1-unsat.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4501841-1751153515/watcher-4501841-1751153515 -o /tmp/evaluation-result-4501841-1751153515/solver-4501841-1751153515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751146306-16114 --watchdog 3760  pbsolver -f HOME/instance-4501841-1751153515.opb -t 3600 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= acb3bfa25be6cee6deaef298d2d917c1
RANDOM SEED=435489105

nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3562.927
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.062
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.090
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3595.745
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.006
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.066
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.875
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124855120 kB
MemAvailable:   124619152 kB
Buffers:            3280 kB
Cached:           574916 kB
SwapCached:            0 kB
Active:          5385776 kB
Inactive:         355908 kB
Active(anon):    5181584 kB
Inactive(anon):        0 kB
Active(file):     204192 kB
Inactive(file):   355908 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             32104 kB
Writeback:             0 kB
AnonPages:       5165884 kB
Mapped:           134760 kB
Shmem:             18080 kB
KReclaimable:      85940 kB
Slab:             169052 kB
SReclaimable:      85940 kB
SUnreclaim:        83112 kB
KernelStack:        4300 kB
PageTables:        13456 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5798744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2144256 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432940 MiB
End job on nodeC017 at 2025-06-29 01:32:16