Trace number 4532034

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 NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 0f876b3OPT cert.2899749 875.145 908.94

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
MD5SUMd01f39fb61de71c60f300d6712f658b6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2899749
Best CPU time to get the best result obtained on this benchmark124.337
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4532034-1752589527.opb'
0.00/0.03	c 	read 0.40MB  (15.24ms)
0.00/0.03	c	 [cnf: #variables 5100 #clauses 7607 #duplicates 0 #arr 37600]
0.00/0.07	c output proof to 'PROOFDIR/proof-4532034-1752589527'
0.00/0.07	c 
0.00/0.07	c make graph and approximate orbits
0.00/0.10	c	 [group: #orbits ~= 0] (23.76ms)
0.00/0.10	c 
0.00/0.10	c detect special group actions
0.00/0.10	c 	probe for Johnson action (limit=64)
0.00/0.10	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.10	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.10	c 	 (3.03ms)
0.00/0.10	c 
0.00/0.10	c detect symmetries on remainder
0.00/0.10	c 	[graph: #vertices 35607 #edges 121000]
0.00/0.10	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.10	c 	 [group: #symmetries 1.00*10^0 #generators 0] (5.58ms)
0.00/0.10	c 
0.00/0.10	c finalize break order and special generators
0.00/0.11	c 
0.00/0.11	c generation finished
0.00/0.11	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.11	c 
0.00/0.11	c write result to 'HOME/instance-4532034-1752589527.opb.pre'
0.00/0.11	c 	wrote 0.41MB (3.00ms)
0.05/0.11	c ------------------------------------------------------------------
0.05/0.11	c                  44.75ms 46.67% other
0.05/0.11	c                  23.76ms 24.78% approx_orbits
0.05/0.11	c                  15.24ms 15.90% parse
0.05/0.11	c                   5.58ms  5.82% detect_generic
0.05/0.11	c                   3.03ms  3.16% detect_special
0.05/0.11	c                   3.00ms  3.13% output
0.05/0.11	c                   0.51ms  0.53% finalize_order
0.05/0.11	c         ───────────────────────────────────────────────
0.05/0.11	c                  95.87ms   100% total
0.05/0.11	c ------------------------------------------------------------------
0.05/0.15	c RoundingSat 2
0.05/0.15	c branch pb25
0.05/0.15	c commit 0f876b3
0.21/0.37	c #variables 5100 #constraints 12510
0.21/0.37	c objective is ce32 
0.30/0.51	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
0.30/0.51	c initial counting CF 32, 64, 128, Arb: 1326 , 0 , 0 , 0
0.30/0.51	c bounds 47918881 >= -50 @ 0.308433
1.47/1.69	c bounds 47886745 >= -50 @ 1.45979
1.58/1.75	c bounds 17400827 >= -50 @ 1.51388
1.58/1.76	c bounds 17385497 >= -50 @ 1.52286
1.58/1.77	c bounds 17326025 >= -50 @ 1.53418
1.58/1.78	c bounds 17248337 >= -50 @ 1.54186
1.68/1.81	c bounds 17208745 >= -50 @ 1.57885
1.68/1.82	c bounds 17135881 >= -50 @ 1.58683
1.68/1.83	c bounds 17083731 >= -50 @ 1.59192
1.68/1.84	c bounds 17039037 >= -50 @ 1.60331
1.68/1.87	c bounds 17028399 >= -50 @ 1.63795
1.78/1.91	c bounds 16289067 >= -50 @ 1.66778
1.78/1.93	c bounds 16243269 >= -50 @ 1.69358
1.78/1.94	c bounds 16227939 >= -50 @ 1.69973
1.78/1.95	c bounds 16194859 >= -50 @ 1.70826
1.78/1.96	c bounds 16109579 >= -50 @ 1.71626
1.78/1.97	c bounds 16035099 >= -50 @ 1.72203
1.78/1.97	c bounds 15943413 >= -50 @ 1.72876
1.99/2.14	c bounds 15920631 >= -50 @ 1.88405
1.99/2.14	c bounds 15916071 >= -50 @ 1.89027
1.99/2.15	c bounds 15887945 >= -50 @ 1.89642
1.99/2.17	c bounds 15828473 >= -50 @ 1.91407
2.08/2.21	c bounds 15809751 >= -50 @ 1.95856
2.08/2.23	c bounds 15802769 >= -50 @ 1.97348
2.08/2.24	c bounds 15782539 >= -50 @ 1.98384
2.08/2.26	c bounds 15781801 >= -50 @ 2.00372
2.27/2.48	c bounds 12270751 >= -50 @ 2.21687
2.27/2.49	c bounds 12210577 >= -50 @ 2.22754
2.38/2.51	c bounds 10878001 >= -50 @ 2.24775
2.38/2.57	c bounds 10781869 >= -50 @ 2.29979
2.57/2.72	c bounds 10774669 >= -50 @ 2.45362
2.57/2.74	c bounds 10761075 >= -50 @ 2.46584
2.57/2.77	c bounds 10727209 >= -50 @ 2.49445
2.57/2.79	c bounds 10711879 >= -50 @ 2.51578
2.67/2.80	c bounds 10694349 >= -50 @ 2.52902
2.67/2.85	c bounds 10676275 >= -50 @ 2.5809
2.67/2.88	c bounds 10599193 >= -50 @ 2.60033
2.78/2.92	c bounds 10523617 >= -50 @ 2.64443
2.78/2.93	c bounds 10507807 >= -50 @ 2.65394
2.78/2.95	c bounds 10503307 >= -50 @ 2.67156
2.78/2.97	c bounds 10485883 >= -50 @ 2.68693
3.07/3.23	c bounds 10436229 >= -50 @ 2.94529
3.07/3.26	c bounds 10415757 >= -50 @ 2.96645
3.07/3.27	c bounds 10368039 >= -50 @ 2.97783
3.27/3.49	c bounds 10367799 >= -50 @ 3.19377
3.38/3.54	c bounds 10359609 >= -50 @ 3.24358
3.38/3.59	c bounds 10357881 >= -50 @ 3.29125
4.27/4.46	c #Conflicts:       1000 | #Constraints:      13556
4.27/4.46	c bounds 10344767 >= -50 @ 4.1337
4.27/4.48	c bounds 10343799 >= -50 @ 4.15146
4.57/4.73	c bounds 10342331 >= -50 @ 4.39797
8.97/9.17	c #Conflicts:       2000 | #Constraints:      14559
8.97/9.17	c INPROCESSING
8.97/9.17	c GARBAGE COLLECT
8.97/9.17	c bounds 10336923 >= -50 @ 8.73104
8.97/9.18	c bounds 10308797 >= -50 @ 8.74826
8.97/9.19	c bounds 10303553 >= -50 @ 8.75823
9.06/9.21	c bounds 10246927 >= -50 @ 8.77248
9.76/9.96	c bounds 10245457 >= -50 @ 9.50457
12.76/13.08	c #Conflicts:       3000 | #Constraints:      11653
12.76/13.08	c bounds 10243267 >= -50 @ 12.4552
18.13/18.48	c #Conflicts:       4000 | #Constraints:      12654
18.13/18.48	c INPROCESSING
18.13/18.48	c GARBAGE COLLECT
18.13/18.48	c #Conflicts:       5000 | #Constraints:      12040
18.13/18.48	c bounds 5472309 >= -50 @ 17.7718
18.24/18.50	c bounds 5468445 >= -50 @ 17.7908
18.24/18.53	c bounds 5453141 >= -50 @ 17.8124
18.24/18.54	c bounds 5441597 >= -50 @ 17.8277
18.24/18.56	c bounds 5429189 >= -50 @ 17.8422
18.24/18.57	c bounds 5419493 >= -50 @ 17.8554
19.14/19.42	c #Conflicts:       6000 | #Constraints:      13046
19.14/19.42	c bounds 5404221 >= -50 @ 18.6893
19.14/19.45	c bounds 5402829 >= -50 @ 18.7142
19.24/19.58	c bounds 5367639 >= -50 @ 18.8429
19.44/19.70	c bounds 5355297 >= -50 @ 18.9595
19.44/19.77	c bounds 5352651 >= -50 @ 19.0281
19.64/19.91	c bounds 5338245 >= -50 @ 19.1632
19.75/20.08	c bounds 5316403 >= -50 @ 19.3228
20.04/20.31	c bounds 5308305 >= -50 @ 19.558
20.14/20.49	c bounds 5302799 >= -50 @ 19.7307
20.53/20.84	c bounds 5300079 >= -50 @ 20.0679
20.74/21.08	c INPROCESSING
20.74/21.08	c GARBAGE COLLECT
20.74/21.08	c bounds 5297825 >= -50 @ 20.3068
23.74/24.06	c #Conflicts:       7000 | #Constraints:      11121
23.74/24.06	c bounds 5286073 >= -50 @ 23.2329
25.60/27.70	c #Conflicts:       8000 | #Constraints:      12122
25.60/27.70	c bounds 5283159 >= -50 @ 24.999
27.63/31.08	c bounds 5253867 >= -50 @ 27.0599
27.73/31.12	c bounds 5248399 >= -50 @ 27.099
27.73/31.17	c bounds 5242007 >= -50 @ 27.1437
27.81/31.20	c bounds 5240695 >= -50 @ 27.1783
27.81/31.24	c bounds 5219537 >= -50 @ 27.2176
27.81/31.30	c bounds 5203529 >= -50 @ 27.2705
27.92/31.38	c bounds 5201369 >= -50 @ 27.348
28.11/31.50	c bounds 5179359 >= -50 @ 27.469
28.11/31.59	c bounds 4920553 >= -50 @ 27.5612
28.21/31.65	c bounds 4425591 >= -50 @ 27.6188
28.42/31.83	c bounds 4401069 >= -50 @ 27.7898
28.42/31.86	c bounds 4376301 >= -50 @ 27.8242
28.63/32.01	c bounds 4350429 >= -50 @ 27.9747
28.63/32.09	c bounds 4320237 >= -50 @ 28.0525
28.91/32.36	c #Conflicts:       9000 | #Constraints:      13137
28.91/32.36	c bounds 4312593 >= -50 @ 28.3086
29.21/32.60	c bounds 4241911 >= -50 @ 28.551
29.31/32.72	c bounds 4216791 >= -50 @ 28.6703
29.51/32.90	c bounds 4213863 >= -50 @ 28.8489
30.90/34.39	c INPROCESSING
30.90/34.39	c GARBAGE COLLECT
30.90/34.39	WSVECS04 Frhs2[133]: 6 -22500 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[283]: 6 -5041 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[309]: 6 -4096 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[459]: 6 -8649 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[533]: 6 -29929 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[583]: 6 -66049 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[659]: 6 -26569 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[783]: 6 -11449 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[833]: 6 -11664 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[959]: 6 -37249 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1083]: 6 -24336 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1200]: 6 -60516 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1301]: 6 -66049 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1311]: 6 -22500 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1314]: 6 -5041 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1319]: 6 -29929 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1323]: 6 -11449 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1324]: 6 -11664 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1329]: 6 -24336 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1335]: 6 -9604 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1336]: 6 -14400 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1359]: 6 -10816 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1433]: 6 -9604 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1483]: 6 -14400 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1709]: 6 -13689 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1809]: 6 -1764 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[1900]: 6 -13225 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2109]: 6 -34596 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2280]: 6 -60516 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2293]: 6 -13225 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2515]: 6 -4096 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2518]: 6 -8649 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2521]: 6 -26569 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2527]: 6 -37249 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2534]: 6 -10816 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2540]: 6 -13689 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2542]: 6 -1764 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2548]: 6 -34596 0 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2551]: 6 0 1.00003 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2552]: 6 0 1.00002 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2553]: 6 0 1.00004 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2554]: 6 0 1.00007 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2555]: 6 0 1.00008 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2556]: 6 0 1.00009 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2557]: 6 0 1.00007 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2558]: 6 0 1.00005 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2560]: 6 0 1.00005 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2561]: 6 0 1.00007 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2562]: 6 0 1.00002 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2563]: 6 0 1.00002 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2564]: 6 0 1.00003 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2565]: 6 0 1.00001 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2566]: 6 0 1.00005 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2567]: 6 0 1.00001 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2568]: 6 0 1.00008 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2569]: 6 0 1.00008 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2570]: 6 0 1.00001 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2571]: 6 0 1.00009 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2572]: 6 0 1.00002 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2573]: 6 0 1.00006 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2574]: 6 0 1.00003 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2575]: 6 0 1.00003 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2576]: 6 0 1.00003 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2577]: 6 0 1.00007 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2578]: 6 0 1.00003 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2579]: 6 0 1.00007 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2580]: 6 0 1.00009 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2581]: 6 0 1.00008 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2582]: 6 0 1.00002 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2584]: 6 0 1.00002 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2585]: 6 0 1.00002 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2586]: 6 0 1.00003 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2587]: 6 0 1.00009 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2588]: 6 0 1.00004 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2589]: 6 0 1.00003 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2590]: 6 0 1.00005 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2591]: 6 0 1.00004 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2592]: 6 0 1.00003 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2593]: 6 0 1.00002 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2594]: 6 0 1.00008 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2595]: 6 0 1.00004 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2596]: 6 0 1.0001 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2597]: 6 0 1.00002 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2598]: 6 0 1.00004 shouldn't be
30.90/34.39	WSVECS04 Frhs2[2599]: 6 0 1.00007 shouldn't be
33.20/36.65	c rational objective 1.46401e+06
34.19/37.68	c bounds 4206759 >= -50 @ 33.5431
34.29/37.70	c bounds 4194983 >= -50 @ 33.5656
41.36/44.80	c #Conflicts:      10000 | #Constraints:      11556
41.36/44.80	c #Conflicts:      11000 | #Constraints:      12556
41.36/44.80	c #Conflicts:      12000 | #Constraints:      13556
41.36/44.80	c INPROCESSING
41.36/44.80	c GARBAGE COLLECT
41.36/44.80	c bounds 4193973 >= -50 @ 40.5138
41.36/44.82	c bounds 4193163 >= -50 @ 40.5335
41.47/44.90	c bounds 4187781 >= -50 @ 40.6041
41.47/44.96	c bounds 4181405 >= -50 @ 40.6623
41.47/44.98	c bounds 4180819 >= -50 @ 40.6754
41.96/45.41	c bounds 4173869 >= -50 @ 41.0975
41.96/45.43	c bounds 4089589 >= -50 @ 41.1214
41.96/45.44	c bounds 4072717 >= -50 @ 41.1337
41.96/45.46	c bounds 4071847 >= -50 @ 41.1467
42.06/45.58	c bounds 4069159 >= -50 @ 41.2629
42.16/45.61	c bounds 4049757 >= -50 @ 41.2967
42.67/46.15	c bounds 4037615 >= -50 @ 41.8277
42.96/46.43	c bounds 4035353 >= -50 @ 42.0984
43.06/46.50	c bounds 4034343 >= -50 @ 42.1671
56.21/59.79	c #Conflicts:      13000 | #Constraints:      11903
56.21/59.79	c #Conflicts:      14000 | #Constraints:      12903
56.21/59.79	c #Conflicts:      15000 | #Constraints:      13903
56.21/59.79	c INPROCESSING
56.21/59.79	c GARBAGE COLLECT
56.21/59.79	c #Conflicts:      16000 | #Constraints:      12136
56.21/59.79	c #Conflicts:      17000 | #Constraints:      13136
56.21/59.79	c #Conflicts:      18000 | #Constraints:      14136
56.21/59.79	c INPROCESSING
56.21/59.79	c GARBAGE COLLECT
56.21/59.79	c bounds 4033533 >= -50 @ 55.1532
56.31/59.87	c bounds 4031325 >= -50 @ 55.2313
70.57/74.16	c #Conflicts:      19000 | #Constraints:      12165
70.57/74.16	c #Conflicts:      20000 | #Constraints:      13168
70.57/74.16	c #Conflicts:      21000 | #Constraints:      14214
70.57/74.16	c INPROCESSING
70.57/74.16	c GARBAGE COLLECT
70.57/74.16	c rational objective 1.46881e+06
109.03/112.80	c #Conflicts:      22000 | #Constraints:      12030
109.03/112.80	c #Conflicts:      23000 | #Constraints:      13030
109.03/112.80	c #Conflicts:      24000 | #Constraints:      14030
109.03/112.80	c #Conflicts:      25000 | #Constraints:      15031
109.03/112.80	c INPROCESSING
109.03/112.80	c GARBAGE COLLECT
109.03/112.80	c #Conflicts:      26000 | #Constraints:      12523
109.03/112.80	c #Conflicts:      27000 | #Constraints:      13559
109.03/112.80	c #Conflicts:      28000 | #Constraints:      14561
109.03/112.80	c #Conflicts:      29000 | #Constraints:      15563
109.03/112.80	c INPROCESSING
109.03/112.80	c GARBAGE COLLECT
109.03/112.80	c #Conflicts:      30000 | #Constraints:      12911
109.03/112.80	c #Conflicts:      31000 | #Constraints:      14158
109.03/112.80	c #Conflicts:      32000 | #Constraints:      15222
109.03/112.80	c #Conflicts:      33000 | #Constraints:      16309
109.03/112.80	c INPROCESSING
109.03/112.80	c GARBAGE COLLECT
109.03/112.80	c rational objective 1.47611e+06
155.28/159.14	c #Conflicts:      34000 | #Constraints:      13264
155.28/159.14	c #Conflicts:      35000 | #Constraints:      14264
155.28/159.14	c #Conflicts:      36000 | #Constraints:      15264
155.28/159.14	c #Conflicts:      37000 | #Constraints:      16264
155.28/159.14	c INPROCESSING
155.28/159.14	c GARBAGE COLLECT
155.28/159.14	c #Conflicts:      38000 | #Constraints:      13113
155.28/159.14	c #Conflicts:      39000 | #Constraints:      14113
155.28/159.14	c #Conflicts:      40000 | #Constraints:      15113
155.28/159.14	c #Conflicts:      41000 | #Constraints:      16113
155.28/159.14	c INPROCESSING
155.28/159.14	c GARBAGE COLLECT
155.28/159.14	c #Conflicts:      42000 | #Constraints:      12904
155.28/159.14	c #Conflicts:      43000 | #Constraints:      13921
155.28/159.14	c #Conflicts:      44000 | #Constraints:      14979
155.28/159.14	c #Conflicts:      45000 | #Constraints:      16006
155.28/159.14	c #Conflicts:      46000 | #Constraints:      17006
155.28/159.14	c INPROCESSING
155.28/159.14	c GARBAGE COLLECT
155.28/159.14	c rational objective 1.48815e+06
158.26/162.18	c bounds 4022121 >= -50 @ 155.625
158.35/162.20	c bounds 4014351 >= -50 @ 155.645
158.35/162.22	c bounds 4004911 >= -50 @ 155.669
158.46/162.31	c bounds 4002853 >= -50 @ 155.755
158.75/162.68	c #Conflicts:      47000 | #Constraints:      13427
158.75/162.68	c bounds 3997671 >= -50 @ 156.106
158.75/162.69	c bounds 3989901 >= -50 @ 156.123
158.85/162.74	c bounds 3961211 >= -50 @ 156.173
158.85/162.76	c bounds 3959069 >= -50 @ 156.189
158.85/162.78	c bounds 3947681 >= -50 @ 156.206
173.21/177.14	c #Conflicts:      48000 | #Constraints:      14432
173.21/177.14	c #Conflicts:      49000 | #Constraints:      15435
173.21/177.14	c #Conflicts:      50000 | #Constraints:      16436
173.21/177.14	c #Conflicts:      51000 | #Constraints:      17437
173.21/177.14	c INPROCESSING
173.21/177.14	c GARBAGE COLLECT
173.21/177.14	c rational objective 1.48828e+06
175.11/179.10	c bounds 3906023 >= -50 @ 172.242
175.21/179.19	c bounds 3885489 >= -50 @ 172.329
175.30/179.23	c bounds 3414081 >= -50 @ 172.368
175.49/179.41	c bounds 3412353 >= -50 @ 172.552
175.49/179.43	c bounds 3410211 >= -50 @ 172.571
175.49/179.45	c bounds 3409721 >= -50 @ 172.584
175.49/179.46	c bounds 3407361 >= -50 @ 172.595
175.69/179.65	c bounds 3400015 >= -50 @ 172.783
177.69/181.62	c #Conflicts:      52000 | #Constraints:      13696
177.69/181.62	c bounds 3377583 >= -50 @ 174.707
177.69/181.65	c bounds 3373813 >= -50 @ 174.742
177.78/181.71	c bounds 3364273 >= -50 @ 174.794
178.49/182.44	c bounds 3361217 >= -50 @ 175.514
178.49/182.47	c bounds 3360727 >= -50 @ 175.536
178.78/182.76	c bounds 3352565 >= -50 @ 175.822
178.78/182.78	c bounds 3344445 >= -50 @ 175.842
179.19/183.11	c bounds 3341605 >= -50 @ 176.168
179.58/183.51	c #Conflicts:      53000 | #Constraints:      14711
179.58/183.51	c bounds 3302655 >= -50 @ 176.556
179.58/183.53	c bounds 3300295 >= -50 @ 176.58
179.58/183.56	c bounds 3298567 >= -50 @ 176.604
179.88/183.83	c bounds 3243869 >= -50 @ 176.872
190.44/194.45	c #Conflicts:      54000 | #Constraints:      15723
190.44/194.45	c #Conflicts:      55000 | #Constraints:      16723
190.44/194.45	c #Conflicts:      56000 | #Constraints:      17723
190.44/194.45	c INPROCESSING
190.44/194.45	c GARBAGE COLLECT
190.44/194.45	c bounds 3243475 >= -50 @ 187.298
190.74/194.76	c bounds 3189259 >= -50 @ 187.599
190.74/194.78	c bounds 3181139 >= -50 @ 187.615
203.20/207.24	c #Conflicts:      57000 | #Constraints:      13718
203.20/207.24	c #Conflicts:      58000 | #Constraints:      14718
203.20/207.24	c #Conflicts:      59000 | #Constraints:      15718
203.20/207.24	c #Conflicts:      60000 | #Constraints:      16718
203.20/207.24	c #Conflicts:      61000 | #Constraints:      17718
203.20/207.24	c INPROCESSING
203.20/207.24	c GARBAGE COLLECT
203.20/207.24	WSVECS04 Frhs2[627]: 6 -155236 0 shouldn't be
203.20/207.24	WSVECS04 Frhs2[970]: 6 -155236 0 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2551]: 6 0 1.00004 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2552]: 6 0 1.00006 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2558]: 6 0 1.00003 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2563]: 6 0 1.00005 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2566]: 6 0 1.00004 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2573]: 6 0 1.00008 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2574]: 6 0 1.00003 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2580]: 6 0 1.00009 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2581]: 6 0 1.00004 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2583]: 6 0 1.00003 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2584]: 6 0 1.00002 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2586]: 6 0 1.00004 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2588]: 6 0 1.00005 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2589]: 6 0 1.00002 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2591]: 6 0 1.00004 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2595]: 6 0 1.00009 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2597]: 6 0 1.00006 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2599]: 6 0 1.00004 shouldn't be
203.20/207.24	WSVECS04 Frhs2[2600]: 6 0 1.00004 shouldn't be
203.20/207.28	c rational objective 1.4877e+06
218.54/222.60	c #Conflicts:      62000 | #Constraints:      13758
218.54/222.60	c #Conflicts:      63000 | #Constraints:      14758
218.54/222.60	c #Conflicts:      64000 | #Constraints:      15772
218.54/222.60	c #Conflicts:      65000 | #Constraints:      16788
218.54/222.60	c #Conflicts:      66000 | #Constraints:      17814
218.54/222.60	c INPROCESSING
218.54/222.60	c GARBAGE COLLECT
218.54/222.60	c rational objective 1.49279e+06
270.26/274.55	c #Conflicts:      67000 | #Constraints:      13574
270.26/274.55	c #Conflicts:      68000 | #Constraints:      14576
270.26/274.55	c #Conflicts:      69000 | #Constraints:      15577
270.26/274.55	c #Conflicts:      70000 | #Constraints:      16577
270.26/274.55	c #Conflicts:      71000 | #Constraints:      17598
270.26/274.55	c #Conflicts:      72000 | #Constraints:      18599
270.26/274.55	c INPROCESSING
270.26/274.55	c GARBAGE COLLECT
270.26/274.55	c #Conflicts:      73000 | #Constraints:      14074
270.26/274.55	c #Conflicts:      74000 | #Constraints:      15074
270.26/274.55	c #Conflicts:      75000 | #Constraints:      16074
270.26/274.55	c #Conflicts:      76000 | #Constraints:      17149
270.26/274.55	c #Conflicts:      77000 | #Constraints:      18210
270.26/274.55	c #Conflicts:      78000 | #Constraints:      19248
270.26/274.55	c INPROCESSING
270.26/274.55	c GARBAGE COLLECT
270.26/274.55	c #Conflicts:      79000 | #Constraints:      14544
270.26/274.55	c #Conflicts:      80000 | #Constraints:      15544
270.26/274.55	c #Conflicts:      81000 | #Constraints:      16544
270.26/274.55	c #Conflicts:      82000 | #Constraints:      17545
270.26/274.55	c #Conflicts:      83000 | #Constraints:      18547
270.26/274.55	c #Conflicts:      84000 | #Constraints:      19551
270.26/274.55	c INPROCESSING
270.26/274.55	c GARBAGE COLLECT
270.26/274.55	c rational objective 1.49299e+06
306.04/310.49	c #Conflicts:      85000 | #Constraints:      14694
306.04/310.49	c #Conflicts:      86000 | #Constraints:      15696
306.04/310.49	c #Conflicts:      87000 | #Constraints:      16696
306.04/310.49	c #Conflicts:      88000 | #Constraints:      17696
306.04/310.49	c #Conflicts:      89000 | #Constraints:      18696
306.04/310.49	c #Conflicts:      90000 | #Constraints:      19696
306.04/310.49	c INPROCESSING
306.04/310.49	c GARBAGE COLLECT
306.04/310.49	c #Conflicts:      91000 | #Constraints:      14613
306.04/310.49	c #Conflicts:      92000 | #Constraints:      15621
306.04/310.49	c #Conflicts:      93000 | #Constraints:      16623
306.04/310.49	c #Conflicts:      94000 | #Constraints:      17623
306.04/310.49	c #Conflicts:      95000 | #Constraints:      18628
306.04/310.49	c #Conflicts:      96000 | #Constraints:      19629
306.04/310.49	c INPROCESSING
306.04/310.49	c GARBAGE COLLECT
306.04/310.49	c rational objective 1.49323e+06
312.51/316.97	c #Conflicts:      97000 | #Constraints:      14381
312.51/316.97	c #Conflicts:      98000 | #Constraints:      15384
312.51/316.97	c #Conflicts:      99000 | #Constraints:      16387
312.51/316.97	c bounds 3176783 >= -50 @ 307.478
312.63/317.03	c bounds 3169703 >= -50 @ 307.536
312.81/317.22	c bounds 3166373 >= -50 @ 307.727
313.22/317.62	c bounds 3164415 >= -50 @ 308.12
313.22/317.69	c bounds 3158799 >= -50 @ 308.189
313.51/317.99	c bounds 3156015 >= -50 @ 308.48
313.81/318.29	c #Conflicts:     100000 | #Constraints:      17404
313.81/318.29	c bounds 3153049 >= -50 @ 308.778
315.50/319.97	c bounds 3151459 >= -50 @ 310.423
315.61/320.02	c bounds 3147529 >= -50 @ 310.47
315.80/320.22	c bounds 3147211 >= -50 @ 310.666
315.80/320.27	c bounds 3143461 >= -50 @ 310.715
315.90/320.33	c bounds 3143281 >= -50 @ 310.771
316.10/320.60	c bounds 3139531 >= -50 @ 311.034
316.40/320.84	c bounds 3126957 >= -50 @ 311.273
316.40/320.89	c bounds 3123207 >= -50 @ 311.321
316.50/320.94	c bounds 3123027 >= -50 @ 311.372
316.80/321.28	c bounds 3089471 >= -50 @ 311.711
316.90/321.38	c bounds 3086639 >= -50 @ 311.81
317.40/321.84	c bounds 3077835 >= -50 @ 312.265
317.50/321.93	c bounds 3073905 >= -50 @ 312.356
317.61/322.06	c bounds 3071571 >= -50 @ 312.484
317.71/322.12	c bounds 3067641 >= -50 @ 312.542
318.19/322.63	c #Conflicts:     101000 | #Constraints:      18455
318.19/322.63	c bounds 3066415 >= -50 @ 313.032
322.88/327.38	c #Conflicts:     102000 | #Constraints:      19478
322.88/327.38	c bounds 3065875 >= -50 @ 317.71
323.28/327.70	c bounds 3065465 >= -50 @ 318.028
323.28/327.79	c bounds 3065281 >= -50 @ 318.118
323.48/327.94	c bounds 3045951 >= -50 @ 318.263
329.16/333.65	c #Conflicts:     103000 | #Constraints:      20511
329.16/333.65	c INPROCESSING
329.16/333.65	c GARBAGE COLLECT
329.16/333.65	c bounds 3045669 >= -50 @ 323.908
329.16/333.68	c bounds 3030693 >= -50 @ 323.94
329.26/333.77	c bounds 3016021 >= -50 @ 324.028
329.36/333.85	c bounds 3008853 >= -50 @ 324.097
329.36/333.87	c bounds 2985255 >= -50 @ 324.117
329.46/333.91	c bounds 2984973 >= -50 @ 324.16
329.46/333.94	c bounds 2981223 >= -50 @ 324.19
329.56/334.03	c bounds 2979525 >= -50 @ 324.279
330.25/334.77	c bounds 2977151 >= -50 @ 325.007
330.36/334.84	c bounds 2957869 >= -50 @ 325.068
331.16/335.68	c #Conflicts:     104000 | #Constraints:      15070
331.16/335.68	c bounds 2956709 >= -50 @ 325.888
331.25/335.71	c bounds 2947171 >= -50 @ 325.918
332.15/336.64	c bounds 2938357 >= -50 @ 326.819
351.38/355.95	c #Conflicts:     105000 | #Constraints:      16102
351.38/355.95	c #Conflicts:     106000 | #Constraints:      17102
351.38/355.95	c #Conflicts:     107000 | #Constraints:      18102
351.38/355.95	c #Conflicts:     108000 | #Constraints:      19102
351.38/355.95	c #Conflicts:     109000 | #Constraints:      20102
351.38/355.95	c #Conflicts:     110000 | #Constraints:      21104
351.38/355.95	c INPROCESSING
351.38/355.95	c GARBAGE COLLECT
351.38/355.95	c rational objective 1.4955e+06
377.59/382.20	c #Conflicts:     111000 | #Constraints:      15388
377.59/382.20	c #Conflicts:     112000 | #Constraints:      16389
377.59/382.20	c #Conflicts:     113000 | #Constraints:      17390
377.59/382.20	c #Conflicts:     114000 | #Constraints:      18391
377.59/382.20	c #Conflicts:     115000 | #Constraints:      19391
377.59/382.20	c #Conflicts:     116000 | #Constraints:      20392
377.59/382.20	c #Conflicts:     117000 | #Constraints:      21394
377.59/382.20	c INPROCESSING
377.59/382.20	c GARBAGE COLLECT
377.59/382.20	c rational objective 1.4957e+06
425.24/430.01	c #Conflicts:     118000 | #Constraints:      15542
425.24/430.01	c #Conflicts:     119000 | #Constraints:      16546
425.24/430.01	c #Conflicts:     120000 | #Constraints:      17556
425.24/430.01	c #Conflicts:     121000 | #Constraints:      18571
425.24/430.01	c #Conflicts:     122000 | #Constraints:      19573
425.24/430.01	c #Conflicts:     123000 | #Constraints:      20576
425.24/430.01	c #Conflicts:     124000 | #Constraints:      21577
425.24/430.01	c INPROCESSING
425.24/430.01	c GARBAGE COLLECT
425.24/430.01	c #Conflicts:     125000 | #Constraints:      15534
425.24/430.01	c #Conflicts:     126000 | #Constraints:      16535
425.24/430.01	c #Conflicts:     127000 | #Constraints:      17535
425.24/430.01	c #Conflicts:     128000 | #Constraints:      18535
425.24/430.01	c #Conflicts:     129000 | #Constraints:      19535
425.24/430.01	c #Conflicts:     130000 | #Constraints:      20536
425.24/430.01	c #Conflicts:     131000 | #Constraints:      21538
425.24/430.01	c INPROCESSING
425.24/430.01	c GARBAGE COLLECT
425.24/430.01	c rational objective 1.49628e+06
454.42/459.33	c #Conflicts:     132000 | #Constraints:      15273
454.42/459.33	c #Conflicts:     133000 | #Constraints:      16273
454.42/459.33	c #Conflicts:     134000 | #Constraints:      17273
454.42/459.33	c #Conflicts:     135000 | #Constraints:      18274
454.42/459.33	c #Conflicts:     136000 | #Constraints:      19275
454.42/459.33	c #Conflicts:     137000 | #Constraints:      20276
454.42/459.33	c #Conflicts:     138000 | #Constraints:      21276
454.42/459.33	c #Conflicts:     139000 | #Constraints:      22276
454.42/459.33	c INPROCESSING
454.42/459.33	c GARBAGE COLLECT
454.42/459.33	c rational objective 1.4963e+06
479.53/484.51	c #Conflicts:     140000 | #Constraints:      15819
479.53/484.51	c #Conflicts:     141000 | #Constraints:      16819
479.53/484.51	c #Conflicts:     142000 | #Constraints:      17819
479.53/484.51	c #Conflicts:     143000 | #Constraints:      18819
479.53/484.51	c #Conflicts:     144000 | #Constraints:      19819
479.53/484.51	c #Conflicts:     145000 | #Constraints:      20823
479.53/484.51	c #Conflicts:     146000 | #Constraints:      21829
479.53/484.51	c #Conflicts:     147000 | #Constraints:      22864
479.53/484.51	c INPROCESSING
479.53/484.51	c GARBAGE COLLECT
479.53/484.51	c bounds 2936745 >= -50 @ 472.438
479.53/484.59	c bounds 2935969 >= -50 @ 472.511
479.74/484.77	c bounds 2935875 >= -50 @ 472.691
479.74/484.79	c bounds 2934723 >= -50 @ 472.713
508.95/514.05	c #Conflicts:     148000 | #Constraints:      16262
508.95/514.05	c #Conflicts:     149000 | #Constraints:      17265
508.95/514.05	c #Conflicts:     150000 | #Constraints:      18265
508.95/514.05	c #Conflicts:     151000 | #Constraints:      19265
508.95/514.05	c #Conflicts:     152000 | #Constraints:      20265
508.95/514.05	c #Conflicts:     153000 | #Constraints:      21266
508.95/514.05	c #Conflicts:     154000 | #Constraints:      22268
508.95/514.05	c #Conflicts:     155000 | #Constraints:      23268
508.95/514.05	c INPROCESSING
508.95/514.05	c GARBAGE COLLECT
508.95/514.05	c rational objective 1.4963e+06
580.89/586.21	c #Conflicts:     156000 | #Constraints:      16440
580.89/586.21	c #Conflicts:     157000 | #Constraints:      17441
580.89/586.21	c #Conflicts:     158000 | #Constraints:      18442
580.89/586.21	c #Conflicts:     159000 | #Constraints:      19442
580.89/586.21	c #Conflicts:     160000 | #Constraints:      20473
580.89/586.21	c #Conflicts:     161000 | #Constraints:      21475
580.89/586.21	c #Conflicts:     162000 | #Constraints:      22476
580.89/586.21	c #Conflicts:     163000 | #Constraints:      23476
580.89/586.21	c INPROCESSING
580.89/586.21	c GARBAGE COLLECT
580.89/586.21	c #Conflicts:     164000 | #Constraints:      16326
580.89/586.21	c #Conflicts:     165000 | #Constraints:      17339
580.89/586.21	c #Conflicts:     166000 | #Constraints:      18342
580.89/586.21	c #Conflicts:     167000 | #Constraints:      19342
580.89/586.21	c #Conflicts:     168000 | #Constraints:      20343
580.89/586.21	c #Conflicts:     169000 | #Constraints:      21343
580.89/586.21	c #Conflicts:     170000 | #Constraints:      22343
580.89/586.21	c #Conflicts:     171000 | #Constraints:      23346
580.89/586.21	c INPROCESSING
580.89/586.21	c GARBAGE COLLECT
580.89/586.21	c rational objective 1.50449e+06
641.08/646.68	c #Conflicts:     172000 | #Constraints:      16230
641.08/646.68	c #Conflicts:     173000 | #Constraints:      17232
641.08/646.68	c #Conflicts:     174000 | #Constraints:      18236
641.08/646.68	c #Conflicts:     175000 | #Constraints:      19252
641.08/646.68	c #Conflicts:     176000 | #Constraints:      20252
641.08/646.68	c #Conflicts:     177000 | #Constraints:      21254
641.08/646.68	c #Conflicts:     178000 | #Constraints:      22262
641.08/646.68	c #Conflicts:     179000 | #Constraints:      23268
641.08/646.68	c #Conflicts:     180000 | #Constraints:      24280
641.08/646.68	c INPROCESSING
641.08/646.68	c GARBAGE COLLECT
641.08/646.68	c #Conflicts:     181000 | #Constraints:      16849
641.08/646.68	c #Conflicts:     182000 | #Constraints:      17849
641.08/646.68	c #Conflicts:     183000 | #Constraints:      18849
641.08/646.68	c #Conflicts:     184000 | #Constraints:      19849
641.08/646.68	c #Conflicts:     185000 | #Constraints:      20862
641.08/646.68	c #Conflicts:     186000 | #Constraints:      21928
641.08/646.68	c #Conflicts:     187000 | #Constraints:      22928
641.08/646.68	c #Conflicts:     188000 | #Constraints:      23928
641.08/646.68	c bounds 2930707 >= -50 @ 632.458
641.28/646.81	c bounds 2930043 >= -50 @ 632.589
641.49/647.10	c bounds 2929993 >= -50 @ 632.87
641.68/647.22	c bounds 2929975 >= -50 @ 632.987
644.86/650.48	c #Conflicts:     189000 | #Constraints:      24938
644.86/650.48	c INPROCESSING
644.86/650.48	c GARBAGE COLLECT
644.86/650.48	c rational objective 1.50632e+06
676.66/682.38	c #Conflicts:     190000 | #Constraints:      17317
676.66/682.38	c #Conflicts:     191000 | #Constraints:      18317
676.66/682.38	c #Conflicts:     192000 | #Constraints:      19317
676.66/682.38	c #Conflicts:     193000 | #Constraints:      20317
676.66/682.38	c #Conflicts:     194000 | #Constraints:      21317
676.66/682.38	c #Conflicts:     195000 | #Constraints:      22317
676.66/682.38	c #Conflicts:     196000 | #Constraints:      23317
676.66/682.38	c #Conflicts:     197000 | #Constraints:      24317
676.66/682.38	c #Conflicts:     198000 | #Constraints:      25317
676.66/682.38	c INPROCESSING
676.66/682.38	c GARBAGE COLLECT
676.66/682.38	c bounds 2900901 >= -50 @ 667.608
676.76/682.41	c bounds 2899749 >= -50 @ 667.634
718.32/724.18	c #Conflicts:     199000 | #Constraints:      17450
718.32/724.18	c #Conflicts:     200000 | #Constraints:      18450
718.32/724.18	c #Conflicts:     201000 | #Constraints:      19450
718.32/724.18	c #Conflicts:     202000 | #Constraints:      20500
718.32/724.18	c #Conflicts:     203000 | #Constraints:      21573
718.32/724.18	c #Conflicts:     204000 | #Constraints:      22643
718.32/724.18	c #Conflicts:     205000 | #Constraints:      23757
718.32/724.18	c #Conflicts:     206000 | #Constraints:      24788
718.32/724.18	c #Conflicts:     207000 | #Constraints:      25832
718.32/724.18	c INPROCESSING
718.32/724.18	c GARBAGE COLLECT
718.32/724.18	WSVECS04 Frhs2[1]: 6 0 936676 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3]: 6 0 162915 shouldn't be
718.32/724.18	WSVECS04 Frhs2[9]: 6 0 1.21372e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[11]: 6 0 262886 shouldn't be
718.32/724.18	WSVECS04 Frhs2[22]: 6 0 523334 shouldn't be
718.32/724.18	WSVECS04 Frhs2[23]: 6 0 902974 shouldn't be
718.32/724.18	WSVECS04 Frhs2[26]: 6 0 888282 shouldn't be
718.32/724.18	WSVECS04 Frhs2[46]: 6 0 3.97643e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[51]: 6 0 662356 shouldn't be
718.32/724.18	WSVECS04 Frhs2[66]: 6 0 249065 shouldn't be
718.32/724.18	WSVECS04 Frhs2[77]: 6 0 326372 shouldn't be
718.32/724.18	WSVECS04 Frhs2[119]: 6 0 177718 shouldn't be
718.32/724.18	WSVECS04 Frhs2[121]: 6 0 249332 shouldn't be
718.32/724.18	WSVECS04 Frhs2[123]: 6 0 653421 shouldn't be
718.32/724.18	WSVECS04 Frhs2[136]: 6 0 245074 shouldn't be
718.32/724.18	WSVECS04 Frhs2[141]: 6 0 177169 shouldn't be
718.32/724.18	WSVECS04 Frhs2[144]: 6 0 22752.2 shouldn't be
718.32/724.18	WSVECS04 Frhs2[146]: 6 0 86725.4 shouldn't be
718.32/724.18	WSVECS04 Frhs2[150]: 6 0 571703 shouldn't be
718.32/724.18	WSVECS04 Frhs2[163]: 6 0 737120 shouldn't be
718.32/724.18	WSVECS04 Frhs2[179]: 6 0 501365 shouldn't be
718.32/724.18	WSVECS04 Frhs2[180]: 6 0 819380 shouldn't be
718.32/724.18	WSVECS04 Frhs2[185]: 6 0 149749 shouldn't be
718.32/724.18	WSVECS04 Frhs2[186]: 6 0 154594 shouldn't be
718.32/724.18	WSVECS04 Frhs2[193]: 6 0 154223 shouldn't be
718.32/724.18	WSVECS04 Frhs2[195]: 6 0 734120 shouldn't be
718.32/724.18	WSVECS04 Frhs2[197]: 6 0 711757 shouldn't be
718.32/724.18	WSVECS04 Frhs2[199]: 6 0 197471 shouldn't be
718.32/724.18	WSVECS04 Frhs2[201]: 6 0 669371 shouldn't be
718.32/724.18	WSVECS04 Frhs2[217]: 6 0 171099 shouldn't be
718.32/724.18	WSVECS04 Frhs2[223]: 6 0 193677 shouldn't be
718.32/724.18	WSVECS04 Frhs2[226]: 6 0 278153 shouldn't be
718.32/724.18	WSVECS04 Frhs2[230]: 6 0 165934 shouldn't be
718.32/724.18	WSVECS04 Frhs2[235]: 6 0 153633 shouldn't be
718.32/724.18	WSVECS04 Frhs2[236]: 6 0 161025 shouldn't be
718.32/724.18	WSVECS04 Frhs2[243]: 6 0 151476 shouldn't be
718.32/724.18	WSVECS04 Frhs2[266]: 6 0 152960 shouldn't be
718.32/724.18	WSVECS04 Frhs2[269]: 6 0 133149 shouldn't be
718.32/724.18	WSVECS04 Frhs2[277]: 6 0 342860 shouldn't be
718.32/724.18	WSVECS04 Frhs2[284]: 6 0 648638 shouldn't be
718.32/724.18	WSVECS04 Frhs2[286]: 6 0 176300 shouldn't be
718.32/724.18	WSVECS04 Frhs2[289]: 6 -2.57091e+06 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[293]: 6 0 172955 shouldn't be
718.32/724.18	WSVECS04 Frhs2[294]: 6 0 9185.27 shouldn't be
718.32/724.18	WSVECS04 Frhs2[299]: 6 0 306030 shouldn't be
718.32/724.18	WSVECS04 Frhs2[300]: 6 0 258540 shouldn't be
718.32/724.18	WSVECS04 Frhs2[309]: 6 0 1.79748e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[325]: 6 0 1.31769e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[367]: 6 0 332927 shouldn't be
718.32/724.18	WSVECS04 Frhs2[373]: 6 0 695981 shouldn't be
718.32/724.18	WSVECS04 Frhs2[385]: 6 0 130227 shouldn't be
718.32/724.18	WSVECS04 Frhs2[386]: 6 0 131935 shouldn't be
718.32/724.18	WSVECS04 Frhs2[389]: 6 0 12540 shouldn't be
718.32/724.18	WSVECS04 Frhs2[393]: 6 0 124576 shouldn't be
718.32/724.18	WSVECS04 Frhs2[397]: 6 0 695358 shouldn't be
718.32/724.18	WSVECS04 Frhs2[399]: 6 0 233327 shouldn't be
718.32/724.18	WSVECS04 Frhs2[426]: 6 0 72571.6 shouldn't be
718.32/724.18	WSVECS04 Frhs2[427]: 6 0 992238 shouldn't be
718.32/724.18	WSVECS04 Frhs2[435]: 6 0 367920 shouldn't be
718.32/724.18	WSVECS04 Frhs2[445]: 6 0 860565 shouldn't be
718.32/724.18	WSVECS04 Frhs2[449]: 6 0 325189 shouldn't be
718.32/724.18	WSVECS04 Frhs2[450]: 6 0 374375 shouldn't be
718.32/724.18	WSVECS04 Frhs2[459]: 6 0 1.79292e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[475]: 6 0 1.26996e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[484]: 6 0 154672 shouldn't be
718.32/724.18	WSVECS04 Frhs2[485]: 6 0 145674 shouldn't be
718.32/724.18	WSVECS04 Frhs2[491]: 6 0 214226 shouldn't be
718.32/724.18	WSVECS04 Frhs2[502]: 6 0 829400 shouldn't be
718.32/724.18	WSVECS04 Frhs2[521]: 6 0 264323 shouldn't be
718.32/724.18	WSVECS04 Frhs2[530]: 6 0 793400 shouldn't be
718.32/724.18	WSVECS04 Frhs2[533]: 6 0 2184.99 shouldn't be
718.32/724.18	WSVECS04 Frhs2[534]: 6 0 178465 shouldn't be
718.32/724.18	WSVECS04 Frhs2[541]: 6 0 189694 shouldn't be
718.32/724.18	WSVECS04 Frhs2[544]: 6 0 108551 shouldn't be
718.32/724.18	WSVECS04 Frhs2[547]: 6 0 708530 shouldn't be
718.32/724.18	WSVECS04 Frhs2[558]: 6 0 577417 shouldn't be
718.32/724.18	WSVECS04 Frhs2[562]: 6 0 844615 shouldn't be
718.32/724.18	WSVECS04 Frhs2[563]: 6 0 604073 shouldn't be
718.32/724.18	WSVECS04 Frhs2[566]: 6 0 81242 shouldn't be
718.32/724.18	WSVECS04 Frhs2[576]: 6 0 1.31763e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[579]: 6 0 92663 shouldn't be
718.32/724.18	WSVECS04 Frhs2[580]: 6 0 752315 shouldn't be
718.32/724.18	WSVECS04 Frhs2[585]: 6 0 593741 shouldn't be
718.32/724.18	WSVECS04 Frhs2[586]: 6 0 139621 shouldn't be
718.32/724.18	WSVECS04 Frhs2[593]: 6 0 139542 shouldn't be
718.32/724.18	WSVECS04 Frhs2[595]: 6 0 600545 shouldn't be
718.32/724.18	WSVECS04 Frhs2[597]: 6 0 132982 shouldn't be
718.32/724.18	WSVECS04 Frhs2[599]: 6 0 868064 shouldn't be
718.32/724.18	WSVECS04 Frhs2[601]: 6 0 665536 shouldn't be
718.32/724.18	WSVECS04 Frhs2[621]: 6 0 206832 shouldn't be
718.32/724.18	WSVECS04 Frhs2[633]: 6 0 429.988 shouldn't be
718.32/724.18	WSVECS04 Frhs2[641]: 6 0 143614 shouldn't be
718.32/724.18	WSVECS04 Frhs2[644]: 6 0 55257.9 shouldn't be
718.32/724.18	WSVECS04 Frhs2[650]: 6 0 77432.3 shouldn't be
718.32/724.18	WSVECS04 Frhs2[673]: 6 0 458189 shouldn't be
718.32/724.18	WSVECS04 Frhs2[683]: 6 0 2184.99 shouldn't be
718.32/724.18	WSVECS04 Frhs2[684]: 6 0 186737 shouldn't be
718.32/724.18	WSVECS04 Frhs2[689]: 6 0 4615 shouldn't be
718.32/724.18	WSVECS04 Frhs2[691]: 6 0 266259 shouldn't be
718.32/724.18	WSVECS04 Frhs2[697]: 6 0 686392 shouldn't be
718.32/724.18	WSVECS04 Frhs2[707]: 6 0 169941 shouldn't be
718.32/724.18	WSVECS04 Frhs2[741]: 6 0 185914 shouldn't be
718.32/724.18	WSVECS04 Frhs2[744]: 6 0 36827.8 shouldn't be
718.32/724.18	WSVECS04 Frhs2[775]: 6 0 3.17774e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[780]: 6 0 708384 shouldn't be
718.32/724.18	WSVECS04 Frhs2[784]: 6 0 206071 shouldn't be
718.32/724.18	WSVECS04 Frhs2[785]: 6 0 178105 shouldn't be
718.32/724.18	WSVECS04 Frhs2[786]: 6 0 177574 shouldn't be
718.32/724.18	WSVECS04 Frhs2[789]: 6 0 21535 shouldn't be
718.32/724.18	WSVECS04 Frhs2[791]: 6 0 167718 shouldn't be
718.32/724.18	WSVECS04 Frhs2[793]: 6 0 168235 shouldn't be
718.32/724.18	WSVECS04 Frhs2[794]: 6 0 83531.7 shouldn't be
718.32/724.18	WSVECS04 Frhs2[795]: 6 0 156292 shouldn't be
718.32/724.18	WSVECS04 Frhs2[797]: 6 0 173370 shouldn't be
718.32/724.18	WSVECS04 Frhs2[800]: 6 -308701 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[802]: 6 0 703268 shouldn't be
718.32/724.18	WSVECS04 Frhs2[821]: 6 0 30938.3 shouldn't be
718.32/724.18	WSVECS04 Frhs2[822]: 6 0 746719 shouldn't be
718.32/724.18	WSVECS04 Frhs2[827]: 6 0 453505 shouldn't be
718.32/724.18	WSVECS04 Frhs2[835]: 6 0 147767 shouldn't be
718.32/724.18	WSVECS04 Frhs2[841]: 6 0 96976.7 shouldn't be
718.32/724.18	WSVECS04 Frhs2[844]: 6 0 20924.8 shouldn't be
718.32/724.18	WSVECS04 Frhs2[864]: 6 0 576 shouldn't be
718.32/724.18	WSVECS04 Frhs2[865]: 6 -6084 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[868]: 6 -8649 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[877]: 6 0 348177 shouldn't be
718.32/724.18	WSVECS04 Frhs2[881]: 6 -5.4097e+06 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[884]: 6 0 315400 shouldn't be
718.32/724.18	WSVECS04 Frhs2[886]: 6 0 164938 shouldn't be
718.32/724.18	WSVECS04 Frhs2[891]: 6 0 158432 shouldn't be
718.32/724.18	WSVECS04 Frhs2[893]: 6 0 158698 shouldn't be
718.32/724.18	WSVECS04 Frhs2[897]: 6 0 690616 shouldn't be
718.32/724.18	WSVECS04 Frhs2[898]: 6 -819821 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[899]: 6 0 207297 shouldn't be
718.32/724.18	WSVECS04 Frhs2[908]: 6 0 808391 shouldn't be
718.32/724.18	WSVECS04 Frhs2[913]: 6 0 1.01057e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[930]: 6 0 749987 shouldn't be
718.32/724.18	WSVECS04 Frhs2[935]: 6 0 152913 shouldn't be
718.32/724.18	WSVECS04 Frhs2[978]: 6 0 280145 shouldn't be
718.32/724.18	WSVECS04 Frhs2[989]: 6 0 178165 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1033]: 6 0 236030 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1039]: 6 0 146977 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1048]: 6 0 1.12702e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1067]: 6 0 25516.5 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1083]: 6 0 1874.75 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1089]: 6 0 8256 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1103]: 6 0 459551 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1106]: 6 0 169534 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1107]: 6 0 566238 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1109]: 6 0 1.40718e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1116]: 6 0 110430 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1119]: 6 0 16328.8 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1121]: 6 0 18043.8 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1122]: 6 0 567186 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1125]: 6 0 2.83649e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1127]: 6 0 216290 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1130]: 6 0 686568 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1134]: 6 0 157525 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1135]: 6 0 166905 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1136]: 6 0 161649 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1139]: 6 -262849 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1141]: 6 0 19435.8 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1143]: 6 0 156045 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1144]: 6 0 15547.8 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1148]: 6 0 1.00238e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1149]: 6 0 202302 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1163]: 6 0 1.10347e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1172]: 6 0 1.79837e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1173]: 6 0 529537 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1195]: 6 0 1.22736e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1196]: 6 0 170389 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1197]: 6 0 1.09734e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1225]: 6 0 5.00199e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1234]: 6 0 158797 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1239]: 6 -4.08519e+06 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1250]: 6 -3.6837e+06 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1257]: 6 0 566017 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1259]: 6 0 1.79564e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1283]: 6 0 78740 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1284]: 6 0 428506 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1314]: 6 0 435 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1341]: 6 0 165025 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1343]: 6 0 164455 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1352]: 6 0 766105 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1359]: 6 0 2.38811e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1389]: 6 0 98201.9 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1391]: 6 0 136846 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1412]: 6 0 551831 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1417]: 6 0 16468.5 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1436]: 6 0 171946 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1438]: 6 0 160641 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1443]: 6 0 173156 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1449]: 6 0 258451 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1451]: 6 0 668803 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1467]: 6 0 16681.5 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1489]: 6 0 17980 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1493]: 6 0 174016 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1497]: 6 0 734306 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1499]: 6 0 264655 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1509]: 6 0 1.79844e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1525]: 6 0 5.00602e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1527]: 6 0 743020 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1541]: 6 0 146125 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1543]: 6 0 149275 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1544]: 6 0 46271.7 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1567]: 6 0 14228.5 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1575]: 6 0 5.00229e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1589]: 6 -292756 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1591]: 6 0 462583 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1593]: 6 0 153039 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1594]: 6 0 51401.9 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1604]: 6 -15625 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1609]: 6 0 2.24918e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1631]: 6 0 440319 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1635]: 6 -10816 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1638]: 6 -4096 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1641]: 6 0 165677 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1642]: 6 -1.21384e+06 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1643]: 6 0 162715 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1657]: 6 0 685538 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1667]: 6 0 330358 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1709]: 6 0 1.78788e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1752]: 6 0 832507 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1794]: 6 0 108332 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1825]: 6 0 2.35789e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1839]: 6 -11449 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1867]: 6 0 23017.5 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1897]: 6 0 725633 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1899]: 6 0 268601 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1907]: 6 0 179301 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1934]: 6 0 32026 shouldn't be
718.32/724.18	WSVECS04 Frhs2[1951]: 6 0 665843 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2047]: 6 0 183214 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2049]: 6 0 156016 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2050]: 6 -316550 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2107]: 6 0 378870 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2127]: 6 0 129013 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2129]: 6 0 2.57529e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2157]: 6 0 170732 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2207]: 6 0 128712 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2211]: 6 0 126410 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2219]: 6 0 131706 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2221]: 6 0 223667 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2234]: 6 0 172321 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2239]: 6 -268629 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2241]: 6 0 141429 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2244]: 6 0 44750.7 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2252]: 6 0 768808 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2255]: 6 0 90011.1 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2266]: 6 -8836 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2270]: 6 -16900 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2273]: 6 0 560533 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2281]: 6 0 442299 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2285]: 6 -4489 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2291]: 6 -23104 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2296]: 6 -11449 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2313]: 6 0 824334 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2326]: 6 0 1.25557e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2333]: 6 0 14158 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2334]: 6 0 158797 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2335]: 6 0 268786 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2336]: 6 0 173130 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2339]: 6 0 15087 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2343]: 6 0 162119 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2344]: 6 0 65794.4 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2349]: 6 0 241425 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2361]: 6 0 175993 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2366]: 6 0 92129.6 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2369]: 6 0 189741 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2371]: 6 0 264747 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2372]: 6 0 187770 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2380]: 6 0 789611 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2384]: 6 0 177521 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2391]: 6 0 189246 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2394]: 6 0 109632 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2425]: 6 0 3.16573e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2427]: 6 0 434959 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2433]: 6 0 238562 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2439]: 6 -8169 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2451]: 6 0 633556 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2462]: 6 0 399551 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2466]: 6 0 692030 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2467]: 6 0 330929 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2471]: 6 0 193907 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2473]: 6 0 731799 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2480]: 6 0 1.87703e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2485]: 6 0 143225 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2491]: 6 0 133626 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2493]: 6 0 233612 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2494]: 6 0 51211.7 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2499]: 6 0 34829.4 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2511]: 6 0 149833 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2516]: 6 0 91293.6 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2519]: 6 0 156045 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2522]: 6 0 1.12369e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2527]: 6 0 244577 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2535]: 6 0 156774 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2536]: 6 0 244691 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2543]: 6 0 139675 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2544]: 6 0 68159.7 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2551]: 6 0 7.14464e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2552]: 6 0 1.73155e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2554]: 6 0 2.75333e+07 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2558]: 6 0 2.88953e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2568]: 6 0 4.03074e+07 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2569]: 6 0 6.27463e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2571]: 6 0 4.06704e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2575]: 6 -2.89177e+07 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2576]: 6 0 1.14563e+07 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2577]: 6 0 1.36346e+07 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2585]: 6 0 6.58988e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2586]: 6 0 7.03653e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2588]: 6 0 8.4439e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2591]: 6 0 9.53525e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2593]: 6 0 6.70758e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2629]: 6 0 93984.4 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2795]: 6 0 3.9504e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2797]: 6 0 766149 shouldn't be
718.32/724.18	WSVECS04 Frhs2[2936]: 6 0 104518 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3094]: 6 0 240273 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3112]: 6 0 3.978e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3195]: 6 0 444150 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3244]: 6 0 165499 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3294]: 6 0 223829 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3350]: 6 0 2901.78 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3384]: 6 0 1.88758e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3433]: 6 -2.9655e+06 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3439]: 6 -290928 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3450]: 6 0 178873 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3889]: 6 -2.28738e+06 0 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3986]: 6 0 742907 shouldn't be
718.32/724.18	WSVECS04 Frhs2[3993]: 6 0 309344 shouldn't be
718.32/724.18	WSVECS04 Frhs2[4050]: 6 0 80715.4 shouldn't be
718.32/724.18	WSVECS04 Frhs2[4207]: 6 0 27782.5 shouldn't be
718.32/724.18	WSVECS04 Frhs2[4344]: 6 0 227194 shouldn't be
718.32/724.18	WSVECS04 Frhs2[4765]: 6 0 1.56311e+06 shouldn't be
718.32/724.18	WSVECS04 Frhs2[5047]: 6 0 408532 shouldn't be
752.69/758.64	c #Conflicts:     208000 | #Constraints:      17624
752.69/758.64	c #Conflicts:     209000 | #Constraints:      18624
752.69/758.64	c #Conflicts:     210000 | #Constraints:      19626
752.69/758.64	c #Conflicts:     211000 | #Constraints:      20628
752.69/758.64	c #Conflicts:     212000 | #Constraints:      21628
752.69/758.64	c #Conflicts:     213000 | #Constraints:      22630
752.69/758.64	c #Conflicts:     214000 | #Constraints:      23637
752.69/758.64	c #Conflicts:     215000 | #Constraints:      24638
752.69/758.64	c #Conflicts:     216000 | #Constraints:      25639
752.69/758.64	c INPROCESSING
752.69/758.64	c GARBAGE COLLECT
752.69/758.64	c rational objective 1.51158e+06
865.31/871.68	c #Conflicts:     217000 | #Constraints:      17327
865.31/871.68	c #Conflicts:     218000 | #Constraints:      18327
865.31/871.68	c #Conflicts:     219000 | #Constraints:      19327
865.31/871.68	c #Conflicts:     220000 | #Constraints:      20327
865.31/871.68	c #Conflicts:     221000 | #Constraints:      21327
865.31/871.68	c #Conflicts:     222000 | #Constraints:      22327
865.31/871.68	c #Conflicts:     223000 | #Constraints:      23327
865.31/871.68	c #Conflicts:     224000 | #Constraints:      24327
865.31/871.68	c #Conflicts:     225000 | #Constraints:      25327
865.31/871.68	c #Conflicts:     226000 | #Constraints:      26327
865.31/871.68	c INPROCESSING
865.31/871.68	c GARBAGE COLLECT
865.31/871.68	c #Conflicts:     227000 | #Constraints:      17882
865.31/871.68	c #Conflicts:     228000 | #Constraints:      18885
865.31/871.68	c #Conflicts:     229000 | #Constraints:      19901
865.31/871.68	c #Conflicts:     230000 | #Constraints:      20910
865.31/871.68	c #Conflicts:     231000 | #Constraints:      21924
865.31/871.68	c #Conflicts:     232000 | #Constraints:      22941
865.31/871.68	c #Conflicts:     233000 | #Constraints:      23944
865.31/871.68	c #Conflicts:     234000 | #Constraints:      24945
865.31/871.68	c #Conflicts:     235000 | #Constraints:      25947
865.31/871.68	c #Conflicts:     236000 | #Constraints:      26947
865.31/871.68	c INPROCESSING
865.31/871.68	c GARBAGE COLLECT
865.31/871.68	c #Conflicts:     237000 | #Constraints:      18270
865.31/871.68	c #Conflicts:     238000 | #Constraints:      19277
865.31/871.68	c #Conflicts:     239000 | #Constraints:      20279
865.31/871.68	c #Conflicts:     240000 | #Constraints:      21281
865.31/871.68	c #Conflicts:     241000 | #Constraints:      22283
865.31/871.68	c #Conflicts:     242000 | #Constraints:      23287
865.31/871.68	c #Conflicts:     243000 | #Constraints:      24287
865.31/871.68	c #Conflicts:     244000 | #Constraints:      25288
865.31/871.68	c #Conflicts:     245000 | #Constraints:      26290
865.31/871.68	c #Conflicts:     246000 | #Constraints:      27292
865.31/871.68	c INPROCESSING
865.31/871.68	c GARBAGE COLLECT
865.31/871.68	c rational objective 1.5176e+06
873.88/880.24	c #Conflicts:     247000 | #Constraints:      18465
873.88/880.24	c #Conflicts:     248000 | #Constraints:      19466
873.88/880.24	c bounds 2899749 >= 2899749 @ 862.679
873.88/880.24	c cpu time 862.679 s
873.88/880.24	c deterministic time 93545035468 9.35e+10
873.88/880.24	c optimization time 0.744604 s
873.88/880.24	c total solve time 861.766 s
873.88/880.24	c core-guided solve time 511.352 s
873.88/880.24	c propagation time 467.377 s
873.88/880.24	c conflict analysis time 267.267 s
873.88/880.24	c propagations 41089733
873.88/880.24	c resolve steps 4348793
873.88/880.24	c decisions 653404
873.88/880.24	c conflicts 248213
873.88/880.24	c restarts 573
873.88/880.24	c inprocessing phases 41
873.88/880.24	c garbage collections 41 ,( 100.00 )
873.88/880.24	c input clauses 11126 ,( 87.59 )
873.88/880.24	c input cardinalities 9 ,( 0.07 )
873.88/880.24	c input general constraints 1568 ,( 12.34 )
873.88/880.24	c input average constraint length 55.37
873.88/880.24	c input average constraint degree 46962748.57
873.88/880.24	c learned clauses 33379 ,( 13.34 )
873.88/880.24	c learned cardinalities 459 ,( 0.18 )
873.88/880.24	c learned general constraints 216469 ,( 86.48 )
873.88/880.24	c learned average constraint length 1218.61
873.88/880.24	c learned average constraint degree 15022714292.11
873.88/880.24	c watched  CF 32, 64, 128, Arb: 6594 , 0 , 0 , 0
873.88/880.24	c counting CF 32, 64, 128, Arb: 211444 , 0 , 0 , 0
873.88/880.24	c watched   constraints 6594 ,( 3.02 ) 
873.88/880.24	c counting  constraints 211443 ,( 96.98 ) 
873.88/880.24	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 33377636 , 6684451 , 1512538617 ,( 6629788 , 1505908829 )
873.88/880.24	c gcd simplifications 5469
873.88/880.24	c detected cardinalities 43
873.88/880.24	c weakened non-implied lits 187686353
873.88/880.24	c weakened non-implying lits 1475753
873.88/880.24	c original variables 5100
873.88/880.24	c clausal propagations 26187330
873.88/880.24	c cardinality propagations 655118
873.88/880.24	c watched propagations 140318
873.88/880.24	c counting propagations 13655408
873.88/880.24	c watch lookups 20237162931
873.88/880.24	c watch backjump lookups 0
873.88/880.24	c watch checks 400690654
873.88/880.24	c propagation checks 71779362048
873.88/880.24	c constraint additions 1043583763
873.88/880.24	c trail pops 41987763
873.88/880.24	c formula constraints 12510
873.88/880.24	c learned constraints 247947
873.88/880.24	c bound constraints 193
873.88/880.24	c core-guided constraints 0
873.88/880.24	c encountered formula constraints 3614702
873.88/880.24	c encountered learned constraints 870753
873.88/880.24	c encountered bound constraints 5549
873.88/880.24	c encountered core-guided constraints 0
873.88/880.24	c LP total time 178.948 s
873.88/880.24	c LP solve time 146.67 s
873.88/880.24	c LP constraints added 12588
873.88/880.24	c LP constraints removed 54
873.88/880.24	c LP pivots internal 252993
873.88/880.24	c LP pivots root 252178
873.88/880.24	c LP calls 2161
873.88/880.24	c LP optimalities 53
873.88/880.24	c LP no pivot count 0
873.88/880.24	c LP infeasibilities 2090
873.88/880.24	c LP valid Farkas constraints 2079
873.88/880.24	c LP learned Farkas constraints 265
873.88/880.24	c LP basis resets 24
873.88/880.24	c LP cycling count 0
873.88/880.24	c LP singular count 13
873.88/880.24	c LP no primal count 0
873.88/880.24	c LP no farkas count 11
873.88/880.24	c LP other issue count 0
873.88/880.24	c LP Gomory cuts 16
873.88/880.24	c LP learned cuts 62
873.88/880.24	c LP deleted cuts 54
873.88/880.24	c LP encountered Gomory constraints 0
873.88/880.24	c LP encountered Farkas constraints 103582
873.88/880.24	c LP encountered learned Farkas constraints 2155
873.88/880.24	c CG auxiliary variables introduced 0
873.88/880.24	c CG solutions found 192
873.88/880.24	c CG cores constructed 0
873.88/880.24	c CG core cardinality constraints returned 0
873.88/880.24	c CG unit cores 0
873.88/880.24	c CG single cores 0
873.88/880.24	c CG blocks removed during cardinality reduction 0
873.88/880.24	c CG first core best 0
873.88/880.24	c CG decision core best 0
873.88/880.24	c CG core reduction tie 0
873.88/880.24	c CG core degree average 0.00
873.88/880.24	c CG core slack average 0.00
873.88/880.24	c CG core upper bound improvements 0
873.88/880.24	c STR number of successful calls 0
873.88/880.24	c STR number of unsuccessful calls 0
873.88/880.24	c STR number of inconclusive calls 0
873.88/880.24	c STR number of successful attempts 0
873.88/880.24	c STR number of unsuccessful attempts 0
873.88/880.24	c STR number of inconclusive attempts 0
873.88/880.24	c STR average degree increase per successful call inf
873.88/880.24	c STR average degree increase per successful attempt inf
873.88/880.24	c STR total number of conflicts for successful attempts 0
873.88/880.24	c STR total number of conflicts for unsuccessful attempts 0
873.88/880.24	c STR total number of conflicts for inconclusive attempts 0
873.88/880.24	c STR average number of conflicts per successful attempt inf
873.88/880.24	c STR average number of conflicts per unsuccessful attempt inf
873.88/880.24	c STR average number of conflicts per inconclusive attempt inf
873.88/880.24	c AVG.sumWPerc 93.70 
873.88/880.24	c bigint constraints 0 
873.88/880.24	o 2899749
873.88/880.24	s OPTIMUM FOUND
873.88/880.24	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 x857 -x858 x859 x860 -x861 -x862 -x863 x864 x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 x878 x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 x1619 -x1620 x1621 x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 x1634 x1635 -x1636 -x1637 x1638 -x1639 -x1640 x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 x2262 x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 x2295 x2296 x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100

