Trace number 4425253

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 160.541 160.974

General information on the benchmark

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

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (45424 MiB free)
  memory of node 1: 64473 MiB (54743 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100769 s]*
/proc/loadavg: 4.19 4.14 4.13 5/246 711705
/proc/meminfo: memFree=102549908/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=76808 memory=36444 CPUtime=0.09 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 6174 0 0 0 8 1 0 0 20 0 1 0 141432295 78651392 9111 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 19202 9111 3281 3540 0 7459 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76808 KiB
Current children cumulated memory: 36444 KiB

[startup+0.213446 s]*
/proc/loadavg: 4.19 4.14 4.13 5/246 711705
/proc/meminfo: memFree=102524280/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=104736 memory=63764 CPUtime=0.21 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 13028 0 0 0 19 2 0 0 20 0 1 0 141432295 107249664 15941 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 26184 15941 3281 3540 0 14441 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104736 KiB
Current children cumulated memory: 63764 KiB

[startup+0.313268 s]*
/proc/loadavg: 4.19 4.14 4.13 5/246 711705
/proc/meminfo: memFree=102499612/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=127836 memory=87716 CPUtime=0.3 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 18967 0 0 0 27 3 0 0 20 0 1 0 141432295 130904064 21929 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 31959 21929 3281 3540 0 20216 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 127836 KiB
Current children cumulated memory: 87716 KiB

[startup+0.700328 s]
/proc/loadavg: 4.19 4.14 4.13 5/246 711705
/proc/meminfo: memFree=102451760/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=216464 memory=176056 CPUtime=0.68 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 41071 0 0 0 60 8 0 0 20 0 1 0 141432295 221659136 44014 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 54116 44014 3281 3540 0 42373 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 216464 KiB
Current children cumulated memory: 176056 KiB

[startup+1.50033 s]
/proc/loadavg: 4.19 4.14 4.13 6/246 711705
/proc/meminfo: memFree=102329984/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=570472 memory=530016 CPUtime=1.48 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 130473 0 0 0 125 23 0 0 20 0 1 0 141432295 584163328 132438 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 142618 132438 3601 3540 0 130875 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 570472 KiB
Current children cumulated memory: 530016 KiB

[startup+3.11339 s]
/proc/loadavg: 4.19 4.14 4.13 6/246 711705
/proc/meminfo: memFree=101486872/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1180928 memory=1134376 CPUtime=3.09 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 280087 0 0 0 264 45 0 0 20 0 1 0 141432295 1209270272 283594 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 295232 283594 3633 3540 0 283489 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1180928 KiB
Current children cumulated memory: 1134376 KiB

[startup+6.30031 s]
/proc/loadavg: 4.18 4.14 4.13 6/246 711707
/proc/meminfo: memFree=101278288/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1348568 memory=1300780 CPUtime=6.27 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 319586 0 0 0 576 51 0 0 20 0 1 0 141432295 1380933632 325195 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 337142 325195 3697 3540 0 325399 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300780 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.14 4.13 6/246 711707
/proc/meminfo: memFree=101086380/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1348568 memory=1300780 CPUtime=12.65 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 319587 0 0 0 1213 52 0 0 20 0 1 0 141432295 1380933632 325195 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 337142 325195 3697 3540 0 325399 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300780 KiB

[startup+25.5004 s]
/proc/loadavg: 4.21 4.15 4.13 6/243 711710
/proc/meminfo: memFree=101086256/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1348568 memory=1300780 CPUtime=25.41 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 319591 0 0 0 2489 52 0 0 20 0 1 0 141432295 1380933632 325195 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 337142 325195 3697 3540 0 325399 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300780 KiB

[startup+51.1131 s]
/proc/loadavg: 4.13 4.13 4.12 6/242 711713
/proc/meminfo: memFree=101062936/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1348568 memory=1300780 CPUtime=50.96 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 319595 0 0 0 5043 53 0 0 20 0 1 0 141432295 1380933632 325195 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 337142 325195 3697 3540 0 325399 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300780 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.12 6/242 711722
/proc/meminfo: memFree=101052824/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1348568 memory=1300780 CPUtime=102.02 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 319600 0 0 0 10147 55 0 0 20 0 1 0 141432295 1380933632 325195 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 337142 325195 3697 3540 0 325399 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300780 KiB

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

# cumulated CPU time of all completed processes:  user=159.844 s, system=0.696624 s

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

[startup+102.4 s]
/proc/loadavg: 4.11 4.13 4.12 6/242 711722
/proc/meminfo: memFree=101052824/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1348568 memory=1300780 CPUtime=102.12 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 319601 0 0 0 10157 55 0 0 20 0 1 0 141432295 1380933632 325195 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 337142 325195 3697 3540 0 325399 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300780 KiB

[startup+128 s]*
/proc/loadavg: 4.21 4.15 4.13 6/244 711731
/proc/meminfo: memFree=101018632/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1348568 memory=1300780 CPUtime=127.66 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 319604 0 0 0 12711 55 0 0 20 0 1 0 141432295 1380933632 325195 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 337142 325195 3697 3540 0 325399 0
Current children cumulated CPU time: 127.66 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300780 KiB

[startup+140.8 s]
/proc/loadavg: 4.16 4.14 4.12 6/244 711733
/proc/meminfo: memFree=101018680/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1348568 memory=1300780 CPUtime=140.42 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 319605 0 0 0 13986 56 0 0 20 0 1 0 141432295 1380933632 325195 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 337142 325195 3697 3540 0 325399 0
Current children cumulated CPU time: 140.42 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300780 KiB

