Trace number 4425254

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-07OPTIMUM 173.358 173.948

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-pedck350_wcsp.wbo
MD5SUM803163f8c4ec83baa6e84e90f2e866a2
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark3.79079
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3500
Total number of constraints175982
Number of soft constraints175632
Number of constraints which are clauses175632
Number of constraints which are cardinality constraints (but not clauses)350
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 349
Min constraint cost 1
Max constraint cost 349
Sum of constraints costs 60205632
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4425254-1720892496.wbo>
1.28/1.38	c original problem has 179132 variables (179132 bin, 0 int, 0 impl, 0 cont) and 351615 constraints
1.28/1.38	c problem read in 1.37
3.68/3.78	c presolving:
4.87/4.94	c (round 1, fast)       345000 del vars, 172500 del conss, 0 add conss, 345000 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3132 impls, 350 clqs
5.08/5.13	c (round 2, fast)       345000 del vars, 172500 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3132 impls, 350 clqs
5.48/5.52	c (round 3, exhaustive) 345000 del vars, 172500 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 350 clqs
8.16/8.26	c (round 4, exhaustive) 345025 del vars, 172500 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 401 clqs
10.76/10.81	c (round 5, exhaustive) 345050 del vars, 172500 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 450 clqs
13.26/13.35	c (round 6, exhaustive) 345075 del vars, 172525 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 496 clqs
15.75/15.86	c (round 7, exhaustive) 345100 del vars, 172550 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 547 clqs
18.23/18.36	c (round 8, exhaustive) 345125 del vars, 172575 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 586 clqs
20.73/20.83	c (round 9, exhaustive) 345150 del vars, 172600 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 625 clqs
23.22/23.30	c (round 10, exhaustive) 345175 del vars, 172625 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 663 clqs
25.62/25.76	c (round 11, exhaustive) 345200 del vars, 172650 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 715 clqs
28.10/28.21	c (round 12, exhaustive) 345225 del vars, 172675 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 759 clqs
30.50/30.63	c (round 13, exhaustive) 345250 del vars, 172700 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 811 clqs
32.90/33.04	c (round 14, exhaustive) 345275 del vars, 172725 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 854 clqs
35.28/35.44	c (round 15, exhaustive) 345300 del vars, 172750 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 916 clqs
37.67/37.82	c (round 16, exhaustive) 345325 del vars, 172775 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 966 clqs
39.98/40.18	c (round 17, exhaustive) 345350 del vars, 172800 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1006 clqs
42.36/42.52	c (round 18, exhaustive) 345375 del vars, 172825 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1052 clqs
44.65/44.85	c (round 19, exhaustive) 345400 del vars, 172850 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1088 clqs
46.95/47.15	c (round 20, exhaustive) 345425 del vars, 172875 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1121 clqs
49.23/49.45	c (round 21, exhaustive) 345450 del vars, 172900 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1165 clqs
51.52/51.72	c (round 22, exhaustive) 345475 del vars, 172925 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1210 clqs
53.72/53.99	c (round 23, exhaustive) 345500 del vars, 172950 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1266 clqs
55.92/56.19	c    (56.2s) probing: 1000/9764 (10.2%) - 0 fixings, 502 aggregations, 968 implications, 0 bound changes
56.01/56.22	c (round 24, exhaustive) 345525 del vars, 172975 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1310 clqs
58.21/58.45	c (round 25, exhaustive) 345550 del vars, 173000 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1347 clqs
60.40/60.65	c (round 26, exhaustive) 345575 del vars, 173025 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1395 clqs
62.59/62.81	c (round 27, exhaustive) 345600 del vars, 173050 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1424 clqs
64.68/64.95	c (round 28, exhaustive) 345625 del vars, 173075 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1464 clqs
66.79/67.08	c (round 29, exhaustive) 345650 del vars, 173100 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1496 clqs
68.88/69.18	c (round 30, exhaustive) 345675 del vars, 173125 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1537 clqs
70.96/71.25	c (round 31, exhaustive) 345700 del vars, 173150 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1586 clqs
73.05/73.30	c (round 32, exhaustive) 345725 del vars, 173175 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1623 clqs
75.05/75.33	c (round 33, exhaustive) 345750 del vars, 173200 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1663 clqs
77.04/77.33	c (round 34, exhaustive) 345775 del vars, 173225 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1710 clqs
79.03/79.31	c (round 35, exhaustive) 345800 del vars, 173250 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1746 clqs
80.92/81.27	c (round 36, exhaustive) 345825 del vars, 173275 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1791 clqs
82.84/83.19	c (round 37, exhaustive) 345850 del vars, 173300 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1822 clqs
84.73/85.08	c (round 38, exhaustive) 345875 del vars, 173325 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1852 clqs
86.61/86.94	c (round 39, exhaustive) 345900 del vars, 173350 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1883 clqs
88.40/88.78	c (round 40, exhaustive) 345925 del vars, 173375 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1932 clqs
90.20/90.58	c (round 41, exhaustive) 345950 del vars, 173400 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 1975 clqs
91.99/92.35	c (round 42, exhaustive) 345975 del vars, 173425 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2007 clqs
93.69/94.07	c    (94.1s) probing: 2000/9764 (20.5%) - 0 fixings, 995 aggregations, 1855 implications, 0 bound changes
93.69/94.07	c (round 43, exhaustive) 346000 del vars, 173450 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2045 clqs
95.38/95.76	c (round 44, exhaustive) 346025 del vars, 173475 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2072 clqs
97.07/97.42	c (round 45, exhaustive) 346050 del vars, 173500 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2105 clqs
98.68/99.04	c (round 46, exhaustive) 346075 del vars, 173525 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2132 clqs
100.26/100.63	c (round 47, exhaustive) 346100 del vars, 173550 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2165 clqs
101.77/102.18	c (round 48, exhaustive) 346125 del vars, 173575 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2197 clqs
103.35/103.71	c (round 49, exhaustive) 346150 del vars, 173600 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2224 clqs
104.84/105.22	c (round 50, exhaustive) 346175 del vars, 173625 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2260 clqs
106.34/106.70	c (round 51, exhaustive) 346200 del vars, 173650 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2297 clqs
107.75/108.13	c (round 52, exhaustive) 346225 del vars, 173675 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2330 clqs
109.14/109.53	c (round 53, exhaustive) 346250 del vars, 173700 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2360 clqs
110.43/110.90	c (round 54, exhaustive) 346275 del vars, 173725 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2390 clqs
111.83/112.22	c (round 55, exhaustive) 346300 del vars, 173750 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2417 clqs
113.12/113.52	c (round 56, exhaustive) 346325 del vars, 173775 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2447 clqs
114.32/114.77	c (round 57, exhaustive) 346350 del vars, 173800 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2473 clqs
115.51/116.01	c (round 58, exhaustive) 346375 del vars, 173825 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2506 clqs
116.81/117.20	c (round 59, exhaustive) 346400 del vars, 173850 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2542 clqs
117.90/118.37	c (round 60, exhaustive) 346425 del vars, 173875 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2567 clqs
119.10/119.50	c (round 61, exhaustive) 346450 del vars, 173900 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2586 clqs
120.19/120.60	c (round 62, exhaustive) 346475 del vars, 173925 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2609 clqs
121.19/121.67	c    (121.7s) probing: 3000/9764 (30.7%) - 0 fixings, 1497 aggregations, 2662 implications, 0 bound changes
121.19/121.69	c (round 63, exhaustive) 346500 del vars, 173950 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2645 clqs
122.29/122.72	c (round 64, exhaustive) 346525 del vars, 173975 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2669 clqs
123.28/123.74	c (round 65, exhaustive) 346550 del vars, 174000 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2696 clqs
124.28/124.73	c (round 66, exhaustive) 346575 del vars, 174025 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2719 clqs
125.28/125.70	c (round 67, exhaustive) 346600 del vars, 174050 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2747 clqs
126.17/126.65	c (round 68, exhaustive) 346625 del vars, 174075 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2776 clqs
127.07/127.57	c (round 69, exhaustive) 346650 del vars, 174100 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2804 clqs
127.97/128.48	c (round 70, exhaustive) 346675 del vars, 174125 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2823 clqs
128.86/129.38	c (round 71, exhaustive) 346700 del vars, 174150 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2856 clqs
129.77/130.25	c (round 72, exhaustive) 346725 del vars, 174175 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2872 clqs
130.58/131.10	c (round 73, exhaustive) 346750 del vars, 174200 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2898 clqs
131.46/131.93	c (round 74, exhaustive) 346775 del vars, 174225 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2923 clqs
132.26/132.74	c (round 75, exhaustive) 346800 del vars, 174250 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2944 clqs
133.05/133.52	c (round 76, exhaustive) 346825 del vars, 174275 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2956 clqs
133.75/134.28	c (round 77, exhaustive) 346850 del vars, 174300 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2973 clqs
134.56/135.04	c (round 78, exhaustive) 346875 del vars, 174325 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 2994 clqs
135.25/135.78	c (round 79, exhaustive) 346900 del vars, 174350 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3013 clqs
136.04/136.51	c (round 80, exhaustive) 346925 del vars, 174375 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3037 clqs
136.74/137.22	c (round 81, exhaustive) 346950 del vars, 174400 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3058 clqs
137.44/137.92	c (round 82, exhaustive) 346975 del vars, 174425 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3078 clqs
138.04/138.57	c    (138.6s) probing: 4000/9764 (41.0%) - 0 fixings, 1977 aggregations, 3372 implications, 0 bound changes
138.04/138.59	c (round 83, exhaustive) 347000 del vars, 174450 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3098 clqs
138.73/139.25	c (round 84, exhaustive) 347025 del vars, 174475 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3112 clqs
139.33/139.89	c (round 85, exhaustive) 347050 del vars, 174500 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3127 clqs
140.03/140.51	c (round 86, exhaustive) 347075 del vars, 174525 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3137 clqs
140.64/141.12	c (round 87, exhaustive) 347100 del vars, 174550 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3162 clqs
141.23/141.71	c (round 88, exhaustive) 347125 del vars, 174575 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3176 clqs
141.72/142.27	c (round 89, exhaustive) 347150 del vars, 174600 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3185 clqs
142.32/142.84	c (round 90, exhaustive) 347175 del vars, 174625 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3198 clqs
142.82/143.37	c (round 91, exhaustive) 347200 del vars, 174650 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3209 clqs
143.41/143.90	c (round 92, exhaustive) 347225 del vars, 174675 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3226 clqs
143.91/144.42	c (round 93, exhaustive) 347250 del vars, 174700 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3235 clqs
144.41/144.91	c (round 94, exhaustive) 347275 del vars, 174725 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3244 clqs
144.92/145.41	c (round 95, exhaustive) 347300 del vars, 174750 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3256 clqs
145.32/145.88	c (round 96, exhaustive) 347325 del vars, 174775 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3266 clqs
145.81/146.36	c (round 97, exhaustive) 347350 del vars, 174800 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3277 clqs
146.31/146.82	c (round 98, exhaustive) 347375 del vars, 174825 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3286 clqs
146.71/147.29	c (round 99, exhaustive) 347400 del vars, 174850 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3303 clqs
147.21/147.73	c (round 100, exhaustive) 347425 del vars, 174875 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3312 clqs
147.62/148.16	c (round 101, exhaustive) 347450 del vars, 174900 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3316 clqs
148.01/148.58	c (round 102, exhaustive) 347475 del vars, 174925 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3326 clqs
148.40/148.99	c    (149.0s) probing: 5000/9764 (51.2%) - 0 fixings, 2496 aggregations, 4022 implications, 0 bound changes
148.40/148.99	c (round 103, exhaustive) 347500 del vars, 174950 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3345 clqs
148.80/149.39	c (round 104, exhaustive) 347525 del vars, 174975 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3354 clqs
149.20/149.79	c (round 105, exhaustive) 347550 del vars, 175000 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3360 clqs
149.61/150.17	c (round 106, exhaustive) 347575 del vars, 175025 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3370 clqs
150.00/150.54	c (round 107, exhaustive) 347600 del vars, 175050 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3376 clqs
150.30/150.89	c (round 108, exhaustive) 347625 del vars, 175075 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3387 clqs
150.70/151.24	c (round 109, exhaustive) 347650 del vars, 175100 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3397 clqs
151.00/151.58	c (round 110, exhaustive) 347675 del vars, 175125 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3407 clqs
151.39/151.92	c (round 111, exhaustive) 347700 del vars, 175150 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3417 clqs
151.69/152.25	c (round 112, exhaustive) 347725 del vars, 175175 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3426 clqs
151.99/152.56	c (round 113, exhaustive) 347750 del vars, 175200 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3432 clqs
152.29/152.87	c (round 114, exhaustive) 347775 del vars, 175225 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3436 clqs
152.60/153.17	c (round 115, exhaustive) 347800 del vars, 175250 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3440 clqs
152.89/153.46	c (round 116, exhaustive) 347825 del vars, 175275 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3450 clqs
153.19/153.75	c (round 117, exhaustive) 347850 del vars, 175300 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3454 clqs
153.50/154.03	c (round 118, exhaustive) 347875 del vars, 175325 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3457 clqs
153.69/154.30	c (round 119, exhaustive) 347900 del vars, 175350 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3463 clqs
153.98/154.56	c (round 120, exhaustive) 347925 del vars, 175375 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3468 clqs
154.28/154.81	c (round 121, exhaustive) 347950 del vars, 175400 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3471 clqs
154.49/155.04	c (round 122, exhaustive) 347975 del vars, 175425 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3473 clqs
154.68/155.27	c    (155.3s) probing: 6000/9764 (61.5%) - 0 fixings, 2993 aggregations, 4579 implications, 0 bound changes
154.68/155.27	c (round 123, exhaustive) 348000 del vars, 175450 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3475 clqs
154.88/155.50	c (round 124, exhaustive) 348025 del vars, 175475 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3480 clqs
155.18/155.71	c (round 125, exhaustive) 348050 del vars, 175500 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3481 clqs
155.37/155.91	c (round 126, exhaustive) 348075 del vars, 175525 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3482 clqs
155.59/156.11	c (round 127, exhaustive) 348100 del vars, 175550 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3482 clqs
155.67/156.23	c (round 128, exhaustive) 348125 del vars, 175575 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3482 clqs
155.77/156.35	c    (156.3s) probing: 6315/9764 (64.7%) - 0 fixings, 3132 aggregations, 4723 implications, 0 bound changes
155.77/156.35	c    (156.3s) probing aborted: 50/50 successive totally useless probings
155.77/156.35	c (round 129, exhaustive) 348132 del vars, 175600 del conss, 0 add conss, 348132 chg bounds, 0 chg sides, 0 chg coeffs, 172851 upgd conss, 3132 impls, 3482 clqs
155.87/156.45	c    (156.4s) probing: 6320/9764 (64.7%) - 0 fixings, 3132 aggregations, 4723 implications, 0 bound changes
155.87/156.45	c    (156.4s) probing aborted: 50/50 successive totally useless probings
155.87/156.45	c    (156.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
156.17/156.71	c    (156.7s) symmetry computation finished: 6 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.06)
156.17/156.71	c dynamic symmetry handling statistics:
156.17/156.71	c    orbitopal reduction:       no components
156.17/156.71	c    orbital reduction:         no components
156.17/156.71	c    lexicographic reduction:    6 permutations with support sizes 38, 38, 38, 38, 38, 38
156.17/156.71	c handled 6 out of 6 symmetry components
156.28/156.88	c presolving (130 rounds: 130 fast, 128 medium, 128 exhaustive):
156.28/156.88	c  348132 deleted vars, 175625 deleted constraints, 0 added constraints, 348132 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
156.28/156.88	c  3132 implications, 3482 cliques
156.28/156.88	c presolved problem has 6632 variables (6632 bin, 0 int, 0 impl, 0 cont) and 175990 constraints
156.28/156.88	c       1 constraints of type <knapsack>
156.28/156.88	c     350 constraints of type <setppc>
156.28/156.88	c    3132 constraints of type <linear>
156.28/156.88	c  172500 constraints of type <logicor>
156.28/156.88	c       7 constraints of type <indicator>
156.28/156.88	c transformed objective value is always integral (scale: 1)
156.28/156.88	c Presolving Time: 154.80
156.28/156.88	c - non default parameters ----------------------------------------------------------------------
156.28/156.88	c # SCIP version 10.0.0
156.28/156.88	c 
156.28/156.88	c # maximal time in seconds to run
156.28/156.88	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
156.28/156.88	c limits/time = 3596.994141
156.28/156.88	c 
156.28/156.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
156.28/156.88	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
156.28/156.88	c limits/memory = 27900
156.28/156.88	c 
156.28/156.88	c # belongs reading time to solving time?
156.28/156.88	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
156.28/156.88	c timing/reading = TRUE
156.28/156.88	c 
156.28/156.88	c -----------------------------------------------------------------------------------------------
156.28/156.88	c start solving
156.38/156.90	c 
156.77/157.30	o 315
156.77/157.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
156.77/157.30	c p 157s|     1 |     0 |     0 |     - |  clique|   0 |6632 | 175k| 175k|   0 |  0 |   0 |   0 | 0.000000e+00 | 3.150000e+02 |    Inf | unknown
157.97/158.50	o 190
157.97/158.50	c p 158s|     1 |     0 |     0 |     - | vbounds|   0 |6632 | 176k| 175k|   0 |  0 |  44 |   0 | 0.000000e+00 | 1.900000e+02 |    Inf | unknown
158.66/159.26	c   159s|     1 |     0 |  2773 |     - |  1404M |   0 |6632 | 176k| 175k|   0 |  0 |  47 |   0 | 4.000000e-01 | 1.900000e+02 |  Large | unknown
160.66/161.25	c   161s|     1 |     0 |  2785 |     - |  1429M |   0 |6632 | 176k| 175k|   2 |  1 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
162.25/162.86	c   163s|     1 |     0 |  2801 |     - |  1447M |   0 |6632 | 176k| 175k|   5 |  2 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
163.34/164.00	c   164s|     1 |     0 |  2809 |     - |  1466M |   0 |6632 | 176k| 175k|   7 |  3 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
164.74/165.31	c   165s|     1 |     0 |  2824 |     - |  1484M |   0 |6632 | 176k| 175k|   9 |  4 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
165.93/166.59	c   167s|     1 |     0 |  2847 |     - |  1503M |   0 |6632 | 176k| 175k|  11 |  5 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
167.22/167.88	c   168s|     1 |     0 |  2851 |     - |  1522M |   0 |6632 | 176k| 175k|  13 |  6 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
168.44/169.01	c   169s|     1 |     0 |  2861 |     - |  1540M |   0 |6632 | 176k| 175k|  17 |  7 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
169.43/170.02	c   170s|     1 |     0 |  2869 |     - |  1559M |   0 |6632 | 176k| 176k|  20 |  8 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
170.53/171.19	c   171s|     1 |     0 |  2876 |     - |  1578M |   0 |6632 | 176k| 176k|  22 |  9 |  49 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
171.81/172.46	c   172s|     1 |     0 |  2881 |     - |  1597M |   0 |6632 | 176k| 176k|  24 | 10 |  50 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
171.90/172.59	c   173s|     1 |     0 |  2885 |     - |  1615M |   0 |6632 | 176k| 176k|  26 | 11 |  50 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
172.10/172.73	c   173s|     1 |     0 |  2887 |     - |  1633M |   0 |6632 | 176k| 176k|  28 | 12 |  50 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
172.10/172.75	o 2
172.10/172.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
172.10/172.75	c d 173s|     1 |     0 |  2887 |     - |conflict|   0 |6632 | 176k| 176k|   0 | 12 |  50 |   0 | 2.000000e+00 | 2.000000e+00 |   0.00%| unknown
172.10/172.76	c   173s|     1 |     0 |  2887 |     - |  1635M |   0 |6632 | 176k| 176k|  28 | 12 |  50 |   0 | 2.000000e+00 | 2.000000e+00 |   0.00%| unknown
172.10/172.76	c 
172.10/172.76	c SCIP Status        : problem is solved [optimal solution found]
172.10/172.76	c Solving Time (sec) : 172.75
172.10/172.76	c Solving Nodes      : 1
172.10/172.76	c Primal Bound       : +2.00000000000000e+00 (7 solutions)
172.10/172.76	c Dual Bound         : +2.00000000000000e+00
172.10/172.76	c Gap                : 0.00 %
172.42/173.04	s OPTIMUM FOUND
172.42/173.05	v -x3500 -x3499 -x3498 -x3497 -x3496 x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482 
172.42/173.05	v -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 
172.42/173.05	v -x3463 x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 
172.42/173.05	v -x3445 -x3444 -x3443 -x3442 x3441 -x3440 -x3439 -x3438 -x3437 -x3436 x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 
172.42/173.05	v -x3427 -x3426 -x3425 -x3424 -x3423 x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 x3415 -x3414 -x3413 -x3412 -x3411 -x3410 
172.42/173.05	v -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 x3395 -x3394 -x3393 -x3392 
172.42/173.05	v -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 
172.42/173.05	v -x3373 x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 
172.42/173.05	v -x3354 -x3353 x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 x3342 -x3341 -x3340 -x3339 -x3338 -x3337 
172.42/173.05	v -x3336 x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 x3322 -x3321 -x3320 -x3319 
172.42/173.05	v -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 x3305 -x3304 -x3303 -x3302 -x3301 
172.42/173.05	v -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 x3291 -x3290 -x3289 -x3288 -x3287 -x3286 x3285 -x3284 -x3283 
172.42/173.05	v -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 
172.42/173.05	v -x3264 -x3263 x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 
172.42/173.05	v -x3246 x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 x3232 -x3231 -x3230 -x3229 
172.42/173.05	v -x3228 -x3227 -x3226 x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 x3215 -x3214 -x3213 -x3212 -x3211 -x3210 
172.42/173.05	v -x3209 -x3208 -x3207 -x3206 x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 
172.42/173.05	v x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 x3175 -x3174 
172.42/173.05	v -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 
172.42/173.05	v x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 
172.42/173.05	v -x3137 -x3136 -x3135 -x3134 -x3133 x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 x3125 -x3124 -x3123 -x3122 -x3121 -x3120 
172.42/173.05	v -x3119 -x3118 -x3117 -x3116 x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 x3105 -x3104 -x3103 -x3102 
172.42/173.05	v -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 x3085 -x3084 
172.42/173.05	v -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 
172.42/173.05	v x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 x3052 -x3051 -x3050 -x3049 -x3048 -x3047 
172.42/173.05	v -x3046 x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 x3032 -x3031 -x3030 -x3029 
172.42/173.05	v -x3028 -x3027 -x3026 x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 x3015 -x3014 -x3013 -x3012 -x3011 
172.42/173.05	v -x3010 -x3009 -x3008 -x3007 -x3006 x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 x2995 -x2994 -x2993 
172.42/173.05	v -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 
172.42/173.05	v -x2974 -x2973 x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 x2962 -x2961 -x2960 -x2959 -x2958 -x2957 
172.42/173.05	v -x2956 -x2955 -x2954 -x2953 x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 x2942 -x2941 -x2940 -x2939 
172.42/173.05	v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 x2922 -x2921 
172.42/173.05	v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 x2903 -x2902 
172.42/173.05	v -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 
172.42/173.05	v -x2883 x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 
172.42/173.05	v x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 x2852 -x2851 -x2850 -x2849 -x2848 
172.42/173.05	v -x2847 -x2846 x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 x2832 -x2831 -x2830 
172.42/173.05	v -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 x2812 
172.42/173.05	v -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 x2795 -x2794 
172.42/173.05	v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 
172.42/173.05	v -x2775 -x2774 -x2773 x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 x2762 -x2761 -x2760 -x2759 -x2758 
172.42/173.05	v -x2757 -x2756 x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 x2742 -x2741 -x2740 -x2739 
172.42/173.05	v -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 x2722 -x2721 
172.42/173.05	v -x2720 -x2719 -x2718 -x2717 -x2716 x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 x2705 -x2704 -x2703 
172.42/173.05	v -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 
172.42/173.05	v -x2684 -x2683 x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 
172.42/173.05	v -x2666 x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 x2652 -x2651 -x2650 -x2649 
172.42/173.05	v -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 x2632 -x2631 
172.42/173.05	v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 x2615 -x2614 -x2613 
172.42/173.05	v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 x2595 -x2594 
172.42/173.05	v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 
172.42/173.05	v -x2575 -x2574 -x2573 x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 x2562 -x2561 -x2560 -x2559 -x2558 
172.42/173.05	v -x2557 -x2556 -x2555 -x2554 -x2553 x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 x2542 -x2541 -x2540 
172.42/173.05	v -x2539 -x2538 -x2537 -x2536 x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 x2525 -x2524 -x2523 -x2522 
172.42/173.05	v -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 x2505 -x2504 
172.42/173.05	v -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 
172.42/173.05	v -x2485 -x2484 -x2483 x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 x2471 -x2470 -x2469 -x2468 
172.42/173.05	v -x2467 -x2466 -x2465 -x2464 -x2463 x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 x2455 -x2454 -x2453 -x2452 -x2451 -x2450 
172.42/173.05	v -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 x2432 -x2431 
172.42/173.05	v -x2430 -x2429 -x2428 -x2427 -x2426 x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 x2415 -x2414 -x2413 
172.42/173.05	v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 
172.42/173.05	v -x2394 -x2393 x2392 -x2391 -x2390 -x2389 -x2388 -x2387 x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 
172.42/173.05	v -x2376 x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 
172.42/173.05	v -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 x2341 
172.42/173.05	v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 x2325 -x2324 -x2323 
172.42/173.05	v -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 x2305 
172.42/173.05	v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 
172.42/173.05	v -x2286 x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 
172.42/173.05	v -x2267 -x2266 x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 x2252 -x2251 -x2250 
172.42/173.05	v -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238 -x2237 -x2236 x2235 -x2234 -x2233 -x2232 
172.42/173.05	v -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 x2222 -x2221 -x2220 -x2219 -x2218 -x2217 x2216 -x2215 -x2214 
172.42/173.05	v -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 
172.42/173.05	v x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 
172.42/173.05	v -x2177 -x2176 x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 x2165 -x2164 -x2163 -x2162 -x2161 -x2160 
172.42/173.05	v -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 
172.42/173.05	v x2141 -x2140 -x2139 -x2138 -x2137 -x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 
172.42/173.05	v -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 x2105 
172.42/173.05	v -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 x2091 -x2090 -x2089 -x2088 -x2087 
172.42/173.05	v -x2086 x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 x2072 -x2071 -x2070 -x2069 
172.42/173.05	v -x2068 -x2067 -x2066 x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 x2052 -x2051 
172.42/173.05	v -x2050 -x2049 -x2048 -x2047 -x2046 x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 x2035 -x2034 -x2033 
172.42/173.05	v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 
172.42/173.05	v -x2014 -x2013 x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 
172.42/173.05	v -x1996 -x1995 -x1994 -x1993 x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 x1982 -x1981 -x1980 -x1979 
172.42/173.05	v -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 x1962 -x1961 -x1960 
172.42/173.05	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 x1945 -x1944 -x1943 -x1942 
172.42/173.05	v -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 
172.42/173.05	v -x1923 x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 
172.42/173.05	v x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 
172.42/173.05	v -x1887 x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 x1875 -x1874 -x1873 -x1872 -x1871 -x1870 
172.42/173.05	v -x1869 -x1868 -x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 x1852 
172.42/173.05	v -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 
172.42/173.05	v -x1833 x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 x1821 -x1820 -x1819 -x1818 -x1817 -x1816 
172.42/173.05	v x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 
172.42/173.05	v -x1796 -x1795 -x1794 -x1793 x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 x1782 -x1781 -x1780 -x1779 
172.42/173.05	v -x1778 -x1777 -x1776 x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 x1765 -x1764 -x1763 -x1762 -x1761 
172.42/173.05	v -x1760 -x1759 -x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 x1745 -x1744 -x1743 
172.42/173.05	v -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 
172.42/173.05	v -x1724 -x1723 -x1722 x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 x1712 -x1711 -x1710 -x1709 -x1708 -x1707 
172.42/173.05	v -x1706 -x1705 -x1704 -x1703 x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1691 -x1690 -x1689 
172.42/173.05	v -x1688 -x1687 -x1686 x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 x1672 -x1671 
172.42/173.05	v -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 
172.42/173.05	v -x1652 x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634 
172.42/173.05	v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 
172.42/173.05	v -x1615 -x1614 -x1613 x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 
172.42/173.05	v -x1597 -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 x1585 -x1584 -x1583 -x1582 -x1581 -x1580 
172.42/173.05	v -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 
172.42/173.05	v x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 x1545 -x1544 
172.42/173.05	v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 x1531 -x1530 -x1529 -x1528 -x1527 -x1526 
172.42/173.05	v -x1525 -x1524 -x1523 -x1522 x1521 -x1520 -x1519 -x1518 -x1517 -x1516 x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 
172.42/173.05	v -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489 
172.42/173.05	v -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 x1475 -x1474 -x1473 -x1472 -x1471 
172.42/173.05	v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 
172.42/173.05	v x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 
172.42/173.05	v -x1434 -x1433 -x1432 x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 x1422 -x1421 -x1420 -x1419 -x1418 -x1417 
172.42/173.05	v -x1416 x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 
172.42/173.05	v -x1398 -x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 x1385 -x1384 -x1383 -x1382 -x1381 
172.42/173.05	v -x1380 -x1379 -x1378 -x1377 -x1376 x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 -x1363 
172.42/173.05	v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 
172.42/173.05	v -x1344 -x1343 x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
172.42/173.05	v -x1325 -x1324 -x1323 x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 
172.42/173.05	v -x1307 -x1306 x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 
172.42/173.05	v -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 
172.42/173.05	v -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 x1255 -x1254 
172.42/173.05	v -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 
172.42/173.05	v -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 x1221 -x1220 -x1219 -x1218 
172.42/173.05	v -x1217 -x1216 x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201 -x1200 
172.42/173.05	v -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 
172.42/173.05	v x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 
172.42/173.05	v x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 
172.42/173.05	v -x1144 -x1143 x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 
172.42/173.05	v -x1126 x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 
172.42/173.05	v -x1108 -x1107 -x1106 x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 
172.42/173.05	v -x1090 -x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073 
172.42/173.05	v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 
172.42/173.05	v -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 x1042 -x1041 -x1040 -x1039 -x1038 -x1037 
172.42/173.05	v -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018 
172.42/173.05	v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 
172.42/173.05	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 
172.42/173.05	v -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 
172.42/173.05	v -x957 -x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 
172.42/173.05	v -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 
172.42/173.05	v x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
172.42/173.05	v -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 
172.42/173.05	v x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 
172.42/173.05	v -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 
172.42/173.05	v -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 
172.42/173.05	v -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 
172.42/173.05	v -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 x772 -x771 -x770 -x769 -x768 -x767 
172.42/173.05	v -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 
172.42/173.05	v -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 
172.42/173.05	v -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 
172.42/173.05	v -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 
172.42/173.05	v -x682 x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 
172.42/173.05	v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 
172.42/173.05	v -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 
172.42/173.05	v -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 
172.42/173.05	v -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 
172.42/173.05	v -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 
172.42/173.05	v x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 
172.42/173.05	v -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 
172.42/173.05	v x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 
172.42/173.05	v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 
172.42/173.05	v -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 
172.42/173.05	v -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 
172.42/173.05	v -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 
172.42/173.05	v -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 
172.42/173.05	v -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 
172.42/173.05	v -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 
172.42/173.05	v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 
172.42/173.05	v -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 
172.42/173.05	v -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 
172.42/173.05	v -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 
172.42/173.05	v -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 
172.42/173.05	v -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 
172.42/173.05	v -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 
172.42/173.05	v -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 
172.42/173.05	v -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 
172.42/173.05	v -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 
172.42/173.05	v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 
172.42/173.05	v -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 
172.42/173.05	v -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 
172.42/173.05	v -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 
172.42/173.05	v -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 
172.42/173.05	v -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 
172.42/173.05	c SCIP Status        : problem is solved [optimal solution found]
172.42/173.05	c Total Time         :     172.75
172.42/173.05	c   solving          :     172.75
172.42/173.05	c   presolving       :     154.80 (included in solving)
172.42/173.05	c   reading          :       1.37 (included in solving)
172.42/173.05	c   copying          :       0.00 (0 times copied the problem)
172.42/173.05	c Original Problem   :
172.42/173.05	c   Problem name     : HOME/instance-4425254-1720892496.wbo
172.42/173.05	c   Variables        : 179132 (179132 binary, 0 integer, 0 implicit integer, 0 continuous)
172.42/173.05	c   Constraints      : 351615 initial, 351615 maximal
172.42/173.05	c   Objective        : minimize, 175632 non-zeros (abs.min = 1, abs.max = 349)
172.42/173.05	c Presolved Problem  :
172.42/173.05	c   Problem name     : t_HOME/instance-4425254-1720892496.wbo
172.42/173.05	c   Variables        : 6632 (6632 binary, 0 integer, 0 implicit integer, 0 continuous)
172.42/173.05	c   Constraints      : 175990 initial, 176037 maximal
172.42/173.05	c   Objective        : minimize, 3132 non-zeros (abs.min = 1, abs.max = 1)
172.42/173.05	c   Nonzeros         : 530424 constraint, 9802 clique table
172.42/173.05	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
172.42/173.05	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   domcol           :       0.00       0.00    127          0          0          0          0          0          0          0          0          0
172.42/173.05	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
172.42/173.05	c   gateextraction   :       4.63       0.00    127          0          0          0          0          0          0          0          0          0
172.42/173.05	c   implics          :       0.02       0.00    128          0          0          0          0          0          0          0          0          0
172.42/173.05	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
172.42/173.05	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   trivial          :       0.04       0.00    130          0          0          0          0          0          0          0          0          0
172.42/173.05	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   dualfix          :       0.03       0.00    130          0          0          0          0          0          0          0          0          0
172.42/173.05	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   probing          :       3.81       0.00    127          0       3132          0          0          0          0          0          0          0
172.42/173.05	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
172.42/173.05	c   symmetry         :       0.26       0.00      1          0          0          0          0          0          0          0          0          0
172.42/173.05	c   vbounds          :       0.04       0.00     21          0          0          0          0          0          0          0          0          0
172.42/173.05	c   knapsack         :       0.01       0.00    381          0          0          0          0          0          0          0          0          0
172.42/173.05	c   setppc           :       0.09       0.00    381          0          0          0          0          0          0          0          0          0
172.42/173.05	c   linear           :       1.51       0.02    258     172500          0          0     175632          0          0          0          0          0
172.42/173.05	c   logicor          :     141.94       0.12    381          0          0          0          0          0          0          0          0          0
172.42/173.05	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   indicator        :       0.38       0.00    128     172500          0          0     172500          0     175625          0          0          0
172.42/173.05	c   components       :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
172.42/173.05	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
172.42/173.05	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
172.42/173.05	c   benderslp        :          0          0          0          0          0          0          0        214          0          0          0          0          0          0          0
172.42/173.05	c   integral         :          0          0          0          0          0          0          0        214          0          0          0          0          0          0          0
172.42/173.05	c   knapsack         :          1          1          0      34497          0          0          0        208        198          0          0          0          0          0          0
172.42/173.05	c   setppc           :        350+       369         12      31907          0          0          0        206         85         30          0          0          0          0          0
172.42/173.05	c   linear           :       3132       3132         12      31866          0          0          0        200        216          0          0          0          0          0          0
172.42/173.05	c   logicor          :     172500+    172529         12       8011          0          0          0          8        295         12          0          0          0          0          0
172.42/173.05	c   benders          :          0          0          0          0          0          0          0          9          0          0          0          0          0          0          0
172.42/173.05	c   indicator        :          7          7         12      34693          0          0          0          7          0          0          0          0          0          0          0
172.42/173.05	c   fixedvar         :          0          0          0          0          0          0          0          9          0          0          0          0          0          0          0
172.42/173.05	c   countsols        :          0          0          0          0          0          0          0          9          0          0          0          0          0          0          0
172.42/173.05	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
172.42/173.05	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
172.42/173.05	c   integral         :       0.02       0.00       0.00       0.00       0.00       0.00       0.00       0.02       0.00       0.00
172.42/173.05	c   knapsack         :       0.09       0.00       0.00       0.08       0.00       0.00       0.00       0.01       0.00       0.00
172.42/173.05	c   setppc           :       0.11       0.00       0.00       0.10       0.00       0.00       0.00       0.01       0.00       0.00
172.42/173.05	c   linear           :       0.17       0.02       0.03       0.09       0.00       0.00       0.00       0.03       0.00       0.00
172.42/173.05	c   logicor          :       0.99       0.12       0.21       0.58       0.00       0.00       0.00       0.08       0.00       0.00
172.42/173.05	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
172.42/173.05	c   indicator        :       0.63       0.00       0.00       0.63       0.00       0.00       0.00       0.00       0.00       0.00
172.42/173.05	c   fixedvar         :       0.10       0.01       0.00       0.00       0.00       0.00       0.00       0.10       0.00       0.00
172.42/173.05	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
172.42/173.05	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
172.42/173.05	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
172.42/173.05	c   dualfix          :          2          0          0          0
172.42/173.05	c   genvbounds       :          0          0          0          0
172.42/173.05	c   nlobbt           :          0          0          0          0
172.42/173.05	c   obbt             :          0          0          0          0
172.42/173.05	c   probing          :          0          0          0          0
172.42/173.05	c   pseudoobj        :         16          0          0          0
172.42/173.05	c   redcost          :         14          0          0          0
172.42/173.05	c   rootredcost      :          0          0          0          0
172.42/173.05	c   symmetry         :          0          0          0          0
172.42/173.05	c   vbounds          :       9345          0          0          0
172.42/173.05	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
172.42/173.05	c   dualfix          :       0.03       0.00       0.03       0.00       0.00       0.00
172.42/173.05	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
172.42/173.05	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
172.42/173.05	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
172.42/173.05	c   probing          :       3.81       0.00       3.81       0.00       0.00       0.00
172.42/173.05	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
172.42/173.05	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
172.42/173.05	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
172.42/173.05	c   symmetry         :       0.27       0.00       0.26       0.00       0.00       0.00
172.42/173.05	c   vbounds          :       0.05       0.00       0.04       0.01       0.00       0.00
172.42/173.05	c Symmetry           :
172.42/173.05	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
172.42/173.05	c   orbital reduction:          0 reductions applied,          0 cutoffs
172.42/173.05	c   lexicographic red:          0 reductions applied,          0 cutoffs
172.42/173.05	c   shadow tree time :       0.00 s
172.42/173.05	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
172.42/173.05	c   propagation      :       0.00         42         42          -         48       83.0          2        4.0          -          -          -
172.42/173.05	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
172.42/173.05	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
172.42/173.05	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
172.42/173.05	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
172.42/173.05	c   applied globally :       0.00          -          -          0         50       79.8          -          -          0          -          -
172.42/173.05	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
172.42/173.05	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
172.42/173.05	c   cut pool         :       0.00          -         23         23          -          -        586       1245          -          -          -          -          -    (maximal pool size:        586)
172.42/173.05	c   aggregation      :       0.14       0.00         12         12          0          0          0          0          0          0          0          0          0
172.42/173.05	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
172.42/173.05	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
172.42/173.05	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
172.42/173.05	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   clique           :       0.50       0.00         12         12          0          0          0          0          0          0          0          0          0
172.42/173.05	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   gomory           :      11.56       0.00         10         10          0          0        567       1223          0         13         13          0          0
172.42/173.05	c   > gomorymi       :          -          -          -          -          -          -          -        587          0          3          3          0          -
172.42/173.05	c   > strongcg       :          -          -          -          -          -          -          -        636          0         10         10          0          -
172.42/173.05	c   impliedbounds    :       0.00       0.00         12         12          0          0          0          0          0          0          0          0          0
172.42/173.05	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   mcf              :       0.16       0.00          1          1          0          0          0          0          0          0          0          0          0
172.42/173.05	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   multilinear      :       0.00       0.00         12         12          0          0          0          0          0          0          0          0          0
172.42/173.05	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   rapidlearning    :       0.04       0.00          0          0          0          0          0          0          0          0          0          0          0
172.42/173.05	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
172.42/173.05	c   zerohalf         :       0.12       0.00         12         12          0          0         19         22          0         15         15          0          0
172.42/173.05	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
172.42/173.05	c   hybrid           :       0.00       0.00         12         12         28          0       1217         28          0       1217
172.42/173.05	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c Pricers            :   ExecTime  SetupTime      Calls       Vars
172.42/173.05	c   problem variables:       0.00          -          0          0
172.42/173.05	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
172.42/173.05	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
172.42/173.05	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
172.42/173.05	c   LP solutions     :       0.00          -          -          0          0
172.42/173.05	c   relax solutions  :       0.00          -          -          0          0
172.42/173.05	c   pseudo solutions :       0.00          -          -          0          0
172.42/173.05	c   strong branching :       0.00          -          -          0          0
172.42/173.05	c   actconsdiving    :       0.00       0.00          0          0          0
172.42/173.05	c   adaptivediving   :       0.00       0.00          0          0          0
172.42/173.05	c   alns             :       0.00       0.00          0          0          0
172.42/173.05	c   bound            :       0.00       0.00          0          0          0
172.42/173.05	c   clique           :       0.42       0.00          1          1          1
172.42/173.05	c   coefdiving       :       0.00       0.00          0          0          0
172.42/173.05	c   completesol      :       0.00       0.00          0          0          0
172.42/173.05	c   conflictdiving   :       0.03       0.00          1          1          1
172.42/173.05	c   crossover        :       0.00       0.00          0          0          0
172.42/173.05	c   dins             :       0.00       0.00          0          0          0
172.42/173.05	c   distributiondivin:       0.00       0.00          0          0          0
172.42/173.05	c   dps              :       0.00       0.00          0          0          0
172.42/173.05	c   dualval          :       0.00       0.00          0          0          0
172.42/173.05	c   farkasdiving     :       0.00       0.00          0          0          0
172.42/173.05	c   feasjump         :       0.00       0.00          0          0          0
172.42/173.05	c   feaspump         :       0.00       0.00          0          0          0
172.42/173.05	c   fixandinfer      :       0.00       0.00          0          0          0
172.42/173.05	c   fracdiving       :       0.00       0.00          0          0          0
172.42/173.05	c   gins             :       0.00       0.00          0          0          0
172.42/173.05	c   guideddiving     :       0.00       0.00          0          0          0
172.42/173.05	c   indcoefdiving    :       0.00       0.00          0          0          0
172.42/173.05	c   indicator        :       0.00       0.00          0          0          0
172.42/173.05	c   indicatordiving  :       0.00       0.00          0          0          0
172.42/173.05	c   indoneopt        :       0.09       0.00          1          0          0
172.42/173.05	c   indrounding      :       0.00       0.00          0          0          0
172.42/173.05	c   indtwoopt        :       0.00       0.00          0          0          0
172.42/173.05	c   intdiving        :       0.00       0.00          0          0          0
172.42/173.05	c   intshifting      :       0.00       0.00          0          0          0
172.42/173.05	c   linesearchdiving :       0.00       0.00          0          0          0
172.42/173.05	c   localbranching   :       0.00       0.00          0          0          0
172.42/173.05	c   locks            :       0.10       0.00          1          0          0
172.42/173.05	c   lpface           :       0.00       0.00          0          0          0
172.42/173.05	c   mpec             :       0.00       0.00          0          0          0
172.42/173.05	c   multistart       :       0.00       0.00          0          0          0
172.42/173.05	c   mutation         :       0.00       0.00          0          0          0
172.42/173.05	c   nlpdiving        :       0.00       0.00          0          0          0
172.42/173.05	c   objpscostdiving  :       0.00       0.00          0          0          0
172.42/173.05	c   octane           :       0.00       0.00          0          0          0
172.42/173.05	c   ofins            :       0.00       0.00          0          0          0
172.42/173.05	c   oneopt           :       0.01       0.00          1          0          0
172.42/173.05	c   padm             :       0.00       0.00          0          0          0
172.42/173.05	c   proximity        :       0.00       0.00          0          0          0
172.42/173.05	c   pscostdiving     :       0.00       0.00          0          0          0
172.42/173.05	c   randrounding     :       0.03       0.00         12          0          0
172.42/173.05	c   rens             :       0.00       0.00          0          0          0
172.42/173.05	c   reoptsols        :       0.00       0.00          0          0          0
172.42/173.05	c   repair           :       0.00       0.00          0          0          0
172.42/173.05	c   rins             :       0.00       0.00          0          0          0
172.42/173.05	c   rootsoldiving    :       0.00       0.00          0          0          0
172.42/173.05	c   rounding         :       0.06       0.00         12          0          0
172.42/173.05	c   scheduler        :       0.00       0.00          0          0          0
172.42/173.05	c   shiftandpropagate:       0.00       0.00          0          0          0
172.42/173.05	c   shifting         :       0.22       0.00         12          4          0
172.42/173.05	c   simplerounding   :       0.00       0.00          0          0          0
172.42/173.05	c   smallcard        :       0.00       0.00          0          0          0
172.42/173.05	c   subnlp           :       0.00       0.00          0          0          0
172.42/173.05	c   trivial          :       0.15       0.00          2          0          0
172.42/173.05	c   trivialnegation  :       0.00       0.00          0          0          0
172.42/173.05	c   trustregion      :       0.00       0.00          0          0          0
172.42/173.05	c   trysol           :       0.00       0.00          0          0          0
172.42/173.05	c   twoopt           :       0.00       0.00          0          0          0
172.42/173.05	c   undercover       :       0.00       0.00          0          0          0
172.42/173.05	c   vbounds          :       1.27       0.00          1          1          1
172.42/173.05	c   veclendiving     :       0.00       0.00          0          0          0
172.42/173.05	c   zeroobj          :       0.00       0.00          0          0          0
172.42/173.05	c   zirounding       :       0.00       0.00          0          0          0
172.42/173.05	c   other solutions  :          -          -          -          0          -
172.42/173.05	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
172.42/173.05	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
172.42/173.05	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
172.42/173.05	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
172.42/173.05	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
172.42/173.05	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
172.42/173.05	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
172.42/173.05	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
172.42/173.05	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
172.42/173.05	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
172.42/173.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
172.42/173.05	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
172.42/173.05	c   dual LP          :       0.64         13       2887     222.08    4540.06       0.00          0
172.42/173.05	c   lex dual LP      :       0.00          0          0       0.00          -
172.42/173.05	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
172.42/173.05	c   resolve instable :       0.00          0          0       0.00          -
172.42/173.05	c   diving/probing LP:       0.09          0          0       0.00       0.00
172.42/173.05	c   strong branching :       0.00          0          0       0.00          -          -          -          0
172.42/173.05	c     (at root node) :          -          0          0       0.00          -
172.42/173.05	c   conflict analysis:       0.00          0          0       0.00          -
172.42/173.05	c B&B Tree           :
172.42/173.05	c   number of runs   :          1
172.42/173.05	c   nodes            :          1 (0 internal, 1 leaves)
172.42/173.05	c   feasible leaves  :          0
172.42/173.05	c   infeas. leaves   :          0
172.42/173.05	c   objective leaves :          1
172.42/173.05	c   nodes (total)    :          1 (0 internal, 1 leaves)
172.42/173.05	c   nodes left       :          0
172.42/173.05	c   max depth        :          0
172.42/173.05	c   max depth (total):          0
172.42/173.05	c   backtracks       :          0 (0.0%)
172.42/173.05	c   early backtracks :          0 (0.0%)
172.42/173.05	c   nodes exc. ref.  :          0 (0.0%)
172.42/173.05	c   delayed cutoffs  :          0
172.42/173.05	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
172.42/173.05	c   avg switch length:       2.00
172.42/173.05	c   switching time   :       0.00
172.42/173.05	c Root Node          :
172.42/173.05	c   First LP value   : +4.00000000000000e-01
172.42/173.05	c   First LP Iters   :       2773 (6698.47 Iter/sec)
172.42/173.05	c   First LP Time    :       0.41
172.42/173.05	c   Final Dual Bound : +2.00000000000000e+00
172.42/173.05	c   Final Root Iters :       2887
172.42/173.05	c   Root LP Estimate :                     -
172.42/173.05	c Solution           :
172.42/173.05	c   Solutions found  :          7 (3 improvements)
172.42/173.05	c   First Solution   : +3.15000000000000e+02   (in run 1, after 1 nodes, 157.27 seconds, depth 2940, found by <clique>)
172.42/173.05	c   Gap First Sol.   :   infinite
172.42/173.05	c   Gap Last Sol.    :       0.00 %
172.42/173.05	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 1 nodes, 172.72 seconds, depth 1, found by <conflictdiving>)
172.42/173.05	c   Dual Bound       : +2.00000000000000e+00
172.42/173.05	c   Gap              :       0.00 %
172.42/173.05	c Integrals          :      Total       Avg%
172.42/173.05	c   primal-dual      :   17261.21      99.92
172.42/173.05	c   primal-ref       :          -          - (not evaluated)
172.42/173.05	c   dual-ref         :          -          - (not evaluated)
173.30/173.91	c Time complete: 173.316.