Verifier Data 

OK	2899749

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul 16 04:05:55 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 2899749 <= obj <= 2899749
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 2899749 <= obj <= 2899749
--summary--
ALL OK

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: 63837 MiB (60525 MiB free)
  memory of node 1: 64465 MiB (1866 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532034-1752589527/watcher-4532034-1752589527 -o /tmp/evaluation-result-4532034-1752589527/solver-4532034-1752589527 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752584602-124518 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532034-1752589527.opb PROOFDIR/proof-4532034-1752589527 

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=125174, runsolver pid=125171

[startup+0.10007 s]*
/proc/loadavg: 4.19 4.20 4.18 5/263 125176
/proc/meminfo: memFree=63880580/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125176] ppid=125174 vsize=16296 memory=9664 CPUtime=0.05 cores=0,2
/proc/125176/stat : 125176 (pbsuma) R 125174 125174 124508 0 -1 4194304 3459 0 0 0 4 1 0 0 20 0 1 0 174631782 16687104 2416 18446744073709551615 4210688 4653049 140726547637712 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 32489472 140726547642593 140726547642928 140726547642928 140726547648495 0
/proc/125176/statm: 4074 2416 1024 108 0 1482 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 20488 KiB
Current children cumulated memory: 12736 KiB

[startup+0.214036 s]*
/proc/loadavg: 4.19 4.20 4.18 5/263 125177
/proc/meminfo: memFree=63880356/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=58256 memory=13916 CPUtime=0.07 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 1271 0 0 0 5 2 0 0 20 0 1 0 174631795 59654144 3479 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 14564 3479 2080 1147 0 1990 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 62448 KiB
Current children cumulated memory: 16988 KiB

