Trace number 4503884

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 63f22adOPT2899749 737.352 739.829

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-4503884-1751448074.opb'
0.00/0.02	c 	read 0.40MB  (5.55ms)
0.00/0.02	c	 [cnf: #variables 5100 #clauses 7607 #duplicates 0 #arr 37600]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 0] (9.23ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.03	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	 (1.02ms)
0.00/0.03	c 
0.00/0.03	c detect symmetries on remainder
0.00/0.03	c 	[graph: #vertices 35607 #edges 121000]
0.00/0.03	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03	c 	 [group: #symmetries 1.00*10^0 #generators 0] (1.94ms)
0.00/0.03	c 
0.00/0.03	c finalize break order and special generators
0.00/0.03	c 
0.00/0.03	c generation finished
0.00/0.03	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.03	c 
0.00/0.03	c write result to 'HOME/instance-4503884-1751448074.opb.pre'
0.00/0.03	c 	wrote 0.41MB (1.00ms)
0.00/0.03	c ------------------------------------------------------------------
0.00/0.03	c                   9.23ms 47.68% approx_orbits
0.00/0.03	c                   5.55ms 28.64% parse
0.00/0.03	c                   1.94ms 10.03% detect_generic
0.00/0.03	c                   1.02ms  5.26% detect_special
0.00/0.03	c                   1.00ms  5.19% output
0.00/0.03	c                   0.46ms  2.36% other
0.00/0.03	c                   0.16ms  0.83% finalize_order
0.00/0.03	c         ───────────────────────────────────────────────
0.00/0.03	c                  19.36ms   100% total
0.00/0.03	c ------------------------------------------------------------------
0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.09	c #variables 5100 #constraints 12510
0.00/0.09	c objective is ce32 
0.06/0.15	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
0.06/0.15	c initial counting CF 32, 64, 128, Arb: 1326 , 0 , 0 , 0
0.06/0.15	c bounds 47918881 >= -50 @ 0.083199
0.66/0.79	c bounds 47886745 >= -50 @ 0.712885
0.75/0.82	c bounds 17400827 >= -50 @ 0.741063
0.75/0.82	c bounds 17385497 >= -50 @ 0.745116
0.75/0.83	c bounds 17326025 >= -50 @ 0.750222
0.75/0.83	c bounds 17248337 >= -50 @ 0.753296
0.75/0.85	c bounds 17208745 >= -50 @ 0.770051
0.75/0.85	c bounds 17135881 >= -50 @ 0.772972
0.75/0.85	c bounds 17083731 >= -50 @ 0.775044
0.75/0.86	c bounds 17039037 >= -50 @ 0.780353
0.75/0.88	c bounds 17028399 >= -50 @ 0.79983
0.85/0.90	c bounds 16289067 >= -50 @ 0.819448
0.85/0.92	c bounds 16243269 >= -50 @ 0.835284
0.85/0.92	c bounds 16227939 >= -50 @ 0.838296
0.85/0.92	c bounds 16194859 >= -50 @ 0.842823
0.85/0.93	c bounds 16109579 >= -50 @ 0.846394
0.85/0.93	c bounds 16035099 >= -50 @ 0.848449
0.85/0.94	c bounds 15943413 >= -50 @ 0.852323
0.96/1.02	c bounds 15920631 >= -50 @ 0.931819
0.96/1.02	c bounds 15916071 >= -50 @ 0.935117
0.96/1.03	c bounds 15887945 >= -50 @ 0.938555
0.96/1.04	c bounds 15828473 >= -50 @ 0.948289
0.96/1.06	c bounds 15809751 >= -50 @ 0.973498
0.96/1.07	c bounds 15802769 >= -50 @ 0.981804
0.96/1.08	c bounds 15782539 >= -50 @ 0.987725
0.96/1.09	c bounds 15781801 >= -50 @ 1.00104
1.15/1.23	c bounds 12270751 >= -50 @ 1.13939
1.15/1.24	c bounds 12210577 >= -50 @ 1.14667
1.15/1.25	c bounds 10878001 >= -50 @ 1.16026
1.15/1.29	c bounds 10781869 >= -50 @ 1.19413
1.25/1.39	c bounds 10774669 >= -50 @ 1.29641
1.36/1.40	c bounds 10761075 >= -50 @ 1.30643
1.36/1.42	c bounds 10727209 >= -50 @ 1.32738
1.36/1.44	c bounds 10711879 >= -50 @ 1.34187
1.36/1.45	c bounds 10694349 >= -50 @ 1.35106
1.36/1.48	c bounds 10676275 >= -50 @ 1.38479
1.45/1.50	c bounds 10599193 >= -50 @ 1.39799
1.45/1.53	c bounds 10523617 >= -50 @ 1.42612
1.45/1.53	c bounds 10507807 >= -50 @ 1.43338
1.45/1.55	c bounds 10503307 >= -50 @ 1.44486
1.45/1.56	c bounds 10485883 >= -50 @ 1.45601
1.65/1.77	c bounds 10436229 >= -50 @ 1.66402
1.65/1.78	c bounds 10415757 >= -50 @ 1.68031
1.65/1.79	c bounds 10368039 >= -50 @ 1.68776
1.85/1.93	c bounds 10367799 >= -50 @ 1.81942
1.85/1.96	c bounds 10359609 >= -50 @ 1.8525
1.95/2.00	c bounds 10357881 >= -50 @ 1.88998
2.45/2.56	c #Conflicts:       1000 | #Constraints:      13556
2.45/2.56	c bounds 10344767 >= -50 @ 2.43478
2.45/2.57	c bounds 10343799 >= -50 @ 2.44867
2.64/2.74	c bounds 10342331 >= -50 @ 2.61017
6.44/6.57	c #Conflicts:       2000 | #Constraints:      14559
6.44/6.57	c INPROCESSING
6.44/6.57	c GARBAGE COLLECT
6.44/6.57	c bounds 10336923 >= -50 @ 6.37513
6.44/6.58	c bounds 10308797 >= -50 @ 6.38814
6.44/6.59	c bounds 10303553 >= -50 @ 6.3953
6.54/6.60	c bounds 10246927 >= -50 @ 6.4062
7.04/7.15	c bounds 10245457 >= -50 @ 6.95329
9.23/9.39	c #Conflicts:       3000 | #Constraints:      11653
9.23/9.39	c bounds 10243267 >= -50 @ 9.17552
13.52/13.62	c #Conflicts:       4000 | #Constraints:      12654
13.52/13.62	c INPROCESSING
13.52/13.62	c GARBAGE COLLECT
13.52/13.62	c #Conflicts:       5000 | #Constraints:      12040
13.52/13.62	c bounds 5472309 >= -50 @ 13.3594
13.52/13.64	c bounds 5468445 >= -50 @ 13.3744
13.52/13.65	c bounds 5453141 >= -50 @ 13.3906
13.52/13.67	c bounds 5441597 >= -50 @ 13.4031
13.52/13.68	c bounds 5429189 >= -50 @ 13.4142
13.52/13.69	c bounds 5419493 >= -50 @ 13.4241
14.11/14.27	c #Conflicts:       6000 | #Constraints:      13046
14.11/14.27	c bounds 5404221 >= -50 @ 14.0023
14.11/14.29	c bounds 5402829 >= -50 @ 14.0206
14.22/14.39	c bounds 5367639 >= -50 @ 14.1204
14.32/14.49	c bounds 5355297 >= -50 @ 14.2138
14.42/14.54	c bounds 5352651 >= -50 @ 14.268
14.52/14.64	c bounds 5338245 >= -50 @ 14.3683
14.62/14.76	c bounds 5316403 >= -50 @ 14.483
14.81/14.94	c bounds 5308305 >= -50 @ 14.6637
14.92/15.08	c bounds 5302799 >= -50 @ 14.7992
15.22/15.33	c bounds 5300079 >= -50 @ 15.0419
15.41/15.53	c INPROCESSING
15.41/15.53	c GARBAGE COLLECT
15.41/15.53	c bounds 5297825 >= -50 @ 15.2456
17.81/17.90	c #Conflicts:       7000 | #Constraints:      11121
17.81/17.90	c bounds 5286073 >= -50 @ 17.5856
18.50/18.69	c #Conflicts:       8000 | #Constraints:      12122
18.50/18.69	c bounds 5283159 >= -50 @ 18.375
19.59/19.77	c bounds 5253867 >= -50 @ 19.4367
19.59/19.79	c bounds 5248399 >= -50 @ 19.4593
19.70/19.81	c bounds 5242007 >= -50 @ 19.4842
19.70/19.84	c bounds 5240695 >= -50 @ 19.5046
19.70/19.86	c bounds 5219537 >= -50 @ 19.528
19.70/19.89	c bounds 5203529 >= -50 @ 19.5564
19.80/19.93	c bounds 5201369 >= -50 @ 19.5976
19.90/20.02	c bounds 5179359 >= -50 @ 19.6833
19.90/20.09	c bounds 4920553 >= -50 @ 19.7499
20.00/20.13	c bounds 4425591 >= -50 @ 19.7895
20.10/20.24	c bounds 4401069 >= -50 @ 19.9059
20.10/20.27	c bounds 4376301 >= -50 @ 19.9305
20.19/20.37	c bounds 4350429 >= -50 @ 20.0309
20.29/20.43	c bounds 4320237 >= -50 @ 20.0909
20.50/20.60	c #Conflicts:       9000 | #Constraints:      13137
20.50/20.60	c bounds 4312593 >= -50 @ 20.2583
20.60/20.79	c bounds 4241911 >= -50 @ 20.4459
20.79/20.90	c bounds 4216791 >= -50 @ 20.5486
20.90/21.06	c bounds 4213863 >= -50 @ 20.7094
22.29/22.49	c INPROCESSING
22.29/22.49	c GARBAGE COLLECT
22.29/22.49	WSVECS04 Frhs2[133]: 6 -22500 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[283]: 6 -5041 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[309]: 6 -4096 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[459]: 6 -8649 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[533]: 6 -29929 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[583]: 6 -66049 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[659]: 6 -26569 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[783]: 6 -11449 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[833]: 6 -11664 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[959]: 6 -37249 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1083]: 6 -24336 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1200]: 6 -60516 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1301]: 6 -66049 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1311]: 6 -22500 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1314]: 6 -5041 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1319]: 6 -29929 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1323]: 6 -11449 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1324]: 6 -11664 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1329]: 6 -24336 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1335]: 6 -9604 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1336]: 6 -14400 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1359]: 6 -10816 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1433]: 6 -9604 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1483]: 6 -14400 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1709]: 6 -13689 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1809]: 6 -1764 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[1900]: 6 -13225 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2109]: 6 -34596 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2280]: 6 -60516 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2293]: 6 -13225 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2515]: 6 -4096 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2518]: 6 -8649 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2521]: 6 -26569 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2527]: 6 -37249 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2534]: 6 -10816 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2540]: 6 -13689 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2542]: 6 -1764 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2548]: 6 -34596 0 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2551]: 6 0 1.00003 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2552]: 6 0 1.00002 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2553]: 6 0 1.00004 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2554]: 6 0 1.00007 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2555]: 6 0 1.00008 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2556]: 6 0 1.00009 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2557]: 6 0 1.00007 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2558]: 6 0 1.00005 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2560]: 6 0 1.00005 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2561]: 6 0 1.00007 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2562]: 6 0 1.00002 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2563]: 6 0 1.00002 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2564]: 6 0 1.00003 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2565]: 6 0 1.00001 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2566]: 6 0 1.00005 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2567]: 6 0 1.00001 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2568]: 6 0 1.00008 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2569]: 6 0 1.00008 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2570]: 6 0 1.00001 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2571]: 6 0 1.00009 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2572]: 6 0 1.00002 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2573]: 6 0 1.00006 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2574]: 6 0 1.00003 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2575]: 6 0 1.00003 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2576]: 6 0 1.00003 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2577]: 6 0 1.00007 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2578]: 6 0 1.00003 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2579]: 6 0 1.00007 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2580]: 6 0 1.00009 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2581]: 6 0 1.00008 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2582]: 6 0 1.00002 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2584]: 6 0 1.00002 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2585]: 6 0 1.00002 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2586]: 6 0 1.00003 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2587]: 6 0 1.00009 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2588]: 6 0 1.00004 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2589]: 6 0 1.00003 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2590]: 6 0 1.00005 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2591]: 6 0 1.00004 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2592]: 6 0 1.00003 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2593]: 6 0 1.00002 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2594]: 6 0 1.00008 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2595]: 6 0 1.00004 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2596]: 6 0 1.0001 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2597]: 6 0 1.00002 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2598]: 6 0 1.00004 shouldn't be
22.29/22.49	WSVECS04 Frhs2[2599]: 6 0 1.00007 shouldn't be
24.59/24.77	c rational objective 1.46401e+06
25.18/25.36	c bounds 4206759 >= -50 @ 24.9603
25.18/25.38	c bounds 4194983 >= -50 @ 24.9792
31.06/31.24	c #Conflicts:      10000 | #Constraints:      11556
31.06/31.24	c #Conflicts:      11000 | #Constraints:      12556
31.06/31.24	c #Conflicts:      12000 | #Constraints:      13556
31.06/31.24	c INPROCESSING
31.06/31.24	c GARBAGE COLLECT
31.06/31.24	c bounds 4193973 >= -50 @ 30.7722
31.06/31.25	c bounds 4193163 >= -50 @ 30.7869
31.16/31.30	c bounds 4187781 >= -50 @ 30.8333
31.16/31.34	c bounds 4181405 >= -50 @ 30.8714
31.16/31.35	c bounds 4180819 >= -50 @ 30.8822
31.46/31.63	c bounds 4173869 >= -50 @ 31.1567
31.46/31.65	c bounds 4089589 >= -50 @ 31.1759
31.46/31.66	c bounds 4072717 >= -50 @ 31.1856
31.46/31.67	c bounds 4071847 >= -50 @ 31.1948
31.56/31.75	c bounds 4069159 >= -50 @ 31.2724
31.56/31.77	c bounds 4049757 >= -50 @ 31.2979
31.96/32.14	c bounds 4037615 >= -50 @ 31.657
32.16/32.33	c bounds 4035353 >= -50 @ 31.849
32.16/32.38	c bounds 4034343 >= -50 @ 31.9014
41.93/42.14	c #Conflicts:      13000 | #Constraints:      11903
41.93/42.14	c #Conflicts:      14000 | #Constraints:      12903
41.93/42.14	c #Conflicts:      15000 | #Constraints:      13903
41.93/42.14	c INPROCESSING
41.93/42.14	c GARBAGE COLLECT
41.93/42.14	c #Conflicts:      16000 | #Constraints:      12136
41.93/42.14	c #Conflicts:      17000 | #Constraints:      13136
41.93/42.14	c #Conflicts:      18000 | #Constraints:      14136
41.93/42.14	c INPROCESSING
41.93/42.14	c GARBAGE COLLECT
41.93/42.14	c bounds 4033533 >= -50 @ 41.5712
41.93/42.19	c bounds 4031325 >= -50 @ 41.625
53.98/54.29	c #Conflicts:      19000 | #Constraints:      12165
53.98/54.29	c #Conflicts:      20000 | #Constraints:      13168
53.98/54.29	c #Conflicts:      21000 | #Constraints:      14214
53.98/54.29	c INPROCESSING
53.98/54.29	c GARBAGE COLLECT
53.98/54.29	c rational objective 1.46881e+06
84.69/85.08	c #Conflicts:      22000 | #Constraints:      12030
84.69/85.08	c #Conflicts:      23000 | #Constraints:      13030
84.69/85.08	c #Conflicts:      24000 | #Constraints:      14030
84.69/85.08	c #Conflicts:      25000 | #Constraints:      15031
84.69/85.08	c INPROCESSING
84.69/85.08	c GARBAGE COLLECT
84.69/85.08	c #Conflicts:      26000 | #Constraints:      12523
84.69/85.08	c #Conflicts:      27000 | #Constraints:      13559
84.69/85.08	c #Conflicts:      28000 | #Constraints:      14561
84.69/85.08	c #Conflicts:      29000 | #Constraints:      15563
84.69/85.08	c INPROCESSING
84.69/85.08	c GARBAGE COLLECT
84.69/85.08	c #Conflicts:      30000 | #Constraints:      12911
84.69/85.08	c #Conflicts:      31000 | #Constraints:      14158
84.69/85.08	c #Conflicts:      32000 | #Constraints:      15222
84.69/85.08	c #Conflicts:      33000 | #Constraints:      16309
84.69/85.08	c INPROCESSING
84.69/85.08	c GARBAGE COLLECT
84.69/85.08	c rational objective 1.47611e+06
122.15/122.60	c #Conflicts:      34000 | #Constraints:      13264
122.15/122.60	c #Conflicts:      35000 | #Constraints:      14264
122.15/122.60	c #Conflicts:      36000 | #Constraints:      15264
122.15/122.60	c #Conflicts:      37000 | #Constraints:      16264
122.15/122.60	c INPROCESSING
122.15/122.60	c GARBAGE COLLECT
122.15/122.60	c #Conflicts:      38000 | #Constraints:      13113
122.15/122.60	c #Conflicts:      39000 | #Constraints:      14113
122.15/122.60	c #Conflicts:      40000 | #Constraints:      15113
122.15/122.60	c #Conflicts:      41000 | #Constraints:      16113
122.15/122.60	c INPROCESSING
122.15/122.60	c GARBAGE COLLECT
122.15/122.60	c #Conflicts:      42000 | #Constraints:      12904
122.15/122.60	c #Conflicts:      43000 | #Constraints:      13921
122.15/122.60	c #Conflicts:      44000 | #Constraints:      14979
122.15/122.60	c #Conflicts:      45000 | #Constraints:      16006
122.15/122.60	c #Conflicts:      46000 | #Constraints:      17006
122.15/122.60	c INPROCESSING
122.15/122.60	c GARBAGE COLLECT
122.15/122.60	c rational objective 1.48815e+06
123.85/124.34	c bounds 4022121 >= -50 @ 123.032
123.85/124.36	c bounds 4014351 >= -50 @ 123.049
123.85/124.38	c bounds 4004911 >= -50 @ 123.067
123.95/124.44	c bounds 4002853 >= -50 @ 123.123
124.15/124.66	c #Conflicts:      47000 | #Constraints:      13427
124.15/124.66	c bounds 3997671 >= -50 @ 123.345
124.15/124.68	c bounds 3989901 >= -50 @ 123.359
124.24/124.71	c bounds 3961211 >= -50 @ 123.394
124.24/124.72	c bounds 3959069 >= -50 @ 123.407
124.24/124.74	c bounds 3947681 >= -50 @ 123.42
136.41/136.95	c #Conflicts:      48000 | #Constraints:      14432
136.41/136.95	c #Conflicts:      49000 | #Constraints:      15435
136.41/136.95	c #Conflicts:      50000 | #Constraints:      16436
136.41/136.95	c #Conflicts:      51000 | #Constraints:      17437
136.41/136.95	c INPROCESSING
136.41/136.95	c GARBAGE COLLECT
136.41/136.95	c rational objective 1.48828e+06
137.31/137.87	c bounds 3906023 >= -50 @ 136.421
137.41/137.93	c bounds 3885489 >= -50 @ 136.485
137.41/137.96	c bounds 3414081 >= -50 @ 136.514
137.51/138.10	c bounds 3412353 >= -50 @ 136.648
137.61/138.12	c bounds 3410211 >= -50 @ 136.665
137.61/138.13	c bounds 3409721 >= -50 @ 136.676
137.61/138.14	c bounds 3407361 >= -50 @ 136.686
137.70/138.26	c bounds 3400015 >= -50 @ 136.81
139.00/139.56	c #Conflicts:      52000 | #Constraints:      13696
139.00/139.56	c bounds 3377583 >= -50 @ 138.097
139.00/139.58	c bounds 3373813 >= -50 @ 138.123
139.10/139.62	c bounds 3364273 >= -50 @ 138.164
139.60/140.19	c bounds 3361217 >= -50 @ 138.723
139.70/140.21	c bounds 3360727 >= -50 @ 138.743
139.89/140.44	c bounds 3352565 >= -50 @ 138.965
139.89/140.46	c bounds 3344445 >= -50 @ 138.984
140.20/140.71	c bounds 3341605 >= -50 @ 139.239
140.50/141.03	c #Conflicts:      53000 | #Constraints:      14711
140.50/141.03	c bounds 3302655 >= -50 @ 139.55
140.50/141.05	c bounds 3300295 >= -50 @ 139.573
140.50/141.07	c bounds 3298567 >= -50 @ 139.595
140.69/141.27	c bounds 3243869 >= -50 @ 139.79
149.76/150.37	c #Conflicts:      54000 | #Constraints:      15723
149.76/150.37	c #Conflicts:      55000 | #Constraints:      16723
149.76/150.37	c #Conflicts:      56000 | #Constraints:      17723
149.76/150.37	c INPROCESSING
149.76/150.37	c GARBAGE COLLECT
149.76/150.37	c bounds 3243475 >= -50 @ 148.812
149.96/150.58	c bounds 3189259 >= -50 @ 149.018
149.96/150.59	c bounds 3181139 >= -50 @ 149.03
159.83/160.46	c #Conflicts:      57000 | #Constraints:      13718
159.83/160.46	c #Conflicts:      58000 | #Constraints:      14718
159.83/160.46	c #Conflicts:      59000 | #Constraints:      15718
159.83/160.46	c #Conflicts:      60000 | #Constraints:      16718
159.83/160.46	c #Conflicts:      61000 | #Constraints:      17718
159.83/160.46	c INPROCESSING
159.83/160.46	c GARBAGE COLLECT
159.83/160.46	WSVECS04 Frhs2[627]: 6 -155236 0 shouldn't be
159.83/160.46	WSVECS04 Frhs2[970]: 6 -155236 0 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2551]: 6 0 1.00004 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2552]: 6 0 1.00006 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2558]: 6 0 1.00003 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2563]: 6 0 1.00005 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2566]: 6 0 1.00004 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2573]: 6 0 1.00008 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2574]: 6 0 1.00003 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2580]: 6 0 1.00009 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2581]: 6 0 1.00004 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2583]: 6 0 1.00003 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2584]: 6 0 1.00002 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2586]: 6 0 1.00004 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2588]: 6 0 1.00005 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2589]: 6 0 1.00002 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2591]: 6 0 1.00004 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2595]: 6 0 1.00009 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2597]: 6 0 1.00006 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2599]: 6 0 1.00004 shouldn't be
159.83/160.46	WSVECS04 Frhs2[2600]: 6 0 1.00004 shouldn't be
159.83/160.49	c rational objective 1.4877e+06
171.29/171.93	c #Conflicts:      62000 | #Constraints:      13758
171.29/171.93	c #Conflicts:      63000 | #Constraints:      14758
171.29/171.93	c #Conflicts:      64000 | #Constraints:      15772
171.29/171.93	c #Conflicts:      65000 | #Constraints:      16788
171.29/171.93	c #Conflicts:      66000 | #Constraints:      17814
171.29/171.93	c INPROCESSING
171.29/171.93	c GARBAGE COLLECT
171.29/171.93	c rational objective 1.49279e+06
213.25/214.00	c #Conflicts:      67000 | #Constraints:      13574
213.25/214.00	c #Conflicts:      68000 | #Constraints:      14576
213.25/214.00	c #Conflicts:      69000 | #Constraints:      15577
213.25/214.00	c #Conflicts:      70000 | #Constraints:      16577
213.25/214.00	c #Conflicts:      71000 | #Constraints:      17598
213.25/214.00	c #Conflicts:      72000 | #Constraints:      18599
213.25/214.00	c INPROCESSING
213.25/214.00	c GARBAGE COLLECT
213.25/214.00	c #Conflicts:      73000 | #Constraints:      14074
213.25/214.00	c #Conflicts:      74000 | #Constraints:      15074
213.25/214.00	c #Conflicts:      75000 | #Constraints:      16074
213.25/214.00	c #Conflicts:      76000 | #Constraints:      17149
213.25/214.00	c #Conflicts:      77000 | #Constraints:      18210
213.25/214.00	c #Conflicts:      78000 | #Constraints:      19248
213.25/214.00	c INPROCESSING
213.25/214.00	c GARBAGE COLLECT
213.25/214.00	c #Conflicts:      79000 | #Constraints:      14544
213.25/214.00	c #Conflicts:      80000 | #Constraints:      15544
213.25/214.00	c #Conflicts:      81000 | #Constraints:      16544
213.25/214.00	c #Conflicts:      82000 | #Constraints:      17545
213.25/214.00	c #Conflicts:      83000 | #Constraints:      18547
213.25/214.00	c #Conflicts:      84000 | #Constraints:      19551
213.25/214.00	c INPROCESSING
213.25/214.00	c GARBAGE COLLECT
213.25/214.00	c rational objective 1.49299e+06
242.85/243.75	c #Conflicts:      85000 | #Constraints:      14694
242.85/243.75	c #Conflicts:      86000 | #Constraints:      15696
242.85/243.75	c #Conflicts:      87000 | #Constraints:      16696
242.85/243.75	c #Conflicts:      88000 | #Constraints:      17696
242.85/243.75	c #Conflicts:      89000 | #Constraints:      18696
242.85/243.75	c #Conflicts:      90000 | #Constraints:      19696
242.85/243.75	c INPROCESSING
242.85/243.75	c GARBAGE COLLECT
242.85/243.75	c #Conflicts:      91000 | #Constraints:      14613
242.85/243.75	c #Conflicts:      92000 | #Constraints:      15621
242.85/243.75	c #Conflicts:      93000 | #Constraints:      16623
242.85/243.75	c #Conflicts:      94000 | #Constraints:      17623
242.85/243.75	c #Conflicts:      95000 | #Constraints:      18628
242.85/243.75	c #Conflicts:      96000 | #Constraints:      19629
242.85/243.75	c INPROCESSING
242.85/243.75	c GARBAGE COLLECT
242.85/243.75	c rational objective 1.49323e+06
247.24/248.14	c #Conflicts:      97000 | #Constraints:      14381
247.24/248.14	c #Conflicts:      98000 | #Constraints:      15384
247.24/248.14	c #Conflicts:      99000 | #Constraints:      16387
247.24/248.14	c bounds 3176783 >= -50 @ 245.674
247.24/248.19	c bounds 3169703 >= -50 @ 245.723
247.44/248.34	c bounds 3166373 >= -50 @ 245.874
247.74/248.64	c bounds 3164415 >= -50 @ 246.173
247.83/248.70	c bounds 3158799 >= -50 @ 246.23
248.03/248.92	c bounds 3156015 >= -50 @ 246.451
248.23/249.18	c #Conflicts:     100000 | #Constraints:      17404
248.23/249.18	c bounds 3153049 >= -50 @ 246.705
249.63/250.51	c bounds 3151459 >= -50 @ 248.023
249.63/250.55	c bounds 3147529 >= -50 @ 248.069
249.83/250.70	c bounds 3147211 >= -50 @ 248.213
249.83/250.74	c bounds 3143461 >= -50 @ 248.26
249.93/250.80	c bounds 3143281 >= -50 @ 248.312
250.13/251.01	c bounds 3139531 >= -50 @ 248.522
250.23/251.19	c bounds 3126957 >= -50 @ 248.706
250.33/251.24	c bounds 3123207 >= -50 @ 248.753
250.33/251.29	c bounds 3123027 >= -50 @ 248.8
250.62/251.54	c bounds 3089471 >= -50 @ 249.047
250.72/251.62	c bounds 3086639 >= -50 @ 249.131
251.02/251.98	c bounds 3077835 >= -50 @ 249.487
251.12/252.06	c bounds 3073905 >= -50 @ 249.562
251.22/252.17	c bounds 3071571 >= -50 @ 249.679
251.32/252.23	c bounds 3067641 >= -50 @ 249.735
251.72/252.62	c #Conflicts:     101000 | #Constraints:      18455
251.72/252.62	c bounds 3066415 >= -50 @ 250.121
255.61/256.55	c #Conflicts:     102000 | #Constraints:      19478
255.61/256.55	c bounds 3065875 >= -50 @ 254.029
255.90/256.85	c bounds 3065465 >= -50 @ 254.319
256.00/256.93	c bounds 3065281 >= -50 @ 254.403
256.11/257.06	c bounds 3045951 >= -50 @ 254.535
261.49/262.40	c #Conflicts:     103000 | #Constraints:      20511
261.49/262.40	c INPROCESSING
261.49/262.40	c GARBAGE COLLECT
261.49/262.40	c bounds 3045669 >= -50 @ 259.841
261.49/262.43	c bounds 3030693 >= -50 @ 259.862
261.49/262.48	c bounds 3016021 >= -50 @ 259.922
261.59/262.54	c bounds 3008853 >= -50 @ 259.973
261.59/262.55	c bounds 2985255 >= -50 @ 259.99
261.59/262.59	c bounds 2984973 >= -50 @ 260.023
261.69/262.61	c bounds 2981223 >= -50 @ 260.046
261.69/262.67	c bounds 2979525 >= -50 @ 260.109
262.19/263.15	c bounds 2977151 >= -50 @ 260.583
262.28/263.20	c bounds 2957869 >= -50 @ 260.629
262.88/263.80	c #Conflicts:     104000 | #Constraints:      15070
262.88/263.80	c bounds 2956709 >= -50 @ 261.228
262.88/263.83	c bounds 2947171 >= -50 @ 261.253
263.48/264.49	c bounds 2938357 >= -50 @ 261.906
280.62/281.65	c #Conflicts:     105000 | #Constraints:      16102
280.62/281.65	c #Conflicts:     106000 | #Constraints:      17102
280.62/281.65	c #Conflicts:     107000 | #Constraints:      18102
280.62/281.65	c #Conflicts:     108000 | #Constraints:      19102
280.62/281.65	c #Conflicts:     109000 | #Constraints:      20102
280.62/281.65	c #Conflicts:     110000 | #Constraints:      21104
280.62/281.65	c INPROCESSING
280.62/281.65	c GARBAGE COLLECT
280.62/281.65	c rational objective 1.4955e+06
302.95/304.06	c #Conflicts:     111000 | #Constraints:      15388
302.95/304.06	c #Conflicts:     112000 | #Constraints:      16389
302.95/304.06	c #Conflicts:     113000 | #Constraints:      17390
302.95/304.06	c #Conflicts:     114000 | #Constraints:      18391
302.95/304.06	c #Conflicts:     115000 | #Constraints:      19391
302.95/304.06	c #Conflicts:     116000 | #Constraints:      20392
302.95/304.06	c #Conflicts:     117000 | #Constraints:      21394
302.95/304.06	c INPROCESSING
302.95/304.06	c GARBAGE COLLECT
302.95/304.06	c rational objective 1.4957e+06
343.71/344.95	c #Conflicts:     118000 | #Constraints:      15542
343.71/344.95	c #Conflicts:     119000 | #Constraints:      16546
343.71/344.95	c #Conflicts:     120000 | #Constraints:      17556
343.71/344.95	c #Conflicts:     121000 | #Constraints:      18571
343.71/344.95	c #Conflicts:     122000 | #Constraints:      19573
343.71/344.95	c #Conflicts:     123000 | #Constraints:      20576
343.71/344.95	c #Conflicts:     124000 | #Constraints:      21577
343.71/344.95	c INPROCESSING
343.71/344.95	c GARBAGE COLLECT
343.71/344.95	c #Conflicts:     125000 | #Constraints:      15534
343.71/344.95	c #Conflicts:     126000 | #Constraints:      16535
343.71/344.95	c #Conflicts:     127000 | #Constraints:      17535
343.71/344.95	c #Conflicts:     128000 | #Constraints:      18535
343.71/344.95	c #Conflicts:     129000 | #Constraints:      19535
343.71/344.95	c #Conflicts:     130000 | #Constraints:      20536
343.71/344.95	c #Conflicts:     131000 | #Constraints:      21538
343.71/344.95	c INPROCESSING
343.71/344.95	c GARBAGE COLLECT
343.71/344.95	c rational objective 1.49628e+06
369.53/370.83	c #Conflicts:     132000 | #Constraints:      15273
369.53/370.83	c #Conflicts:     133000 | #Constraints:      16273
369.53/370.83	c #Conflicts:     134000 | #Constraints:      17273
369.53/370.83	c #Conflicts:     135000 | #Constraints:      18274
369.53/370.83	c #Conflicts:     136000 | #Constraints:      19275
369.53/370.83	c #Conflicts:     137000 | #Constraints:      20276
369.53/370.83	c #Conflicts:     138000 | #Constraints:      21276
369.53/370.83	c #Conflicts:     139000 | #Constraints:      22276
369.53/370.83	c INPROCESSING
369.53/370.83	c GARBAGE COLLECT
369.53/370.83	c rational objective 1.4963e+06
389.76/391.12	c #Conflicts:     140000 | #Constraints:      15819
389.76/391.12	c #Conflicts:     141000 | #Constraints:      16819
389.76/391.12	c #Conflicts:     142000 | #Constraints:      17819
389.76/391.12	c #Conflicts:     143000 | #Constraints:      18819
389.76/391.12	c #Conflicts:     144000 | #Constraints:      19819
389.76/391.12	c #Conflicts:     145000 | #Constraints:      20823
389.76/391.12	c #Conflicts:     146000 | #Constraints:      21829
389.76/391.12	c #Conflicts:     147000 | #Constraints:      22864
389.76/391.12	c INPROCESSING
389.76/391.12	c GARBAGE COLLECT
389.76/391.12	c bounds 2936745 >= -50 @ 387.519
389.76/391.18	c bounds 2935969 >= -50 @ 387.574
389.96/391.32	c bounds 2935875 >= -50 @ 387.709
389.96/391.33	c bounds 2934723 >= -50 @ 387.727
416.47/417.98	c #Conflicts:     148000 | #Constraints:      16262
416.47/417.98	c #Conflicts:     149000 | #Constraints:      17265
416.47/417.98	c #Conflicts:     150000 | #Constraints:      18265
416.47/417.98	c #Conflicts:     151000 | #Constraints:      19265
416.47/417.98	c #Conflicts:     152000 | #Constraints:      20265
416.47/417.98	c #Conflicts:     153000 | #Constraints:      21266
416.47/417.98	c #Conflicts:     154000 | #Constraints:      22268
416.47/417.98	c #Conflicts:     155000 | #Constraints:      23268
416.47/417.98	c INPROCESSING
416.47/417.98	c GARBAGE COLLECT
416.47/417.98	c rational objective 1.4963e+06
480.95/482.60	c #Conflicts:     156000 | #Constraints:      16440
480.95/482.60	c #Conflicts:     157000 | #Constraints:      17441
480.95/482.60	c #Conflicts:     158000 | #Constraints:      18442
480.95/482.60	c #Conflicts:     159000 | #Constraints:      19442
480.95/482.60	c #Conflicts:     160000 | #Constraints:      20473
480.95/482.60	c #Conflicts:     161000 | #Constraints:      21475
480.95/482.60	c #Conflicts:     162000 | #Constraints:      22476
480.95/482.60	c #Conflicts:     163000 | #Constraints:      23476
480.95/482.60	c INPROCESSING
480.95/482.60	c GARBAGE COLLECT
480.95/482.60	c #Conflicts:     164000 | #Constraints:      16326
480.95/482.60	c #Conflicts:     165000 | #Constraints:      17339
480.95/482.60	c #Conflicts:     166000 | #Constraints:      18342
480.95/482.60	c #Conflicts:     167000 | #Constraints:      19342
480.95/482.60	c #Conflicts:     168000 | #Constraints:      20343
480.95/482.60	c #Conflicts:     169000 | #Constraints:      21343
480.95/482.60	c #Conflicts:     170000 | #Constraints:      22343
480.95/482.60	c #Conflicts:     171000 | #Constraints:      23346
480.95/482.60	c INPROCESSING
480.95/482.60	c GARBAGE COLLECT
480.95/482.60	c rational objective 1.50449e+06
532.68/534.59	c #Conflicts:     172000 | #Constraints:      16230
532.68/534.59	c #Conflicts:     173000 | #Constraints:      17232
532.68/534.59	c #Conflicts:     174000 | #Constraints:      18236
532.68/534.59	c #Conflicts:     175000 | #Constraints:      19252
532.68/534.59	c #Conflicts:     176000 | #Constraints:      20252
532.68/534.59	c #Conflicts:     177000 | #Constraints:      21254
532.68/534.59	c #Conflicts:     178000 | #Constraints:      22262
532.68/534.59	c #Conflicts:     179000 | #Constraints:      23268
532.68/534.59	c #Conflicts:     180000 | #Constraints:      24280
532.68/534.59	c INPROCESSING
532.68/534.59	c GARBAGE COLLECT
532.68/534.59	c #Conflicts:     181000 | #Constraints:      16849
532.68/534.59	c #Conflicts:     182000 | #Constraints:      17849
532.68/534.59	c #Conflicts:     183000 | #Constraints:      18849
532.68/534.59	c #Conflicts:     184000 | #Constraints:      19849
532.68/534.59	c #Conflicts:     185000 | #Constraints:      20862
532.68/534.59	c #Conflicts:     186000 | #Constraints:      21928
532.68/534.59	c #Conflicts:     187000 | #Constraints:      22928
532.68/534.59	c #Conflicts:     188000 | #Constraints:      23928
532.68/534.59	c bounds 2930707 >= -50 @ 529.986
532.88/534.72	c bounds 2930043 >= -50 @ 530.108
533.08/534.96	c bounds 2929993 >= -50 @ 530.348
533.18/535.07	c bounds 2929975 >= -50 @ 530.455
536.37/538.21	c #Conflicts:     189000 | #Constraints:      24938
536.37/538.21	c INPROCESSING
536.37/538.21	c GARBAGE COLLECT
536.37/538.21	c rational objective 1.50632e+06
562.58/564.58	c #Conflicts:     190000 | #Constraints:      17317
562.58/564.58	c #Conflicts:     191000 | #Constraints:      18317
562.58/564.58	c #Conflicts:     192000 | #Constraints:      19317
562.58/564.58	c #Conflicts:     193000 | #Constraints:      20317
562.58/564.58	c #Conflicts:     194000 | #Constraints:      21317
562.58/564.58	c #Conflicts:     195000 | #Constraints:      22317
562.58/564.58	c #Conflicts:     196000 | #Constraints:      23317
562.58/564.58	c #Conflicts:     197000 | #Constraints:      24317
562.58/564.58	c #Conflicts:     198000 | #Constraints:      25317
562.58/564.58	c INPROCESSING
562.58/564.58	c GARBAGE COLLECT
562.58/564.58	c bounds 2900901 >= -50 @ 559.727
562.69/564.61	c bounds 2899749 >= -50 @ 559.751
597.36/599.49	c #Conflicts:     199000 | #Constraints:      17450
597.36/599.49	c #Conflicts:     200000 | #Constraints:      18450
597.36/599.49	c #Conflicts:     201000 | #Constraints:      19450
597.36/599.49	c #Conflicts:     202000 | #Constraints:      20500
597.36/599.49	c #Conflicts:     203000 | #Constraints:      21573
597.36/599.49	c #Conflicts:     204000 | #Constraints:      22643
597.36/599.49	c #Conflicts:     205000 | #Constraints:      23757
597.36/599.49	c #Conflicts:     206000 | #Constraints:      24788
597.36/599.49	c #Conflicts:     207000 | #Constraints:      25832
597.36/599.49	c INPROCESSING
597.36/599.49	c GARBAGE COLLECT
597.36/599.49	WSVECS04 Frhs2[1]: 6 0 936676 shouldn't be
597.36/599.49	WSVECS04 Frhs2[3]: 6 0 162915 shouldn't be
597.36/599.49	WSVECS04 Frhs2[9]: 6 0 1.21372e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[11]: 6 0 262886 shouldn't be
597.36/599.49	WSVECS04 Frhs2[22]: 6 0 523334 shouldn't be
597.36/599.49	WSVECS04 Frhs2[23]: 6 0 902974 shouldn't be
597.36/599.49	WSVECS04 Frhs2[26]: 6 0 888282 shouldn't be
597.36/599.49	WSVECS04 Frhs2[46]: 6 0 3.97643e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[51]: 6 0 662356 shouldn't be
597.36/599.49	WSVECS04 Frhs2[66]: 6 0 249065 shouldn't be
597.36/599.49	WSVECS04 Frhs2[77]: 6 0 326372 shouldn't be
597.36/599.49	WSVECS04 Frhs2[119]: 6 0 177718 shouldn't be
597.36/599.49	WSVECS04 Frhs2[121]: 6 0 249332 shouldn't be
597.36/599.49	WSVECS04 Frhs2[123]: 6 0 653421 shouldn't be
597.36/599.49	WSVECS04 Frhs2[136]: 6 0 245074 shouldn't be
597.36/599.49	WSVECS04 Frhs2[141]: 6 0 177169 shouldn't be
597.36/599.49	WSVECS04 Frhs2[144]: 6 0 22752.2 shouldn't be
597.36/599.49	WSVECS04 Frhs2[146]: 6 0 86725.4 shouldn't be
597.36/599.49	WSVECS04 Frhs2[150]: 6 0 571703 shouldn't be
597.36/599.49	WSVECS04 Frhs2[163]: 6 0 737120 shouldn't be
597.36/599.49	WSVECS04 Frhs2[179]: 6 0 501365 shouldn't be
597.36/599.49	WSVECS04 Frhs2[180]: 6 0 819380 shouldn't be
597.36/599.49	WSVECS04 Frhs2[185]: 6 0 149749 shouldn't be
597.36/599.49	WSVECS04 Frhs2[186]: 6 0 154594 shouldn't be
597.36/599.49	WSVECS04 Frhs2[193]: 6 0 154223 shouldn't be
597.36/599.49	WSVECS04 Frhs2[195]: 6 0 734120 shouldn't be
597.36/599.49	WSVECS04 Frhs2[197]: 6 0 711757 shouldn't be
597.36/599.49	WSVECS04 Frhs2[199]: 6 0 197471 shouldn't be
597.36/599.49	WSVECS04 Frhs2[201]: 6 0 669371 shouldn't be
597.36/599.49	WSVECS04 Frhs2[217]: 6 0 171099 shouldn't be
597.36/599.49	WSVECS04 Frhs2[223]: 6 0 193677 shouldn't be
597.36/599.49	WSVECS04 Frhs2[226]: 6 0 278153 shouldn't be
597.36/599.49	WSVECS04 Frhs2[230]: 6 0 165934 shouldn't be
597.36/599.49	WSVECS04 Frhs2[235]: 6 0 153633 shouldn't be
597.36/599.49	WSVECS04 Frhs2[236]: 6 0 161025 shouldn't be
597.36/599.49	WSVECS04 Frhs2[243]: 6 0 151476 shouldn't be
597.36/599.49	WSVECS04 Frhs2[266]: 6 0 152960 shouldn't be
597.36/599.49	WSVECS04 Frhs2[269]: 6 0 133149 shouldn't be
597.36/599.49	WSVECS04 Frhs2[277]: 6 0 342860 shouldn't be
597.36/599.49	WSVECS04 Frhs2[284]: 6 0 648638 shouldn't be
597.36/599.49	WSVECS04 Frhs2[286]: 6 0 176300 shouldn't be
597.36/599.49	WSVECS04 Frhs2[289]: 6 -2.57091e+06 0 shouldn't be
597.36/599.49	WSVECS04 Frhs2[293]: 6 0 172955 shouldn't be
597.36/599.49	WSVECS04 Frhs2[294]: 6 0 9185.27 shouldn't be
597.36/599.49	WSVECS04 Frhs2[299]: 6 0 306030 shouldn't be
597.36/599.49	WSVECS04 Frhs2[300]: 6 0 258540 shouldn't be
597.36/599.49	WSVECS04 Frhs2[309]: 6 0 1.79748e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[325]: 6 0 1.31769e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[367]: 6 0 332927 shouldn't be
597.36/599.49	WSVECS04 Frhs2[373]: 6 0 695981 shouldn't be
597.36/599.49	WSVECS04 Frhs2[385]: 6 0 130227 shouldn't be
597.36/599.49	WSVECS04 Frhs2[386]: 6 0 131935 shouldn't be
597.36/599.49	WSVECS04 Frhs2[389]: 6 0 12540 shouldn't be
597.36/599.49	WSVECS04 Frhs2[393]: 6 0 124576 shouldn't be
597.36/599.49	WSVECS04 Frhs2[397]: 6 0 695358 shouldn't be
597.36/599.49	WSVECS04 Frhs2[399]: 6 0 233327 shouldn't be
597.36/599.49	WSVECS04 Frhs2[426]: 6 0 72571.6 shouldn't be
597.36/599.49	WSVECS04 Frhs2[427]: 6 0 992238 shouldn't be
597.36/599.49	WSVECS04 Frhs2[435]: 6 0 367920 shouldn't be
597.36/599.49	WSVECS04 Frhs2[445]: 6 0 860565 shouldn't be
597.36/599.49	WSVECS04 Frhs2[449]: 6 0 325189 shouldn't be
597.36/599.49	WSVECS04 Frhs2[450]: 6 0 374375 shouldn't be
597.36/599.49	WSVECS04 Frhs2[459]: 6 0 1.79292e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[475]: 6 0 1.26996e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[484]: 6 0 154672 shouldn't be
597.36/599.49	WSVECS04 Frhs2[485]: 6 0 145674 shouldn't be
597.36/599.49	WSVECS04 Frhs2[491]: 6 0 214226 shouldn't be
597.36/599.49	WSVECS04 Frhs2[502]: 6 0 829400 shouldn't be
597.36/599.49	WSVECS04 Frhs2[521]: 6 0 264323 shouldn't be
597.36/599.49	WSVECS04 Frhs2[530]: 6 0 793400 shouldn't be
597.36/599.49	WSVECS04 Frhs2[533]: 6 0 2184.99 shouldn't be
597.36/599.49	WSVECS04 Frhs2[534]: 6 0 178465 shouldn't be
597.36/599.49	WSVECS04 Frhs2[541]: 6 0 189694 shouldn't be
597.36/599.49	WSVECS04 Frhs2[544]: 6 0 108551 shouldn't be
597.36/599.49	WSVECS04 Frhs2[547]: 6 0 708530 shouldn't be
597.36/599.49	WSVECS04 Frhs2[558]: 6 0 577417 shouldn't be
597.36/599.49	WSVECS04 Frhs2[562]: 6 0 844615 shouldn't be
597.36/599.49	WSVECS04 Frhs2[563]: 6 0 604073 shouldn't be
597.36/599.49	WSVECS04 Frhs2[566]: 6 0 81242 shouldn't be
597.36/599.49	WSVECS04 Frhs2[576]: 6 0 1.31763e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[579]: 6 0 92663 shouldn't be
597.36/599.49	WSVECS04 Frhs2[580]: 6 0 752315 shouldn't be
597.36/599.49	WSVECS04 Frhs2[585]: 6 0 593741 shouldn't be
597.36/599.49	WSVECS04 Frhs2[586]: 6 0 139621 shouldn't be
597.36/599.49	WSVECS04 Frhs2[593]: 6 0 139542 shouldn't be
597.36/599.49	WSVECS04 Frhs2[595]: 6 0 600545 shouldn't be
597.36/599.49	WSVECS04 Frhs2[597]: 6 0 132982 shouldn't be
597.36/599.49	WSVECS04 Frhs2[599]: 6 0 868064 shouldn't be
597.36/599.49	WSVECS04 Frhs2[601]: 6 0 665536 shouldn't be
597.36/599.49	WSVECS04 Frhs2[621]: 6 0 206832 shouldn't be
597.36/599.49	WSVECS04 Frhs2[633]: 6 0 429.988 shouldn't be
597.36/599.49	WSVECS04 Frhs2[641]: 6 0 143614 shouldn't be
597.36/599.49	WSVECS04 Frhs2[644]: 6 0 55257.9 shouldn't be
597.36/599.49	WSVECS04 Frhs2[650]: 6 0 77432.3 shouldn't be
597.36/599.49	WSVECS04 Frhs2[673]: 6 0 458189 shouldn't be
597.36/599.49	WSVECS04 Frhs2[683]: 6 0 2184.99 shouldn't be
597.36/599.49	WSVECS04 Frhs2[684]: 6 0 186737 shouldn't be
597.36/599.49	WSVECS04 Frhs2[689]: 6 0 4615 shouldn't be
597.36/599.49	WSVECS04 Frhs2[691]: 6 0 266259 shouldn't be
597.36/599.49	WSVECS04 Frhs2[697]: 6 0 686392 shouldn't be
597.36/599.49	WSVECS04 Frhs2[707]: 6 0 169941 shouldn't be
597.36/599.49	WSVECS04 Frhs2[741]: 6 0 185914 shouldn't be
597.36/599.49	WSVECS04 Frhs2[744]: 6 0 36827.8 shouldn't be
597.36/599.49	WSVECS04 Frhs2[775]: 6 0 3.17774e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[780]: 6 0 708384 shouldn't be
597.36/599.49	WSVECS04 Frhs2[784]: 6 0 206071 shouldn't be
597.36/599.49	WSVECS04 Frhs2[785]: 6 0 178105 shouldn't be
597.36/599.49	WSVECS04 Frhs2[786]: 6 0 177574 shouldn't be
597.36/599.49	WSVECS04 Frhs2[789]: 6 0 21535 shouldn't be
597.36/599.49	WSVECS04 Frhs2[791]: 6 0 167718 shouldn't be
597.36/599.49	WSVECS04 Frhs2[793]: 6 0 168235 shouldn't be
597.36/599.49	WSVECS04 Frhs2[794]: 6 0 83531.7 shouldn't be
597.36/599.49	WSVECS04 Frhs2[795]: 6 0 156292 shouldn't be
597.36/599.49	WSVECS04 Frhs2[797]: 6 0 173370 shouldn't be
597.36/599.49	WSVECS04 Frhs2[800]: 6 -308701 0 shouldn't be
597.36/599.49	WSVECS04 Frhs2[802]: 6 0 703268 shouldn't be
597.36/599.49	WSVECS04 Frhs2[821]: 6 0 30938.3 shouldn't be
597.36/599.49	WSVECS04 Frhs2[822]: 6 0 746719 shouldn't be
597.36/599.49	WSVECS04 Frhs2[827]: 6 0 453505 shouldn't be
597.36/599.49	WSVECS04 Frhs2[835]: 6 0 147767 shouldn't be
597.36/599.49	WSVECS04 Frhs2[841]: 6 0 96976.7 shouldn't be
597.36/599.49	WSVECS04 Frhs2[844]: 6 0 20924.8 shouldn't be
597.36/599.49	WSVECS04 Frhs2[864]: 6 0 576 shouldn't be
597.36/599.49	WSVECS04 Frhs2[865]: 6 -6084 0 shouldn't be
597.36/599.49	WSVECS04 Frhs2[868]: 6 -8649 0 shouldn't be
597.36/599.49	WSVECS04 Frhs2[877]: 6 0 348177 shouldn't be
597.36/599.49	WSVECS04 Frhs2[881]: 6 -5.4097e+06 0 shouldn't be
597.36/599.49	WSVECS04 Frhs2[884]: 6 0 315400 shouldn't be
597.36/599.49	WSVECS04 Frhs2[886]: 6 0 164938 shouldn't be
597.36/599.49	WSVECS04 Frhs2[891]: 6 0 158432 shouldn't be
597.36/599.49	WSVECS04 Frhs2[893]: 6 0 158698 shouldn't be
597.36/599.49	WSVECS04 Frhs2[897]: 6 0 690616 shouldn't be
597.36/599.49	WSVECS04 Frhs2[898]: 6 -819821 0 shouldn't be
597.36/599.49	WSVECS04 Frhs2[899]: 6 0 207297 shouldn't be
597.36/599.49	WSVECS04 Frhs2[908]: 6 0 808391 shouldn't be
597.36/599.49	WSVECS04 Frhs2[913]: 6 0 1.01057e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[930]: 6 0 749987 shouldn't be
597.36/599.49	WSVECS04 Frhs2[935]: 6 0 152913 shouldn't be
597.36/599.49	WSVECS04 Frhs2[978]: 6 0 280145 shouldn't be
597.36/599.49	WSVECS04 Frhs2[989]: 6 0 178165 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1033]: 6 0 236030 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1039]: 6 0 146977 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1048]: 6 0 1.12702e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1067]: 6 0 25516.5 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1083]: 6 0 1874.75 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1089]: 6 0 8256 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1103]: 6 0 459551 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1106]: 6 0 169534 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1107]: 6 0 566238 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1109]: 6 0 1.40718e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1116]: 6 0 110430 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1119]: 6 0 16328.8 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1121]: 6 0 18043.8 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1122]: 6 0 567186 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1125]: 6 0 2.83649e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1127]: 6 0 216290 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1130]: 6 0 686568 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1134]: 6 0 157525 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1135]: 6 0 166905 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1136]: 6 0 161649 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1139]: 6 -262849 0 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1141]: 6 0 19435.8 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1143]: 6 0 156045 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1144]: 6 0 15547.8 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1148]: 6 0 1.00238e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1149]: 6 0 202302 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1163]: 6 0 1.10347e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1172]: 6 0 1.79837e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1173]: 6 0 529537 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1195]: 6 0 1.22736e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1196]: 6 0 170389 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1197]: 6 0 1.09734e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1225]: 6 0 5.00199e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1234]: 6 0 158797 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1239]: 6 -4.08519e+06 0 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1250]: 6 -3.6837e+06 0 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1257]: 6 0 566017 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1259]: 6 0 1.79564e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1283]: 6 0 78740 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1284]: 6 0 428506 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1314]: 6 0 435 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1341]: 6 0 165025 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1343]: 6 0 164455 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1352]: 6 0 766105 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1359]: 6 0 2.38811e+06 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1389]: 6 0 98201.9 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1391]: 6 0 136846 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1412]: 6 0 551831 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1417]: 6 0 16468.5 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1436]: 6 0 171946 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1438]: 6 0 160641 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1443]: 6 0 173156 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1449]: 6 0 258451 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1451]: 6 0 668803 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1467]: 6 0 16681.5 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1489]: 6 0 17980 shouldn't be
597.36/599.49	WSVECS04 Frhs2[1493]: 6 0 174016 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1497]: 6 0 734306 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1499]: 6 0 264655 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1509]: 6 0 1.79844e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1525]: 6 0 5.00602e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1527]: 6 0 743020 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1541]: 6 0 146125 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1543]: 6 0 149275 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1544]: 6 0 46271.7 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1567]: 6 0 14228.5 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1575]: 6 0 5.00229e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1589]: 6 -292756 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1591]: 6 0 462583 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1593]: 6 0 153039 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1594]: 6 0 51401.9 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1604]: 6 -15625 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1609]: 6 0 2.24918e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1631]: 6 0 440319 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1635]: 6 -10816 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1638]: 6 -4096 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1641]: 6 0 165677 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1642]: 6 -1.21384e+06 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1643]: 6 0 162715 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1657]: 6 0 685538 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1667]: 6 0 330358 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1709]: 6 0 1.78788e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1752]: 6 0 832507 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1794]: 6 0 108332 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1825]: 6 0 2.35789e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1839]: 6 -11449 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1867]: 6 0 23017.5 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1897]: 6 0 725633 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1899]: 6 0 268601 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1907]: 6 0 179301 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1934]: 6 0 32026 shouldn't be
597.36/599.50	WSVECS04 Frhs2[1951]: 6 0 665843 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2047]: 6 0 183214 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2049]: 6 0 156016 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2050]: 6 -316550 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2107]: 6 0 378870 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2127]: 6 0 129013 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2129]: 6 0 2.57529e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2157]: 6 0 170732 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2207]: 6 0 128712 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2211]: 6 0 126410 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2219]: 6 0 131706 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2221]: 6 0 223667 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2234]: 6 0 172321 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2239]: 6 -268629 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2241]: 6 0 141429 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2244]: 6 0 44750.7 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2252]: 6 0 768808 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2255]: 6 0 90011.1 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2266]: 6 -8836 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2270]: 6 -16900 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2273]: 6 0 560533 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2281]: 6 0 442299 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2285]: 6 -4489 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2291]: 6 -23104 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2296]: 6 -11449 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2313]: 6 0 824334 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2326]: 6 0 1.25557e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2333]: 6 0 14158 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2334]: 6 0 158797 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2335]: 6 0 268786 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2336]: 6 0 173130 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2339]: 6 0 15087 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2343]: 6 0 162119 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2344]: 6 0 65794.4 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2349]: 6 0 241425 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2361]: 6 0 175993 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2366]: 6 0 92129.6 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2369]: 6 0 189741 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2371]: 6 0 264747 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2372]: 6 0 187770 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2380]: 6 0 789611 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2384]: 6 0 177521 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2391]: 6 0 189246 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2394]: 6 0 109632 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2425]: 6 0 3.16573e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2427]: 6 0 434959 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2433]: 6 0 238562 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2439]: 6 -8169 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2451]: 6 0 633556 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2462]: 6 0 399551 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2466]: 6 0 692030 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2467]: 6 0 330929 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2471]: 6 0 193907 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2473]: 6 0 731799 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2480]: 6 0 1.87703e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2485]: 6 0 143225 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2491]: 6 0 133626 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2493]: 6 0 233612 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2494]: 6 0 51211.7 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2499]: 6 0 34829.4 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2511]: 6 0 149833 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2516]: 6 0 91293.6 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2519]: 6 0 156045 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2522]: 6 0 1.12369e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2527]: 6 0 244577 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2535]: 6 0 156774 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2536]: 6 0 244691 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2543]: 6 0 139675 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2544]: 6 0 68159.7 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2551]: 6 0 7.14464e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2552]: 6 0 1.73155e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2554]: 6 0 2.75333e+07 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2558]: 6 0 2.88953e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2568]: 6 0 4.03074e+07 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2569]: 6 0 6.27463e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2571]: 6 0 4.06704e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2575]: 6 -2.89177e+07 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2576]: 6 0 1.14563e+07 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2577]: 6 0 1.36346e+07 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2585]: 6 0 6.58988e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2586]: 6 0 7.03653e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2588]: 6 0 8.4439e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2591]: 6 0 9.53525e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2593]: 6 0 6.70758e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2629]: 6 0 93984.4 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2795]: 6 0 3.9504e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2797]: 6 0 766149 shouldn't be
597.36/599.50	WSVECS04 Frhs2[2936]: 6 0 104518 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3094]: 6 0 240273 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3112]: 6 0 3.978e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3195]: 6 0 444150 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3244]: 6 0 165499 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3294]: 6 0 223829 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3350]: 6 0 2901.78 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3384]: 6 0 1.88758e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3433]: 6 -2.9655e+06 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3439]: 6 -290928 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3450]: 6 0 178873 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3889]: 6 -2.28738e+06 0 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3986]: 6 0 742907 shouldn't be
597.36/599.50	WSVECS04 Frhs2[3993]: 6 0 309344 shouldn't be
597.36/599.50	WSVECS04 Frhs2[4050]: 6 0 80715.4 shouldn't be
597.36/599.50	WSVECS04 Frhs2[4207]: 6 0 27782.5 shouldn't be
597.36/599.50	WSVECS04 Frhs2[4344]: 6 0 227194 shouldn't be
597.36/599.50	WSVECS04 Frhs2[4765]: 6 0 1.56311e+06 shouldn't be
597.36/599.50	WSVECS04 Frhs2[5047]: 6 0 408532 shouldn't be
628.46/630.64	c #Conflicts:     208000 | #Constraints:      17624
628.46/630.64	c #Conflicts:     209000 | #Constraints:      18624
628.46/630.64	c #Conflicts:     210000 | #Constraints:      19626
628.46/630.64	c #Conflicts:     211000 | #Constraints:      20628
628.46/630.64	c #Conflicts:     212000 | #Constraints:      21628
628.46/630.64	c #Conflicts:     213000 | #Constraints:      22630
628.46/630.64	c #Conflicts:     214000 | #Constraints:      23637
628.46/630.64	c #Conflicts:     215000 | #Constraints:      24638
628.46/630.64	c #Conflicts:     216000 | #Constraints:      25639
628.46/630.64	c INPROCESSING
628.46/630.64	c GARBAGE COLLECT
628.46/630.64	c rational objective 1.51158e+06
730.52/733.01	c #Conflicts:     217000 | #Constraints:      17327
730.52/733.01	c #Conflicts:     218000 | #Constraints:      18327
730.52/733.01	c #Conflicts:     219000 | #Constraints:      19327
730.52/733.01	c #Conflicts:     220000 | #Constraints:      20327
730.52/733.01	c #Conflicts:     221000 | #Constraints:      21327
730.52/733.01	c #Conflicts:     222000 | #Constraints:      22327
730.52/733.01	c #Conflicts:     223000 | #Constraints:      23327
730.52/733.01	c #Conflicts:     224000 | #Constraints:      24327
730.52/733.01	c #Conflicts:     225000 | #Constraints:      25327
730.52/733.01	c #Conflicts:     226000 | #Constraints:      26327
730.52/733.01	c INPROCESSING
730.52/733.01	c GARBAGE COLLECT
730.52/733.01	c #Conflicts:     227000 | #Constraints:      17882
730.52/733.01	c #Conflicts:     228000 | #Constraints:      18885
730.52/733.01	c #Conflicts:     229000 | #Constraints:      19901
730.52/733.01	c #Conflicts:     230000 | #Constraints:      20910
730.52/733.01	c #Conflicts:     231000 | #Constraints:      21924
730.52/733.01	c #Conflicts:     232000 | #Constraints:      22941
730.52/733.01	c #Conflicts:     233000 | #Constraints:      23944
730.52/733.01	c #Conflicts:     234000 | #Constraints:      24945
730.52/733.01	c #Conflicts:     235000 | #Constraints:      25947
730.52/733.01	c #Conflicts:     236000 | #Constraints:      26947
730.52/733.01	c INPROCESSING
730.52/733.01	c GARBAGE COLLECT
730.52/733.01	c #Conflicts:     237000 | #Constraints:      18270
730.52/733.01	c #Conflicts:     238000 | #Constraints:      19277
730.52/733.01	c #Conflicts:     239000 | #Constraints:      20279
730.52/733.01	c #Conflicts:     240000 | #Constraints:      21281
730.52/733.01	c #Conflicts:     241000 | #Constraints:      22283
730.52/733.01	c #Conflicts:     242000 | #Constraints:      23287
730.52/733.01	c #Conflicts:     243000 | #Constraints:      24287
730.52/733.01	c #Conflicts:     244000 | #Constraints:      25288
730.52/733.01	c #Conflicts:     245000 | #Constraints:      26290
730.52/733.01	c #Conflicts:     246000 | #Constraints:      27292
730.52/733.01	c INPROCESSING
730.52/733.01	c GARBAGE COLLECT
730.52/733.01	c rational objective 1.5176e+06
737.20/739.78	c #Conflicts:     247000 | #Constraints:      18465
737.20/739.78	c #Conflicts:     248000 | #Constraints:      19466
737.20/739.78	c bounds 2899749 >= 2899749 @ 733.642
737.20/739.78	c cpu time 733.642 s
737.20/739.78	c deterministic time 93545035468 9.35e+10
737.20/739.78	c optimization time 0.212785 s
737.20/739.78	c total solve time 733.396 s
737.20/739.78	c core-guided solve time 440.21 s
737.20/739.78	c propagation time 447.084 s
737.20/739.78	c conflict analysis time 181.896 s
737.20/739.78	c propagations 41089733
737.20/739.78	c resolve steps 4348793
737.20/739.78	c decisions 653404
737.20/739.78	c conflicts 248213
737.20/739.78	c restarts 573
737.20/739.78	c inprocessing phases 41
737.20/739.78	c garbage collections 41 ,( 100.00 )
737.20/739.78	c input clauses 11126 ,( 87.59 )
737.20/739.78	c input cardinalities 9 ,( 0.07 )
737.20/739.78	c input general constraints 1568 ,( 12.34 )
737.20/739.78	c input average constraint length 55.37
737.20/739.78	c input average constraint degree 46962748.57
737.20/739.78	c learned clauses 33379 ,( 13.34 )
737.20/739.78	c learned cardinalities 459 ,( 0.18 )
737.20/739.78	c learned general constraints 216469 ,( 86.48 )
737.20/739.78	c learned average constraint length 1218.61
737.20/739.78	c learned average constraint degree 15022714292.11
737.20/739.78	c watched  CF 32, 64, 128, Arb: 6594 , 0 , 0 , 0
737.20/739.78	c counting CF 32, 64, 128, Arb: 211444 , 0 , 0 , 0
737.20/739.78	c watched   constraints 6594 ,( 3.02 ) 
737.20/739.78	c counting  constraints 211443 ,( 96.98 ) 
737.20/739.78	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 33377636 , 6684451 , 1512538617 ,( 6629788 , 1505908829 )
737.20/739.78	c gcd simplifications 5469
737.20/739.78	c detected cardinalities 43
737.20/739.78	c weakened non-implied lits 187686353
737.20/739.78	c weakened non-implying lits 1475753
737.20/739.78	c original variables 5100
737.20/739.78	c clausal propagations 26187330
737.20/739.78	c cardinality propagations 655118
737.20/739.78	c watched propagations 140318
737.20/739.78	c counting propagations 13655408
737.20/739.78	c watch lookups 20237162931
737.20/739.78	c watch backjump lookups 0
737.20/739.78	c watch checks 400690654
737.20/739.78	c propagation checks 71779362048
737.20/739.78	c constraint additions 1043583763
737.20/739.78	c trail pops 41987763
737.20/739.78	c formula constraints 12510
737.20/739.78	c learned constraints 247947
737.20/739.78	c bound constraints 193
737.20/739.78	c core-guided constraints 0
737.20/739.78	c encountered formula constraints 3614702
737.20/739.78	c encountered learned constraints 870753
737.20/739.78	c encountered bound constraints 5549
737.20/739.78	c encountered core-guided constraints 0
737.20/739.78	c LP total time 161.934 s
737.20/739.78	c LP solve time 146.49 s
737.20/739.78	c LP constraints added 12588
737.20/739.78	c LP constraints removed 54
737.20/739.78	c LP pivots internal 252993
737.20/739.78	c LP pivots root 252178
737.20/739.78	c LP calls 2161
737.20/739.78	c LP optimalities 53
737.20/739.78	c LP no pivot count 0
737.20/739.78	c LP infeasibilities 2090
737.20/739.78	c LP valid Farkas constraints 2079
737.20/739.78	c LP learned Farkas constraints 265
737.20/739.78	c LP basis resets 24
737.20/739.78	c LP cycling count 0
737.20/739.78	c LP singular count 13
737.20/739.78	c LP no primal count 0
737.20/739.78	c LP no farkas count 11
737.20/739.78	c LP other issue count 0
737.20/739.78	c LP Gomory cuts 16
737.20/739.78	c LP learned cuts 62
737.20/739.78	c LP deleted cuts 54
737.20/739.78	c LP encountered Gomory constraints 0
737.20/739.78	c LP encountered Farkas constraints 103582
737.20/739.78	c LP encountered learned Farkas constraints 2155
737.20/739.78	c CG auxiliary variables introduced 0
737.20/739.78	c CG solutions found 192
737.20/739.78	c CG cores constructed 0
737.20/739.78	c CG core cardinality constraints returned 0
737.20/739.78	c CG unit cores 0
737.20/739.78	c CG single cores 0
737.20/739.78	c CG blocks removed during cardinality reduction 0
737.20/739.78	c CG first core best 0
737.20/739.78	c CG decision core best 0
737.20/739.78	c CG core reduction tie 0
737.20/739.78	c CG core degree average 0.00
737.20/739.78	c CG core slack average 0.00
737.20/739.78	c CG core upper bound improvements 0
737.20/739.78	c STR number of successful calls 0
737.20/739.78	c STR number of unsuccessful calls 0
737.20/739.78	c STR number of inconclusive calls 0
737.20/739.78	c STR number of successful attempts 0
737.20/739.78	c STR number of unsuccessful attempts 0
737.20/739.78	c STR number of inconclusive attempts 0
737.20/739.78	c STR average degree increase per successful call inf
737.20/739.78	c STR average degree increase per successful attempt inf
737.20/739.78	c STR total number of conflicts for successful attempts 0
737.20/739.78	c STR total number of conflicts for unsuccessful attempts 0
737.20/739.78	c STR total number of conflicts for inconclusive attempts 0
737.20/739.78	c STR average number of conflicts per successful attempt inf
737.20/739.78	c STR average number of conflicts per unsuccessful attempt inf
737.20/739.78	c STR average number of conflicts per inconclusive attempt inf
737.20/739.78	c AVG.sumWPerc 93.70 
737.20/739.78	c bigint constraints 0 
737.20/739.78	o 2899749
737.20/739.78	s OPTIMUM FOUND
737.20/739.78	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

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (50934 MiB free)
  memory of node 1: 64465 MiB (55981 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503884-1751448074/watcher-4503884-1751448074 -o /tmp/evaluation-result-4503884-1751448074/solver-4503884-1751448074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751440844-62656 --watchdog 3760 run-opt-ls.sh HOME/instance-4503884-1751448074.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100068 s]*
