Trace number 4503792

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 63f22adOPT3367493 679.568 681.407

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
MD5SUM768a18ffa3b1a9fc42159a5899fb070e
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 benchmark3367493
Best CPU time to get the best result obtained on this benchmark88.7011
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 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
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-4503792-1751444535.opb'
0.00/0.02	c 	read 0.40MB  (5.98ms)
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.03	c	 [group: #orbits ~= 0] (9.48ms)
0.00/0.03	c 
0.00/0.03	c detect special group actions
0.00/0.03	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.13ms)
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] (2.09ms)
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-4503792-1751444535.opb.pre'
0.00/0.03	c 	wrote 0.41MB (1.11ms)
0.00/0.03	c ------------------------------------------------------------------
0.00/0.03	c                   9.48ms 46.30% approx_orbits
0.00/0.03	c                   5.97ms 29.17% parse
0.00/0.03	c                   2.09ms 10.21% detect_generic
0.00/0.03	c                   1.13ms  5.51% detect_special
0.00/0.03	c                   1.11ms  5.44% output
0.00/0.03	c                   0.52ms  2.52% other
0.00/0.03	c                   0.17ms  0.85% finalize_order
0.00/0.03	c         ───────────────────────────────────────────────
0.00/0.03	c                  20.48ms   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.10	c #variables 5100 #constraints 12510
0.00/0.10	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 87185645 >= -50 @ 0.090563
0.65/0.79	c bounds 87183119 >= -50 @ 0.708954
0.65/0.80	c bounds 87140087 >= -50 @ 0.713318
0.75/0.86	c bounds 87125541 >= -50 @ 0.771829
0.75/0.87	c bounds 87124701 >= -50 @ 0.785606
0.75/0.88	c bounds 87119507 >= -50 @ 0.798363
0.85/0.90	c bounds 47488877 >= -50 @ 0.814534
0.85/0.90	c bounds 47336891 >= -50 @ 0.818524
0.85/0.91	c bounds 47284313 >= -50 @ 0.82798
0.85/0.97	c bounds 47177819 >= -50 @ 0.88153
0.85/0.98	c bounds 47170241 >= -50 @ 0.890187
1.35/1.42	c bounds 39179221 >= -50 @ 1.31191
1.35/1.46	c bounds 39177565 >= -50 @ 1.35624
1.35/1.49	c bounds 39174991 >= -50 @ 1.37815
1.45/1.50	c bounds 39141007 >= -50 @ 1.39127
1.45/1.52	c bounds 39077181 >= -50 @ 1.40839
1.45/1.54	c bounds 39059211 >= -50 @ 1.42986
1.45/1.57	c bounds 39046451 >= -50 @ 1.46235
1.55/1.65	c bounds 38991213 >= -50 @ 1.53118
1.55/1.68	c bounds 38983773 >= -50 @ 1.56305
1.65/1.71	c bounds 38889757 >= -50 @ 1.59034
1.65/1.72	c bounds 38884061 >= -50 @ 1.60245
1.65/1.73	c bounds 38846749 >= -50 @ 1.61375
1.75/1.88	c bounds 38838021 >= -50 @ 1.75838
2.05/2.17	c bounds 20251189 >= -50 @ 2.03414
2.55/2.63	c bounds 20236399 >= -50 @ 2.48479
3.45/3.55	c #Conflicts:       1000 | #Constraints:      13535
3.45/3.55	c bounds 15566047 >= -50 @ 3.37739
3.45/3.56	c bounds 15547021 >= -50 @ 3.38746
3.45/3.57	c bounds 15512623 >= -50 @ 3.39848
3.45/3.58	c bounds 15484273 >= -50 @ 3.40866
3.54/3.60	c bounds 15481393 >= -50 @ 3.42324
3.54/3.61	c bounds 15465937 >= -50 @ 3.43505
3.54/3.62	c bounds 15462577 >= -50 @ 3.44531
3.54/3.66	c bounds 15457067 >= -50 @ 3.48729
3.54/3.69	c bounds 7328653 >= -50 @ 3.51595
3.65/3.74	c bounds 7320971 >= -50 @ 3.55835
3.65/3.75	c bounds 7295437 >= -50 @ 3.57227
3.65/3.76	c bounds 7287325 >= -50 @ 3.58074
3.65/3.77	c bounds 7281085 >= -50 @ 3.58709
3.74/3.80	c bounds 7255783 >= -50 @ 3.61619
3.74/3.81	c bounds 7249927 >= -50 @ 3.6267
3.85/3.90	c bounds 7229173 >= -50 @ 3.7128
3.85/3.94	c bounds 7215259 >= -50 @ 3.75485
3.85/3.95	c bounds 7163557 >= -50 @ 3.76248
3.85/3.96	c bounds 7163299 >= -50 @ 3.7706
3.85/3.98	c bounds 7136825 >= -50 @ 3.78918
3.85/3.99	c bounds 7130585 >= -50 @ 3.79954
5.14/5.23	c #Conflicts:       2000 | #Constraints:      14556
5.14/5.23	c INPROCESSING
5.14/5.23	c GARBAGE COLLECT
5.14/5.23	c bounds 7130119 >= -50 @ 5.02196
5.14/5.28	c bounds 7102403 >= -50 @ 5.06288
5.24/5.30	c bounds 7075523 >= -50 @ 5.08258
5.24/5.30	c bounds 7075193 >= -50 @ 5.08689
5.24/5.31	c bounds 7051283 >= -50 @ 5.09944
5.45/5.59	c bounds 6478107 >= -50 @ 5.37416
5.64/5.73	c bounds 6450057 >= -50 @ 5.50929
7.83/7.99	c #Conflicts:       3000 | #Constraints:      10842
7.83/7.99	c bounds 4891761 >= -50 @ 7.73628
7.93/8.03	c bounds 3969129 >= -50 @ 7.77598
7.93/8.09	c bounds 3965819 >= -50 @ 7.83456
8.04/8.10	c bounds 3957833 >= -50 @ 7.84602
8.04/8.12	c bounds 3934469 >= -50 @ 7.86248
8.23/8.32	c bounds 3916343 >= -50 @ 8.06269
8.23/8.34	c bounds 3908357 >= -50 @ 8.0749
8.23/8.35	c bounds 3891287 >= -50 @ 8.0872
8.23/8.39	c bounds 3886863 >= -50 @ 8.12318
8.33/8.40	c bounds 3877183 >= -50 @ 8.13664
8.33/8.41	c bounds 3867597 >= -50 @ 8.14898
8.33/8.46	c bounds 3855141 >= -50 @ 8.1958
8.33/8.47	c bounds 3852221 >= -50 @ 8.2072
8.44/8.50	c bounds 3849979 >= -50 @ 8.22856
8.44/8.51	c bounds 3849091 >= -50 @ 8.24588
8.54/8.62	c #Conflicts:       4000 | #Constraints:      11860
8.54/8.62	c bounds 3828277 >= -50 @ 8.35185
8.54/8.69	c bounds 3801397 >= -50 @ 8.41803
8.63/8.74	c bounds 3798247 >= -50 @ 8.46263
8.63/8.76	c bounds 3787537 >= -50 @ 8.48269
8.63/8.77	c bounds 3769233 >= -50 @ 8.49761
8.63/8.79	c bounds 3765169 >= -50 @ 8.51188
8.74/8.81	c bounds 3760103 >= -50 @ 8.52744
8.74/8.82	c bounds 3751263 >= -50 @ 8.5414
8.74/8.84	c bounds 3741687 >= -50 @ 8.55426
8.74/8.85	c bounds 3735037 >= -50 @ 8.5668
8.83/8.91	c bounds 3725829 >= -50 @ 8.62901
9.83/9.96	c bounds 3716149 >= -50 @ 9.65496
9.83/9.99	c bounds 3708787 >= -50 @ 9.67878
10.03/10.12	c INPROCESSING
10.03/10.12	c GARBAGE COLLECT
10.03/10.12	c bounds 3708139 >= -50 @ 9.80848
10.03/10.15	c bounds 3701379 >= -50 @ 9.84044
10.13/10.25	c bounds 3695509 >= -50 @ 9.94248
10.23/10.33	c bounds 3688799 >= -50 @ 10.0225
10.33/10.44	c bounds 3679655 >= -50 @ 10.1323
10.33/10.47	c bounds 3674513 >= -50 @ 10.1549
10.83/10.97	c bounds 3671593 >= -50 @ 10.6535
15.32/15.45	c #Conflicts:       5000 | #Constraints:      10546
15.32/15.45	c #Conflicts:       6000 | #Constraints:      11546
15.32/15.45	c INPROCESSING
15.32/15.45	c GARBAGE COLLECT
15.32/15.45	c rational objective 1.71035e+06
19.70/19.83	c #Conflicts:       7000 | #Constraints:      10569
19.70/19.83	c #Conflicts:       8000 | #Constraints:      11569
19.70/19.83	c #Conflicts:       9000 | #Constraints:      12569
19.70/19.83	c INPROCESSING
19.70/19.83	c GARBAGE COLLECT
19.70/19.83	c bounds 3668007 >= -50 @ 19.4285
20.11/20.23	c bounds 3665665 >= -50 @ 19.8207
23.40/23.59	c #Conflicts:      10000 | #Constraints:      11218
23.40/23.59	c #Conflicts:      11000 | #Constraints:      12218
23.40/23.59	c bounds 3662935 >= -50 @ 23.1466
25.29/25.41	c #Conflicts:      12000 | #Constraints:      13219
25.29/25.41	c INPROCESSING
25.29/25.41	c GARBAGE COLLECT
25.29/25.41	c rational objective 1.71164e+06
36.46/36.66	c #Conflicts:      13000 | #Constraints:      11681
36.46/36.66	c #Conflicts:      14000 | #Constraints:      12681
36.46/36.66	c #Conflicts:      15000 | #Constraints:      13681
36.46/36.66	c INPROCESSING
36.46/36.66	c GARBAGE COLLECT
36.46/36.66	c #Conflicts:      16000 | #Constraints:      11824
36.46/36.66	c #Conflicts:      17000 | #Constraints:      12826
36.46/36.66	c #Conflicts:      18000 | #Constraints:      13829
36.46/36.66	c INPROCESSING
36.46/36.66	c GARBAGE COLLECT
36.46/36.66	c rational objective 1.72682e+06
61.60/61.88	c #Conflicts:      19000 | #Constraints:      11791
61.60/61.88	c #Conflicts:      20000 | #Constraints:      12899
61.60/61.88	c #Conflicts:      21000 | #Constraints:      13996
61.60/61.88	c INPROCESSING
61.60/61.88	c GARBAGE COLLECT
61.60/61.88	c #Conflicts:      22000 | #Constraints:      11741
61.60/61.88	c #Conflicts:      23000 | #Constraints:      12763
61.60/61.88	c #Conflicts:      24000 | #Constraints:      13779
61.60/61.88	c #Conflicts:      25000 | #Constraints:      14780
61.60/61.88	c INPROCESSING
61.60/61.88	c GARBAGE COLLECT
61.60/61.88	c #Conflicts:      26000 | #Constraints:      12288
61.60/61.88	c #Conflicts:      27000 | #Constraints:      13431
61.60/61.88	c #Conflicts:      28000 | #Constraints:      14519
61.60/61.88	c #Conflicts:      29000 | #Constraints:      15664
61.60/61.88	c INPROCESSING
61.60/61.88	c GARBAGE COLLECT
61.60/61.88	WSVECS04 Frhs2[8]: 6 0 675539 shouldn't be
61.60/61.88	WSVECS04 Frhs2[47]: 6 -2.42555e+06 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[50]: 6 0 531827 shouldn't be
61.60/61.88	WSVECS04 Frhs2[55]: 6 -103923 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[58]: 6 0 1.88177e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[61]: 6 0 645181 shouldn't be
61.60/61.88	WSVECS04 Frhs2[68]: 6 0 279339 shouldn't be
61.60/61.88	WSVECS04 Frhs2[74]: 6 0 527169 shouldn't be
61.60/61.88	WSVECS04 Frhs2[100]: 6 0 1.38191e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[108]: 6 0 1.82366e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[124]: 6 0 1.56605e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[133]: 6 0 183193 shouldn't be
61.60/61.88	WSVECS04 Frhs2[135]: 6 0 1.30454e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[137]: 6 0 473126 shouldn't be
61.60/61.88	WSVECS04 Frhs2[146]: 6 0 26585 shouldn't be
61.60/61.88	WSVECS04 Frhs2[148]: 6 0 50786.8 shouldn't be
61.60/61.88	WSVECS04 Frhs2[155]: 6 -9633 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[174]: 6 0 1.4587e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[200]: 6 0 496348 shouldn't be
61.60/61.88	WSVECS04 Frhs2[208]: 6 0 1.87383e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[224]: 6 0 560657 shouldn't be
61.60/61.88	WSVECS04 Frhs2[250]: 6 0 977764 shouldn't be
61.60/61.88	WSVECS04 Frhs2[261]: 6 0 503932 shouldn't be
61.60/61.88	WSVECS04 Frhs2[305]: 6 -2640 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[324]: 6 0 512022 shouldn't be
61.60/61.88	WSVECS04 Frhs2[368]: 6 0 415836 shouldn't be
61.60/61.88	WSVECS04 Frhs2[372]: 6 0 970034 shouldn't be
61.60/61.88	WSVECS04 Frhs2[386]: 6 0 586450 shouldn't be
61.60/61.88	WSVECS04 Frhs2[391]: 6 0 338628 shouldn't be
61.60/61.88	WSVECS04 Frhs2[400]: 6 0 1.76361e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[402]: 6 -15225 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[422]: 6 0 77039.4 shouldn't be
61.60/61.88	WSVECS04 Frhs2[424]: 6 0 511529 shouldn't be
61.60/61.88	WSVECS04 Frhs2[474]: 6 0 1.46073e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[486]: 6 0 111473 shouldn't be
61.60/61.88	WSVECS04 Frhs2[500]: 6 0 882044 shouldn't be
61.60/61.88	WSVECS04 Frhs2[524]: 6 0 1.49776e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[538]: 6 0 7200 shouldn't be
61.60/61.88	WSVECS04 Frhs2[574]: 6 0 402853 shouldn't be
61.60/61.88	WSVECS04 Frhs2[585]: 6 0 196750 shouldn't be
61.60/61.88	WSVECS04 Frhs2[602]: 6 -26180 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[608]: 6 0 1.83665e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[622]: 6 0 987758 shouldn't be
61.60/61.88	WSVECS04 Frhs2[624]: 6 0 1.479e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[636]: 6 0 92082 shouldn't be
61.60/61.88	WSVECS04 Frhs2[650]: 6 0 1.88946e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[652]: 6 0 3196 shouldn't be
61.60/61.88	WSVECS04 Frhs2[655]: 6 -356113 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[672]: 6 0 1.02061e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[674]: 6 0 534513 shouldn't be
61.60/61.88	WSVECS04 Frhs2[680]: 6 0 5125 shouldn't be
61.60/61.88	WSVECS04 Frhs2[702]: 6 0 615 shouldn't be
61.60/61.88	WSVECS04 Frhs2[707]: 6 0 560106 shouldn't be
61.60/61.88	WSVECS04 Frhs2[717]: 6 0 964505 shouldn't be
61.60/61.88	WSVECS04 Frhs2[724]: 6 0 512022 shouldn't be
61.60/61.88	WSVECS04 Frhs2[774]: 6 0 561929 shouldn't be
61.60/61.88	WSVECS04 Frhs2[800]: 6 0 977332 shouldn't be
61.60/61.88	WSVECS04 Frhs2[801]: 6 0 1.11539e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[802]: 6 0 897345 shouldn't be
61.60/61.88	WSVECS04 Frhs2[811]: 6 0 513660 shouldn't be
61.60/61.88	WSVECS04 Frhs2[817]: 6 0 921721 shouldn't be
61.60/61.88	WSVECS04 Frhs2[822]: 6 0 1.92299e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[835]: 6 0 138595 shouldn't be
61.60/61.88	WSVECS04 Frhs2[836]: 6 0 111963 shouldn't be
61.60/61.88	WSVECS04 Frhs2[855]: 6 0 9727 shouldn't be
61.60/61.88	WSVECS04 Frhs2[886]: 6 0 95957.6 shouldn't be
61.60/61.88	WSVECS04 Frhs2[900]: 6 0 422134 shouldn't be
61.60/61.88	WSVECS04 Frhs2[905]: 6 0 4092 shouldn't be
61.60/61.88	WSVECS04 Frhs2[911]: 6 0 488475 shouldn't be
61.60/61.88	WSVECS04 Frhs2[936]: 6 0 112414 shouldn't be
61.60/61.88	WSVECS04 Frhs2[961]: 6 0 506875 shouldn't be
61.60/61.88	WSVECS04 Frhs2[985]: 6 0 31682 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1011]: 6 0 515515 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1100]: 6 0 978704 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1111]: 6 0 627046 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1119]: 6 0 46629.8 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1122]: 6 0 1.02038e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1124]: 6 0 537194 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1133]: 6 0 147116 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1152]: 6 -260 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1261]: 6 0 504600 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1311]: 6 0 525595 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1361]: 6 0 513112 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1386]: 6 0 88509.6 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1411]: 6 0 524587 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1437]: 6 0 547239 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1460]: 6 0 1.08727e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1511]: 6 0 516280 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1550]: 6 0 1.87773e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1552]: 6 0 1180 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1555]: 6 0 9975 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1559]: 6 -539479 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1564]: 6 -51529 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1577]: 6 -1326 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1580]: 6 0 958627 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1583]: 6 -55696 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1602]: 6 -6308 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1658]: 6 0 1.69232e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1660]: 6 0 64462.9 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1661]: 6 0 646834 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1668]: 6 0 410404 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1674]: 6 0 525882 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1686]: 6 0 161275 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1700]: 6 0 1.87315e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1708]: 6 0 60450.9 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1711]: 6 0 525756 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1713]: 6 0 19366.5 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1722]: 6 0 248630 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1729]: 6 0 85188.9 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1735]: 6 0 419082 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1752]: 6 -18705 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1768]: 6 0 402605 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1800]: 6 0 855456 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1822]: 6 0 1.05926e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1850]: 6 0 973243 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1855]: 6 -78585 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1911]: 6 0 702748 shouldn't be
61.60/61.88	WSVECS04 Frhs2[1938]: 6 -8836 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2011]: 6 0 502572 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2038]: 6 -78400 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2055]: 6 0 10140 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2099]: 6 0 23769 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2102]: 6 -15504 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2152]: 6 -25145 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2208]: 6 0 25214.1 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2210]: 6 0 123560 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2211]: 6 0 661885 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2224]: 6 0 552089 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2250]: 6 0 974539 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2302]: 6 0 2160 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2303]: 6 -90601 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2311]: 6 0 646834 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2315]: 6 -163567 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2322]: 6 0 1.01345e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2323]: 6 -981755 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2324]: 6 0 550634 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2326]: 6 -59804.6 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2337]: 6 -582536 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2358]: 6 0 907807 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2361]: 6 0 558741 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2372]: 6 0 983457 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2374]: 6 0 436928 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2385]: 6 0 132900 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2386]: 6 0 102523 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2388]: 6 -1.09734e+06 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2402]: 6 -33540 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2411]: 6 0 611686 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2445]: 6 0 10596.1 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2461]: 6 0 631309 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2474]: 6 0 528438 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2475]: 6 0 1.15866e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2500]: 6 0 992854 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2502]: 6 0 2160 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2511]: 6 0 598006 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2515]: 6 0 20389.6 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2517]: 6 0 2871 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2519]: 6 0 182195 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2522]: 6 0 94364.4 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2524]: 6 0 520097 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2538]: 6 -860086 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[2550]: 6 0 1.87181e+06 shouldn't be
61.60/61.88	WSVECS04 Frhs2[3655]: 6 -388480 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[4105]: 6 -24389 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[4605]: 6 -17576 0 shouldn't be
61.60/61.88	WSVECS04 Frhs2[4667]: 6 0 4563 shouldn't be
71.58/71.83	c #Conflicts:      30000 | #Constraints:      12827
71.58/71.83	c #Conflicts:      31000 | #Constraints:      13827
71.58/71.83	c #Conflicts:      32000 | #Constraints:      14827
71.58/71.83	c #Conflicts:      33000 | #Constraints:      15827
71.58/71.83	c INPROCESSING
71.58/71.83	c GARBAGE COLLECT
71.58/71.83	c rational objective 1.7275e+06
77.65/77.99	c #Conflicts:      34000 | #Constraints:      12855
77.65/77.99	c #Conflicts:      35000 | #Constraints:      13855
77.65/77.99	c #Conflicts:      36000 | #Constraints:      14855
77.65/77.99	c #Conflicts:      37000 | #Constraints:      15855
77.65/77.99	c INPROCESSING
77.65/77.99	c GARBAGE COLLECT
77.65/77.99	c rational objective 1.72852e+06
85.14/85.40	c #Conflicts:      38000 | #Constraints:      12721
85.14/85.40	c #Conflicts:      39000 | #Constraints:      13721
85.14/85.40	c #Conflicts:      40000 | #Constraints:      14723
85.14/85.40	c #Conflicts:      41000 | #Constraints:      15726
85.14/85.40	c bounds 3661783 >= -50 @ 84.3492
85.14/85.47	c bounds 3656773 >= -50 @ 84.4178
85.24/85.54	c bounds 3656627 >= -50 @ 84.4837
85.24/85.60	c bounds 3650949 >= -50 @ 84.5412
85.74/86.04	c bounds 3649825 >= -50 @ 84.9856
85.84/86.11	c bounds 3649621 >= -50 @ 85.0456
85.84/86.17	c bounds 3644797 >= -50 @ 85.108
86.13/86.46	c bounds 3643141 >= -50 @ 85.3997
86.23/86.53	c bounds 3636179 >= -50 @ 85.4656
86.23/86.59	c bounds 3630501 >= -50 @ 85.5283
86.43/86.76	c bounds 3628933 >= -50 @ 85.6911
88.63/89.00	c INPROCESSING
88.63/89.00	c GARBAGE COLLECT
88.63/89.00	c rational objective 1.74333e+06
102.60/102.90	c #Conflicts:      42000 | #Constraints:      12512
102.60/102.90	c #Conflicts:      43000 | #Constraints:      13550
102.60/102.90	c #Conflicts:      44000 | #Constraints:      14603
102.60/102.90	c #Conflicts:      45000 | #Constraints:      15695
102.60/102.90	c #Conflicts:      46000 | #Constraints:      16695
102.60/102.90	c INPROCESSING
102.60/102.90	c GARBAGE COLLECT
102.60/102.90	c rational objective 1.74335e+06
103.40/103.70	c bounds 3628729 >= -50 @ 102.476
106.18/106.51	c #Conflicts:      47000 | #Constraints:      13146
106.18/106.51	c bounds 3628485 >= -50 @ 105.268
116.66/117.03	c #Conflicts:      48000 | #Constraints:      14151
116.66/117.03	c #Conflicts:      49000 | #Constraints:      15154
116.66/117.03	c #Conflicts:      50000 | #Constraints:      16154
116.66/117.03	c #Conflicts:      51000 | #Constraints:      17155
116.66/117.03	c INPROCESSING
116.66/117.03	c GARBAGE COLLECT
116.66/117.03	c rational objective 1.74339e+06
134.31/134.75	c #Conflicts:      52000 | #Constraints:      13478
134.31/134.75	c #Conflicts:      53000 | #Constraints:      14512
134.31/134.75	c #Conflicts:      54000 | #Constraints:      15601
134.31/134.75	c #Conflicts:      55000 | #Constraints:      16673
134.31/134.75	c #Conflicts:      56000 | #Constraints:      17745
134.31/134.75	c INPROCESSING
134.31/134.75	c GARBAGE COLLECT
134.31/134.75	c bounds 3626993 >= -50 @ 133.246
134.31/134.77	c bounds 3623815 >= -50 @ 133.274
134.41/134.81	c bounds 3623317 >= -50 @ 133.304
134.41/134.83	c bounds 3622643 >= -50 @ 133.332
134.41/134.87	c bounds 3621535 >= -50 @ 133.365
134.41/134.89	c bounds 3614313 >= -50 @ 133.385
134.51/134.91	c bounds 3610799 >= -50 @ 133.404
134.51/134.93	c bounds 3605823 >= -50 @ 133.427
134.71/135.15	c bounds 3596031 >= -50 @ 133.638
134.71/135.17	c bounds 3595245 >= -50 @ 133.661
134.71/135.19	c bounds 3583277 >= -50 @ 133.681
135.01/135.45	c bounds 3562053 >= -50 @ 133.941
135.11/135.53	c bounds 3552855 >= -50 @ 134.018
135.41/135.83	c #Conflicts:      57000 | #Constraints:      13835
135.41/135.83	c bounds 3549835 >= -50 @ 134.31
135.41/135.87	c bounds 3534625 >= -50 @ 134.347
135.50/135.91	c bounds 3522273 >= -50 @ 134.392
135.50/135.94	c bounds 3499203 >= -50 @ 134.422
135.50/135.97	c bounds 3498621 >= -50 @ 134.452
135.50/136.00	c bounds 3495731 >= -50 @ 134.478
135.61/136.05	c bounds 3483013 >= -50 @ 134.529
135.61/136.07	c bounds 3482227 >= -50 @ 134.554
135.71/136.10	c bounds 3481553 >= -50 @ 134.583
135.71/136.13	c bounds 3479401 >= -50 @ 134.613
135.80/136.24	c bounds 3471239 >= -50 @ 134.72
135.80/136.26	c bounds 3468197 >= -50 @ 134.744
135.90/136.31	c bounds 3459473 >= -50 @ 134.786
135.90/136.33	c bounds 3456431 >= -50 @ 134.809
147.87/148.32	c #Conflicts:      58000 | #Constraints:      14860
147.87/148.32	c #Conflicts:      59000 | #Constraints:      15860
147.87/148.32	c #Conflicts:      60000 | #Constraints:      16860
147.87/148.32	c #Conflicts:      61000 | #Constraints:      17860
147.87/148.32	c INPROCESSING
147.87/148.32	c GARBAGE COLLECT
147.87/148.32	c rational objective 1.7434e+06
161.34/161.85	c #Conflicts:      62000 | #Constraints:      13717
161.34/161.85	c #Conflicts:      63000 | #Constraints:      14718
161.34/161.85	c #Conflicts:      64000 | #Constraints:      15721
161.34/161.85	c #Conflicts:      65000 | #Constraints:      16721
161.34/161.85	c #Conflicts:      66000 | #Constraints:      17721
161.34/161.85	c INPROCESSING
161.34/161.85	c GARBAGE COLLECT
161.34/161.85	c rational objective 1.75094e+06
162.04/162.58	c bounds 3444335 >= -50 @ 160.851
162.14/162.60	c bounds 3438953 >= -50 @ 160.875
162.23/162.70	c bounds 3433861 >= -50 @ 160.97
162.23/162.71	c bounds 3431031 >= -50 @ 160.982
162.23/162.75	c bounds 3423593 >= -50 @ 161.013
162.34/162.87	c bounds 3421973 >= -50 @ 161.131
162.34/162.88	c bounds 3419143 >= -50 @ 161.144
162.44/162.90	c bounds 3415819 >= -50 @ 161.164
162.44/162.94	c bounds 3405551 >= -50 @ 161.197
163.04/163.51	c #Conflicts:      67000 | #Constraints:      13403
163.04/163.51	c bounds 3405229 >= -50 @ 161.765
163.73/164.22	c bounds 3400621 >= -50 @ 162.468
163.73/164.25	c bounds 3400471 >= -50 @ 162.5
163.93/164.42	c bounds 3393549 >= -50 @ 162.669
163.93/164.45	c bounds 3383431 >= -50 @ 162.694
164.14/164.68	c bounds 3381275 >= -50 @ 162.922
164.34/164.84	c bounds 3371603 >= -50 @ 163.082
164.34/164.88	c bounds 3368279 >= -50 @ 163.117
164.54/165.07	c bounds 3367493 >= -50 @ 163.315
192.46/193.01	c #Conflicts:      68000 | #Constraints:      14439
192.46/193.01	c #Conflicts:      69000 | #Constraints:      15456
192.46/193.01	c #Conflicts:      70000 | #Constraints:      16457
192.46/193.01	c #Conflicts:      71000 | #Constraints:      17457
192.46/193.01	c #Conflicts:      72000 | #Constraints:      18457
192.46/193.01	c INPROCESSING
192.46/193.01	c GARBAGE COLLECT
192.46/193.01	c #Conflicts:      73000 | #Constraints:      13932
192.46/193.01	c #Conflicts:      74000 | #Constraints:      14939
192.46/193.01	c #Conflicts:      75000 | #Constraints:      15939
192.46/193.01	c #Conflicts:      76000 | #Constraints:      16939
192.46/193.01	c #Conflicts:      77000 | #Constraints:      17939
192.46/193.01	c #Conflicts:      78000 | #Constraints:      18939
192.46/193.01	c INPROCESSING
192.46/193.01	c GARBAGE COLLECT
192.46/193.01	c rational objective 1.75295e+06
210.32/210.97	c #Conflicts:      79000 | #Constraints:      14219
210.32/210.97	c #Conflicts:      80000 | #Constraints:      15219
210.32/210.97	c #Conflicts:      81000 | #Constraints:      16220
210.32/210.97	c #Conflicts:      82000 | #Constraints:      17258
210.32/210.97	c #Conflicts:      83000 | #Constraints:      18285
210.32/210.97	c #Conflicts:      84000 | #Constraints:      19293
210.32/210.97	c INPROCESSING
210.32/210.97	c GARBAGE COLLECT
210.32/210.97	c rational objective 1.75334e+06
331.00/331.94	c #Conflicts:      85000 | #Constraints:      14512
331.00/331.94	c #Conflicts:      86000 | #Constraints:      15512
331.00/331.94	c #Conflicts:      87000 | #Constraints:      16516
331.00/331.94	c #Conflicts:      88000 | #Constraints:      17560
331.00/331.94	c #Conflicts:      89000 | #Constraints:      18591
331.00/331.94	c #Conflicts:      90000 | #Constraints:      19611
331.00/331.94	c INPROCESSING
331.00/331.94	c GARBAGE COLLECT
331.00/331.94	c #Conflicts:      91000 | #Constraints:      14539
331.00/331.94	c #Conflicts:      92000 | #Constraints:      15578
331.00/331.94	c #Conflicts:      93000 | #Constraints:      16645
331.00/331.94	c #Conflicts:      94000 | #Constraints:      17670
331.00/331.94	c #Conflicts:      95000 | #Constraints:      18680
331.00/331.94	c #Conflicts:      96000 | #Constraints:      19684
331.00/331.94	c INPROCESSING
331.00/331.94	c GARBAGE COLLECT
331.00/331.94	c #Conflicts:      97000 | #Constraints:      14378
331.00/331.94	c #Conflicts:      98000 | #Constraints:      15388
331.00/331.94	c #Conflicts:      99000 | #Constraints:      16388
331.00/331.94	c #Conflicts:     100000 | #Constraints:      17392
331.00/331.94	c #Conflicts:     101000 | #Constraints:      18410
331.00/331.94	c #Conflicts:     102000 | #Constraints:      19441
331.00/331.94	c #Conflicts:     103000 | #Constraints:      20462
331.00/331.94	c INPROCESSING
331.00/331.94	c GARBAGE COLLECT
331.00/331.94	c #Conflicts:     104000 | #Constraints:      14953
331.00/331.94	c #Conflicts:     105000 | #Constraints:      15954
331.00/331.94	c #Conflicts:     106000 | #Constraints:      16960
331.00/331.94	c #Conflicts:     107000 | #Constraints:      17962
331.00/331.94	c #Conflicts:     108000 | #Constraints:      18962
331.00/331.94	c #Conflicts:     109000 | #Constraints:      19962
331.00/331.94	c #Conflicts:     110000 | #Constraints:      20962
331.00/331.94	c INPROCESSING
331.00/331.94	c GARBAGE COLLECT
331.00/331.94	c #Conflicts:     111000 | #Constraints:      15318
331.00/331.94	c #Conflicts:     112000 | #Constraints:      16318
331.00/331.94	c #Conflicts:     113000 | #Constraints:      17318
331.00/331.94	c #Conflicts:     114000 | #Constraints:      18320
331.00/331.94	c #Conflicts:     115000 | #Constraints:      19323
331.00/331.94	c #Conflicts:     116000 | #Constraints:      20329
331.00/331.94	c #Conflicts:     117000 | #Constraints:      21333
331.00/331.94	c INPROCESSING
331.00/331.94	c GARBAGE COLLECT
331.00/331.94	c #Conflicts:     118000 | #Constraints:      15481
331.00/331.94	c #Conflicts:     119000 | #Constraints:      16481
331.00/331.94	c #Conflicts:     120000 | #Constraints:      17481
331.00/331.94	c #Conflicts:     121000 | #Constraints:      18484
331.00/331.94	c #Conflicts:     122000 | #Constraints:      19503
331.00/331.94	c #Conflicts:     123000 | #Constraints:      20503
331.00/331.94	c #Conflicts:     124000 | #Constraints:      21503
331.00/331.94	c INPROCESSING
331.00/331.94	c GARBAGE COLLECT
331.00/331.94	WSVECS04 Frhs2[358]: 6 0 53048.1 shouldn't be
331.00/331.94	WSVECS04 Frhs2[375]: 6 0 60661.9 shouldn't be
331.00/331.94	WSVECS04 Frhs2[384]: 6 0 44208.9 shouldn't be
331.00/331.94	WSVECS04 Frhs2[475]: 6 0 4573.04 shouldn't be
331.00/331.94	WSVECS04 Frhs2[602]: 6 0 43745.8 shouldn't be
331.00/331.94	WSVECS04 Frhs2[618]: 6 0 30597.2 shouldn't be
331.00/331.94	WSVECS04 Frhs2[622]: 6 0 29905.8 shouldn't be
331.00/331.94	WSVECS04 Frhs2[966]: 6 0 88746.4 shouldn't be
331.00/331.94	WSVECS04 Frhs2[995]: 6 0 66835.9 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1142]: 6 0 48138.5 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1202]: 6 0 54812.4 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1216]: 6 0 4793.03 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1219]: 6 0 2.1112e+06 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1222]: 6 0 36996.4 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1226]: 6 0 75832 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1228]: 6 0 10944.2 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1266]: 6 0 21589.9 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1345]: 6 0 6545.74 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1605]: 6 0 13505.7 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1619]: 6 0 81090.9 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1638]: 6 0 22770.4 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1670]: 6 0 88112.5 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1749]: 6 0 350783 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1795]: 6 0 3211.88 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1826]: 6 0 93856.1 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1845]: 6 0 31411.9 shouldn't be
331.00/331.94	WSVECS04 Frhs2[1945]: 6 0 5697.08 shouldn't be
331.00/331.94	WSVECS04 Frhs2[2076]: 6 0 52870.6 shouldn't be
331.00/331.94	WSVECS04 Frhs2[2162]: 6 0 292355 shouldn't be
331.00/331.94	WSVECS04 Frhs2[2253]: 6 0 60582 shouldn't be
331.00/331.94	WSVECS04 Frhs2[2297]: 6 0 26115 shouldn't be
331.00/331.94	WSVECS04 Frhs2[2345]: 6 0 62491.9 shouldn't be
331.00/331.94	WSVECS04 Frhs2[2395]: 6 0 46384.9 shouldn't be
338.78/339.80	c #Conflicts:     125000 | #Constraints:      15425
338.78/339.80	c #Conflicts:     126000 | #Constraints:      16425
338.78/339.80	WSVECS04 Frhs2[1074]: 6 0 25502 shouldn't be
338.78/339.80	WSVECS04 Frhs2[1906]: 6 0 16130 shouldn't be
338.78/339.80	WSVECS04 Frhs2[2355]: 6 0 15456 shouldn't be
371.49/372.57	c #Conflicts:     127000 | #Constraints:      17426
371.49/372.57	c #Conflicts:     128000 | #Constraints:      18426
371.49/372.57	c #Conflicts:     129000 | #Constraints:      19426
371.49/372.57	c #Conflicts:     130000 | #Constraints:      20426
371.49/372.57	c #Conflicts:     131000 | #Constraints:      21426
371.49/372.57	c INPROCESSING
371.49/372.57	c GARBAGE COLLECT
371.49/372.57	c #Conflicts:     132000 | #Constraints:      15237
371.49/372.57	c #Conflicts:     133000 | #Constraints:      16237
371.49/372.57	c #Conflicts:     134000 | #Constraints:      17238
371.49/372.57	c #Conflicts:     135000 | #Constraints:      18239
371.49/372.57	c #Conflicts:     136000 | #Constraints:      19239
371.49/372.57	c #Conflicts:     137000 | #Constraints:      20266
371.49/372.57	c #Conflicts:     138000 | #Constraints:      21327
371.49/372.57	c #Conflicts:     139000 | #Constraints:      22329
371.49/372.57	c INPROCESSING
371.49/372.57	c GARBAGE COLLECT
371.49/372.57	WSVECS04 Frhs2[2]: 6 0 22257.6 shouldn't be
371.49/372.57	WSVECS04 Frhs2[215]: 6 0 6834.11 shouldn't be
371.49/372.57	WSVECS04 Frhs2[241]: 6 0 3061.95 shouldn't be
371.49/372.57	WSVECS04 Frhs2[281]: 6 0 108085 shouldn't be
371.49/372.57	WSVECS04 Frhs2[287]: 6 0 24760.1 shouldn't be
371.49/372.57	WSVECS04 Frhs2[308]: 6 0 10838 shouldn't be
371.49/372.57	WSVECS04 Frhs2[317]: 6 0 42900.1 shouldn't be
371.49/372.57	WSVECS04 Frhs2[324]: 6 0 11292.6 shouldn't be
371.49/372.57	WSVECS04 Frhs2[329]: 6 0 15576 shouldn't be
371.49/372.57	WSVECS04 Frhs2[338]: 6 0 21700.2 shouldn't be
371.49/372.57	WSVECS04 Frhs2[344]: 6 0 4106.11 shouldn't be
371.49/372.57	WSVECS04 Frhs2[433]: 6 0 21109.8 shouldn't be
371.49/372.57	WSVECS04 Frhs2[439]: 6 0 833.641 shouldn't be
371.49/372.57	WSVECS04 Frhs2[447]: 6 0 96481.8 shouldn't be
371.49/372.57	WSVECS04 Frhs2[458]: 6 0 21514.4 shouldn't be
371.49/372.57	WSVECS04 Frhs2[597]: 6 0 15173.3 shouldn't be
371.49/372.57	WSVECS04 Frhs2[677]: 6 0 3133.89 shouldn't be
371.49/372.57	WSVECS04 Frhs2[697]: 6 0 29492.2 shouldn't be
371.49/372.57	WSVECS04 Frhs2[897]: 6 0 41705.8 shouldn't be
371.49/372.57	WSVECS04 Frhs2[988]: 6 0 33441.5 shouldn't be
371.49/372.57	WSVECS04 Frhs2[1189]: 6 0 1549.64 shouldn't be
371.49/372.57	WSVECS04 Frhs2[1191]: 6 0 26765.9 shouldn't be
371.49/372.57	WSVECS04 Frhs2[1258]: 6 0 53908.5 shouldn't be
371.49/372.57	WSVECS04 Frhs2[1290]: 6 0 11954 shouldn't be
371.49/372.57	WSVECS04 Frhs2[1297]: 6 0 58298.3 shouldn't be
371.49/372.57	WSVECS04 Frhs2[1849]: 6 0 9188.11 shouldn't be
371.49/372.57	WSVECS04 Frhs2[1886]: 6 0 2299 shouldn't be
371.49/372.57	WSVECS04 Frhs2[1947]: 6 0 64257.8 shouldn't be
371.49/372.57	WSVECS04 Frhs2[1997]: 6 0 32825.8 shouldn't be
371.49/372.57	WSVECS04 Frhs2[2098]: 6 0 34537.8 shouldn't be
371.49/372.57	WSVECS04 Frhs2[3977]: 6 0 57322 shouldn't be
395.92/397.10	c #Conflicts:     140000 | #Constraints:      15865
395.92/397.10	c #Conflicts:     141000 | #Constraints:      16867
395.92/397.10	c #Conflicts:     142000 | #Constraints:      17873
395.92/397.10	c #Conflicts:     143000 | #Constraints:      18873
395.92/397.10	c #Conflicts:     144000 | #Constraints:      19873
395.92/397.10	c #Conflicts:     145000 | #Constraints:      20874
395.92/397.10	c #Conflicts:     146000 | #Constraints:      21875
395.92/397.10	c #Conflicts:     147000 | #Constraints:      22877
395.92/397.10	c INPROCESSING
395.92/397.10	c GARBAGE COLLECT
395.92/397.10	c rational objective 1.75401e+06
414.96/416.19	c #Conflicts:     148000 | #Constraints:      16277
414.96/416.19	c #Conflicts:     149000 | #Constraints:      17277
414.96/416.19	c #Conflicts:     150000 | #Constraints:      18277
414.96/416.19	c #Conflicts:     151000 | #Constraints:      19277
414.96/416.19	c #Conflicts:     152000 | #Constraints:      20277
414.96/416.19	c #Conflicts:     153000 | #Constraints:      21277
414.96/416.19	c #Conflicts:     154000 | #Constraints:      22277
414.96/416.19	c #Conflicts:     155000 | #Constraints:      23278
414.96/416.19	c INPROCESSING
414.96/416.19	c GARBAGE COLLECT
414.96/416.19	c rational objective 1.76463e+06
433.61/434.80	c #Conflicts:     156000 | #Constraints:      16435
433.61/434.80	c #Conflicts:     157000 | #Constraints:      17435
433.61/434.80	c #Conflicts:     158000 | #Constraints:      18435
433.61/434.80	c #Conflicts:     159000 | #Constraints:      19435
433.61/434.80	c #Conflicts:     160000 | #Constraints:      20436
433.61/434.80	c #Conflicts:     161000 | #Constraints:      21436
433.61/434.80	c #Conflicts:     162000 | #Constraints:      22439
433.61/434.80	c #Conflicts:     163000 | #Constraints:      23571
433.61/434.80	c INPROCESSING
433.61/434.80	c GARBAGE COLLECT
433.61/434.80	c rational objective 1.76814e+06
483.98/485.33	c #Conflicts:     164000 | #Constraints:      16507
483.98/485.33	c #Conflicts:     165000 | #Constraints:      17530
483.98/485.33	c #Conflicts:     166000 | #Constraints:      18573
483.98/485.33	c #Conflicts:     167000 | #Constraints:      19605
483.98/485.33	c #Conflicts:     168000 | #Constraints:      20606
483.98/485.33	c #Conflicts:     169000 | #Constraints:      21606
483.98/485.33	c #Conflicts:     170000 | #Constraints:      22606
483.98/485.33	c #Conflicts:     171000 | #Constraints:      23606
483.98/485.33	c INPROCESSING
483.98/485.33	c GARBAGE COLLECT
483.98/485.33	c #Conflicts:     172000 | #Constraints:      16365
483.98/485.33	c #Conflicts:     173000 | #Constraints:      17365
483.98/485.33	c #Conflicts:     174000 | #Constraints:      18365
483.98/485.33	c #Conflicts:     175000 | #Constraints:      19365
483.98/485.33	c #Conflicts:     176000 | #Constraints:      20365
483.98/485.33	c #Conflicts:     177000 | #Constraints:      21365
483.98/485.33	c #Conflicts:     178000 | #Constraints:      22365
483.98/485.33	c #Conflicts:     179000 | #Constraints:      23365
483.98/485.33	c #Conflicts:     180000 | #Constraints:      24366
483.98/485.33	c INPROCESSING
483.98/485.33	c GARBAGE COLLECT
483.98/485.33	c rational objective 1.7695e+06
514.48/515.94	c #Conflicts:     181000 | #Constraints:      16911
514.48/515.94	c #Conflicts:     182000 | #Constraints:      17915
514.48/515.94	c #Conflicts:     183000 | #Constraints:      18915
514.48/515.94	c #Conflicts:     184000 | #Constraints:      19915
514.48/515.94	c #Conflicts:     185000 | #Constraints:      20916
514.48/515.94	c #Conflicts:     186000 | #Constraints:      21920
514.48/515.94	c #Conflicts:     187000 | #Constraints:      22923
514.48/515.94	c #Conflicts:     188000 | #Constraints:      23923
514.48/515.94	c #Conflicts:     189000 | #Constraints:      24923
514.48/515.94	c INPROCESSING
514.48/515.94	c GARBAGE COLLECT
514.48/515.94	c rational objective 1.76954e+06
538.22/539.71	c #Conflicts:     190000 | #Constraints:      17296
538.22/539.71	c #Conflicts:     191000 | #Constraints:      18296
538.22/539.71	c #Conflicts:     192000 | #Constraints:      19299
538.22/539.71	c #Conflicts:     193000 | #Constraints:      20308
538.22/539.71	c #Conflicts:     194000 | #Constraints:      21331
538.22/539.71	c #Conflicts:     195000 | #Constraints:      22339
538.22/539.71	c #Conflicts:     196000 | #Constraints:      23346
538.22/539.71	c #Conflicts:     197000 | #Constraints:      24376
538.22/539.71	c #Conflicts:     198000 | #Constraints:      25410
538.22/539.71	c INPROCESSING
538.22/539.71	c GARBAGE COLLECT
538.22/539.71	c rational objective 1.76993e+06
561.27/562.85	c #Conflicts:     199000 | #Constraints:      17556
561.27/562.85	c #Conflicts:     200000 | #Constraints:      18556
561.27/562.85	c #Conflicts:     201000 | #Constraints:      19592
561.27/562.85	c #Conflicts:     202000 | #Constraints:      20646
561.27/562.85	c #Conflicts:     203000 | #Constraints:      21713
561.27/562.85	c #Conflicts:     204000 | #Constraints:      22935
561.27/562.85	c #Conflicts:     205000 | #Constraints:      24013
561.27/562.85	c #Conflicts:     206000 | #Constraints:      25021
561.27/562.85	c #Conflicts:     207000 | #Constraints:      26022
561.27/562.85	c INPROCESSING
561.27/562.85	c GARBAGE COLLECT
561.27/562.85	c rational objective 1.77004e+06
585.99/587.66	c #Conflicts:     208000 | #Constraints:      17736
585.99/587.66	c #Conflicts:     209000 | #Constraints:      18736
585.99/587.66	c #Conflicts:     210000 | #Constraints:      19745
585.99/587.66	c #Conflicts:     211000 | #Constraints:      20771
585.99/587.66	c #Conflicts:     212000 | #Constraints:      21780
585.99/587.66	c #Conflicts:     213000 | #Constraints:      22782
585.99/587.66	c #Conflicts:     214000 | #Constraints:      23787
585.99/587.66	c #Conflicts:     215000 | #Constraints:      24787
585.99/587.66	c #Conflicts:     216000 | #Constraints:      25787
585.99/587.66	c INPROCESSING
585.99/587.66	c GARBAGE COLLECT
585.99/587.66	c rational objective 1.77006e+06
615.81/617.56	c #Conflicts:     217000 | #Constraints:      17318
615.81/617.56	c #Conflicts:     218000 | #Constraints:      18318
615.81/617.56	c #Conflicts:     219000 | #Constraints:      19331
615.81/617.56	c #Conflicts:     220000 | #Constraints:      20342
615.81/617.56	c #Conflicts:     221000 | #Constraints:      21380
615.81/617.56	c #Conflicts:     222000 | #Constraints:      22393
615.81/617.56	c #Conflicts:     223000 | #Constraints:      23405
615.81/617.56	c #Conflicts:     224000 | #Constraints:      24413
615.81/617.56	c #Conflicts:     225000 | #Constraints:      25417
615.81/617.56	c #Conflicts:     226000 | #Constraints:      26417
615.81/617.56	c INPROCESSING
615.81/617.56	c GARBAGE COLLECT
615.81/617.56	c rational objective 1.77021e+06
679.43/681.36	c #Conflicts:     227000 | #Constraints:      17915
679.43/681.36	c #Conflicts:     228000 | #Constraints:      18915
679.43/681.36	c #Conflicts:     229000 | #Constraints:      19915
679.43/681.36	c #Conflicts:     230000 | #Constraints:      20915
679.43/681.36	c #Conflicts:     231000 | #Constraints:      21916
679.43/681.36	c #Conflicts:     232000 | #Constraints:      22916
679.43/681.36	c #Conflicts:     233000 | #Constraints:      23918
679.43/681.36	c #Conflicts:     234000 | #Constraints:      24923
679.43/681.36	c #Conflicts:     235000 | #Constraints:      25924
679.43/681.36	c #Conflicts:     236000 | #Constraints:      26940
679.43/681.36	c INPROCESSING
679.43/681.36	c GARBAGE COLLECT
679.43/681.36	c #Conflicts:     237000 | #Constraints:      18265
679.43/681.36	c #Conflicts:     238000 | #Constraints:      19271
679.43/681.36	c #Conflicts:     239000 | #Constraints:      20271
679.43/681.36	c #Conflicts:     240000 | #Constraints:      21273
679.43/681.36	c #Conflicts:     241000 | #Constraints:      22273
679.43/681.36	c #Conflicts:     242000 | #Constraints:      23273
679.43/681.36	c #Conflicts:     243000 | #Constraints:      24274
679.43/681.36	c bounds 3367493 >= 3367493 @ 675.673
679.43/681.36	c cpu time 675.673 s
679.43/681.36	c deterministic time 70193626286 7.02e+10
679.43/681.36	c optimization time 0.18936 s
679.43/681.36	c total solve time 675.443 s
679.43/681.36	c core-guided solve time 401.024 s
679.43/681.36	c propagation time 404.732 s
679.43/681.36	c conflict analysis time 167.916 s
679.43/681.36	c propagations 44403019
679.43/681.36	c resolve steps 4230260
679.43/681.36	c decisions 637487
679.43/681.36	c conflicts 243579
679.43/681.36	c restarts 567
679.43/681.36	c inprocessing phases 40
679.43/681.36	c garbage collections 40 ,( 100.00 )
679.43/681.36	c input clauses 11126 ,( 87.88 )
679.43/681.36	c input cardinalities 9 ,( 0.07 )
679.43/681.36	c input general constraints 1525 ,( 12.05 )
679.43/681.36	c input average constraint length 44.65
679.43/681.36	c input average constraint degree 75284066.60
679.43/681.36	c learned clauses 35207 ,( 14.28 )
679.43/681.36	c learned cardinalities 551 ,( 0.22 )
679.43/681.36	c learned general constraints 210857 ,( 85.50 )
679.43/681.36	c learned average constraint length 1130.90
679.43/681.36	c learned average constraint degree 12085014660.21
679.43/681.36	c watched  CF 32, 64, 128, Arb: 6556 , 0 , 0 , 0
679.43/681.36	c counting CF 32, 64, 128, Arb: 205827 , 0 , 0 , 0
679.43/681.36	c watched   constraints 6556 ,( 3.09 ) 
679.43/681.36	c counting  constraints 205826 ,( 96.91 ) 
679.43/681.36	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 35774028 , 8277537 , 924589572 ,( 5912466 , 918677106 )
679.43/681.36	c gcd simplifications 5916
679.43/681.36	c detected cardinalities 51
679.43/681.36	c weakened non-implied lits 186805198
679.43/681.36	c weakened non-implying lits 1686223
679.43/681.36	c original variables 5100
679.43/681.36	c clausal propagations 28064532
679.43/681.36	c cardinality propagations 756914
679.43/681.36	c watched propagations 135093
679.43/681.36	c counting propagations 15043336
679.43/681.36	c watch lookups 19072486048
679.43/681.36	c watch backjump lookups 0
679.43/681.36	c watch checks 529926584
679.43/681.36	c propagation checks 49543539707
679.43/681.36	c constraint additions 956876828
679.43/681.36	c trail pops 45281288
679.43/681.36	c formula constraints 12510
679.43/681.36	c learned constraints 243421
679.43/681.36	c bound constraints 150
679.43/681.36	c core-guided constraints 0
679.43/681.36	c encountered formula constraints 3545216
679.43/681.36	c encountered learned constraints 845447
679.43/681.36	c encountered bound constraints 7732
679.43/681.36	c encountered core-guided constraints 0
679.43/681.36	c LP total time 170.712 s
679.43/681.36	c LP solve time 151.52 s
679.43/681.36	c LP constraints added 12569
679.43/681.36	c LP constraints removed 35
679.43/681.36	c LP pivots internal 244790
679.43/681.36	c LP pivots root 230534
679.43/681.36	c LP calls 3075
679.43/681.36	c LP optimalities 39
679.43/681.36	c LP no pivot count 2
679.43/681.36	c LP infeasibilities 3024
679.43/681.36	c LP valid Farkas constraints 3017
679.43/681.36	c LP learned Farkas constraints 157
679.43/681.36	c LP basis resets 15
679.43/681.36	c LP cycling count 0
679.43/681.36	c LP singular count 7
679.43/681.36	c LP no primal count 0
679.43/681.36	c LP no farkas count 7
679.43/681.36	c LP other issue count 1
679.43/681.36	c LP Gomory cuts 20
679.43/681.36	c LP learned cuts 39
679.43/681.36	c LP deleted cuts 35
679.43/681.36	c LP encountered Gomory constraints 0
679.43/681.36	c LP encountered Farkas constraints 74100
679.43/681.36	c LP encountered learned Farkas constraints 1187
679.43/681.36	c CG auxiliary variables introduced 0
679.43/681.36	c CG solutions found 149
679.43/681.36	c CG cores constructed 0
679.43/681.36	c CG core cardinality constraints returned 0
679.43/681.36	c CG unit cores 0
679.43/681.36	c CG single cores 0
679.43/681.36	c CG blocks removed during cardinality reduction 0
679.43/681.36	c CG first core best 0
679.43/681.36	c CG decision core best 0
679.43/681.36	c CG core reduction tie 0
679.43/681.36	c CG core degree average 0.00
679.43/681.36	c CG core slack average 0.00
679.43/681.36	c CG core upper bound improvements 0
679.43/681.36	c STR number of successful calls 0
679.43/681.36	c STR number of unsuccessful calls 0
679.43/681.36	c STR number of inconclusive calls 0
679.43/681.36	c STR number of successful attempts 0
679.43/681.36	c STR number of unsuccessful attempts 0
679.43/681.36	c STR number of inconclusive attempts 0
679.43/681.36	c STR average degree increase per successful call inf
679.43/681.36	c STR average degree increase per successful attempt inf
679.43/681.36	c STR total number of conflicts for successful attempts 0
679.43/681.36	c STR total number of conflicts for unsuccessful attempts 0
679.43/681.36	c STR total number of conflicts for inconclusive attempts 0
679.43/681.36	c STR average number of conflicts per successful attempt inf
679.43/681.36	c STR average number of conflicts per unsuccessful attempt inf
679.43/681.36	c STR average number of conflicts per inconclusive attempt inf
679.43/681.36	c AVG.sumWPerc 92.62 
679.43/681.36	c bigint constraints 0 
679.43/681.36	o 3367493
679.43/681.36	s OPTIMUM FOUND
679.43/681.36	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	3367493

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=63295, runsolver pid=63292
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.12 4.16 4.09 5/270 63298
/proc/meminfo: memFree=112608664/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=70712 memory=26688 CPUtime=0.05 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 4206 0 0 0 4 1 0 0 20 0 1 0 60132112 72409088 6672 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 17678 6672 2304 1147 0 5105 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 74904 KiB
Current children cumulated memory: 29760 KiB