[startup+0.314062 s]*
/proc/loadavg: 4.19 4.20 4.18 5/263 125177
/proc/meminfo: memFree=63880356/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=65744 memory=20736 CPUtime=0.16 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 2881 0 0 0 12 4 0 0 20 0 1 0 174631795 67321856 5184 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 16436 5184 2336 1147 0 3862 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69936 KiB
Current children cumulated memory: 23808 KiB

[startup+0.700419 s]
/proc/loadavg: 4.19 4.20 4.18 5/263 125177
/proc/meminfo: memFree=63872164/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=79312 memory=35220 CPUtime=0.53 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 6257 0 0 0 47 6 0 0 20 0 1 0 174631795 81215488 8805 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 19828 8805 2400 1147 0 7254 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 83504 KiB
Current children cumulated memory: 38292 KiB

[startup+1.50036 s]
/proc/loadavg: 4.19 4.20 4.18 5/263 125177
/proc/meminfo: memFree=63847844/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=80852 memory=36756 CPUtime=1.32 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 6635 0 0 0 126 6 0 0 20 0 1 0 174631795 82792448 9189 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 20213 9189 2400 1147 0 7639 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 85044 KiB
Current children cumulated memory: 39828 KiB

[startup+3.1136 s]
/proc/loadavg: 4.33 4.23 4.19 5/263 125177
/proc/meminfo: memFree=63688716/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=109224 memory=65036 CPUtime=2.93 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 13188 0 0 0 282 11 0 0 20 0 1 0 174631795 111845376 16259 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 27306 16259 2432 1147 0 14732 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 113416 KiB
Current children cumulated memory: 68108 KiB