/proc/loadavg: 4.12 4.12 4.09 5/266 63609
/proc/meminfo: memFree=109478896/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=70976 memory=26948 CPUtime=0.05 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 4286 0 0 0 3 2 0 0 20 0 1 0 60486013 72679424 6737 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 17744 6737 2336 1147 0 5171 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 75168 KiB
Current children cumulated memory: 30020 KiB

[startup+0.205781 s]*
/proc/loadavg: 4.12 4.12 4.09 4/266 63609
/proc/meminfo: memFree=109471084/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=78604 memory=34372 CPUtime=0.16 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 6090 0 0 0 14 2 0 0 20 0 1 0 60486013 80490496 8593 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 19651 8593 2368 1147 0 7078 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 82796 KiB
Current children cumulated memory: 37444 KiB

[startup+0.305602 s]*
/proc/loadavg: 4.12 4.12 4.09 4/266 63609
/proc/meminfo: memFree=109471084/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=78800 memory=34756 CPUtime=0.25 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 6185 0 0 0 23 2 0 0 20 0 1 0 60486013 80691200 8689 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 19700 8689 2368 1147 0 7127 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 82992 KiB
Current children cumulated memory: 37828 KiB

[startup+0.700156 s]
/proc/loadavg: 4.12 4.12 4.09 4/266 63609
/proc/meminfo: memFree=109471084/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=80144 memory=35780 CPUtime=0.65 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 6466 0 0 0 62 3 0 0 20 0 1 0 60486013 82067456 8945 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 20036 8945 2368 1147 0 7463 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 84336 KiB
Current children cumulated memory: 38852 KiB