[startup+0.205799 s]*
/proc/loadavg: 4.12 4.16 4.09 5/270 63298
/proc/meminfo: memFree=112600852/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=78452 memory=34240 CPUtime=0.16 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 6072 0 0 0 14 2 0 0 20 0 1 0 60132112 80334848 8560 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 19613 8560 2336 1147 0 7040 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 82644 KiB
Current children cumulated memory: 37312 KiB

[startup+0.305757 s]*
/proc/loadavg: 4.12 4.16 4.09 5/270 63298
/proc/meminfo: memFree=112600852/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=78892 memory=34624 CPUtime=0.25 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 6191 0 0 0 23 2 0 0 20 0 1 0 60132112 80785408 8656 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 19723 8656 2336 1147 0 7150 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 83084 KiB
Current children cumulated memory: 37696 KiB

[startup+0.700211 s]
/proc/loadavg: 4.12 4.16 4.09 5/270 63298
/proc/meminfo: memFree=112600852/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=79808 memory=35520 CPUtime=0.64 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 6420 0 0 0 61 3 0 0 20 0 1 0 60132112 81723392 8880 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 19952 8880 2336 1147 0 7379 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 84000 KiB
Current children cumulated memory: 38592 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.16 4.09 5/270 63298
/proc/meminfo: memFree=112592788/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=111692 memory=67196 CPUtime=1.44 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 13743 0 0 0 138 6 0 0 20 0 1 0 60132112 114372608 16799 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 27923 16799 2400 1147 0 15350 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 115884 KiB
Current children cumulated memory: 70268 KiB