[startup+6.3004 s]
/proc/loadavg: 4.33 4.23 4.19 5/263 125177
/proc/meminfo: memFree=63439080/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=173208 memory=126100 CPUtime=6.11 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 24856 0 0 0 591 20 0 0 20 0 1 0 174631795 177364992 31525 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 43302 31525 2432 1147 0 30728 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 177400 KiB
Current children cumulated memory: 129172 KiB

[startup+12.7004 s]
/proc/loadavg: 4.28 4.22 4.19 5/263 125177
/proc/meminfo: memFree=63016480/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=216908 memory=158536 CPUtime=12.49 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 32477 0 0 0 1217 32 0 0 20 0 1 0 174631795 222113792 39634 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 54227 39634 2432 1147 0 41653 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 221100 KiB
Current children cumulated memory: 161608 KiB

[startup+25.5004 s]
/proc/loadavg: 4.24 4.21 4.18 2/263 125178
/proc/meminfo: memFree=61985548/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=273436 memory=215332 CPUtime=24.06 cores=0,2
/proc/125177/stat : 125177 (roundingsat) D 125174 125174 124508 0 -1 4194304 43125 0 0 0 2354 52 0 0 20 0 1 0 174631795 279998464 53833 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 68359 53833 2464 1147 0 55785 0
Current children cumulated CPU time: 24.11 s
Current children cumulated vsize: 277628 KiB
Current children cumulated memory: 218404 KiB

