Trace number 4526542

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 164.933 165.369

General information on the benchmark

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

Verifier Data 

OK	1

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: 63708 MiB (57679 MiB free)
  memory of node 1: 64465 MiB (59770 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526542-1751630425/watcher-4526542-1751630425 -o /tmp/evaluation-result-4526542-1751630425/solver-4526542-1751630425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89174 --watchdog 3760 pbscip -f HOME/instance-4526542-1751630425.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 91038
/proc/meminfo: memFree=120268716/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=89472 memory=61952 CPUtime=0.09 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 12593 0 0 0 8 1 0 0 20 0 1 0 78720094 91619328 15488 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 22368 15488 3232 3530 0 13819 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89472 KiB
Current children cumulated memory: 61952 KiB

[startup+0.205471 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 91038
/proc/meminfo: memFree=120268716/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=130932 memory=103296 CPUtime=0.2 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 22941 0 0 0 17 3 0 0 20 0 1 0 78720094 134074368 25824 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 32733 25824 3232 3530 0 24184 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130932 KiB
Current children cumulated memory: 103296 KiB

[startup+0.305432 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 91038
/proc/meminfo: memFree=120268716/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=169840 memory=142208 CPUtime=0.29 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 32659 0 0 0 25 4 0 0 20 0 1 0 78720094 173916160 35552 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 42460 35552 3232 3530 0 33911 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 169840 KiB
Current children cumulated memory: 142208 KiB

[startup+0.700164 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 91038
/proc/meminfo: memFree=120267960/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=316452 memory=288364 CPUtime=0.69 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 68701 0 0 0 59 10 0 0 20 0 1 0 78720094 324046848 72091 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 79113 72091 3232 3530 0 70564 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 316452 KiB
Current children cumulated memory: 288364 KiB

[startup+1.50018 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 91038
/proc/meminfo: memFree=120267708/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=787440 memory=753572 CPUtime=1.48 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 185418 0 0 0 122 26 0 0 20 0 1 0 78720094 806338560 188361 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 196860 188393 3584 3530 0 188311 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 787440 KiB
Current children cumulated memory: 753572 KiB

[startup+3.10534 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 91038
/proc/meminfo: memFree=120262100/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1284244 memory=1248984 CPUtime=3.08 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 306222 0 0 0 265 43 0 0 20 0 1 0 78720094 1315065856 312246 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 321061 312246 3584 3530 0 312512 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1284244 KiB
Current children cumulated memory: 1248984 KiB

[startup+6.3001 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 91038
/proc/meminfo: memFree=120262100/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1335900 memory=1300568 CPUtime=6.27 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 319072 0 0 0 583 44 0 0 20 0 1 0 78720094 1367961600 325142 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 333975 325142 3648 3530 0 325426 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1335900 KiB
Current children cumulated memory: 1300568 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 91038
/proc/meminfo: memFree=120294200/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1335900 memory=1300568 CPUtime=12.65 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 319072 0 0 0 1221 44 0 0 20 0 1 0 78720094 1367961600 325142 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 333975 325142 3648 3530 0 325426 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1335900 KiB
Current children cumulated memory: 1300568 KiB

[startup+25.5001 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 91038
/proc/meminfo: memFree=120400992/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1335900 memory=1300568 CPUtime=25.42 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 319073 0 0 0 2498 44 0 0 20 0 1 0 78720094 1367961600 325142 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 333975 325142 3648 3530 0 325426 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1335900 KiB
Current children cumulated memory: 1300568 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 91049
/proc/meminfo: memFree=120600808/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1335900 memory=1300568 CPUtime=50.97 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 319074 0 0 0 5053 44 0 0 20 0 1 0 78720094 1367961600 325142 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 333975 325142 3648 3530 0 325426 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1335900 KiB
Current children cumulated memory: 1300568 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 91051
/proc/meminfo: memFree=120888688/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1335900 memory=1300568 CPUtime=102.02 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 319076 0 0 0 10158 44 0 0 20 0 1 0 78720094 1367961600 325142 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 333975 325142 3648 3530 0 325426 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1335900 KiB
Current children cumulated memory: 1300568 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 91053
/proc/meminfo: memFree=120633444/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1674144 memory=1528668 CPUtime=161.86 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 373604 0 0 0 16132 54 0 0 20 0 1 0 78720094 1714323456 382167 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 418536 382167 3840 3530 0 409987 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1674144 KiB
Current children cumulated memory: 1528668 KiB

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

# cumulated CPU time of all completed processes:  user=164.326 s, system=0.60717 s

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

[startup+163.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 91053
/proc/meminfo: memFree=120633676/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1692072 memory=1531488 CPUtime=162.76 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 373796 0 0 0 16222 54 0 0 20 0 1 0 78720094 1732681728 382872 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 423018 382872 3840 3530 0 414469 0
Current children cumulated CPU time: 162.76 s
Current children cumulated vsize: 1692072 KiB
Current children cumulated memory: 1531488 KiB

[startup+164 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 91053
/proc/meminfo: memFree=120633676/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1711380 memory=1534432 CPUtime=163.56 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 374506 0 0 0 16302 54 0 0 20 0 1 0 78720094 1752453120 383608 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 427845 383608 3840 3530 0 419296 0
Current children cumulated CPU time: 163.56 s
Current children cumulated vsize: 1711380 KiB
Current children cumulated memory: 1534432 KiB

[startup+164.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 91053
/proc/meminfo: memFree=120633676/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1731144 memory=1538940 CPUtime=164.35 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 375244 0 0 0 16381 54 0 0 20 0 1 0 78720094 1772691456 384735 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 432786 384735 3840 3530 0 424237 0
Current children cumulated CPU time: 164.35 s
Current children cumulated vsize: 1731144 KiB
Current children cumulated memory: 1538940 KiB

[startup+165.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 91053
/proc/meminfo: memFree=120633676/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1679088 memory=1488716 CPUtime=164.76 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 375246 0 0 0 16421 55 0 0 20 0 1 0 78720094 1719386112 372179 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 419772 372179 3872 3530 0 411223 0
Current children cumulated CPU time: 164.76 s
Current children cumulated vsize: 1679088 KiB
Current children cumulated memory: 1488716 KiB

[startup+165.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 91053
/proc/meminfo: memFree=120633676/131249988 swapFree=33010160/33010684
[pid=91037] ppid=91034 vsize=1626900 memory=1436936 CPUtime=164.85 cores=0,2
/proc/91037/stat : 91037 (pbscip) R 91034 91037 89164 0 -1 4194304 375246 0 0 0 16430 55 0 0 20 0 1 0 78720094 1665945600 359234 18446744073709551615 4235264 18693293 140725032813536 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30236672 140725032819079 140725032819178 140725032819178 140725032824782 0
/proc/91037/statm: 406725 359234 3872 3530 0 398176 0
Current children cumulated CPU time: 164.85 s
Current children cumulated vsize: 1626900 KiB
Current children cumulated memory: 1436936 KiB

Child status: 0

Real time (s): 165.369
CPU time (s): 164.933
CPU user time (s): 164.326
CPU system time (s): 0.60717
CPU usage (%): 99.7366
Max. virtual memory (cumulated for all children) (KiB): 1731144
Max. memory (cumulated for all children) (KiB): 1538940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.326
system time used= 0.60717
maximum resident set size= 1538940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375254
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= 77
involuntary context switches= 236


# summary of solver processes directly reported to runsolver:
#   pid: 91037
#   total CPU time (s): 164.933
#   total CPU user time (s): 164.326
#   total CPU system time (s): 0.60717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.306201 second user time and 0.731696 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-04 14:00:25
IDJOB=4526542
IDBENCH=144108
IDSOLVER=3382
FILE ID=nodeC020/4526542-1751630425
RUNJOBID= nodeC020-1751624435-89174
SLURM_JOB_ID= 9598948
Free space on /tmp= 431492 MiB

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

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

MD5SUM BENCH= 9c68184f5e0cdfc8a0d147070333d54f
RANDOM SEED=769477581

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        120268464 kB
MemAvailable:   120945480 kB
Buffers:            2128 kB
Cached:          1468216 kB
SwapCached:            8 kB
Active:          7462544 kB
Inactive:         902800 kB
Active(anon):    6888476 kB
Inactive(anon):    24568 kB
Active(file):     574068 kB
Inactive(file):   878232 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25504 kB
Writeback:             4 kB
AnonPages:       6895236 kB
Mapped:           138312 kB
Shmem:             18044 kB
KReclaimable:     127908 kB
Slab:             219784 kB
SReclaimable:     127908 kB
SUnreclaim:        91876 kB
KernelStack:        4272 kB
PageTables:        17092 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    7842508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1286144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431472 MiB
End job on nodeC020 at 2025-07-04 14:03:11