[startup+1.50019 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 63615
/proc/meminfo: memFree=109459384/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=106520 memory=61128 CPUtime=1.44 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 12262 0 0 0 139 5 0 0 20 0 1 0 60486013 109076480 15282 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 26630 15282 2400 1147 0 14057 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 110712 KiB
Current children cumulated memory: 64200 KiB

[startup+3.10534 s]
/proc/loadavg: 4.11 4.12 4.09 4/266 63642
/proc/meminfo: memFree=109437252/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=168368 memory=112156 CPUtime=3.05 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 22963 0 0 0 297 8 0 0 20 0 1 0 60486013 172408832 28039 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 42092 28039 2400 1147 0 29519 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 172560 KiB
Current children cumulated memory: 115228 KiB

[startup+6.30013 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 63648
/proc/meminfo: memFree=109341840/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=175548 memory=128768 CPUtime=6.23 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 25582 0 0 0 611 12 0 0 20 0 1 0 60486013 179761152 32192 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 43887 32192 2400 1147 0 31314 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 179740 KiB
Current children cumulated memory: 131840 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 63648
/proc/meminfo: memFree=109166840/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=243088 memory=179436 CPUtime=12.62 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 35681 0 0 0 1244 18 0 0 20 0 1 0 60486013 248922112 44859 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 60772 44859 2400 1147 0 48199 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 247280 KiB
Current children cumulated memory: 182508 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 63695
/proc/meminfo: memFree=111819388/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=315552 memory=233196 CPUtime=25.37 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 46645 0 0 0 2509 28 0 0 20 0 1 0 60486013 323125248 58299 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 78888 58299 2432 1147 0 66315 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 319744 KiB
Current children cumulated memory: 236268 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 63697
/proc/meminfo: memFree=111155984/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=400760 memory=312952 CPUtime=50.89 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 63590 0 0 0 5045 44 0 0 20 0 1 0 60486013 410378240 78238 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 100190 78238 2432 1147 0 87617 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 404952 KiB
Current children cumulated memory: 316024 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 63698
/proc/meminfo: memFree=110546784/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=467420 memory=388160 CPUtime=101.92 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 78807 0 0 0 10117 75 0 0 20 0 1 0 60486013 478638080 97040 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 116855 97040 2432 1147 0 104282 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 471612 KiB
Current children cumulated memory: 391232 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 63700
/proc/meminfo: memFree=110060636/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=517308 memory=432832 CPUtime=161.71 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 89912 0 0 0 16062 109 0 0 20 0 1 0 60486013 529723392 108208 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 129327 108208 2528 1147 0 116754 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 521500 KiB
Current children cumulated memory: 435904 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 63707
/proc/meminfo: memFree=109759388/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=679876 memory=531148 CPUtime=221.51 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 111960 0 0 0 22005 146 0 0 20 0 1 0 60486013 696193024 132787 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 169969 132787 2528 1147 0 157396 0
Current children cumulated CPU time: 221.52 s

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

/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=835052 memory=698768 CPUtime=460.71 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 145814 0 0 0 45823 248 0 0 20 0 1 0 60486013 855093248 174692 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 208763 174692 2528 1147 0 196190 0
Current children cumulated CPU time: 460.72 s
Current children cumulated vsize: 839244 KiB
Current children cumulated memory: 701840 KiB

[startup+522.3 s]
/proc/loadavg: 4.33 4.22 4.14 5/268 63719
/proc/meminfo: memFree=108858672/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=836604 memory=701584 CPUtime=520.51 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 146529 0 0 0 51780 271 0 0 20 0 1 0 60486013 856682496 175396 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 209151 175396 2528 1147 0 196578 0
Current children cumulated CPU time: 520.52 s
Current children cumulated vsize: 840796 KiB
Current children cumulated memory: 704656 KiB

[startup+582.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/268 63721
/proc/meminfo: memFree=108618580/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=925164 memory=761744 CPUtime=580.32 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 161609 0 0 0 57733 299 0 0 20 0 1 0 60486013 947367936 190436 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 231291 190436 2528 1147 0 218718 0
Current children cumulated CPU time: 580.33 s
Current children cumulated vsize: 929356 KiB
Current children cumulated memory: 764816 KiB

[startup+642.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/268 63726
/proc/meminfo: memFree=108467136/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=1034412 memory=799836 CPUtime=640.11 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 168067 0 0 0 63685 326 0 0 20 0 1 0 60486013 1059237888 199959 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 258603 199959 2528 1147 0 246030 0
Current children cumulated CPU time: 640.12 s
Current children cumulated vsize: 1038604 KiB
Current children cumulated memory: 802908 KiB

[startup+702.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/268 63729
/proc/meminfo: memFree=108159520/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=1040704 memory=807260 CPUtime=699.92 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 169915 0 0 0 69641 351 0 0 20 0 1 0 60486013 1065680896 201815 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 260176 201815 2528 1147 0 247603 0
Current children cumulated CPU time: 699.93 s
Current children cumulated vsize: 1044896 KiB
Current children cumulated memory: 810332 KiB

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

# cumulated CPU time of all completed processes:  user=733.661 s, system=3.69182 s

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

[startup+716.8 s]
/proc/loadavg: 4.10 4.15 4.12 5/268 63729
/proc/meminfo: memFree=108154844/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=1040704 memory=807260 CPUtime=714.36 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 169915 0 0 0 71082 354 0 0 20 0 1 0 60486013 1065680896 201815 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 260176 201815 2528 1147 0 247603 0
Current children cumulated CPU time: 714.37 s
Current children cumulated vsize: 1044896 KiB
Current children cumulated memory: 810332 KiB

[startup+729.6 s]
/proc/loadavg: 4.07 4.14 4.12 5/269 63731
/proc/meminfo: memFree=108147916/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=1040704 memory=807260 CPUtime=727.12 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 169922 0 0 0 72356 356 0 0 20 0 1 0 60486013 1065680896 201815 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 260176 201815 2528 1147 0 247603 0
Current children cumulated CPU time: 727.13 s
Current children cumulated vsize: 1044896 KiB
Current children cumulated memory: 810332 KiB

[startup+736 s]*
/proc/loadavg: 4.15 4.16 4.12 5/269 63731
/proc/meminfo: memFree=108148924/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=1040704 memory=807388 CPUtime=733.51 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 169925 0 0 0 72990 361 0 0 20 0 1 0 60486013 1065680896 201847 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 260176 201847 2528 1147 0 247603 0
Current children cumulated CPU time: 733.52 s
Current children cumulated vsize: 1044896 KiB
Current children cumulated memory: 810460 KiB

[startup+737.6 s]
/proc/loadavg: 4.14 4.15 4.12 5/269 63731
/proc/meminfo: memFree=108148924/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=1040704 memory=807388 CPUtime=735.1 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 169925 0 0 0 73147 363 0 0 20 0 1 0 60486013 1065680896 201847 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 260176 201847 2528 1147 0 247603 0
Current children cumulated CPU time: 735.11 s
Current children cumulated vsize: 1044896 KiB
Current children cumulated memory: 810460 KiB

[startup+739.2 s]
/proc/loadavg: 4.14 4.15 4.12 5/269 63732
/proc/meminfo: memFree=108148172/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=1040704 memory=807388 CPUtime=736.69 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 169925 0 0 0 73305 364 0 0 20 0 1 0 60486013 1065680896 201847 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 260176 201847 2528 1147 0 247603 0
Current children cumulated CPU time: 736.7 s
Current children cumulated vsize: 1044896 KiB
Current children cumulated memory: 810460 KiB

[startup+739.6 s]
/proc/loadavg: 4.14 4.15 4.12 5/269 63732
/proc/meminfo: memFree=108148172/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
[pid=63609] ppid=63606 vsize=1040704 memory=807388 CPUtime=737.09 cores=5,7
/proc/63609/stat : 63609 (roundingsat) R 63606 63606 62643 0 -1 4194304 169925 0 0 0 73345 364 0 0 20 0 1 0 60486013 1065680896 201847 18446744073709551615 4227072 8923433 140733725931968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26669056 140733725940038 140733725940264 140733725940264 140733725945834 0
/proc/63609/statm: 260176 201847 2528 1147 0 247603 0
Current children cumulated CPU time: 737.1 s
Current children cumulated vsize: 1044896 KiB
Current children cumulated memory: 810460 KiB

[startup+739.8 s]
/proc/loadavg: 4.14 4.15 4.12 5/269 63732
/proc/meminfo: memFree=108148172/131249996 swapFree=33010160/33010684
[pid=63606] ppid=63603 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/63606/stat : 63606 (run-opt-ls.sh) S 63603 63606 62643 0 -1 4194304 235 3460 0 0 0 0 1 0 20 0 1 0 60486010 4292608 768 18446744073709551615 94659457536000 94659458430533 140736180862768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94659458669584 94659458717328 94659484700672 140736180865383 140736180865509 140736180865509 140736180871111 0
/proc/63606/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 739.829
CPU time (s): 737.352
CPU user time (s): 733.661
CPU system time (s): 3.69182
CPU usage (%): 99.6653
Max. virtual memory (cumulated for all children) (KiB): 1044896
Max. memory (cumulated for all children) (KiB): 810460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 733.661
system time used= 3.69182
maximum resident set size= 807388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173643
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213
involuntary context switches= 4313


# summary of solver processes directly reported to runsolver:
#   pid: 63606
#   total CPU time (s): 737.352
#   total CPU user time (s): 733.661
#   total CPU system time (s): 3.69182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40172 second user time and 3.49519 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-02 11:21:14
IDJOB=4503884
IDBENCH=155610
IDSOLVER=3355
FILE ID=nodeC032/4503884-1751448074
RUNJOBID= nodeC032-1751440844-62656
SLURM_JOB_ID= 9598402
Free space on /tmp= 430948 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503884-1751448074/watcher-4503884-1751448074 -o /tmp/evaluation-result-4503884-1751448074/solver-4503884-1751448074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751440844-62656 --watchdog 3760  run-opt-ls.sh HOME/instance-4503884-1751448074.opb

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=1872573068

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        109483376 kB
MemAvailable:   124211560 kB
Buffers:            2728 kB
Cached:         15408236 kB
SwapCached:           20 kB
Active:          5786940 kB
Inactive:       15041068 kB
Active(anon):    5431824 kB
Inactive(anon):     3268 kB
Active(file):     355116 kB
Inactive(file): 15037800 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7684 kB
Writeback:             0 kB
AnonPages:       5419372 kB
Mapped:           113512 kB
Shmem:             18048 kB
KReclaimable:     349012 kB
Slab:             441736 kB
SReclaimable:     349012 kB
SUnreclaim:        92724 kB
KernelStack:        4336 kB
PageTables:        14288 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6717384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3022848 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431068 MiB
End job on nodeC032 at 2025-07-02 11:33:34