[startup+51.1137 s]
/proc/loadavg: 4.42 4.26 4.20 4/263 125188
/proc/meminfo: memFree=88630900/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=377644 memory=276076 CPUtime=47.6 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 57370 0 0 0 4667 93 0 0 20 0 1 0 174631795 386707456 69019 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 94411 69019 2464 1147 0 81837 0
Current children cumulated CPU time: 47.65 s
Current children cumulated vsize: 381836 KiB
Current children cumulated memory: 279148 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.24 4.19 5/265 125236
/proc/meminfo: memFree=114290612/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=438708 memory=347876 CPUtime=98.61 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 72261 0 0 0 9681 180 0 0 20 0 1 0 174631795 449236992 86969 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 109677 86969 2464 1147 0 97103 0
Current children cumulated CPU time: 98.66 s
Current children cumulated vsize: 442900 KiB
Current children cumulated memory: 350948 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.23 4.19 5/265 125238
/proc/meminfo: memFree=111705580/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=505584 memory=421648 CPUtime=158.41 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 87085 0 0 0 15574 267 0 0 20 0 1 0 174631795 517718016 105412 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 126396 105412 2528 1147 0 113822 0
Current children cumulated CPU time: 158.46 s
Current children cumulated vsize: 509776 KiB
Current children cumulated memory: 424720 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/263 125240
/proc/meminfo: memFree=108965156/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=524304 memory=441232 CPUtime=218.19 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 92018 0 0 0 21456 363 0 0 20 0 1 0 174631795 536887296 110308 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 131076 110308 2528 1147 0 118502 0
Current children cumulated CPU time: 218.24 s

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

