Trace number 4452425

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 2024-07-07? 3585.31 3597.09

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-ns903616.0.u.opb
MD5SUM851dd7bb62635ec66e2461b484912a91
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21582
Total number of constraints17547
Number of constraints which are clauses6313
Number of constraints which are cardinality constraints (but not clauses)344
Number of constraints which are nor clauses,nor cardinality constraints10890
Minimum length of a constraint1
Maximum length of a constraint221
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 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 221
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 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4452425-1721442110.opb>
0.00/0.06	c original problem has 21582 variables (21582 bin, 0 int, 0 impl, 0 cont) and 17547 constraints
0.00/0.06	c problem read in 0.06
0.00/0.06	c No objective function, only one solution is needed.
0.09/0.11	c presolving:
0.09/0.16	c (round 1, fast)       5373 del vars, 4070 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 13083 clqs
0.09/0.17	c (round 2, fast)       5988 del vars, 4604 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12942 clqs
0.09/0.20	c    (0.2s) running MILP presolver
0.49/0.53	c    (0.5s) MILP presolver (16 rounds): 2 aggregations, 213 fixings, 0 bound changes
0.49/0.54	c (round 3, medium)     6217 del vars, 4604 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12808 clqs
0.49/0.54	c (round 4, fast)       6290 del vars, 4759 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12775 clqs
0.49/0.54	c (round 5, fast)       6290 del vars, 4771 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12775 clqs
0.49/0.60	c (round 6, exhaustive) 6290 del vars, 4771 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 12775 clqs
0.89/0.99	c (round 7, exhaustive) 6316 del vars, 4771 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 27492 clqs
0.89/0.99	c (round 8, fast)       6316 del vars, 4784 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 27492 clqs
1.19/1.25	c (round 9, exhaustive) 6341 del vars, 4784 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 39918 clqs
1.19/1.25	c (round 10, fast)       6341 del vars, 4808 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 39918 clqs
1.59/1.64	c (round 11, exhaustive) 6367 del vars, 4808 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 55555 clqs
1.59/1.64	c (round 12, fast)       6367 del vars, 4825 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 55555 clqs
2.18/2.22	c (round 13, exhaustive) 6401 del vars, 4825 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70058 clqs
2.18/2.22	c (round 14, fast)       6410 del vars, 4843 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70058 clqs
2.48/2.51	c (round 15, exhaustive) 6435 del vars, 4843 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70550 clqs
2.48/2.52	c (round 16, fast)       6435 del vars, 4861 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70550 clqs
2.58/2.61	c    (2.6s) probing: 1000/15766 (6.3%) - 132 fixings, 0 aggregations, 87596 implications, 0 bound changes
2.68/2.75	c (round 17, exhaustive) 6461 del vars, 4861 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70544 clqs
2.68/2.76	c (round 18, fast)       6461 del vars, 4880 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70544 clqs
2.99/3.03	c (round 19, exhaustive) 6486 del vars, 4880 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70674 clqs
2.99/3.03	c (round 20, fast)       6486 del vars, 4901 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70674 clqs
2.99/3.05	c (round 21, exhaustive) 6486 del vars, 5005 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70674 clqs
2.99/3.06	c (round 22, medium)     6501 del vars, 5010 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70522 clqs
3.48/3.55	c (round 23, exhaustive) 6528 del vars, 5011 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70718 clqs
3.48/3.56	c (round 24, fast)       6528 del vars, 5030 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70718 clqs
3.58/3.69	c (round 25, exhaustive) 6528 del vars, 7302 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70718 clqs
3.58/3.70	c (round 26, fast)       6701 del vars, 7353 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70048 clqs
3.68/3.70	c (round 27, fast)       6769 del vars, 7417 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69740 clqs
3.68/3.70	c (round 28, fast)       6854 del vars, 7448 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69424 clqs
3.68/3.71	c (round 29, fast)       6886 del vars, 7476 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69305 clqs
3.68/3.71	c (round 30, fast)       6926 del vars, 7490 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69134 clqs
3.68/3.71	c (round 31, fast)       6940 del vars, 7503 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69036 clqs
3.68/3.72	c (round 32, fast)       6959 del vars, 7508 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 68955 clqs
3.68/3.73	c (round 33, medium)     7069 del vars, 7607 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 65510 clqs
3.68/3.73	c (round 34, fast)       7073 del vars, 7631 del conss, 24 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 65516 clqs
3.68/3.77	c (round 35, exhaustive) 7074 del vars, 7794 del conss, 24 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 65490 clqs
3.68/3.78	c (round 36, medium)     7090 del vars, 7802 del conss, 24 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12776 upgd conss, 0 impls, 65429 clqs
3.78/3.80	c (round 37, exhaustive) 7095 del vars, 7806 del conss, 24 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12800 upgd conss, 0 impls, 65416 clqs
3.78/3.80	c (round 38, medium)     7112 del vars, 7823 del conss, 24 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12800 upgd conss, 0 impls, 64738 clqs
3.78/3.82	c (round 39, exhaustive) 7114 del vars, 7827 del conss, 26 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12802 upgd conss, 0 impls, 64627 clqs
4.18/4.25	c (round 40, exhaustive) 7141 del vars, 7830 del conss, 27 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71457 clqs
4.18/4.26	c (round 41, fast)       7144 del vars, 7854 del conss, 27 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71420 clqs
4.18/4.28	c (round 42, medium)     7162 del vars, 7870 del conss, 27 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71279 clqs
4.18/4.29	c (round 43, fast)       7162 del vars, 7874 del conss, 31 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71289 clqs
4.58/4.65	c    (4.6s) probing: 2000/15766 (12.7%) - 245 fixings, 0 aggregations, 181005 implications, 0 bound changes
4.77/4.81	c (round 44, exhaustive) 7188 del vars, 7875 del conss, 31 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12807 upgd conss, 0 impls, 71427 clqs
4.77/4.82	c (round 45, fast)       7188 del vars, 7895 del conss, 31 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12807 upgd conss, 0 impls, 71427 clqs
4.77/4.83	c (round 46, medium)     7209 del vars, 7910 del conss, 31 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12807 upgd conss, 0 impls, 71321 clqs
4.77/4.83	c (round 47, fast)       7212 del vars, 7918 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12807 upgd conss, 0 impls, 71326 clqs
4.77/4.85	c (round 48, exhaustive) 7213 del vars, 7932 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12807 upgd conss, 0 impls, 71324 clqs
5.37/5.40	c (round 49, exhaustive) 7239 del vars, 7932 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12814 upgd conss, 0 impls, 71274 clqs
5.37/5.41	c (round 50, fast)       7241 del vars, 7950 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12814 upgd conss, 0 impls, 71239 clqs
5.37/5.42	c (round 51, medium)     7263 del vars, 7961 del conss, 38 add conss, 4883 chg bounds, 6 chg sides, 6 chg coeffs, 12814 upgd conss, 0 impls, 71189 clqs
5.37/5.42	c (round 52, fast)       7291 del vars, 7968 del conss, 42 add conss, 4883 chg bounds, 6 chg sides, 6 chg coeffs, 12814 upgd conss, 0 impls, 71056 clqs
5.37/5.43	c (round 53, exhaustive) 7293 del vars, 7971 del conss, 43 add conss, 4883 chg bounds, 6 chg sides, 6 chg coeffs, 12819 upgd conss, 0 impls, 71052 clqs
6.08/6.12	c (round 54, exhaustive) 7326 del vars, 7975 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71583 clqs
6.08/6.13	c (round 55, fast)       7348 del vars, 8001 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71534 clqs
6.08/6.14	c (round 56, medium)     7357 del vars, 8010 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71372 clqs
6.08/6.15	c (round 57, exhaustive) 7358 del vars, 8018 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71372 clqs
6.17/6.25	c    (6.3s) probing: 3000/15766 (19.0%) - 307 fixings, 0 aggregations, 280909 implications, 0 bound changes
6.67/6.72	c (round 58, exhaustive) 7383 del vars, 8018 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71611 clqs
6.67/6.72	c (round 59, fast)       7385 del vars, 8040 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71605 clqs
6.67/6.73	c (round 60, medium)     7401 del vars, 8046 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 71521 clqs
6.67/6.74	c (round 61, fast)       7414 del vars, 8047 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 71465 clqs
7.37/7.46	c (round 62, exhaustive) 7805 del vars, 8048 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 70027 clqs
7.37/7.47	c (round 63, fast)       7877 del vars, 8363 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 69763 clqs
7.37/7.47	c (round 64, fast)       7978 del vars, 8413 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 69222 clqs
7.37/7.48	c (round 65, fast)       8053 del vars, 8461 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 68851 clqs
7.37/7.48	c (round 66, fast)       8092 del vars, 8480 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 68696 clqs
7.37/7.48	c (round 67, fast)       8105 del vars, 8490 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 68656 clqs
7.47/7.51	c    (7.5s) running MILP presolver
7.47/7.59	c    (7.6s) MILP presolver (6 rounds): 1 aggregations, 63 fixings, 0 bound changes
7.47/7.60	c (round 68, medium)     8211 del vars, 8570 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12820 upgd conss, 0 impls, 67654 clqs
7.56/7.64	c (round 69, exhaustive) 8579 del vars, 8571 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 70860 clqs
7.56/7.64	c (round 70, fast)       8649 del vars, 8874 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 70532 clqs
7.56/7.65	c (round 71, fast)       8743 del vars, 8927 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69994 clqs
7.56/7.65	c (round 72, fast)       8814 del vars, 8967 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69561 clqs
7.56/7.65	c (round 73, fast)       8841 del vars, 8983 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69427 clqs
7.56/7.66	c (round 74, medium)     8857 del vars, 8997 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69202 clqs
7.66/7.76	c (round 75, exhaustive) 9249 del vars, 8997 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 70971 clqs
7.66/7.76	c (round 76, fast)       9337 del vars, 9331 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 70589 clqs
7.66/7.77	c (round 77, fast)       9444 del vars, 9386 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69872 clqs
7.66/7.77	c (round 78, fast)       9525 del vars, 9434 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69350 clqs
7.66/7.78	c (round 79, fast)       9560 del vars, 9456 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69180 clqs
7.66/7.78	c (round 80, fast)       9571 del vars, 9463 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69073 clqs
7.76/7.80	c (round 81, medium)     9583 del vars, 9475 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 68740 clqs
7.86/7.91	c (round 82, exhaustive) 9977 del vars, 9476 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 68347 clqs
7.86/7.92	c (round 83, fast)       10059 del vars, 9806 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 67850 clqs
7.86/7.92	c (round 84, fast)       10162 del vars, 9856 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 67001 clqs
7.86/7.93	c (round 85, fast)       10240 del vars, 9907 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 66293 clqs
7.86/7.93	c (round 86, fast)       10269 del vars, 9927 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 66132 clqs
7.86/7.95	c (round 87, medium)     10296 del vars, 9961 del conss, 53 add conss, 4883 chg bounds, 20 chg sides, 31 chg coeffs, 12821 upgd conss, 0 impls, 58736 clqs
8.16/8.21	c    (8.2s) probing: 4000/15766 (25.4%) - 1871 fixings, 0 aggregations, 426754 implications, 0 bound changes
9.46/9.53	c    (9.5s) probing: 5000/15766 (31.7%) - 1873 fixings, 0 aggregations, 529394 implications, 0 bound changes
10.85/10.96	c    (11.0s) probing: 6000/15766 (38.1%) - 1874 fixings, 0 aggregations, 642735 implications, 0 bound changes
12.15/12.22	c    (12.2s) probing: 6917/15766 (43.9%) - 1874 fixings, 0 aggregations, 741953 implications, 0 bound changes
12.15/12.22	c    (12.2s) probing aborted: 1000/1000 successive useless probings
12.15/12.24	c    (12.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
12.15/12.26	c    (12.3s) no symmetry present (symcode time: 0.01)
12.15/12.27	c presolving (88 rounds: 88 fast, 41 medium, 27 exhaustive):
12.15/12.27	c  10301 deleted vars, 9961 deleted constraints, 53 added constraints, 4883 tightened bounds, 0 added holes, 20 changed sides, 31 changed coefficients
12.15/12.27	c  0 implications, 75616 cliques
12.15/12.27	c presolved problem has 11764 variables (11764 bin, 0 int, 0 impl, 0 cont) and 7639 constraints
12.15/12.27	c    7639 constraints of type <setppc>
12.15/12.27	c transformed objective value is always integral (scale: 1)
12.15/12.27	c Presolving Time: 12.16
12.15/12.27	c - non default parameters ----------------------------------------------------------------------
12.15/12.27	c # SCIP version 10.0.0
12.15/12.27	c 
12.15/12.27	c # maximal time in seconds to run
12.15/12.27	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
12.15/12.27	c limits/time = 3596.997011
12.15/12.27	c 
12.15/12.27	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.15/12.27	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
12.15/12.27	c limits/memory = 27900
12.15/12.27	c 
12.15/12.27	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
12.15/12.27	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
12.15/12.27	c limits/solutions = 1
12.15/12.27	c 
12.15/12.27	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
12.15/12.27	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
12.15/12.27	c misc/usesymmetry = 3
12.15/12.27	c 
12.15/12.27	c # belongs reading time to solving time?
12.15/12.27	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
12.15/12.27	c timing/reading = TRUE
12.15/12.27	c 
12.15/12.27	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
12.15/12.27	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.15/12.27	c propagating/symmetry/detectdoublelex = FALSE
12.15/12.27	c 
12.15/12.27	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
12.15/12.27	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.15/12.27	c propagating/symmetry/detectsubgroups = FALSE
12.15/12.27	c 
12.15/12.27	c # Type of symmetries that shall be computed?
12.15/12.27	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
12.15/12.27	c propagating/symmetry/symtype = 1
12.15/12.27	c 
12.15/12.27	c # Should components consisting of a single full reflection be handled?
12.15/12.27	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.15/12.27	c propagating/symmetry/usesimplesgncomp = FALSE
12.15/12.27	c 
12.15/12.27	c -----------------------------------------------------------------------------------------------
12.15/12.27	c start solving
12.15/12.27	c 
17.14/17.28	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.14/17.28	c  17.3s|     1 |     0 | 13222 |     - |   148M |   0 |  11k|7675 |7639 |   0 |  0 |  35 |   0 | 0.000000e+00 |      --      |    Inf | unknown
26.40/26.53	c  26.5s|     1 |     0 | 37181 |     - |   158M |   0 |  11k|7681 |7658 |  19 |  1 |  41 |   0 | 0.000000e+00 |      --      |    Inf | unknown
28.69/28.82	c  28.8s|     1 |     0 | 40066 |     - |   162M |   0 |  11k|7682 |7668 |  29 |  2 |  42 |   0 | 0.000000e+00 |      --      |    Inf | unknown
38.17/38.36	c  38.4s|     1 |     0 | 54143 |     - |   165M |   0 |  11k|7683 |7677 |  38 |  3 |  43 |   0 | 0.000000e+00 |      --      |    Inf | unknown
47.93/48.10	c  48.1s|     1 |     0 | 67797 |     - |   168M |   0 |  11k|7684 |7689 |  50 |  4 |  44 |   0 | 0.000000e+00 |      --      |    Inf | unknown
57.49/57.75	c  57.7s|     1 |     0 | 81514 |     - |   169M |   0 |  11k|7687 |7706 |  67 |  5 |  47 |   0 | 0.000000e+00 |      --      |    Inf | unknown
66.77/67.07	c  67.1s|     1 |     0 | 94584 |     - |   170M |   0 |  11k|7692 |7723 |  84 |  6 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
76.74/77.09	c  77.1s|     1 |     0 |108146 |     - |   172M |   0 |  11k|7693 |7735 |  96 |  7 |  53 |   0 | 0.000000e+00 |      --      |    Inf | unknown
86.49/86.84	c  86.8s|     1 |     0 |121247 |     - |   173M |   0 |  11k|7695 |7747 | 108 |  8 |  55 |   0 | 0.000000e+00 |      --      |    Inf | unknown
96.46/96.80	c  96.8s|     1 |     0 |134444 |     - |   175M |   0 |  11k|7698 |7756 | 117 |  9 |  58 |   0 | 0.000000e+00 |      --      |    Inf | unknown
100.75/101.15	c   101s|     1 |     0 |139816 |     - |   176M |   0 |  11k|7700 |7765 | 126 | 10 |  60 |   0 | 0.000000e+00 |      --      |    Inf | unknown
103.23/103.61	c   104s|     1 |     0 |143250 |     - |   177M |   0 |  11k|7701 |7782 | 143 | 11 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
104.13/104.58	c   105s|     1 |     0 |144359 |     - |   179M |   0 |  11k|7711 |7788 | 149 | 12 |  71 |   0 | 0.000000e+00 |      --      |    Inf | unknown
106.82/107.21	c   107s|     1 |     0 |148045 |     - |   180M |   0 |  11k|7712 |7771 | 161 | 13 |  72 |   0 | 0.000000e+00 |      --      |    Inf | unknown
189.05/189.79	c   190s|     1 |     2 |273557 |     - |   182M |   0 |  11k|7735 |7771 | 161 | 13 |  95 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1172.62/1176.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1172.62/1176.67	c  1177s|   100 |   101 |  1778k|16473.8 |   260M |  32 |  11k|8154 |7713 | 284 |  1 | 517 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1335.37/1339.95	c  1340s|   200 |   155 |  2082k|9719.7 |   268M |  61 |  11k|8261 |7739 | 351 |  0 | 624 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1490.48/1495.58	c  1496s|   300 |   161 |  2361k|7404.5 |   271M |  61 |  11k|8289 |7739 | 390 |  1 | 654 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1583.10/1588.40	c  1588s|   400 |   175 |  2542k|6002.1 |   274M |  61 |  11k|8352 |7740 | 415 |  2 | 720 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1643.21/1648.70	c  1649s|   500 |   185 |  2668k|5050.6 |   275M |  61 |  11k|8378 |7740 | 430 |  0 | 750 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1709.00/1714.71	c  1715s|   600 |   179 |  2804k|4435.6 |   277M |  61 |  11k|8417 |7737 | 448 |  1 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1779.78/1785.77	c  1786s|   700 |   179 |  2952k|4012.5 |   278M |  61 |  11k|8447 |7741 | 462 |  0 | 872 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1841.29/1847.43	c  1847s|   800 |   197 |  3082k|3673.0 |   280M |  61 |  11k|8506 |7739 | 490 |  0 | 957 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1907.98/1914.34	c  1914s|   900 |   185 |  3222k|3419.6 |   282M |  63 |  11k|8566 |7739 | 501 |  0 |1041 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1981.94/1988.54	c  1989s|  1000 |   193 |  3377k|3232.3 |   283M |  63 |  11k|8592 |7738 | 537 |  1 |1085 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2051.61/2058.45	c  2058s|  1100 |   197 |  3521k|3070.0 |   284M |  63 |  11k|8603 |7739 | 550 |  1 |1113 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2124.57/2131.67	c  2132s|  1200 |   193 |  3674k|2941.2 |   285M |  63 |  11k|8711 |7738 | 572 |  0 |1241 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2194.64/2201.91	c  2202s|  1300 |   189 |  3821k|2827.7 |   285M |  63 |  11k|8708 |7736 | 576 |  0 |1290 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2271.19/2278.75	c  2279s|  1400 |   171 |  3983k|2741.4 |   287M |  63 |  11k|8769 |7736 | 594 |  1 |1420 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2354.13/2361.98	c  2362s|  1500 |   179 |  4155k|2673.7 |   289M |  63 |  11k|8817 |7736 | 634 |  1 |1557 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2449.51/2457.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2449.51/2457.67	c  2458s|  1600 |   193 |  4353k|2630.2 |   292M |  63 |  11k|8955 |7739 | 683 |  0 |1733 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2526.07/2534.49	c  2534s|  1700 |   179 |  4515k|2570.4 |   293M |  63 |  11k|9020 |7736 | 702 |  1 |1850 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2600.72/2609.38	c  2609s|  1800 |   169 |  4670k|2514.1 |   294M |  63 |  11k|9000 |7736 | 718 |  1 |1898 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2694.71/2703.68	c  2704s|  1900 |   190 |  4861k|2482.2 |   295M |  63 |  11k|8957 |7711 | 747 |  1 |1947 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2811.83/2821.11	c  2821s|  2000 |   179 |  5097k|2475.8 |   297M |  63 |  11k|9025 |7708 | 779 |  1 |2084 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2897.05/2906.69	c  2907s|  2100 |   180 |  5268k|2439.5 |   297M |  63 |  11k|9000 |7707 | 810 |  1 |2094 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2978.78/2988.64	c  2989s|  2200 |   168 |  5429k|2401.9 |   297M |  63 |  11k|9009 |7707 | 825 |  0 |2114 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3126.01/3136.32	c  3136s|  2300 |   172 |  5711k|2420.0 |   301M |  63 |  11k|9008 |7744 | 863 |  1 |2173 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3190.40/3200.92	c  3201s|  2400 |   210 |  5844k|2374.6 |   302M |  68 |  11k|9037 |7746 | 874 |  1 |2211 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3243.52/3254.27	c  3254s|  2500 |   228 |  5955k|2323.8 |   303M |  74 |  11k|9078 |7746 | 874 |  1 |2261 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3299.45/3310.36	c  3310s|  2600 |   210 |  6073k|2279.9 |   304M |  75 |  11k|9127 |7746 | 876 |  0 |2358 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3362.23/3373.31	c  3373s|  2700 |   206 |  6205k|2244.5 |   305M |  75 |  11k|9191 |7748 | 881 |  0 |2461 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3420.83/3432.18	c  3432s|  2800 |   208 |  6330k|2208.6 |   305M |  75 |  11k|9114 |7749 | 885 |  1 |2473 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3490.39/3501.96	c  3502s|  2900 |   246 |  6472k|2181.7 |   305M |  80 |  11k|9003 |7745 | 892 |  1 |2484 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3542.83/3554.56	c  3555s|  3000 |   236 |  6586k|2146.9 |   306M |  83 |  11k|9029 |7745 | 892 |  1 |2521 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3585.11/3597.00	c 
3585.11/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3585.11/3597.00	c Solving Time (sec) : 3597.00
3585.11/3597.00	c Solving Nodes      : 3082
3585.11/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3585.11/3597.00	c Dual Bound         : +0.00000000000000e+00
3585.11/3597.00	c Gap                : infinite
3585.11/3597.00	s UNKNOWN
3585.11/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3585.11/3597.00	c Total Time         :    3597.00
3585.11/3597.00	c   solving          :    3597.00
3585.11/3597.00	c   presolving       :      12.16 (included in solving)
3585.11/3597.00	c   reading          :       0.06 (included in solving)
3585.11/3597.00	c   copying          :       0.12 (4 #copies) (minimal 0.02, maximal 0.03, average 0.03)
3585.11/3597.00	c Original Problem   :
3585.11/3597.00	c   Problem name     : HOME/instance-4452425-1721442110.opb
3585.11/3597.00	c   Variables        : 21582 (21582 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.11/3597.00	c   Constraints      : 17547 initial, 17547 maximal
3585.11/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.11/3597.00	c Presolved Problem  :
3585.11/3597.00	c   Problem name     : t_HOME/instance-4452425-1721442110.opb
3585.11/3597.00	c   Variables        : 11764 (11764 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.11/3597.00	c   Constraints      : 7639 initial, 9191 maximal
3585.21/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.21/3597.00	c   Nonzeros         : 45893 constraint, 182127 clique table
3585.21/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3585.21/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   domcol           :       0.20       0.00     18          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   dualsparsify     :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   implics          :       0.00       0.00     41          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   milp             :       0.46       0.00      2        276          3          0          0          0          0          0          0          0
3585.21/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   sparsify         :       0.21       0.00      4          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   trivial          :       0.02       0.00     88        523          0          0          0          0          0          0          0          0
3585.21/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   dualfix          :       0.02       0.00     88         54          0          0          0          0          0          0          0          0
3585.21/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   probing          :      10.17       0.00     18       1874          0          0          0          0          0          0          0          0
3585.21/3597.00	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   vbounds          :       0.06       0.00      7         15          0          0          0          0          0          0          0          0
3585.21/3597.00	c   knapsack         :       0.00       0.00    144          0          0          0          0          0          1          8         11         22
3585.21/3597.00	c   setppc           :       0.77       0.00    147       1227        773          0          0          0       5189         45          9          9
3585.21/3597.00	c   linear           :       0.10       0.01     28       4883        190          0       4883          0       4771          0          0          0
3585.21/3597.00	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3585.21/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3585.21/3597.00	c   benderslp        :          0          0          0          0       1661          0          0        107          0          0          0          0          0          0          0
3585.21/3597.00	c   integral         :          0          0          0          0       1661          0          0        107          0          0          0          0          0          0       3322
3585.21/3597.00	c   knapsack         :          0+         3          0      78441          0          0          0          0          5          6          0          0          0          0          0
3585.21/3597.00	c   setppc           :       7639+      7669         13     129486          0          0          0        103     663070         99     140278          0          0          0          0
3585.21/3597.00	c   logicor          :          0+      1523         13       4666          0          0          0          0       1726         13       1055          2          1          0          0
3585.21/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3585.21/3597.00	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   integral         :      10.18       0.00       0.00       0.00      10.18       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   knapsack         :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   setppc           :       2.71       0.00       0.01       2.50       0.00       0.00       0.00       0.00       0.19       0.00
3585.21/3597.00	c   logicor          :       0.06       0.00       0.00       0.05       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3585.21/3597.00	c   dualfix          :          1          0          0          0
3585.21/3597.00	c   genvbounds       :          0          0          0          0
3585.21/3597.00	c   nlobbt           :          0          0          0          0
3585.21/3597.00	c   obbt             :          0          0          0          0
3585.21/3597.00	c   probing          :          0          0          0          0
3585.21/3597.00	c   pseudoobj        :          0          0          0          0
3585.21/3597.00	c   redcost          :          0          0          0          0
3585.21/3597.00	c   rootredcost      :          0          0          0          0
3585.21/3597.00	c   symmetry         :          0          0          0          0
3585.21/3597.00	c   vbounds          :      46218          0          0          0
3585.21/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3585.21/3597.00	c   dualfix          :       0.02       0.00       0.02       0.00       0.00       0.00
3585.21/3597.00	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3585.21/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   probing          :      10.17       0.00      10.17       0.00       0.00       0.00
3585.21/3597.00	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3585.21/3597.00	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3585.21/3597.00	c   symmetry         :       0.03       0.00       0.02       0.01       0.00       0.00
3585.21/3597.00	c   vbounds          :       0.37       0.00       0.06       0.31       0.00       0.00
3585.21/3597.00	c Symmetry           :
3585.21/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3585.21/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3585.21/3597.00	c   lexicographic red:          0 reductions applied,          0 cutoffs
3585.21/3597.00	c   shadow tree time :       0.00 s
3585.21/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3585.21/3597.00	c   propagation      :       0.01        109         95          -        454      107.7         28        5.8          -          -          -
3585.21/3597.00	c   infeasible LP    :       5.68       1484        236          -      10901     1395.1         51       25.5          4      734.5          0
3585.21/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3585.21/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3585.21/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3585.21/3597.00	c   applied globally :       0.12          -          -          0       2554      644.1          -          -          4          -          -
3585.21/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3585.21/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3585.21/3597.00	c   cut pool         :       0.05          -        333         25          -          -       1403       4734          -          -          -          -          -    (maximal pool size:       1249)
3585.21/3597.00	c   aggregation      :       0.08       0.00         29         13          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.21/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.21/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.21/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   clique           :       1.59       0.00         13         13          0          0         82        162          0         35         35          0          0
3585.21/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   gomory           :       6.86       0.00         26         10          0          0        889       3721         50        469        466          3          0
3585.21/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -       2112         25        302        299          3          -
3585.21/3597.00	c   > strongcg       :          -          -          -          -          -          -          -       1609         25        167        167          0          -
3585.21/3597.00	c   impliedbounds    :       0.13       0.00         29         13          0          0        376        484          0         68         68          0          0
3585.21/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   multilinear      :       0.00       0.00         49         13          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   rlt              :       0.00       0.00         19         10          0          0          0          0          0          0          0          0          0
3585.21/3597.00	c   zerohalf         :       1.96       0.00         29         13          0          0        165        367         59        324        273         51          0
3585.21/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3585.21/3597.00	c   hybrid           :       0.00       0.00        205         13        897          0       3948        161          0        796
3585.21/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3585.21/3597.00	c   problem variables:       0.00          -          0          0
3585.21/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.21/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c   relpscost        :      10.18       0.00       1661          0          0          0          0          0          0       3322
3585.21/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.21/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.21/3597.00	c   LP solutions     :       0.00          -          -          0          0
3585.21/3597.00	c   relax solutions  :       0.00          -          -          0          0
3585.21/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3585.21/3597.00	c   strong branching :       0.00          -          -          0          0
3585.21/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3585.21/3597.00	c   adaptivediving   :      40.11       0.00          9          0          0
3585.21/3597.00	c   alns             :      15.37       0.00          4          0          0
3585.21/3597.00	c   bound            :       0.00       0.00          0          0          0
3585.21/3597.00	c   clique           :       0.03       0.00          1          0          0
3585.21/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3585.21/3597.00	c   completesol      :       0.00       0.00          0          0          0
3585.21/3597.00	c   conflictdiving   :     151.19       0.00          7          0          0
3585.21/3597.00	c   crossover        :       0.00       0.00          0          0          0
3585.21/3597.00	c   dins             :       0.00       0.00          0          0          0
3585.21/3597.00	c   distributiondivin:      76.91       0.00          6          0          0
3585.21/3597.00	c   dps              :       0.00       0.00          0          0          0
3585.21/3597.00	c   dualval          :       0.00       0.00          0          0          0
3585.21/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3585.21/3597.00	c   feasjump         :       0.02       0.00          1          0          0
3585.21/3597.00	c   feaspump         :      17.31       0.00          3          0          0
3585.21/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3585.21/3597.00	c   fracdiving       :      66.76       0.00          6          0          0
3585.21/3597.00	c   gins             :       0.00       0.00          0          0          0
3585.21/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3585.21/3597.00	c   indcoefdiving    :       0.00       0.00          0          0          0
3585.21/3597.00	c   indicator        :       0.00       0.00          0          0          0
3585.21/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3585.21/3597.00	c   indoneopt        :       0.00       0.00          0          0          0
3585.21/3597.00	c   indrounding      :       0.00       0.00          0          0          0
3585.21/3597.00	c   indtwoopt        :       0.00       0.00          0          0          0
3585.21/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3585.21/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3585.21/3597.00	c   linesearchdiving :      73.91       0.00          7          0          0
3585.21/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3585.21/3597.00	c   locks            :       0.00       0.00          1          0          0
3585.21/3597.00	c   lpface           :       0.04       0.00          0          0          0
3585.21/3597.00	c   mpec             :       0.00       0.00          0          0          0
3585.21/3597.00	c   multistart       :       0.00       0.00          0          0          0
3585.21/3597.00	c   mutation         :       0.00       0.00          0          0          0
3585.21/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3585.21/3597.00	c   objpscostdiving  :     177.58       0.00          3          0          0
3585.21/3597.00	c   octane           :       0.00       0.00          0          0          0
3585.21/3597.00	c   ofins            :       0.00       0.00          0          0          0
3585.21/3597.00	c   oneopt           :       0.00       0.00          0          0          0
3585.21/3597.00	c   padm             :       0.00       0.00          0          0          0
3585.21/3597.00	c   proximity        :       0.00       0.00          0          0          0
3585.21/3597.00	c   pscostdiving     :      66.03       0.00          7          0          0
3585.21/3597.00	c   randrounding     :       0.17       0.00        114          0          0
3585.21/3597.00	c   rens             :       0.09       0.00          1          0          0
3585.21/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3585.21/3597.00	c   repair           :       0.00       0.00          0          0          0
3585.21/3597.00	c   rins             :       0.00       0.00          0          0          0
3585.21/3597.00	c   rootsoldiving    :      33.06       0.00          3          0          0
3585.21/3597.00	c   rounding         :       0.29       0.00        562          0          0
3585.21/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3585.21/3597.00	c   shiftandpropagate:       0.01       0.00          1          0          0
3585.21/3597.00	c   shifting         :       0.38       0.00        221          0          0
3585.21/3597.00	c   simplerounding   :       0.00       0.00          0          0          0
3585.21/3597.00	c   smallcard        :       0.00       0.00          0          0          0
3585.21/3597.00	c   subnlp           :       0.00       0.00          0          0          0
3585.21/3597.00	c   trivial          :       0.01       0.00          2          0          0
3585.21/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3585.21/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3585.21/3597.00	c   trysol           :       0.00       0.00          0          0          0
3585.21/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3585.21/3597.00	c   undercover       :       0.00       0.00          0          0          0
3585.21/3597.00	c   vbounds          :       0.02       0.00          1          0          0
3585.21/3597.00	c   veclendiving     :      79.10       0.00          6          0          0
3585.21/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3585.21/3597.00	c   zirounding       :       0.12       0.00       1000          0          0
3585.21/3597.00	c   other solutions  :          -          -          -          0          -
3585.21/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3585.21/3597.00	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
3585.21/3597.00	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
3585.21/3597.00	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
3585.21/3597.00	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
3585.21/3597.00	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
3585.21/3597.00	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
3585.21/3597.00	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
3585.21/3597.00	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
3585.21/3597.00	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
3585.21/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.21/3597.00	c   primal LP        :       0.88        139          0       0.00       0.00       0.88        139
3585.21/3597.00	c   dual LP          :    2752.26       3283    5399095    1645.06    1961.70       0.00          1
3585.21/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3585.21/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.21/3597.00	c   resolve instable :      25.85         28      51289    1831.75    1984.39
3585.21/3597.00	c   diving/probing LP:     775.32       2036    1280169     628.77    1651.15
3585.21/3597.00	c   strong branching :       8.80         19      12836     675.58    1458.57          -          -         21
3585.21/3597.00	c     (at root node) :          -         19      12836     675.58          -
3585.21/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3585.21/3597.00	c B&B Tree           :
3585.21/3597.00	c   number of runs   :          1
3585.21/3597.00	c   nodes            :       3082 (1661 internal, 1421 leaves)
3585.21/3597.00	c   feasible leaves  :          0
3585.21/3597.00	c   infeas. leaves   :       1420
3585.21/3597.00	c   objective leaves :          0
3585.21/3597.00	c   nodes (total)    :       3082 (1661 internal, 1421 leaves)
3585.21/3597.00	c   nodes left       :        239
3585.21/3597.00	c   max depth        :         83
3585.21/3597.00	c   max depth (total):         83
3585.21/3597.00	c   backtracks       :        777 (25.2%)
3585.21/3597.00	c   early backtracks :          0 (0.0%)
3585.21/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3585.21/3597.00	c   delayed cutoffs  :          3
3585.21/3597.00	c   repropagations   :        650 (4548 domain reductions, 1 cutoffs)
3585.21/3597.00	c   avg switch length:       4.09
3585.21/3597.00	c   switching time   :       1.56
3585.21/3597.00	c Root Node          :
3585.21/3597.00	c   First LP value   : +0.00000000000000e+00
3585.21/3597.00	c   First LP Iters   :      13222 (2688.20 Iter/sec)
3585.21/3597.00	c   First LP Time    :       4.92
3585.21/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3585.21/3597.00	c   Final Root Iters :     148045
3585.21/3597.00	c   Root LP Estimate : +3.32821658502563e-02
3585.21/3597.00	c Solution           :
3585.21/3597.00	c   Solutions found  :          0 (0 improvements)
3585.21/3597.00	c   Primal Bound     :          -
3585.21/3597.00	c   Dual Bound       : +0.00000000000000e+00
3585.21/3597.00	c   Gap              :   infinite
3585.21/3597.00	c Integrals          :      Total       Avg%
3585.21/3597.00	c   primal-dual      :  359699.79     100.00
3585.21/3597.00	c   primal-ref       :          -          - (not evaluated)
3585.21/3597.00	c   dual-ref         :          -          - (not evaluated)
3585.21/3597.08	c Time complete: 3585.3.

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: 63968 MiB (61813 MiB free)
  memory of node 1: 64473 MiB (61447 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452425-1721442110/watcher-4452425-1721442110 -o /tmp/evaluation-result-4452425-1721442110/solver-4452425-1721442110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036356 --watchdog 3760 pbscip -f HOME/instance-4452425-1721442110.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1041258, runsolver pid=1041255
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.10 4.10 4.10 5/257 1041259
/proc/meminfo: memFree=126153108/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=122640 memory=83128 CPUtime=0.09 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 17677 0 0 0 7 2 0 0 20 0 1 0 196375975 125583360 20782 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 30660 20782 3534 3540 0 18917 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 122640 KiB
Current children cumulated memory: 83128 KiB

[startup+0.205551 s]*
/proc/loadavg: 4.10 4.10 4.10 5/257 1041259
/proc/meminfo: memFree=126124688/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=153648 memory=111104 CPUtime=0.2 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 26281 0 0 0 17 3 0 0 20 0 1 0 196375975 157335552 27776 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 38412 27776 3645 3540 0 26669 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 153648 KiB
Current children cumulated memory: 111104 KiB

[startup+0.305386 s]*
/proc/loadavg: 4.10 4.10 4.10 5/257 1041259
/proc/meminfo: memFree=126121188/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=153648 memory=111104 CPUtime=0.29 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 26282 0 0 0 26 3 0 0 20 0 1 0 196375975 157335552 27776 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 38412 27776 3645 3540 0 26669 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 153648 KiB
Current children cumulated memory: 111104 KiB

[startup+0.700231 s]
/proc/loadavg: 4.10 4.10 4.10 5/257 1041259
/proc/meminfo: memFree=126121048/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=156360 memory=113120 CPUtime=0.68 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 28833 0 0 0 65 3 0 0 20 0 1 0 196375975 160112640 28280 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 39090 28280 3741 3540 0 27347 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 156360 KiB
Current children cumulated memory: 113120 KiB

[startup+1.50019 s]
/proc/loadavg: 4.10 4.10 4.10 5/257 1041259
/proc/meminfo: memFree=126114804/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=162100 memory=119840 CPUtime=1.49 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 30477 0 0 0 145 4 0 0 20 0 1 0 196375975 165990400 29960 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 40525 29960 3773 3540 0 28782 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 162100 KiB
Current children cumulated memory: 119840 KiB

[startup+3.10533 s]
/proc/loadavg: 4.09 4.10 4.10 5/257 1041261
/proc/meminfo: memFree=126105968/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=168840 memory=126176 CPUtime=3.09 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 32084 0 0 0 305 4 0 0 20 0 1 0 196375975 172892160 31544 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 42210 31544 3773 3540 0 30467 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 168840 KiB
Current children cumulated memory: 126176 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.10 4.10 5/257 1041261
/proc/meminfo: memFree=126105808/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=168992 memory=126440 CPUtime=6.27 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 32124 0 0 0 623 4 0 0 20 0 1 0 196375975 173047808 31610 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 42248 31610 3773 3540 0 30505 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 168992 KiB
Current children cumulated memory: 126440 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.10 5/257 1041261
/proc/meminfo: memFree=126100972/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=216152 memory=157996 CPUtime=12.64 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 42049 0 0 0 1259 5 0 0 20 0 1 0 196375975 221339648 39499 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 54038 39499 3965 3540 0 42295 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 216152 KiB
Current children cumulated memory: 157996 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.10 5/257 1041264
/proc/meminfo: memFree=126031008/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=256696 memory=197120 CPUtime=25.41 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 46145 0 0 0 2534 7 0 0 20 0 1 0 196375975 262856704 49280 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 64174 49280 3981 3540 0 52431 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 256696 KiB
Current children cumulated memory: 197120 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.09 4.09 5/257 1041267
/proc/meminfo: memFree=125543780/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=268752 memory=207500 CPUtime=50.92 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 48793 0 0 0 5084 8 0 0 20 0 1 0 196375975 275202048 51875 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 67188 51875 3981 3540 0 55445 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 268752 KiB
Current children cumulated memory: 207500 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/258 1041277
/proc/meminfo: memFree=125485164/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=278228 memory=214628 CPUtime=101.94 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 50688 0 0 0 10185 9 0 0 20 0 1 0 196375975 284905472 53657 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 69557 53657 3981 3540 0 57814 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 278228 KiB
Current children cumulated memory: 214628 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 1041288
/proc/meminfo: memFree=125198156/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=280824 memory=217296 CPUtime=161.74 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 51177 0 0 0 16164 10 0 0 20 0 1 0 196375975 287563776 54324 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 70206 54324 4130 3540 0 58463 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 280824 KiB
Current children cumulated memory: 217296 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 1041681
/proc/meminfo: memFree=125141232/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=324464 memory=256896 CPUtime=221.54 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 61112 0 0 0 22142 12 0 0 20 0 1 0 196375975 332251136 64224 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 81116 64224 4130 3540 0 69373 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 324464 KiB
Current children cumulated memory: 256896 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/256 1041691
/proc/meminfo: memFree=125082144/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=324464 memory=257380 CPUtime=281.34 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 61155 0 0 0 28121 13 0 0 20 0 1 0 196375975 332251136 64345 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 81116 64345 4194 3540 0 69373 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 324464 KiB
Current children cumulated memory: 257380 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 1041702
/proc/meminfo: memFree=125031716/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=324464 memory=257380 CPUtime=341.13 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 61161 0 0 0 34100 13 0 0 20 0 1 0 196375975 332251136 64345 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 81116 64345 4194 3540 0 69373 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 324464 KiB
Current children cumulated memory: 257380 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1041883
/proc/meminfo: memFree=125012808/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=324464 memory=257380 CPUtime=400.94 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 61161 0 0 0 40080 14 0 0 20 0 1 0 196375975 332251136 64345 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 81116 64345 4194 3540 0 69373 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 324464 KiB
Current children cumulated memory: 257380 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.18 4.11 5/257 1041893
/proc/meminfo: memFree=124870436/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=324464 memory=257380 CPUtime=460.74 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 61161 0 0 0 46060 14 0 0 20 0 1 0 196375975 332251136 64345 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 81116 64345 4194 3540 0 69373 0

################
# More data... #
################

/proc/loadavg: 4.12 4.10 4.09 5/255 1043199
/proc/meminfo: memFree=124138432/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3151.93 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88105 0 0 0 315160 33 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3151.93 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.13 4.10 5/254 1043209
/proc/meminfo: memFree=124133212/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3211.73 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88251 0 0 0 321140 33 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3211.73 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/254 1043220
/proc/meminfo: memFree=124123504/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3271.53 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88395 0 0 0 327120 33 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3271.53 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/254 1043232
/proc/meminfo: memFree=124116636/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3331.34 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88543 0 0 0 333100 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3331.34 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/254 1043242
/proc/meminfo: memFree=124109412/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3391.13 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88688 0 0 0 339079 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3391.13 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 1043252
/proc/meminfo: memFree=124099124/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3450.92 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88833 0 0 0 345058 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3450.92 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 1043266
/proc/meminfo: memFree=124093976/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3510.72 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88978 0 0 0 351038 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3510.72 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3582.3 s]
/proc/loadavg: 3.46 3.93 4.03 4/249 1043308
/proc/meminfo: memFree=125697496/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3570.55 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89125 0 0 0 357021 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3570.55 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

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

# cumulated CPU time of all completed processes:  user=3584.95 s, system=0.354409 s

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

[startup+3584 s]*
/proc/loadavg: 3.50 3.93 4.03 4/249 1043310
/proc/meminfo: memFree=125697432/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3572.24 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89125 0 0 0 357190 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3590.4 s]
/proc/loadavg: 3.46 3.92 4.02 4/249 1043311
/proc/meminfo: memFree=125697292/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3578.62 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89126 0 0 0 357828 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3578.62 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3593.6 s]
/proc/loadavg: 3.46 3.92 4.02 4/249 1043312
/proc/meminfo: memFree=125697244/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3581.81 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89126 0 0 0 358147 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3581.81 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3595.2 s]
/proc/loadavg: 3.42 3.90 4.02 4/249 1043312
/proc/meminfo: memFree=125697244/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3583.41 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89126 0 0 0 358307 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3596 s]*
/proc/loadavg: 3.42 3.90 4.02 4/249 1043312
/proc/meminfo: memFree=125697244/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3584.21 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89164 0 0 0 358387 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3584.21 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3596.8 s]
/proc/loadavg: 3.42 3.90 4.02 4/249 1043312
/proc/meminfo: memFree=125697244/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3585.01 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89228 0 0 0 358466 35 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3585.01 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