[startup+3.10554 s]
/proc/loadavg: 4.12 4.16 4.09 5/270 63298
/proc/meminfo: memFree=112517536/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=177928 memory=120312 CPUtime=3.04 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 24472 0 0 0 294 10 0 0 20 0 1 0 60132112 182198272 30078 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 44482 30078 2400 1147 0 31909 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 182120 KiB
Current children cumulated memory: 123384 KiB

[startup+6.30015 s]
/proc/loadavg: 4.11 4.16 4.09 5/270 63298
/proc/meminfo: memFree=112364448/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=214568 memory=149496 CPUtime=6.23 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 30265 0 0 0 607 16 0 0 20 0 1 0 60132112 219717632 37374 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 53642 37374 2400 1147 0 41069 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 218760 KiB
Current children cumulated memory: 152568 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.15 4.09 5/270 63298
/proc/meminfo: memFree=112205176/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=275496 memory=210596 CPUtime=12.61 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 43030 0 0 0 1236 25 0 0 20 0 1 0 60132112 282107904 52649 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 68874 52649 2400 1147 0 56301 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 279688 KiB
Current children cumulated memory: 213668 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.14 4.09 5/271 63300
/proc/meminfo: memFree=112031092/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=334108 memory=259720 CPUtime=25.38 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 54279 0 0 0 2503 35 0 0 20 0 1 0 60132112 342126592 64930 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 83527 64930 2400 1147 0 70954 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 338300 KiB
Current children cumulated memory: 262792 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.15 4.09 5/270 63300
/proc/meminfo: memFree=111196056/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=369856 memory=298408 CPUtime=50.92 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 63454 0 0 0 5038 54 0 0 20 0 1 0 60132112 378732544 74602 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 92464 74602 2400 1147 0 79891 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 374048 KiB
Current children cumulated memory: 301480 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/270 63306
/proc/meminfo: memFree=110779828/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=506520 memory=421780 CPUtime=101.98 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 87533 0 0 0 10108 90 0 0 20 0 1 0 60132112 518676480 105445 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 126630 105445 2528 1147 0 114057 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 510712 KiB
Current children cumulated memory: 424852 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/270 63308
/proc/meminfo: memFree=110560948/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=614904 memory=479724 CPUtime=161.83 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 99975 0 0 0 16057 126 0 0 20 0 1 0 60132112 629661696 119931 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 153726 119931 2528 1147 0 141153 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 619096 KiB
Current children cumulated memory: 482796 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/270 63310
/proc/meminfo: memFree=110382416/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=718424 memory=569984 CPUtime=221.68 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 120005 0 0 0 22007 161 0 0 20 0 1 0 60132112 735666176 142496 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 179606 142496 2528 1147 0 167033 0
Current children cumulated CPU time: 221.69 s

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