Verifier Data 

OK	2

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: 64096 MiB (45440 MiB free)
  memory of node 1: 64473 MiB (60062 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425254-1720892496/watcher-4425254-1720892496 -o /tmp/evaluation-result-4425254-1720892496/solver-4425254-1720892496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703903 --watchdog 3760 pbscip -f HOME/instance-4425254-1720892496.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=711431, runsolver pid=711428

[startup+0.100102 s]*
/proc/loadavg: 4.06 4.13 4.13 5/246 711432
/proc/meminfo: memFree=108012656/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=76808 memory=36176 CPUtime=0.1 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 6170 0 0 0 9 1 0 0 20 0 1 0 141406790 78651392 9044 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 19202 9044 3210 3540 0 7459 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76808 KiB
Current children cumulated memory: 36176 KiB

[startup+0.213403 s]*
/proc/loadavg: 4.06 4.13 4.13 5/246 711432
/proc/meminfo: memFree=107996360/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=93424 memory=53060 CPUtime=0.21 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 10330 0 0 0 19 2 0 0 20 0 1 0 141406790 95666176 13265 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 23356 13265 3210 3540 0 11613 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 93424 KiB
Current children cumulated memory: 53060 KiB

[startup+0.313526 s]*
/proc/loadavg: 4.06 4.13 4.13 5/246 711432
/proc/meminfo: memFree=107982436/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=107888 memory=66744 CPUtime=0.31 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 13843 0 0 0 28 3 0 0 20 0 1 0 141406790 110477312 16686 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 26972 16686 3210 3540 0 15229 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107888 KiB
Current children cumulated memory: 66744 KiB

[startup+0.70033 s]
/proc/loadavg: 4.06 4.13 4.13 5/246 711432
/proc/meminfo: memFree=107948368/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=176048 memory=135512 CPUtime=0.68 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 31007 0 0 0 61 7 0 0 20 0 1 0 141406790 180273152 33878 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 44012 33878 3210 3540 0 32269 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 176048 KiB
Current children cumulated memory: 135512 KiB

[startup+1.50033 s]
/proc/loadavg: 4.06 4.13 4.13 5/246 711432
/proc/meminfo: memFree=107850016/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=421092 memory=380244 CPUtime=1.48 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 93154 0 0 0 128 20 0 0 20 0 1 0 141406790 431198208 94995 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 105321 95061 3513 3540 0 93578 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 421092 KiB
Current children cumulated memory: 380244 KiB

[startup+3.11332 s]
/proc/loadavg: 4.06 4.13 4.13 5/246 711432
/proc/meminfo: memFree=107054536/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1086744 memory=1039372 CPUtime=3.09 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 256378 0 0 0 265 44 0 0 20 0 1 0 141406790 1112825856 259843 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 271686 259843 3561 3540 0 259943 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1086744 KiB
Current children cumulated memory: 1039372 KiB

[startup+6.3003 s]
/proc/loadavg: 4.06 4.13 4.13 5/246 711432
/proc/meminfo: memFree=106745580/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1348568 memory=1300492 CPUtime=6.27 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 319066 0 0 0 573 54 0 0 20 0 1 0 141406790 1380933632 325123 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 337142 325123 3625 3540 0 325399 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300492 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 4.12 4.13 5/246 711433
/proc/meminfo: memFree=106745400/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1348568 memory=1300492 CPUtime=12.65 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 319067 0 0 0 1210 55 0 0 20 0 1 0 141406790 1380933632 325123 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 337142 325123 3625 3540 0 325399 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300492 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.13 4.13 5/246 711435
/proc/meminfo: memFree=106745392/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1348568 memory=1300492 CPUtime=25.42 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 319071 0 0 0 2485 57 0 0 20 0 1 0 141406790 1380933632 325123 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 337142 325123 3625 3540 0 325399 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300492 KiB

[startup+51.1133 s]
/proc/loadavg: 4.07 4.12 4.13 5/246 711440
/proc/meminfo: memFree=106744980/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1348568 memory=1300492 CPUtime=50.94 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 319074 0 0 0 5036 58 0 0 20 0 1 0 141406790 1380933632 325123 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 337142 325123 3625 3540 0 325399 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300492 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/246 711449
/proc/meminfo: memFree=106737596/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1348568 memory=1300492 CPUtime=101.95 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 319080 0 0 0 10135 60 0 0 20 0 1 0 141406790 1380933632 325123 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 337142 325123 3625 3540 0 325399 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300492 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/246 711459
/proc/meminfo: memFree=106515620/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1616620 memory=1520956 CPUtime=161.75 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 373457 0 0 0 16102 73 0 0 20 0 1 0 141406790 1655418880 380239 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 404155 380239 3849 3540 0 392412 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1616620 KiB
Current children cumulated memory: 1520956 KiB

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

# cumulated CPU time of all completed processes:  user=172.551 s, system=0.807146 s

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

[startup+166.4 s]
/proc/loadavg: 4.14 4.13 4.13 5/246 711459
/proc/meminfo: memFree=106508764/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1670308 memory=1527752 CPUtime=165.83 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 374662 0 0 0 16510 73 0 0 20 0 1 0 141406790 1710395392 381938 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 417577 381938 3849 3540 0 405834 0
Current children cumulated CPU time: 165.83 s
Current children cumulated vsize: 1670308 KiB
Current children cumulated memory: 1527752 KiB

[startup+169.6 s]
/proc/loadavg: 4.14 4.13 4.13 5/246 711460
/proc/meminfo: memFree=106500580/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1727664 memory=1537492 CPUtime=169.02 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 376801 0 0 0 16828 74 0 0 20 0 1 0 141406790 1769127936 384373 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 431916 384373 3849 3540 0 420173 0
Current children cumulated CPU time: 169.02 s
Current children cumulated vsize: 1727664 KiB
Current children cumulated memory: 1537492 KiB

[startup+171.2 s]
/proc/loadavg: 4.13 4.13 4.13 5/246 711460
/proc/meminfo: memFree=106497504/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1764900 memory=1540392 CPUtime=170.61 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 377519 0 0 0 16987 74 0 0 20 0 1 0 141406790 1807257600 385098 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 441225 385098 3849 3540 0 429482 0
Current children cumulated CPU time: 170.61 s
Current children cumulated vsize: 1764900 KiB
Current children cumulated memory: 1540392 KiB

[startup+172.8 s]
/proc/loadavg: 4.13 4.13 4.13 5/246 711460
/proc/meminfo: memFree=106495984/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1820516 memory=1550536 CPUtime=172.21 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 379581 0 0 0 17146 75 0 0 20 0 1 0 141406790 1864208384 387634 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 455129 387634 3864 3540 0 443386 0
Current children cumulated CPU time: 172.21 s
Current children cumulated vsize: 1820516 KiB
Current children cumulated memory: 1550536 KiB

[startup+173.6 s]
/proc/loadavg: 4.13 4.13 4.13 5/246 711460
/proc/meminfo: memFree=106486096/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1814204 memory=1545016 CPUtime=173 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 379798 0 0 0 17225 75 0 0 20 0 1 0 141406790 1857744896 386254 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 453551 386254 3864 3540 0 441808 0
Current children cumulated CPU time: 173 s
Current children cumulated vsize: 1814204 KiB
Current children cumulated memory: 1545016 KiB

[startup+173.8 s]
/proc/loadavg: 4.13 4.13 4.13 5/246 711460
/proc/meminfo: memFree=106486096/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1769036 memory=1500732 CPUtime=173.2 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 379800 0 0 0 17245 75 0 0 20 0 1 0 141406790 1811492864 375183 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 442259 375183 3880 3540 0 430516 0
Current children cumulated CPU time: 173.2 s
Current children cumulated vsize: 1769036 KiB
Current children cumulated memory: 1500732 KiB

[startup+173.9 s]
/proc/loadavg: 4.13 4.13 4.13 5/246 711460
/proc/meminfo: memFree=106486096/131655788 swapFree=131071996/131071996
[pid=711431] ppid=711428 vsize=1659132 memory=1389692 CPUtime=173.3 cores=5,7
/proc/711431/stat : 711431 (pbscip) R 711428 711431 703890 0 -1 4194304 379800 0 0 0 17254 76 0 0 20 0 1 0 141406790 1698951168 347744 134679101440 4194304 18693293 140732450422000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42745856 140732450427896 140732450427995 140732450427995 140732450435022 0
/proc/711431/statm: 414653 347679 3880 3540 0 402910 0
Current children cumulated CPU time: 173.3 s
Current children cumulated vsize: 1659132 KiB
Current children cumulated memory: 1389692 KiB

Child status: 0

Real time (s): 173.948
CPU time (s): 173.358
CPU user time (s): 172.551
CPU system time (s): 0.807146
CPU usage (%): 99.6609
Max. virtual memory (cumulated for all children) (KiB): 1820516
Max. memory (cumulated for all children) (KiB): 1550536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.551
system time used= 0.807146
maximum resident set size= 1550536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379809
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= 8
involuntary context switches= 124


# summary of solver processes directly reported to runsolver:
#   pid: 711431
#   total CPU time (s): 173.358
#   total CPU user time (s): 172.551
#   total CPU system time (s): 0.807146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.881697 second user time and 1.79651 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-13 19:41:49
IDJOB=4425254
IDBENCH=144096
IDSOLVER=3038
FILE ID=nodeC011/4425254-1720892496
RUNJOBID= nodeC011-1720885247-703903
SLURM_JOB_ID= 7485791
Free space on /tmp= 723652 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-pedck350_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425254-1720892496/watcher-4425254-1720892496 -o /tmp/evaluation-result-4425254-1720892496/solver-4425254-1720892496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703903 --watchdog 3760  pbscip -f HOME/instance-4425254-1720892496.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 803163f8c4ec83baa6e84e90f2e866a2
RANDOM SEED=1977701206

nodeC011.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	: 0xb00001f
cpu MHz		: 3617.742
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3585.144
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.260
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.138
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3616.447
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.121
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.285
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1595.320
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        108035352 kB
MemAvailable:   109331904 kB
Buffers:          337624 kB
Cached:          1789588 kB
SwapCached:            0 kB
Active:           587548 kB
Inactive:       22453508 kB
Active(anon):       1428 kB
Inactive(anon): 20950152 kB
Active(file):     586120 kB
Inactive(file):  1503356 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             25632 kB
Writeback:             0 kB
AnonPages:      20910388 kB
Mapped:           135680 kB
Shmem:             37704 kB
KReclaimable:      94552 kB
Slab:             189252 kB
SReclaimable:      94552 kB
SUnreclaim:        94700 kB
KernelStack:        3952 kB
PageTables:        50608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   24687308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46144 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8042496 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:      185160 kB
DirectMap2M:    17545216 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 723632 MiB
End job on nodeC011 at 2024-07-13 19:44:43