[startup+153.6 s]
/proc/loadavg: 4.14 4.14 4.12 6/244 711734
/proc/meminfo: memFree=101018640/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1348568 memory=1300780 CPUtime=153.18 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 319608 0 0 0 15262 56 0 0 20 0 1 0 141432295 1380933632 325195 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 337142 325195 3697 3540 0 325399 0
Current children cumulated CPU time: 153.18 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300780 KiB

[startup+156.8 s]
/proc/loadavg: 4.13 4.13 4.12 6/244 711736
/proc/meminfo: memFree=101018568/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1348568 memory=1300780 CPUtime=156.37 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 319608 0 0 0 15581 56 0 0 20 0 1 0 141432295 1380933632 325195 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 337142 325195 3697 3540 0 325399 0
Current children cumulated CPU time: 156.37 s
Current children cumulated vsize: 1348568 KiB
Current children cumulated memory: 1300780 KiB

[startup+158.4 s]
/proc/loadavg: 4.13 4.13 4.12 6/244 711736
/proc/meminfo: memFree=100835664/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1548272 memory=1483900 CPUtime=157.97 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 366666 0 0 0 15733 64 0 0 20 0 1 0 141432295 1585430528 370975 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 387068 370975 3857 3540 0 375325 0
Current children cumulated CPU time: 157.97 s
Current children cumulated vsize: 1548272 KiB
Current children cumulated memory: 1483900 KiB

[startup+160 s]*
/proc/loadavg: 4.12 4.13 4.12 6/244 711736
/proc/meminfo: memFree=100827512/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1556108 memory=1492372 CPUtime=159.57 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 368529 0 0 0 15893 64 0 0 20 0 1 0 141432295 1593454592 373093 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 389027 373093 3889 3540 0 377284 0
Current children cumulated CPU time: 159.57 s
Current children cumulated vsize: 1556108 KiB
Current children cumulated memory: 1492372 KiB

[startup+160.4 s]
/proc/loadavg: 4.12 4.13 4.12 6/244 711736
/proc/meminfo: memFree=100827512/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1552952 memory=1489624 CPUtime=159.96 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 368529 0 0 0 15932 64 0 0 20 0 1 0 141432295 1590222848 372406 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 388238 372406 3889 3540 0 376495 0
Current children cumulated CPU time: 159.96 s
Current children cumulated vsize: 1552952 KiB
Current children cumulated memory: 1489624 KiB

[startup+160.8 s]
/proc/loadavg: 4.12 4.13 4.12 6/244 711736
/proc/meminfo: memFree=100827512/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1498976 memory=1436916 CPUtime=160.35 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 368531 0 0 0 15971 64 0 0 20 0 1 0 141432295 1534951424 359229 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 374744 359229 3905 3540 0 363001 0
Current children cumulated CPU time: 160.35 s
Current children cumulated vsize: 1498976 KiB
Current children cumulated memory: 1436916 KiB

[startup+160.9 s]
/proc/loadavg: 4.12 4.13 4.12 6/244 711736
/proc/meminfo: memFree=100827512/131655788 swapFree=131071996/131071996
[pid=711704] ppid=711701 vsize=1447740 memory=1386088 CPUtime=160.46 cores=1,3
/proc/711704/stat : 711704 (pbscip) R 711701 711704 703890 0 -1 4194304 368585 0 0 0 15981 65 0 0 20 0 1 0 141432295 1482485760 346522 134679101440 4194304 18693293 140736850914752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35770368 140736850920440 140736850920539 140736850920539 140736850927566 0
/proc/711704/statm: 361935 346522 3905 3540 0 350192 0
Current children cumulated CPU time: 160.46 s
Current children cumulated vsize: 1447740 KiB
Current children cumulated memory: 1386088 KiB

Child status: 0

Real time (s): 160.974
CPU time (s): 160.541
CPU user time (s): 159.844
CPU system time (s): 0.696624
CPU usage (%): 99.7309
Max. virtual memory (cumulated for all children) (KiB): 1556108
Max. memory (cumulated for all children) (KiB): 1492372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.844
system time used= 0.696624
maximum resident set size= 1505740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369059
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= 6
involuntary context switches= 82


# summary of solver processes directly reported to runsolver:
#   pid: 711704
#   total CPU time (s): 160.541
#   total CPU user time (s): 159.844
#   total CPU system time (s): 0.696624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.766696 second user time and 1.69557 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-13 19:46:04
IDJOB=4425253
IDBENCH=144105
IDSOLVER=3038
FILE ID=nodeC011/4425253-1720892751
RUNJOBID= nodeC011-1720885247-703902
SLURM_JOB_ID= 7485791
Free space on /tmp= 723616 MiB

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

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

MD5SUM BENCH= d12ee730ee94518733bc962a9378f976
RANDOM SEED=1082860592

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        102572364 kB
MemAvailable:   103909468 kB
Buffers:          338080 kB
Cached:          1829016 kB
SwapCached:            0 kB
Active:           625272 kB
Inactive:       27866948 kB
Active(anon):       1428 kB
Inactive(anon): 26361404 kB
Active(file):     623844 kB
Inactive(file):  1505544 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             25652 kB
Writeback:             4 kB
AnonPages:      26321832 kB
Mapped:           135512 kB
Shmem:             37704 kB
KReclaimable:      95828 kB
Slab:             190608 kB
SReclaimable:      95828 kB
SUnreclaim:        94780 kB
KernelStack:        3968 kB
PageTables:        61292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   30024668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46144 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6975488 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      185160 kB
DirectMap2M:    17545216 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 723596 MiB
End job on nodeC011 at 2024-07-13 19:48:45