/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=929036 memory=766848 CPUtime=696.54 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 162796 0 0 0 68716 938 0 0 20 0 1 0 174631795 951332864 191712 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 232259 191712 2560 1147 0 219685 0
Current children cumulated CPU time: 696.59 s
Current children cumulated vsize: 933228 KiB
Current children cumulated memory: 769920 KiB

[startup+762.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/259 125266
/proc/meminfo: memFree=92733140/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=1037000 memory=804068 CPUtime=756.34 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 169034 0 0 0 74630 1004 0 0 20 0 1 0 174631795 1061888000 201017 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 259250 201017 2560 1147 0 246676 0
Current children cumulated CPU time: 756.39 s
Current children cumulated vsize: 1041192 KiB
Current children cumulated memory: 807140 KiB

[startup+822.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/258 125268
/proc/meminfo: memFree=91504976/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=1039100 memory=806884 CPUtime=816.12 cores=0,2
/proc/125177/stat : 125177 (roundingsat) R 125174 125174 124508 0 -1 4194304 169757 0 0 0 80544 1068 0 0 20 0 1 0 174631795 1064038400 201721 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 259775 201721 2560 1147 0 247201 0
Current children cumulated CPU time: 816.17 s
Current children cumulated vsize: 1043292 KiB
Current children cumulated memory: 809956 KiB

[startup+882.3 s]
/proc/loadavg: 4.17 4.15 4.16 4/259 125277
/proc/meminfo: memFree=90382300/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=1042940 memory=811340 CPUtime=874.47 cores=0,2
/proc/125177/stat : 125177 (roundingsat) D 125174 125174 124508 0 -1 4194304 170349 0 0 0 86272 1175 0 0 20 0 1 0 174631795 1067970560 202835 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 260735 202835 2560 1147 0 248161 0
Current children cumulated CPU time: 874.52 s
Current children cumulated vsize: 1047132 KiB
Current children cumulated memory: 814412 KiB

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

# cumulated CPU time of all completed processes:  user=862.835 s, system=12.3101 s

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

[startup+896 s]*
/proc/loadavg: 4.22 4.16 4.17 4/259 125278
/proc/meminfo: memFree=90278104/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=1042940 memory=811340 CPUtime=874.73 cores=0,2
/proc/125177/stat : 125177 (roundingsat) D 125174 125174 124508 0 -1 4194304 170349 0 0 0 86274 1199 0 0 20 0 1 0 174631795 1067970560 202835 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 260735 202835 2560 1147 0 248161 0
Current children cumulated CPU time: 874.78 s
Current children cumulated vsize: 1047132 KiB
Current children cumulated memory: 814412 KiB

[startup+902.4 s]
/proc/loadavg: 4.18 4.15 4.16 4/259 125278
/proc/meminfo: memFree=90243000/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=1042940 memory=811340 CPUtime=874.82 cores=0,2
/proc/125177/stat : 125177 (roundingsat) D 125174 125174 124508 0 -1 4194304 170349 0 0 0 86275 1207 0 0 20 0 1 0 174631795 1067970560 202835 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 260735 202835 2560 1147 0 248161 0
Current children cumulated CPU time: 874.87 s
Current children cumulated vsize: 1047132 KiB
Current children cumulated memory: 814412 KiB

[startup+905.6 s]
/proc/loadavg: 4.18 4.15 4.16 4/259 125278
/proc/meminfo: memFree=90227576/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=1042940 memory=811340 CPUtime=874.9 cores=0,2
/proc/125177/stat : 125177 (roundingsat) D 125174 125174 124508 0 -1 4194304 170349 0 0 0 86277 1213 0 0 20 0 1 0 174631795 1067970560 202835 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 260735 202835 2560 1147 0 248161 0
Current children cumulated CPU time: 874.95 s
Current children cumulated vsize: 1047132 KiB
Current children cumulated memory: 814412 KiB

[startup+907.2 s]
/proc/loadavg: 4.25 4.17 4.17 4/259 125278
/proc/meminfo: memFree=90205788/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=1042940 memory=811340 CPUtime=874.93 cores=0,2
/proc/125177/stat : 125177 (roundingsat) D 125174 125174 124508 0 -1 4194304 170349 0 0 0 86277 1216 0 0 20 0 1 0 174631795 1067970560 202835 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 260735 202835 2560 1147 0 248161 0
Current children cumulated CPU time: 874.98 s
Current children cumulated vsize: 1047132 KiB
Current children cumulated memory: 814412 KiB

[startup+908 s]*
/proc/loadavg: 4.25 4.17 4.17 5/259 125278
/proc/meminfo: memFree=90204644/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=1042940 memory=811340 CPUtime=874.98 cores=0,2
/proc/125177/stat : 125177 (roundingsat) D 125174 125174 124508 0 -1 4194304 170349 0 0 0 86277 1221 0 0 20 0 1 0 174631795 1067970560 202835 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 260735 202835 2560 1147 0 248161 0
Current children cumulated CPU time: 875.03 s
Current children cumulated vsize: 1047132 KiB
Current children cumulated memory: 814412 KiB

[startup+908.4 s]
/proc/loadavg: 4.25 4.17 4.17 5/259 125278
/proc/meminfo: memFree=90204644/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=1042940 memory=811340 CPUtime=874.98 cores=0,2
/proc/125177/stat : 125177 (roundingsat) D 125174 125174 124508 0 -1 4194304 170349 0 0 0 86277 1221 0 0 20 0 1 0 174631795 1067970560 202835 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 260735 202835 2560 1147 0 248161 0
Current children cumulated CPU time: 875.03 s
Current children cumulated vsize: 1047132 KiB
Current children cumulated memory: 814412 KiB

[startup+908.8 s]
/proc/loadavg: 4.25 4.17 4.17 5/259 125278
/proc/meminfo: memFree=90204644/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
[pid=125177] ppid=125174 vsize=1042940 memory=811340 CPUtime=874.98 cores=0,2
/proc/125177/stat : 125177 (roundingsat) D 125174 125174 124508 0 -1 4194304 170349 0 0 0 86277 1221 0 0 20 0 1 0 174631795 1067970560 202835 18446744073709551615 4227072 8923577 140724391733152 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 42606592 140724391737588 140724391737894 140724391737894 140724391743466 0
/proc/125177/statm: 260735 202835 2560 1147 0 248161 0
Current children cumulated CPU time: 875.03 s
Current children cumulated vsize: 1047132 KiB
Current children cumulated memory: 814412 KiB

[startup+908.9 s]
/proc/loadavg: 4.25 4.17 4.17 5/259 125278
/proc/meminfo: memFree=90204644/131382120 swapFree=33010160/33010684
[pid=125174] ppid=125171 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/125174/stat : 125174 (run-opt-ls-log.) S 125171 125174 124508 0 -1 4194304 243 3462 0 0 0 0 4 1 20 0 1 0 174631781 4292608 768 18446744073709551615 94225985785856 94225986680389 140727197955568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94225986919440 94225986967184 94225998086144 140727197960473 140727197960671 140727197960671 140727197966275 0
/proc/125174/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 908.94
CPU time (s): 875.145
CPU user time (s): 862.835
CPU system time (s): 12.3101
CPU usage (%): 96.2819
Max. virtual memory (cumulated for all children) (KiB): 1047132
Max. memory (cumulated for all children) (KiB): 814412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 862.835
system time used= 12.3101
maximum resident set size= 811340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19864504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169847
involuntary context switches= 2076


# summary of solver processes directly reported to runsolver:
#   pid: 125174
#   total CPU time (s): 875.145
#   total CPU user time (s): 862.835
#   total CPU system time (s): 12.3101

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.64904 second user time and 8.87576 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-15 16:25:27
IDJOB=4532034
IDBENCH=155610
IDSOLVER=3392
FILE ID=nodeC008/4532034-1752589527
RUNJOBID= nodeC008-1752584602-124518
SLURM_JOB_ID= 9684338
Free space on /tmp= 432572 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532034-1752589527/watcher-4532034-1752589527 -o /tmp/evaluation-result-4532034-1752589527/solver-4532034-1752589527 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752584602-124518 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532034-1752589527.opb PROOFDIR/proof-4532034-1752589527

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=1427959576

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        63892036 kB
MemAvailable:   98834072 kB
Buffers:            2128 kB
Cached:         35701904 kB
SwapCached:           16 kB
Active:         31266240 kB
Inactive:       35116988 kB
Active(anon):   30665472 kB
Inactive(anon):    31696 kB
Active(file):     600768 kB
Inactive(file): 35085292 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           9826488 kB
Writeback:             0 kB
AnonPages:      30680476 kB
Mapped:           120340 kB
Shmem:             17920 kB
KReclaimable:     191208 kB
Slab:             588036 kB
SReclaimable:     191208 kB
SUnreclaim:       396828 kB
KernelStack:        4224 kB
PageTables:        65888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   33354176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149576 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8185856 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432680 MiB
End job on nodeC008 at 2025-07-15 16:40:36