/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=751608 memory=621824 CPUtime=401.2 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 129930 0 0 0 39871 249 0 0 20 0 1 0 60132112 769646592 155456 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 187902 155456 2528 1147 0 175329 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 755800 KiB
Current children cumulated memory: 624896 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/269 63319
/proc/meminfo: memFree=109852396/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=762508 memory=632192 CPUtime=461.03 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 132543 0 0 0 45820 283 0 0 20 0 1 0 60132112 780808192 158048 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 190627 158048 2528 1147 0 178054 0
Current children cumulated CPU time: 461.04 s
Current children cumulated vsize: 766700 KiB
Current children cumulated memory: 635264 KiB

[startup+522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 63324
/proc/meminfo: memFree=109750916/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=762508 memory=632576 CPUtime=520.86 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 132631 0 0 0 51780 306 0 0 20 0 1 0 60132112 780808192 158144 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 190627 158144 2528 1147 0 178054 0
Current children cumulated CPU time: 520.87 s
Current children cumulated vsize: 766700 KiB
Current children cumulated memory: 635648 KiB

[startup+582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 63326
/proc/meminfo: memFree=109598272/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=872840 memory=724304 CPUtime=580.7 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 152009 0 0 0 57728 342 0 0 20 0 1 0 60132112 893788160 181076 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 218210 181076 2528 1147 0 205637 0
Current children cumulated CPU time: 580.71 s
Current children cumulated vsize: 877032 KiB
Current children cumulated memory: 727376 KiB

[startup+642.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 63330
/proc/meminfo: memFree=109515180/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=905672 memory=761796 CPUtime=640.53 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 159891 0 0 0 63681 372 0 0 20 0 1 0 60132112 927408128 190449 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 226418 190449 2528 1147 0 213845 0
Current children cumulated CPU time: 640.54 s
Current children cumulated vsize: 909864 KiB
Current children cumulated memory: 764868 KiB

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

# cumulated CPU time of all completed processes:  user=675.699 s, system=3.86877 s

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

[startup+665.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 63336
/proc/meminfo: memFree=109489912/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=908996 memory=765124 CPUtime=663.77 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 160724 0 0 0 65998 379 0 0 20 0 1 0 60132112 930811904 191281 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 227249 191281 2528 1147 0 214676 0
Current children cumulated CPU time: 663.78 s
Current children cumulated vsize: 913188 KiB
Current children cumulated memory: 768196 KiB

[startup+672 s]*
/proc/loadavg: 4.08 4.10 4.09 5/269 63336
/proc/meminfo: memFree=109489912/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=908996 memory=765124 CPUtime=670.16 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 160724 0 0 0 66636 380 0 0 20 0 1 0 60132112 930811904 191281 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 227249 191281 2528 1147 0 214676 0
Current children cumulated CPU time: 670.17 s
Current children cumulated vsize: 913188 KiB
Current children cumulated memory: 768196 KiB

[startup+678.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 63336
/proc/meminfo: memFree=109499176/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=908996 memory=765124 CPUtime=676.54 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 160724 0 0 0 67272 382 0 0 20 0 1 0 60132112 930811904 191281 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 227249 191281 2528 1147 0 214676 0
Current children cumulated CPU time: 676.55 s
Current children cumulated vsize: 913188 KiB
Current children cumulated memory: 768196 KiB

[startup+680 s]*
/proc/loadavg: 4.07 4.09 4.09 5/269 63336
/proc/meminfo: memFree=109499176/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=908996 memory=765124 CPUtime=678.13 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 160724 0 0 0 67431 382 0 0 20 0 1 0 60132112 930811904 191281 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 227249 191281 2528 1147 0 214676 0
Current children cumulated CPU time: 678.14 s
Current children cumulated vsize: 913188 KiB
Current children cumulated memory: 768196 KiB

[startup+680.8 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 63336
/proc/meminfo: memFree=109499176/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=908996 memory=765124 CPUtime=678.92 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 160724 0 0 0 67510 382 0 0 20 0 1 0 60132112 930811904 191281 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 227249 191281 2528 1147 0 214676 0
Current children cumulated CPU time: 678.93 s
Current children cumulated vsize: 913188 KiB
Current children cumulated memory: 768196 KiB

[startup+681.2 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 63336
/proc/meminfo: memFree=109499176/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/statm: 1048 768 704 219 0 110 0
[pid=63298] ppid=63295 vsize=908996 memory=765124 CPUtime=679.32 cores=4,6
/proc/63298/stat : 63298 (roundingsat) R 63295 63295 62643 0 -1 4194304 160724 0 0 0 67550 382 0 0 20 0 1 0 60132112 930811904 191281 18446744073709551615 4227072 8923433 140727862461088 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23293952 140727862462790 140727862463016 140727862463016 140727862468586 0
/proc/63298/statm: 227249 191281 2528 1147 0 214676 0
Current children cumulated CPU time: 679.33 s
Current children cumulated vsize: 913188 KiB
Current children cumulated memory: 768196 KiB

[startup+681.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 63336
/proc/meminfo: memFree=109499176/131249996 swapFree=33010160/33010684
[pid=63295] ppid=63292 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/63295/stat : 63295 (run-opt-ls.sh) S 63292 63295 62643 0 -1 4194304 240 3458 0 0 0 0 1 0 20 0 1 0 60132108 4292608 768 18446744073709551615 94486390562816 94486391457349 140733017156800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94486391696400 94486391744144 94486403072000 140733017164135 140733017164261 140733017164261 140733017169863 0
/proc/63295/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): 681.407
CPU time (s): 679.568
CPU user time (s): 675.699
CPU system time (s): 3.86877
CPU usage (%): 99.7301
Max. virtual memory (cumulated for all children) (KiB): 913188
Max. memory (cumulated for all children) (KiB): 768196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 675.699
system time used= 3.86877
maximum resident set size= 765124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164445
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= 209
involuntary context switches= 737


# summary of solver processes directly reported to runsolver:
#   pid: 63295
#   total CPU time (s): 679.568
#   total CPU user time (s): 675.699
#   total CPU system time (s): 3.86877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44716 second user time and 3.17687 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-02 10:22:15
IDJOB=4503792
IDBENCH=155603
IDSOLVER=3355
FILE ID=nodeC032/4503792-1751444535
RUNJOBID= nodeC032-1751440844-62654
SLURM_JOB_ID= 9598402
Free space on /tmp= 430860 MiB

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

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
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.832
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.840
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		: 3560.190
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		: 3613.112
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.866
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.846
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		: 3600.287
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.990
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:        112612760 kB
MemAvailable:   127429252 kB
Buffers:            2728 kB
Cached:         15496592 kB
SwapCached:           20 kB
Active:          2608356 kB
Inactive:       15129424 kB
Active(anon):    2253240 kB
Inactive(anon):     3268 kB
Active(file):     355116 kB
Inactive(file): 15126156 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7532 kB
Writeback:             0 kB
AnonPages:       2239660 kB
Mapped:           117060 kB
Shmem:             18048 kB
KReclaimable:     348920 kB
Slab:             441912 kB
SReclaimable:     348920 kB
SUnreclaim:        92992 kB
KernelStack:        4384 kB
PageTables:         7636 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2727040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    851968 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= 430852 MiB
End job on nodeC032 at 2025-07-02 10:33:36