[startup+3597 s]*
/proc/loadavg: 3.42 3.90 4.02 4/249 1043312
/proc/meminfo: memFree=125697244/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3585.21 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89244 0 0 0 358486 35 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3585.21 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB

Child status: 0

Real time (s): 3597.09
CPU time (s): 3585.31
CPU user time (s): 3584.95
CPU system time (s): 0.354409
CPU usage (%): 99.6724
Max. virtual memory (cumulated for all children) (KiB): 407004
Max. memory (cumulated for all children) (KiB): 361420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.95
system time used= 0.354409
maximum resident set size= 361420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89454
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= 30
involuntary context switches= 25309


# summary of solver processes directly reported to runsolver:
#   pid: 1041258
#   total CPU time (s): 3585.31
#   total CPU user time (s): 3584.95
#   total CPU system time (s): 0.354409

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72499 second user time and 15.6213 second system time

The end

Launcher Data

Begin job on nodeC023 at 2024-07-20 04:22:03
IDJOB=4452425
IDBENCH=164356
IDSOLVER=3059
FILE ID=nodeC023/4452425-1721442110
RUNJOBID= nodeC023-1721434856-1036356
SLURM_JOB_ID= 7545638
Free space on /tmp= 890020 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452425-1721442110/watcher-4452425-1721442110 -o /tmp/evaluation-result-4452425-1721442110/solver-4452425-1721442110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036356 --watchdog 3760  pbscip -f HOME/instance-4452425-1721442110.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91
RANDOM SEED=660384415

nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126219104 kB
MemAvailable:   128479572 kB
Buffers:          581860 kB
Cached:          2514744 kB
SwapCached:           80 kB
Active:          1218808 kB
Inactive:        3515752 kB
Active(anon):       1580 kB
Inactive(anon):  1682104 kB
Active(file):    1217228 kB
Inactive(file):  1833648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             19692 kB
Writeback:             0 kB
AnonPages:       1637880 kB
Mapped:           138828 kB
Shmem:             45728 kB
KReclaimable:      98828 kB
Slab:             192792 kB
SReclaimable:      98828 kB
SUnreclaim:        93964 kB
KernelStack:        4128 kB
PageTables:        12720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2115476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            33760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    606208 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      316116 kB
DirectMap2M:    38254592 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC023 at 2024-07-20 05:22:00