Trace number 4526479

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 175.55 176.115

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.91476
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-4526479-1751629941.wbo>
1.37/1.40	c original problem has 179132 variables (179132 bin, 0 int, 0 impl, 0 cont) and 351615 constraints
1.37/1.40	c problem read in 1.38
3.47/3.55	c presolving:
4.57/4.67	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
4.77/4.85	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.16/5.23	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
7.86/7.98	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.45/10.55	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
12.96/13.10	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.54/15.64	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.05/18.16	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.53/20.64	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.04/23.11	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.42/25.58	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
27.93/28.04	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.31/30.48	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.80/32.90	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.20/35.32	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.59/37.71	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.89/40.09	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.27/42.48	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.66/44.81	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.97/47.13	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.25/49.43	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.54/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.73/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
56.03/56.26	c    (56.2s) probing: 1000/9764 (10.2%) - 0 fixings, 502 aggregations, 968 implications, 0 bound changes
56.03/56.29	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.32/58.57	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.61/60.83	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.82/63.06	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
65.00/65.28	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
67.19/67.47	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
69.39/69.64	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
71.48/71.78	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.67/73.90	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.67/75.99	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.77/78.06	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.77/80.09	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
81.76/82.10	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
83.76/84.07	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
85.75/86.02	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
87.63/87.92	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
89.53/89.81	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
91.32/91.66	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
93.12/93.46	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
94.91/95.22	c    (95.2s) probing: 2000/9764 (20.5%) - 0 fixings, 995 aggregations, 1855 implications, 0 bound changes
94.91/95.23	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
96.61/96.94	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
98.30/98.64	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
100.00/100.30	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
101.59/101.95	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
103.19/103.55	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
104.80/105.11	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
106.28/106.66	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
107.79/108.16	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
109.27/109.61	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
110.68/111.03	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
112.06/112.40	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
113.36/113.74	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
114.67/115.04	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
115.95/116.31	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
117.15/117.55	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
118.34/118.76	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
119.54/119.93	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
120.65/121.07	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
121.75/122.19	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
122.83/123.29	c    (123.3s) probing: 3000/9764 (30.7%) - 0 fixings, 1497 aggregations, 2662 implications, 0 bound changes
122.93/123.30	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
123.93/124.37	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
125.02/125.42	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
126.02/126.43	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
127.02/127.43	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
127.91/128.39	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
128.91/129.32	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
129.81/130.23	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
130.72/131.13	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
131.50/132.00	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
132.40/132.85	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
133.20/133.69	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
134.00/134.49	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
134.79/135.27	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
135.60/136.03	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
136.29/136.78	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
137.09/137.51	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
137.78/138.22	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
138.48/138.92	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
139.18/139.60	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
139.78/140.23	c    (140.2s) probing: 4000/9764 (41.0%) - 0 fixings, 1977 aggregations, 3372 implications, 0 bound changes
139.78/140.26	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
140.48/140.90	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
141.07/141.53	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
141.68/142.14	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
142.27/142.74	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
142.87/143.33	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
143.47/143.90	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
143.96/144.46	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
144.46/145.00	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
145.06/145.53	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
145.57/146.04	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
146.06/146.54	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
146.57/147.05	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
147.05/147.54	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
147.56/148.03	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
148.05/148.50	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
148.45/148.97	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
148.95/149.42	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
149.34/149.87	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
149.84/150.30	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
150.24/150.72	c    (150.7s) probing: 5000/9764 (51.2%) - 0 fixings, 2496 aggregations, 4022 implications, 0 bound changes
150.24/150.73	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
150.65/151.14	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
151.04/151.54	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
151.44/151.93	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
151.84/152.31	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
152.13/152.67	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
152.55/153.03	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
152.83/153.37	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
153.23/153.71	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
153.54/154.05	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
153.83/154.37	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
154.13/154.68	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
154.43/154.99	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
154.72/155.29	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
155.02/155.57	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
155.32/155.85	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
155.63/156.13	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
155.82/156.39	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
156.12/156.64	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
156.32/156.89	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
156.63/157.11	c    (157.1s) probing: 6000/9764 (61.5%) - 0 fixings, 2993 aggregations, 4579 implications, 0 bound changes
156.63/157.11	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
156.82/157.34	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
157.02/157.56	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
157.22/157.76	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
157.41/157.96	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
157.53/158.09	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
157.71/158.21	c    (158.2s) probing: 6315/9764 (64.7%) - 0 fixings, 3132 aggregations, 4723 implications, 0 bound changes
157.71/158.21	c    (158.2s) probing aborted: 50/50 successive totally useless probings
157.71/158.21	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
157.81/158.31	c    (158.3s) probing: 6320/9764 (64.7%) - 0 fixings, 3132 aggregations, 4723 implications, 0 bound changes
157.81/158.31	c    (158.3s) probing aborted: 50/50 successive totally useless probings
157.81/158.31	c    (158.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
158.01/158.58	c    (158.6s) symmetry computation finished: 6 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.06)
158.01/158.58	c dynamic symmetry handling statistics:
158.01/158.58	c    orbitopal reduction:       no components
158.01/158.58	c    orbital reduction:         no components
158.01/158.58	c    lexicographic reduction:    6 permutations with support sizes 38, 38, 38, 38, 38, 38
158.01/158.58	c handled 6 out of 6 symmetry components
158.21/158.75	c presolving (130 rounds: 130 fast, 128 medium, 128 exhaustive):
158.21/158.75	c  348132 deleted vars, 175625 deleted constraints, 0 added constraints, 348132 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
158.21/158.75	c  3132 implications, 3482 cliques
158.21/158.75	c presolved problem has 6632 variables (6632 bin, 0 int, 0 impl, 0 cont) and 175990 constraints
158.21/158.75	c       1 constraints of type <knapsack>
158.21/158.75	c     350 constraints of type <setppc>
158.21/158.75	c    3132 constraints of type <linear>
158.21/158.75	c  172500 constraints of type <logicor>
158.21/158.75	c       7 constraints of type <indicator>
158.21/158.75	c transformed objective value is always integral (scale: 1)
158.21/158.75	c Presolving Time: 156.66
158.21/158.75	c - non default parameters ----------------------------------------------------------------------
158.21/158.75	c # SCIP version 10.0.0
158.21/158.75	c 
158.21/158.75	c # maximal time in seconds to run
158.21/158.75	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
158.21/158.75	c limits/time = 3596.99407
158.21/158.75	c 
158.21/158.75	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
158.21/158.75	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
158.21/158.75	c limits/memory = 27900
158.21/158.75	c 
158.21/158.75	c # belongs reading time to solving time?
158.21/158.75	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
158.21/158.75	c timing/reading = TRUE
158.21/158.75	c 
158.21/158.75	c -----------------------------------------------------------------------------------------------
158.21/158.75	c start solving
158.21/158.76	c 
158.62/159.17	o 315
158.62/159.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
158.62/159.17	c p 159s|     1 |     0 |     0 |     - |  clique|   0 |6632 | 175k| 175k|   0 |  0 |   0 |   0 | 0.000000e+00 | 3.150000e+02 |    Inf | unknown
159.80/160.33	o 190
159.80/160.33	c p 160s|     1 |     0 |     0 |     - | vbounds|   0 |6632 | 176k| 175k|   0 |  0 |  44 |   0 | 0.000000e+00 | 1.900000e+02 |    Inf | unknown
160.51/161.09	c   161s|     1 |     0 |  2773 |     - |  1404M |   0 |6632 | 176k| 175k|   0 |  0 |  47 |   0 | 4.000000e-01 | 1.900000e+02 |  Large | unknown
162.60/163.11	c   163s|     1 |     0 |  2785 |     - |  1429M |   0 |6632 | 176k| 175k|   2 |  1 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
164.18/164.74	c   165s|     1 |     0 |  2801 |     - |  1447M |   0 |6632 | 176k| 175k|   5 |  2 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
165.37/165.91	c   166s|     1 |     0 |  2809 |     - |  1466M |   0 |6632 | 176k| 175k|   7 |  3 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
166.66/167.24	c   167s|     1 |     0 |  2824 |     - |  1484M |   0 |6632 | 176k| 175k|   9 |  4 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
167.96/168.55	c   169s|     1 |     0 |  2847 |     - |  1503M |   0 |6632 | 176k| 175k|  11 |  5 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
169.25/169.87	c   170s|     1 |     0 |  2851 |     - |  1522M |   0 |6632 | 176k| 175k|  13 |  6 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
170.47/171.05	c   171s|     1 |     0 |  2861 |     - |  1540M |   0 |6632 | 176k| 175k|  17 |  7 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
171.56/172.12	c   172s|     1 |     0 |  2869 |     - |  1559M |   0 |6632 | 176k| 176k|  20 |  8 |  48 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
172.74/173.31	c   173s|     1 |     0 |  2876 |     - |  1578M |   0 |6632 | 176k| 176k|  22 |  9 |  49 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
173.93/174.60	c   175s|     1 |     0 |  2881 |     - |  1597M |   0 |6632 | 176k| 176k|  24 | 10 |  50 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
174.13/174.73	c   175s|     1 |     0 |  2885 |     - |  1615M |   0 |6632 | 176k| 176k|  26 | 11 |  50 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
174.23/174.87	c   175s|     1 |     0 |  2887 |     - |  1633M |   0 |6632 | 176k| 176k|  28 | 12 |  50 |   0 | 2.000000e+00 | 1.900000e+02 |9400.00%| unknown
174.23/174.89	o 2
174.23/174.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
174.23/174.89	c d 175s|     1 |     0 |  2887 |     - |conflict|   0 |6632 | 176k| 176k|   0 | 12 |  50 |   0 | 2.000000e+00 | 2.000000e+00 |   0.00%| unknown
174.33/174.90	c   175s|     1 |     0 |  2887 |     - |  1635M |   0 |6632 | 176k| 176k|  28 | 12 |  50 |   0 | 2.000000e+00 | 2.000000e+00 |   0.00%| unknown
174.33/174.90	c 
174.33/174.90	c SCIP Status        : problem is solved [optimal solution found]
174.33/174.90	c Solving Time (sec) : 174.88
174.33/174.90	c Solving Nodes      : 1
174.33/174.90	c Primal Bound       : +2.00000000000000e+00 (7 solutions)
174.33/174.90	c Dual Bound         : +2.00000000000000e+00
174.33/174.90	c Gap                : 0.00 %
174.54/175.18	s OPTIMUM FOUND
174.54/175.19	v -x3500 -x3499 -x3498 -x3497 -x3496 x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482 
174.54/175.19	v -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 
174.54/175.19	v -x3463 x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 
174.54/175.19	v -x3445 -x3444 -x3443 -x3442 x3441 -x3440 -x3439 -x3438 -x3437 -x3436 x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 
174.54/175.19	v -x3427 -x3426 -x3425 -x3424 -x3423 x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 x3415 -x3414 -x3413 -x3412 -x3411 -x3410 
174.54/175.19	v -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 x3395 -x3394 -x3393 -x3392 
174.54/175.19	v -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 
174.54/175.19	v -x3373 x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 
174.54/175.19	v -x3354 -x3353 x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 x3342 -x3341 -x3340 -x3339 -x3338 -x3337 
174.54/175.19	v -x3336 x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 x3322 -x3321 -x3320 -x3319 
174.54/175.19	v -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 x3305 -x3304 -x3303 -x3302 -x3301 
174.54/175.19	v -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 x3291 -x3290 -x3289 -x3288 -x3287 -x3286 x3285 -x3284 -x3283 
174.54/175.19	v -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 
174.54/175.19	v -x3264 -x3263 x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 
174.54/175.19	v -x3246 x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 x3232 -x3231 -x3230 -x3229 
174.54/175.19	v -x3228 -x3227 -x3226 x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 x3215 -x3214 -x3213 -x3212 -x3211 -x3210 
174.54/175.19	v -x3209 -x3208 -x3207 -x3206 x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 
174.54/175.19	v x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 x3175 -x3174 
174.54/175.19	v -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 
174.54/175.19	v x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 
174.54/175.19	v -x3137 -x3136 -x3135 -x3134 -x3133 x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 x3125 -x3124 -x3123 -x3122 -x3121 -x3120 
174.54/175.19	v -x3119 -x3118 -x3117 -x3116 x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 x3105 -x3104 -x3103 -x3102 
174.54/175.19	v -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 x3085 -x3084 
174.54/175.19	v -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 
174.54/175.19	v x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 x3052 -x3051 -x3050 -x3049 -x3048 -x3047 
174.54/175.19	v -x3046 x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 x3032 -x3031 -x3030 -x3029 
174.54/175.19	v -x3028 -x3027 -x3026 x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 x3015 -x3014 -x3013 -x3012 -x3011 
174.54/175.19	v -x3010 -x3009 -x3008 -x3007 -x3006 x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 x2995 -x2994 -x2993 
174.54/175.19	v -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 
174.54/175.19	v -x2974 -x2973 x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 x2962 -x2961 -x2960 -x2959 -x2958 -x2957 
174.54/175.19	v -x2956 -x2955 -x2954 -x2953 x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 x2942 -x2941 -x2940 -x2939 
174.54/175.19	v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 x2922 -x2921 
174.54/175.19	v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 x2903 -x2902 
174.54/175.19	v -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 
174.54/175.19	v -x2883 x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 
174.54/175.19	v x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 x2852 -x2851 -x2850 -x2849 -x2848 
174.54/175.19	v -x2847 -x2846 x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 x2832 -x2831 -x2830 
174.54/175.19	v -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 x2812 
174.54/175.19	v -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 x2795 -x2794 
174.54/175.19	v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 
174.54/175.19	v -x2775 -x2774 -x2773 x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 x2762 -x2761 -x2760 -x2759 -x2758 
174.54/175.19	v -x2757 -x2756 x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 x2742 -x2741 -x2740 -x2739 
174.54/175.19	v -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 x2722 -x2721 
174.54/175.19	v -x2720 -x2719 -x2718 -x2717 -x2716 x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 x2705 -x2704 -x2703 
174.54/175.19	v -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 
174.54/175.19	v -x2684 -x2683 x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 
174.54/175.19	v -x2666 x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 x2652 -x2651 -x2650 -x2649 
174.54/175.19	v -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 x2632 -x2631 
174.54/175.19	v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 x2615 -x2614 -x2613 
174.54/175.19	v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 x2595 -x2594 
174.54/175.19	v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 
174.54/175.19	v -x2575 -x2574 -x2573 x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 x2562 -x2561 -x2560 -x2559 -x2558 
174.54/175.19	v -x2557 -x2556 -x2555 -x2554 -x2553 x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 x2542 -x2541 -x2540 
174.54/175.19	v -x2539 -x2538 -x2537 -x2536 x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 x2525 -x2524 -x2523 -x2522 
174.54/175.19	v -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 x2505 -x2504 
174.54/175.19	v -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 
174.54/175.19	v -x2485 -x2484 -x2483 x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 x2471 -x2470 -x2469 -x2468 
174.54/175.19	v -x2467 -x2466 -x2465 -x2464 -x2463 x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 x2455 -x2454 -x2453 -x2452 -x2451 -x2450 
174.54/175.19	v -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 x2432 -x2431 
174.54/175.19	v -x2430 -x2429 -x2428 -x2427 -x2426 x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 x2415 -x2414 -x2413 
174.54/175.19	v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 
174.54/175.19	v -x2394 -x2393 x2392 -x2391 -x2390 -x2389 -x2388 -x2387 x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 
174.54/175.19	v -x2376 x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 
174.54/175.19	v -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 x2341 
174.54/175.19	v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 x2325 -x2324 -x2323 
174.54/175.19	v -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 x2305 
174.54/175.19	v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 
174.54/175.19	v -x2286 x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 
174.54/175.19	v -x2267 -x2266 x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 x2252 -x2251 -x2250 
174.54/175.19	v -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238 -x2237 -x2236 x2235 -x2234 -x2233 -x2232 
174.54/175.19	v -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 x2222 -x2221 -x2220 -x2219 -x2218 -x2217 x2216 -x2215 -x2214 
174.54/175.19	v -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 
174.54/175.19	v x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 
174.54/175.19	v -x2177 -x2176 x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 x2165 -x2164 -x2163 -x2162 -x2161 -x2160 
174.54/175.19	v -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 
174.54/175.19	v x2141 -x2140 -x2139 -x2138 -x2137 -x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 
174.54/175.19	v -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 x2105 
174.54/175.19	v -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 x2091 -x2090 -x2089 -x2088 -x2087 
174.54/175.19	v -x2086 x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 x2072 -x2071 -x2070 -x2069 
174.54/175.19	v -x2068 -x2067 -x2066 x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 x2052 -x2051 
174.54/175.19	v -x2050 -x2049 -x2048 -x2047 -x2046 x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 x2035 -x2034 -x2033 
174.54/175.19	v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 
174.54/175.19	v -x2014 -x2013 x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 
174.54/175.19	v -x1996 -x1995 -x1994 -x1993 x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 x1982 -x1981 -x1980 -x1979 
174.54/175.19	v -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 x1962 -x1961 -x1960 
174.54/175.19	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 x1945 -x1944 -x1943 -x1942 
174.54/175.19	v -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 
174.54/175.19	v -x1923 x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 
174.54/175.19	v x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 
174.54/175.19	v -x1887 x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 x1875 -x1874 -x1873 -x1872 -x1871 -x1870 
174.54/175.19	v -x1869 -x1868 -x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 x1852 
174.54/175.19	v -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 
174.54/175.19	v -x1833 x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 x1821 -x1820 -x1819 -x1818 -x1817 -x1816 
174.54/175.19	v x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 
174.54/175.19	v -x1796 -x1795 -x1794 -x1793 x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 x1782 -x1781 -x1780 -x1779 
174.54/175.19	v -x1778 -x1777 -x1776 x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 x1765 -x1764 -x1763 -x1762 -x1761 
174.54/175.19	v -x1760 -x1759 -x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 x1745 -x1744 -x1743 
174.54/175.19	v -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 
174.54/175.19	v -x1724 -x1723 -x1722 x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 x1712 -x1711 -x1710 -x1709 -x1708 -x1707 
174.54/175.19	v -x1706 -x1705 -x1704 -x1703 x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1691 -x1690 -x1689 
174.54/175.19	v -x1688 -x1687 -x1686 x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 x1672 -x1671 
174.54/175.19	v -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 
174.54/175.19	v -x1652 x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634 
174.54/175.19	v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 
174.54/175.19	v -x1615 -x1614 -x1613 x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 
174.54/175.19	v -x1597 -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 x1585 -x1584 -x1583 -x1582 -x1581 -x1580 
174.54/175.19	v -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 
174.54/175.19	v x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 x1545 -x1544 
174.54/175.19	v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 x1531 -x1530 -x1529 -x1528 -x1527 -x1526 
174.54/175.19	v -x1525 -x1524 -x1523 -x1522 x1521 -x1520 -x1519 -x1518 -x1517 -x1516 x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 
174.54/175.19	v -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489 
174.54/175.19	v -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 x1475 -x1474 -x1473 -x1472 -x1471 
174.54/175.19	v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 
174.54/175.19	v x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 
174.54/175.19	v -x1434 -x1433 -x1432 x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 x1422 -x1421 -x1420 -x1419 -x1418 -x1417 
174.54/175.19	v -x1416 x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 
174.54/175.19	v -x1398 -x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 x1385 -x1384 -x1383 -x1382 -x1381 
174.54/175.19	v -x1380 -x1379 -x1378 -x1377 -x1376 x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 -x1363 
174.54/175.19	v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 
174.54/175.19	v -x1344 -x1343 x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
174.54/175.19	v -x1325 -x1324 -x1323 x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 
174.54/175.19	v -x1307 -x1306 x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 
174.54/175.19	v -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 
174.54/175.19	v -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 x1255 -x1254 
174.54/175.19	v -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 
174.54/175.19	v -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 x1221 -x1220 -x1219 -x1218 
174.54/175.19	v -x1217 -x1216 x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201 -x1200 
174.54/175.19	v -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 
174.54/175.19	v x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 
174.54/175.19	v x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 
174.54/175.19	v -x1144 -x1143 x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 
174.54/175.19	v -x1126 x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 
174.54/175.19	v -x1108 -x1107 -x1106 x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 
174.54/175.19	v -x1090 -x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073 
174.54/175.19	v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 
174.54/175.19	v -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 x1042 -x1041 -x1040 -x1039 -x1038 -x1037 
174.54/175.19	v -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018 
174.54/175.19	v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 
174.54/175.19	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 
174.54/175.19	v -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 
174.54/175.19	v -x957 -x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 
174.54/175.19	v -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 
174.54/175.19	v x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
174.54/175.19	v -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 
174.54/175.19	v x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 
174.54/175.19	v -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 
174.54/175.19	v -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 
174.54/175.19	v -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 
174.54/175.19	v -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 x772 -x771 -x770 -x769 -x768 -x767 
174.54/175.19	v -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 
174.54/175.19	v -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 
174.54/175.19	v -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 
174.54/175.19	v -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 
174.54/175.19	v -x682 x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 
174.54/175.19	v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 
174.54/175.19	v -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 
174.54/175.19	v -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 
174.54/175.19	v -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 
174.54/175.19	v -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 
174.54/175.19	v x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 
174.54/175.19	v -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 
174.54/175.19	v x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 
174.54/175.19	v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 
174.54/175.19	v -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 
174.54/175.19	v -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 
174.54/175.19	v -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 
174.54/175.19	v -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 
174.54/175.19	v -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 
174.54/175.19	v -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 
174.54/175.19	v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 
174.54/175.19	v -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 
174.54/175.19	v -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 
174.54/175.19	v -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 
174.54/175.19	v -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 
174.54/175.19	v -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 
174.54/175.19	v -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 
174.54/175.19	v -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 
174.54/175.19	v -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 
174.54/175.19	v -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 
174.54/175.19	v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 
174.54/175.19	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 
174.54/175.19	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 
174.54/175.19	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 
174.54/175.19	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 
174.54/175.19	v -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 
174.54/175.19	c SCIP Status        : problem is solved [optimal solution found]
174.54/175.19	c Total Time         :     174.88
174.54/175.19	c   solving          :     174.88
174.54/175.19	c   presolving       :     156.66 (included in solving)
174.54/175.19	c   reading          :       1.38 (included in solving)
174.54/175.19	c   copying          :       0.00 (0 times copied the problem)
174.54/175.19	c Original Problem   :
174.54/175.19	c   Problem name     : HOME/instance-4526479-1751629941.wbo
174.54/175.19	c   Variables        : 179132 (179132 binary, 0 integer, 0 implicit integer, 0 continuous)
174.54/175.19	c   Constraints      : 351615 initial, 351615 maximal
174.54/175.19	c   Objective        : minimize, 175632 non-zeros (abs.min = 1, abs.max = 349)
174.54/175.19	c Presolved Problem  :
174.54/175.19	c   Problem name     : t_HOME/instance-4526479-1751629941.wbo
174.54/175.19	c   Variables        : 6632 (6632 binary, 0 integer, 0 implicit integer, 0 continuous)
174.54/175.19	c   Constraints      : 175990 initial, 176037 maximal
174.54/175.19	c   Objective        : minimize, 3132 non-zeros (abs.min = 1, abs.max = 1)
174.54/175.19	c   Nonzeros         : 530424 constraint, 9802 clique table
174.54/175.19	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
174.54/175.19	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   domcol           :       0.00       0.00    127          0          0          0          0          0          0          0          0          0
174.54/175.19	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
174.54/175.19	c   gateextraction   :       4.56       0.00    127          0          0          0          0          0          0          0          0          0
174.54/175.19	c   implics          :       0.02       0.00    128          0          0          0          0          0          0          0          0          0
174.54/175.19	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
174.54/175.19	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   trivial          :       0.03       0.00    130          0          0          0          0          0          0          0          0          0
174.54/175.19	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   dualfix          :       0.03       0.00    130          0          0          0          0          0          0          0          0          0
174.54/175.19	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   probing          :       3.90       0.00    127          0       3132          0          0          0          0          0          0          0
174.54/175.19	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
174.54/175.19	c   symmetry         :       0.27       0.00      1          0          0          0          0          0          0          0          0          0
174.54/175.19	c   vbounds          :       0.04       0.00     21          0          0          0          0          0          0          0          0          0
174.54/175.19	c   knapsack         :       0.01       0.00    381          0          0          0          0          0          0          0          0          0
174.54/175.19	c   setppc           :       0.09       0.00    381          0          0          0          0          0          0          0          0          0
174.54/175.19	c   linear           :       1.48       0.03    258     172500          0          0     175632          0          0          0          0          0
174.54/175.19	c   logicor          :     144.09       0.12    381          0          0          0          0          0          0          0          0          0
174.54/175.19	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   indicator        :       0.36       0.00    128     172500          0          0     172500          0     175625          0          0          0
174.54/175.19	c   components       :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
174.54/175.19	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
174.54/175.19	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
174.54/175.19	c   benderslp        :          0          0          0          0          0          0          0        214          0          0          0          0          0          0          0
174.54/175.19	c   integral         :          0          0          0          0          0          0          0        214          0          0          0          0          0          0          0
174.54/175.19	c   knapsack         :          1          1          0      34497          0          0          0        208        198          0          0          0          0          0          0
174.54/175.19	c   setppc           :        350+       369         12      31907          0          0          0        206         85         30          0          0          0          0          0
174.54/175.19	c   linear           :       3132       3132         12      31866          0          0          0        200        216          0          0          0          0          0          0
174.54/175.19	c   logicor          :     172500+    172529         12       8011          0          0          0          8        295         12          0          0          0          0          0
174.54/175.19	c   benders          :          0          0          0          0          0          0          0          9          0          0          0          0          0          0          0
174.54/175.19	c   indicator        :          7          7         12      34693          0          0          0          7          0          0          0          0          0          0          0
174.54/175.19	c   fixedvar         :          0          0          0          0          0          0          0          9          0          0          0          0          0          0          0
174.54/175.19	c   countsols        :          0          0          0          0          0          0          0          9          0          0          0          0          0          0          0
174.54/175.19	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
174.54/175.19	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
174.54/175.19	c   integral         :       0.02       0.00       0.00       0.00       0.00       0.00       0.00       0.02       0.00       0.00
174.54/175.19	c   knapsack         :       0.09       0.00       0.00       0.07       0.00       0.00       0.00       0.01       0.00       0.00
174.54/175.19	c   setppc           :       0.11       0.00       0.00       0.10       0.00       0.00       0.00       0.01       0.00       0.00
174.54/175.19	c   linear           :       0.17       0.03       0.03       0.09       0.00       0.00       0.00       0.03       0.00       0.00
174.54/175.19	c   logicor          :       0.97       0.12       0.21       0.55       0.00       0.00       0.00       0.08       0.00       0.00
174.54/175.19	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
174.54/175.19	c   indicator        :       0.64       0.00       0.00       0.64       0.00       0.00       0.00       0.00       0.00       0.00
174.54/175.19	c   fixedvar         :       0.10       0.01       0.00       0.00       0.00       0.00       0.00       0.10       0.00       0.00
174.54/175.19	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
174.54/175.19	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
174.54/175.19	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
174.54/175.19	c   dualfix          :          2          0          0          0
174.54/175.19	c   genvbounds       :          0          0          0          0
174.54/175.19	c   nlobbt           :          0          0          0          0
174.54/175.19	c   obbt             :          0          0          0          0
174.54/175.19	c   probing          :          0          0          0          0
174.54/175.19	c   pseudoobj        :         16          0          0          0
174.54/175.19	c   redcost          :         14          0          0          0
174.54/175.19	c   rootredcost      :          0          0          0          0
174.54/175.19	c   symmetry         :          0          0          0          0
174.54/175.19	c   vbounds          :       9345          0          0          0
174.54/175.19	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
174.54/175.19	c   dualfix          :       0.03       0.00       0.03       0.00       0.00       0.00
174.54/175.19	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
174.54/175.19	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
174.54/175.19	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
174.54/175.19	c   probing          :       3.90       0.00       3.90       0.00       0.00       0.00
174.54/175.19	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
174.54/175.19	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
174.54/175.19	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
174.54/175.19	c   symmetry         :       0.27       0.00       0.27       0.00       0.00       0.00
174.54/175.19	c   vbounds          :       0.04       0.00       0.04       0.01       0.00       0.00
174.54/175.19	c Symmetry           :
174.54/175.19	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
174.54/175.19	c   orbital reduction:          0 reductions applied,          0 cutoffs
174.54/175.19	c   lexicographic red:          0 reductions applied,          0 cutoffs
174.54/175.19	c   shadow tree time :       0.00 s
174.54/175.19	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
174.54/175.19	c   propagation      :       0.01         42         42          -         48       83.0          2        4.0          -          -          -
174.54/175.19	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
174.54/175.19	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
174.54/175.19	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
174.54/175.19	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
174.54/175.19	c   applied globally :       0.00          -          -          0         50       79.8          -          -          0          -          -
174.54/175.19	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
174.54/175.19	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
174.54/175.19	c   cut pool         :       0.00          -         23         23          -          -        586       1245          -          -          -          -          -    (maximal pool size:        586)
174.54/175.19	c   aggregation      :       0.15       0.00         12         12          0          0          0          0          0          0          0          0          0
174.54/175.19	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
174.54/175.19	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
174.54/175.19	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
174.54/175.19	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   clique           :       0.51       0.00         12         12          0          0          0          0          0          0          0          0          0
174.54/175.19	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   gomory           :      11.81       0.00         10         10          0          0        567       1223          0         13         13          0          0
174.54/175.19	c   > gomorymi       :          -          -          -          -          -          -          -        587          0          3          3          0          -
174.54/175.19	c   > strongcg       :          -          -          -          -          -          -          -        636          0         10         10          0          -
174.54/175.19	c   impliedbounds    :       0.01       0.00         12         12          0          0          0          0          0          0          0          0          0
174.54/175.19	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   mcf              :       0.16       0.00          1          1          0          0          0          0          0          0          0          0          0
174.54/175.19	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   multilinear      :       0.00       0.00         12         12          0          0          0          0          0          0          0          0          0
174.54/175.19	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   rapidlearning    :       0.05       0.00          0          0          0          0          0          0          0          0          0          0          0
174.54/175.19	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
174.54/175.19	c   zerohalf         :       0.12       0.00         12         12          0          0         19         22          0         15         15          0          0
174.54/175.19	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
174.54/175.19	c   hybrid           :       0.00       0.00         12         12         28          0       1217         28          0       1217
174.54/175.19	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c Pricers            :   ExecTime  SetupTime      Calls       Vars
174.54/175.19	c   problem variables:       0.00          -          0          0
174.54/175.19	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
174.54/175.19	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
174.54/175.19	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
174.54/175.19	c   LP solutions     :       0.00          -          -          0          0
174.54/175.19	c   relax solutions  :       0.00          -          -          0          0
174.54/175.19	c   pseudo solutions :       0.00          -          -          0          0
174.54/175.19	c   strong branching :       0.00          -          -          0          0
174.54/175.19	c   actconsdiving    :       0.00       0.00          0          0          0
174.54/175.19	c   adaptivediving   :       0.00       0.00          0          0          0
174.54/175.19	c   alns             :       0.00       0.00          0          0          0
174.54/175.19	c   bound            :       0.00       0.00          0          0          0
174.54/175.19	c   clique           :       0.43       0.00          1          1          1
174.54/175.19	c   coefdiving       :       0.00       0.00          0          0          0
174.54/175.19	c   completesol      :       0.00       0.00          0          0          0
174.54/175.19	c   conflictdiving   :       0.03       0.00          1          1          1
174.54/175.19	c   crossover        :       0.00       0.00          0          0          0
174.54/175.19	c   dins             :       0.00       0.00          0          0          0
174.54/175.19	c   distributiondivin:       0.00       0.00          0          0          0
174.54/175.19	c   dps              :       0.00       0.00          0          0          0
174.54/175.19	c   dualval          :       0.00       0.00          0          0          0
174.54/175.19	c   farkasdiving     :       0.00       0.00          0          0          0
174.54/175.19	c   feasjump         :       0.00       0.00          0          0          0
174.54/175.19	c   feaspump         :       0.00       0.00          0          0          0
174.54/175.19	c   fixandinfer      :       0.00       0.00          0          0          0
174.54/175.19	c   fracdiving       :       0.00       0.00          0          0          0
174.54/175.19	c   gins             :       0.00       0.00          0          0          0
174.54/175.19	c   guideddiving     :       0.00       0.00          0          0          0
174.54/175.19	c   indcoefdiving    :       0.00       0.00          0          0          0
174.54/175.19	c   indicator        :       0.00       0.00          0          0          0
174.54/175.19	c   indicatordiving  :       0.00       0.00          0          0          0
174.54/175.19	c   indoneopt        :       0.09       0.00          1          0          0
174.54/175.19	c   indrounding      :       0.00       0.00          0          0          0
174.54/175.19	c   indtwoopt        :       0.00       0.00          0          0          0
174.54/175.19	c   intdiving        :       0.00       0.00          0          0          0
174.54/175.19	c   intshifting      :       0.00       0.00          0          0          0
174.54/175.19	c   linesearchdiving :       0.00       0.00          0          0          0
174.54/175.19	c   localbranching   :       0.00       0.00          0          0          0
174.54/175.19	c   locks            :       0.10       0.00          1          0          0
174.54/175.19	c   lpface           :       0.00       0.00          0          0          0
174.54/175.19	c   mpec             :       0.00       0.00          0          0          0
174.54/175.19	c   multistart       :       0.00       0.00          0          0          0
174.54/175.19	c   mutation         :       0.00       0.00          0          0          0
174.54/175.19	c   nlpdiving        :       0.00       0.00          0          0          0
174.54/175.19	c   objpscostdiving  :       0.00       0.00          0          0          0
174.54/175.19	c   octane           :       0.00       0.00          0          0          0
174.54/175.19	c   ofins            :       0.00       0.00          0          0          0
174.54/175.19	c   oneopt           :       0.01       0.00          1          0          0
174.54/175.19	c   padm             :       0.00       0.00          0          0          0
174.54/175.19	c   proximity        :       0.00       0.00          0          0          0
174.54/175.19	c   pscostdiving     :       0.00       0.00          0          0          0
174.54/175.19	c   randrounding     :       0.04       0.00         12          0          0
174.54/175.19	c   rens             :       0.00       0.00          0          0          0
174.54/175.19	c   reoptsols        :       0.00       0.00          0          0          0
174.54/175.19	c   repair           :       0.00       0.00          0          0          0
174.54/175.19	c   rins             :       0.00       0.00          0          0          0
174.54/175.19	c   rootsoldiving    :       0.00       0.00          0          0          0
174.54/175.19	c   rounding         :       0.06       0.00         12          0          0
174.54/175.19	c   scheduler        :       0.00       0.00          0          0          0
174.54/175.19	c   shiftandpropagate:       0.00       0.00          0          0          0
174.54/175.19	c   shifting         :       0.23       0.00         12          4          0
174.54/175.19	c   simplerounding   :       0.00       0.00          0          0          0
174.54/175.19	c   smallcard        :       0.00       0.00          0          0          0
174.54/175.19	c   subnlp           :       0.00       0.00          0          0          0
174.54/175.19	c   trivial          :       0.14       0.00          2          0          0
174.54/175.19	c   trivialnegation  :       0.00       0.00          0          0          0
174.54/175.19	c   trustregion      :       0.00       0.00          0          0          0
174.54/175.19	c   trysol           :       0.00       0.00          0          0          0
174.54/175.19	c   twoopt           :       0.00       0.00          0          0          0
174.54/175.19	c   undercover       :       0.00       0.00          0          0          0
174.54/175.19	c   vbounds          :       1.23       0.00          1          1          1
174.54/175.19	c   veclendiving     :       0.00       0.00          0          0          0
174.54/175.19	c   zeroobj          :       0.00       0.00          0          0          0
174.54/175.19	c   zirounding       :       0.00       0.00          0          0          0
174.54/175.19	c   other solutions  :          -          -          -          0          -
174.54/175.19	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
174.54/175.19	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
174.54/175.19	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
174.54/175.19	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
174.54/175.19	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
174.54/175.19	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
174.54/175.19	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
174.54/175.19	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
174.54/175.19	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
174.54/175.19	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
174.54/175.19	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
174.54/175.19	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
174.54/175.19	c   dual LP          :       0.65         13       2887     222.08    4450.41       0.00          0
174.54/175.19	c   lex dual LP      :       0.00          0          0       0.00          -
174.54/175.19	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
174.54/175.19	c   resolve instable :       0.00          0          0       0.00          -
174.54/175.19	c   diving/probing LP:       0.09          0          0       0.00       0.00
174.54/175.19	c   strong branching :       0.00          0          0       0.00          -          -          -          0
174.54/175.19	c     (at root node) :          -          0          0       0.00          -
174.54/175.19	c   conflict analysis:       0.00          0          0       0.00          -
174.54/175.19	c B&B Tree           :
174.54/175.19	c   number of runs   :          1
174.54/175.19	c   nodes            :          1 (0 internal, 1 leaves)
174.54/175.19	c   feasible leaves  :          0
174.54/175.19	c   infeas. leaves   :          0
174.54/175.19	c   objective leaves :          1
174.54/175.19	c   nodes (total)    :          1 (0 internal, 1 leaves)
174.54/175.19	c   nodes left       :          0
174.54/175.19	c   max depth        :          0
174.54/175.19	c   max depth (total):          0
174.54/175.19	c   backtracks       :          0 (0.0%)
174.54/175.19	c   early backtracks :          0 (0.0%)
174.54/175.19	c   nodes exc. ref.  :          0 (0.0%)
174.54/175.19	c   delayed cutoffs  :          0
174.54/175.19	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
174.54/175.19	c   avg switch length:       2.00
174.54/175.19	c   switching time   :       0.00
174.54/175.19	c Root Node          :
174.54/175.19	c   First LP value   : +4.00000000000000e-01
174.54/175.19	c   First LP Iters   :       2773 (6648.60 Iter/sec)
174.54/175.19	c   First LP Time    :       0.42
174.54/175.19	c   Final Dual Bound : +2.00000000000000e+00
174.54/175.19	c   Final Root Iters :       2887
174.54/175.19	c   Root LP Estimate :                     -
174.54/175.19	c Solution           :
174.54/175.19	c   Solutions found  :          7 (3 improvements)
174.54/175.19	c   First Solution   : +3.15000000000000e+02   (in run 1, after 1 nodes, 159.14 seconds, depth 2940, found by <clique>)
174.54/175.19	c   Gap First Sol.   :   infinite
174.54/175.19	c   Gap Last Sol.    :       0.00 %
174.54/175.19	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 1 nodes, 174.86 seconds, depth 1, found by <conflictdiving>)
174.54/175.19	c   Dual Bound       : +2.00000000000000e+00
174.54/175.19	c   Gap              :       0.00 %
174.54/175.19	c Integrals          :      Total       Avg%
174.54/175.19	c   primal-dual      :   17474.34      99.92
174.54/175.19	c   primal-ref       :          -          - (not evaluated)
174.54/175.19	c   dual-ref         :          -          - (not evaluated)
175.44/176.06	c Time complete: 175.494.

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: 63794 MiB (62749 MiB free)
  memory of node 1: 64507 MiB (55978 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526479-1751629941/watcher-4526479-1751629941 -o /tmp/evaluation-result-4526479-1751629941/solver-4526479-1751629941 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88028 --watchdog 3760 pbscip -f HOME/instance-4526479-1751629941.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=90515, runsolver pid=90512

[startup+0.100071 s]*
/proc/loadavg: 4.09 4.08 4.13 5/253 90516
/proc/meminfo: memFree=121568648/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=66428 memory=38656 CPUtime=0.1 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 6786 0 0 0 8 2 0 0 20 0 1 0 78673857 68022272 9664 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 16607 9664 3200 3530 0 8058 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66428 KiB
Current children cumulated memory: 38656 KiB

[startup+0.213125 s]*
/proc/loadavg: 4.09 4.08 4.13 5/253 90516
/proc/meminfo: memFree=121544708/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=87548 memory=59776 CPUtime=0.2 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 12107 0 0 0 17 3 0 0 20 0 1 0 78673857 89649152 14944 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 21887 14944 3200 3530 0 13338 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87548 KiB
Current children cumulated memory: 59776 KiB

[startup+0.311406 s]*
/proc/loadavg: 4.09 4.08 4.13 5/253 90516
/proc/meminfo: memFree=121529168/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=103268 memory=75520 CPUtime=0.3 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 16031 0 0 0 26 4 0 0 20 0 1 0 78673857 105746432 18880 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 25817 18880 3200 3530 0 17268 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103268 KiB
Current children cumulated memory: 75520 KiB

[startup+0.700304 s]
/proc/loadavg: 4.09 4.08 4.13 5/253 90516
/proc/meminfo: memFree=121496912/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=162072 memory=134272 CPUtime=0.68 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 30717 0 0 0 60 8 0 0 20 0 1 0 78673857 165961728 33568 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 40518 33568 3200 3530 0 31969 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162072 KiB
Current children cumulated memory: 134272 KiB

[startup+1.50035 s]
/proc/loadavg: 4.09 4.08 4.13 5/253 90516
/proc/meminfo: memFree=121403356/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=394480 memory=366044 CPUtime=1.48 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 89691 0 0 0 127 21 0 0 20 0 1 0 78673857 403947520 91511 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 98620 91511 3488 3530 0 90071 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 394480 KiB
Current children cumulated memory: 366044 KiB

[startup+3.11262 s]
/proc/loadavg: 4.09 4.08 4.13 4/248 90547
/proc/meminfo: memFree=120668760/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1142036 memory=1107200 CPUtime=3.08 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 272861 0 0 0 258 50 0 0 20 0 1 0 78673857 1169444864 276800 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 285509 276800 3552 3530 0 276960 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1142036 KiB
Current children cumulated memory: 1107200 KiB

[startup+6.30032 s]
/proc/loadavg: 4.08 4.08 4.13 5/253 90561
/proc/meminfo: memFree=120178348/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1335900 memory=1300352 CPUtime=6.26 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 318561 0 0 0 569 57 0 0 20 0 1 0 78673857 1367961600 325088 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 333975 325088 3616 3530 0 325426 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1335900 KiB
Current children cumulated memory: 1300352 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.08 4.12 5/253 90561
/proc/meminfo: memFree=120060084/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1335900 memory=1300352 CPUtime=12.65 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 318562 0 0 0 1207 58 0 0 20 0 1 0 78673857 1367961600 325088 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 333975 325088 3616 3530 0 325426 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1335900 KiB
Current children cumulated memory: 1300352 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.07 4.12 6/253 90651
/proc/meminfo: memFree=119317748/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1335900 memory=1300352 CPUtime=25.42 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 318563 0 0 0 2484 58 0 0 20 0 1 0 78673857 1367961600 325088 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 333975 325088 3616 3530 0 325426 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1335900 KiB
Current children cumulated memory: 1300352 KiB

[startup+51.1128 s]
/proc/loadavg: 4.44 4.17 4.15 6/253 90652
/proc/meminfo: memFree=112336148/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1335900 memory=1300352 CPUtime=50.95 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 318563 0 0 0 5037 58 0 0 20 0 1 0 78673857 1367961600 325088 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 333975 325088 3616 3530 0 325426 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1335900 KiB
Current children cumulated memory: 1300352 KiB

[startup+102.3 s]
/proc/loadavg: 4.66 4.28 4.19 5/253 90654
/proc/meminfo: memFree=112103636/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1335900 memory=1300352 CPUtime=101.99 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 318565 0 0 0 10141 58 0 0 20 0 1 0 78673857 1367961600 325088 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 333975 325088 3616 3530 0 325426 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1335900 KiB
Current children cumulated memory: 1300352 KiB

[startup+162.3 s]
/proc/loadavg: 4.28 4.24 4.18 6/250 90656
/proc/meminfo: memFree=110891544/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1542488 memory=1491092 CPUtime=161.79 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 365244 0 0 0 16112 67 0 0 20 0 1 0 78673857 1579507712 372773 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 385622 372773 3808 3530 0 377073 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1542488 KiB
Current children cumulated memory: 1491092 KiB

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

# cumulated CPU time of all completed processes:  user=174.781 s, system=0.768883 s

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

[startup+166.4 s]
/proc/loadavg: 4.26 4.23 4.18 6/250 90656
/proc/meminfo: memFree=110897556/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1638248 memory=1526564 CPUtime=165.87 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 372594 0 0 0 16519 68 0 0 20 0 1 0 78673857 1677565952 381641 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 409562 381641 3808 3530 0 401013 0
Current children cumulated CPU time: 165.87 s
Current children cumulated vsize: 1638248 KiB
Current children cumulated memory: 1526564 KiB

[startup+172.8 s]
/proc/loadavg: 4.24 4.23 4.18 5/250 90656
/proc/meminfo: memFree=110877672/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1732844 memory=1541220 CPUtime=172.24 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 375412 0 0 0 17155 69 0 0 20 0 1 0 78673857 1774432256 385305 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 433211 385305 3808 3530 0 424662 0
Current children cumulated CPU time: 172.24 s
Current children cumulated vsize: 1732844 KiB
Current children cumulated memory: 1541220 KiB

[startup+174.4 s]
/proc/loadavg: 4.22 4.23 4.18 6/250 90656
/proc/meminfo: memFree=110800420/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1750772 memory=1544036 CPUtime=173.83 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 376115 0 0 0 17314 69 0 0 20 0 1 0 78673857 1792790528 386009 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 437693 386009 3808 3530 0 429144 0
Current children cumulated CPU time: 173.83 s
Current children cumulated vsize: 1750772 KiB
Current children cumulated memory: 1544036 KiB

[startup+175.2 s]
/proc/loadavg: 4.22 4.23 4.18 6/250 90656
/proc/meminfo: memFree=110688604/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1806388 memory=1552308 CPUtime=174.63 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 377276 0 0 0 17393 70 0 0 20 0 1 0 78673857 1849741312 388077 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 451597 388077 3808 3530 0 443048 0
Current children cumulated CPU time: 174.63 s
Current children cumulated vsize: 1806388 KiB
Current children cumulated memory: 1552308 KiB

[startup+175.6 s]
/proc/loadavg: 4.22 4.23 4.18 6/250 90656
/proc/meminfo: memFree=110688604/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1800076 memory=1546888 CPUtime=175.03 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 377276 0 0 0 17433 70 0 0 20 0 1 0 78673857 1843277824 386722 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 450019 386722 3808 3530 0 441470 0
Current children cumulated CPU time: 175.03 s
Current children cumulated vsize: 1800076 KiB
Current children cumulated memory: 1546888 KiB

[startup+176 s]*
/proc/loadavg: 4.22 4.23 4.18 6/250 90656
/proc/meminfo: memFree=110739292/131382112 swapFree=33010416/33010684
[pid=90515] ppid=90512 vsize=1715292 memory=1463460 CPUtime=175.44 cores=0,2
/proc/90515/stat : 90515 (pbscip) R 90512 90515 88018 0 -1 4194304 377279 0 0 0 17474 70 0 0 20 0 1 0 78673857 1756459008 365865 18446744073709551615 4235264 18693293 140723143074032 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38043648 140723143080327 140723143080426 140723143080426 140723143086030 0
/proc/90515/statm: 428823 365865 3840 3530 0 420274 0
Current children cumulated CPU time: 175.44 s
Current children cumulated vsize: 1715292 KiB
Current children cumulated memory: 1463460 KiB

Child status: 0

Real time (s): 176.115
CPU time (s): 175.55
CPU user time (s): 174.781
CPU system time (s): 0.768883
CPU usage (%): 99.6789
Max. virtual memory (cumulated for all children) (KiB): 1806388
Max. memory (cumulated for all children) (KiB): 1552308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 174.781
system time used= 0.768883
maximum resident set size= 1552308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377287
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= 75
involuntary context switches= 400


# summary of solver processes directly reported to runsolver:
#   pid: 90515
#   total CPU time (s): 175.55
#   total CPU user time (s): 174.781
#   total CPU system time (s): 0.768883

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.898366 second user time and 1.68864 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-04 13:52:21
IDJOB=4526479
IDBENCH=144096
IDSOLVER=3382
FILE ID=nodeC012/4526479-1751629941
RUNJOBID= nodeC012-1751626031-88028
SLURM_JOB_ID= 9598953
Free space on /tmp= 431652 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-4526479-1751629941/watcher-4526479-1751629941 -o /tmp/evaluation-result-4526479-1751629941/solver-4526479-1751629941 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88028 --watchdog 3760  pbscip -f HOME/instance-4526479-1751629941.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 803163f8c4ec83baa6e84e90f2e866a2
RANDOM SEED=1788095255

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        121576412 kB
MemAvailable:   122107588 kB
Buffers:            2136 kB
Cached:          1330400 kB
SwapCached:           16 kB
Active:          8466300 kB
Inactive:         710168 kB
Active(anon):    7856932 kB
Inactive(anon):     4948 kB
Active(file):     609368 kB
Inactive(file):   705220 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             84876 kB
Writeback:           216 kB
AnonPages:       7847032 kB
Mapped:           137440 kB
Shmem:             17944 kB
KReclaimable:     112048 kB
Slab:             197764 kB
SReclaimable:     112048 kB
SUnreclaim:        85716 kB
KernelStack:        4080 kB
PageTables:        18704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8340644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1198080 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431588 MiB
End job on nodeC012 at 2025-07-04 13:55:18