Trace number 4503793

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 63f22adOPT cert.3367493 793.792 804.635

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-4503793-1751483517.opb'
0.00/0.02	c 	read 0.40MB  (5.53ms)
0.00/0.02	c	 [cnf: #variables 5100 #clauses 7607 #duplicates 0 #arr 37600]
0.00/6.36	c output proof to 'PROOFDIR/proof-4503793-1751483517'
0.00/6.36	c 
0.00/6.36	c make graph and approximate orbits
0.00/6.37	c	 [group: #orbits ~= 0] (9.22ms)
0.00/6.37	c 
0.00/6.37	c detect special group actions
0.00/6.37	c 	probe for Johnson action (limit=64)
0.00/6.37	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/6.37	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/6.37	c 	 (1.06ms)
0.00/6.37	c 
0.00/6.37	c detect symmetries on remainder
0.00/6.37	c 	[graph: #vertices 35607 #edges 121000]
0.00/6.37	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/6.37	c 	 [group: #symmetries 1.00*10^0 #generators 0] (2.02ms)
0.00/6.37	c 
0.00/6.37	c finalize break order and special generators
0.00/6.37	c 
0.00/6.37	c generation finished
0.00/6.37	c 	[sbp: #constraints 0 #add_vars 0]
0.00/6.37	c 
0.00/6.37	c write result to 'HOME/instance-4503793-1751483517.opb.pre'
0.00/6.37	c 	wrote 0.41MB (1.03ms)
0.00/6.37	c ------------------------------------------------------------------
0.00/6.37	c                6339.90ms 99.70% other
0.00/6.37	c                   9.22ms  0.15% approx_orbits
0.00/6.37	c                   5.53ms  0.09% parse
0.00/6.37	c                   2.02ms  0.03% detect_generic
0.00/6.37	c                   1.06ms  0.02% detect_special
0.00/6.37	c                   1.03ms  0.02% output
0.00/6.37	c                   0.16ms  0.00% finalize_order
0.00/6.37	c         ───────────────────────────────────────────────
0.00/6.37	c                6358.94ms   100% total
0.00/6.37	c ------------------------------------------------------------------
0.00/6.39	c RoundingSat 2
0.00/6.39	c branch pb25
0.00/6.39	c commit 63f22ad
0.01/6.46	c #variables 5100 #constraints 12510
0.01/6.46	c objective is ce32 
0.01/6.51	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
0.01/6.51	c initial counting CF 32, 64, 128, Arb: 1326 , 0 , 0 , 0
0.01/6.51	c bounds 87185645 >= -50 @ 0.112506
0.72/7.15	c bounds 87183119 >= -50 @ 0.735656
0.72/7.16	c bounds 87140087 >= -50 @ 0.740874
0.81/7.24	c bounds 87125541 >= -50 @ 0.815772
0.81/7.26	c bounds 87124701 >= -50 @ 0.834206
0.81/7.27	c bounds 87119507 >= -50 @ 0.849611
0.81/7.29	c bounds 47488877 >= -50 @ 0.868878
0.91/7.30	c bounds 47336891 >= -50 @ 0.873428
0.91/7.31	c bounds 47284313 >= -50 @ 0.885454
0.91/7.38	c bounds 47177819 >= -50 @ 0.949735
0.91/7.39	c bounds 47170241 >= -50 @ 0.959909
1.62/8.05	c bounds 39179221 >= -50 @ 1.59641
1.71/8.10	c bounds 39177565 >= -50 @ 1.64814
1.71/8.13	c bounds 39174991 >= -50 @ 1.67223
1.71/8.14	c bounds 39141007 >= -50 @ 1.6845
1.71/8.17	c bounds 39077181 >= -50 @ 1.70966
1.71/8.19	c bounds 39059211 >= -50 @ 1.73187
1.80/8.23	c bounds 39046451 >= -50 @ 1.77134
1.91/8.32	c bounds 38991213 >= -50 @ 1.86194
1.91/8.36	c bounds 38983773 >= -50 @ 1.8946
1.91/8.39	c bounds 38889757 >= -50 @ 1.92372
2.00/8.41	c bounds 38884061 >= -50 @ 1.9377
2.00/8.42	c bounds 38846749 >= -50 @ 1.95003
2.20/8.63	c bounds 38838021 >= -50 @ 2.15615
2.60/9.01	c bounds 20251189 >= -50 @ 2.51898
3.21/9.62	c bounds 20236399 >= -50 @ 3.11649
4.50/10.94	c #Conflicts:       1000 | #Constraints:      13535
4.50/10.94	c bounds 15566047 >= -50 @ 4.37913
4.50/10.95	c bounds 15547021 >= -50 @ 4.39024
4.50/10.96	c bounds 15512623 >= -50 @ 4.40277
4.50/10.98	c bounds 15484273 >= -50 @ 4.4154
4.50/10.99	c bounds 15481393 >= -50 @ 4.43231
4.61/11.01	c bounds 15465937 >= -50 @ 4.44903
4.61/11.02	c bounds 15462577 >= -50 @ 4.46327
4.61/11.09	c bounds 15457067 >= -50 @ 4.52814
4.70/11.13	c bounds 7328653 >= -50 @ 4.56356
4.70/11.18	c bounds 7320971 >= -50 @ 4.61588
4.80/11.21	c bounds 7295437 >= -50 @ 4.63794
4.80/11.22	c bounds 7287325 >= -50 @ 4.65092
4.80/11.23	c bounds 7281085 >= -50 @ 4.6608
4.80/11.27	c bounds 7255783 >= -50 @ 4.70191
4.80/11.29	c bounds 7249927 >= -50 @ 4.71808
5.00/11.41	c bounds 7229173 >= -50 @ 4.83005
5.00/11.47	c bounds 7215259 >= -50 @ 4.88828
5.00/11.48	c bounds 7163557 >= -50 @ 4.89935
5.00/11.49	c bounds 7163299 >= -50 @ 4.90873
5.10/11.51	c bounds 7136825 >= -50 @ 4.93014
5.10/11.52	c bounds 7130585 >= -50 @ 4.94125
6.40/12.88	c #Conflicts:       2000 | #Constraints:      14556
6.40/12.88	c INPROCESSING
6.40/12.88	c GARBAGE COLLECT
6.40/12.88	c bounds 7130119 >= -50 @ 6.2765
6.50/12.94	c bounds 7102403 >= -50 @ 6.33659
6.50/12.97	c bounds 7075523 >= -50 @ 6.36399
6.50/12.98	c bounds 7075193 >= -50 @ 6.37145
6.50/13.00	c bounds 7051283 >= -50 @ 6.38986
7.00/13.41	c bounds 6478107 >= -50 @ 6.79695
7.19/13.62	c bounds 6450057 >= -50 @ 6.99703
10.18/16.69	c #Conflicts:       3000 | #Constraints:      10842
10.18/16.69	c bounds 4891761 >= -50 @ 9.98616
10.29/16.74	c bounds 3969129 >= -50 @ 10.0313
10.39/16.81	c bounds 3965819 >= -50 @ 10.1053
10.39/16.83	c bounds 3957833 >= -50 @ 10.1188
10.39/16.85	c bounds 3934469 >= -50 @ 10.1387
10.69/17.12	c bounds 3916343 >= -50 @ 10.4074
10.69/17.14	c bounds 3908357 >= -50 @ 10.423
10.69/17.16	c bounds 3891287 >= -50 @ 10.4398
10.78/17.21	c bounds 3886863 >= -50 @ 10.4862
10.78/17.22	c bounds 3877183 >= -50 @ 10.5022
10.78/17.24	c bounds 3867597 >= -50 @ 10.5164
10.88/17.31	c bounds 3855141 >= -50 @ 10.5825
10.88/17.33	c bounds 3852221 >= -50 @ 10.5983
10.88/17.36	c bounds 3849979 >= -50 @ 10.6254
10.88/17.38	c bounds 3849091 >= -50 @ 10.6455
11.08/17.53	c #Conflicts:       4000 | #Constraints:      11860
11.08/17.53	c bounds 3828277 >= -50 @ 10.7937
11.18/17.63	c bounds 3801397 >= -50 @ 10.8827
11.18/17.69	c bounds 3798247 >= -50 @ 10.9433
11.28/17.72	c bounds 3787537 >= -50 @ 10.9703
11.28/17.73	c bounds 3769233 >= -50 @ 10.9894
11.28/17.75	c bounds 3765169 >= -50 @ 11.0081
11.28/17.77	c bounds 3760103 >= -50 @ 11.0268
11.28/17.79	c bounds 3751263 >= -50 @ 11.045
11.38/17.81	c bounds 3741687 >= -50 @ 11.0602
11.38/17.82	c bounds 3735037 >= -50 @ 11.0751
11.48/17.90	c bounds 3725829 >= -50 @ 11.151
12.48/18.96	c bounds 3716149 >= -50 @ 12.1842
12.48/18.99	c bounds 3708787 >= -50 @ 12.2161
12.68/19.12	c INPROCESSING
12.68/19.12	c GARBAGE COLLECT
12.68/19.12	c bounds 3708139 >= -50 @ 12.3472
12.68/19.18	c bounds 3701379 >= -50 @ 12.3979
12.88/19.34	c bounds 3695509 >= -50 @ 12.5544
12.98/19.45	c bounds 3688799 >= -50 @ 12.6653
13.17/19.61	c bounds 3679655 >= -50 @ 12.8169
13.17/19.64	c bounds 3674513 >= -50 @ 12.8473
13.87/20.37	c bounds 3671593 >= -50 @ 13.5532
19.46/25.92	c #Conflicts:       5000 | #Constraints:      10546
19.46/25.92	c #Conflicts:       6000 | #Constraints:      11546
19.46/25.92	c INPROCESSING
19.46/25.92	c GARBAGE COLLECT
19.46/25.92	c rational objective 1.71035e+06
25.94/32.46	c #Conflicts:       7000 | #Constraints:      10569
25.94/32.46	c #Conflicts:       8000 | #Constraints:      11569
25.94/32.46	c #Conflicts:       9000 | #Constraints:      12569
25.94/32.46	c INPROCESSING
25.94/32.46	c GARBAGE COLLECT
25.94/32.46	c bounds 3668007 >= -50 @ 25.3834
26.55/33.08	c bounds 3665665 >= -50 @ 25.9915
31.22/37.76	c #Conflicts:      10000 | #Constraints:      11218
31.22/37.76	c #Conflicts:      11000 | #Constraints:      12218
31.22/37.76	c bounds 3662935 >= -50 @ 30.5769
33.21/39.74	c #Conflicts:      12000 | #Constraints:      13219
33.21/39.74	c INPROCESSING
33.21/39.74	c GARBAGE COLLECT
33.21/39.74	c rational objective 1.71164e+06
47.98/54.52	c #Conflicts:      13000 | #Constraints:      11681
47.98/54.52	c #Conflicts:      14000 | #Constraints:      12681
47.98/54.52	c #Conflicts:      15000 | #Constraints:      13681
47.98/54.52	c INPROCESSING
47.98/54.52	c GARBAGE COLLECT
47.98/54.52	c #Conflicts:      16000 | #Constraints:      11824
47.98/54.52	c #Conflicts:      17000 | #Constraints:      12826
47.98/54.52	c #Conflicts:      18000 | #Constraints:      13829
47.98/54.52	c INPROCESSING
47.98/54.52	c GARBAGE COLLECT
47.98/54.52	c rational objective 1.72682e+06
80.49/87.19	c #Conflicts:      19000 | #Constraints:      11791
80.49/87.19	c #Conflicts:      20000 | #Constraints:      12899
80.49/87.19	c #Conflicts:      21000 | #Constraints:      13996
80.49/87.19	c INPROCESSING
80.49/87.19	c GARBAGE COLLECT
80.49/87.19	c #Conflicts:      22000 | #Constraints:      11741
80.49/87.19	c #Conflicts:      23000 | #Constraints:      12763
80.49/87.19	c #Conflicts:      24000 | #Constraints:      13779
80.49/87.19	c #Conflicts:      25000 | #Constraints:      14780
80.49/87.19	c INPROCESSING
80.49/87.19	c GARBAGE COLLECT
80.49/87.19	c #Conflicts:      26000 | #Constraints:      12288
80.49/87.19	c #Conflicts:      27000 | #Constraints:      13431
80.49/87.19	c #Conflicts:      28000 | #Constraints:      14519
80.49/87.19	c #Conflicts:      29000 | #Constraints:      15664
80.49/87.19	c INPROCESSING
80.49/87.19	c GARBAGE COLLECT
80.49/87.19	WSVECS04 Frhs2[8]: 6 0 675539 shouldn't be
80.49/87.19	WSVECS04 Frhs2[47]: 6 -2.42555e+06 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[50]: 6 0 531827 shouldn't be
80.49/87.19	WSVECS04 Frhs2[55]: 6 -103923 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[58]: 6 0 1.88177e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[61]: 6 0 645181 shouldn't be
80.49/87.19	WSVECS04 Frhs2[68]: 6 0 279339 shouldn't be
80.49/87.19	WSVECS04 Frhs2[74]: 6 0 527169 shouldn't be
80.49/87.19	WSVECS04 Frhs2[100]: 6 0 1.38191e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[108]: 6 0 1.82366e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[124]: 6 0 1.56605e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[133]: 6 0 183193 shouldn't be
80.49/87.19	WSVECS04 Frhs2[135]: 6 0 1.30454e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[137]: 6 0 473126 shouldn't be
80.49/87.19	WSVECS04 Frhs2[146]: 6 0 26585 shouldn't be
80.49/87.19	WSVECS04 Frhs2[148]: 6 0 50786.8 shouldn't be
80.49/87.19	WSVECS04 Frhs2[155]: 6 -9633 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[174]: 6 0 1.4587e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[200]: 6 0 496348 shouldn't be
80.49/87.19	WSVECS04 Frhs2[208]: 6 0 1.87383e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[224]: 6 0 560657 shouldn't be
80.49/87.19	WSVECS04 Frhs2[250]: 6 0 977764 shouldn't be
80.49/87.19	WSVECS04 Frhs2[261]: 6 0 503932 shouldn't be
80.49/87.19	WSVECS04 Frhs2[305]: 6 -2640 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[324]: 6 0 512022 shouldn't be
80.49/87.19	WSVECS04 Frhs2[368]: 6 0 415836 shouldn't be
80.49/87.19	WSVECS04 Frhs2[372]: 6 0 970034 shouldn't be
80.49/87.19	WSVECS04 Frhs2[386]: 6 0 586450 shouldn't be
80.49/87.19	WSVECS04 Frhs2[391]: 6 0 338628 shouldn't be
80.49/87.19	WSVECS04 Frhs2[400]: 6 0 1.76361e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[402]: 6 -15225 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[422]: 6 0 77039.4 shouldn't be
80.49/87.19	WSVECS04 Frhs2[424]: 6 0 511529 shouldn't be
80.49/87.19	WSVECS04 Frhs2[474]: 6 0 1.46073e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[486]: 6 0 111473 shouldn't be
80.49/87.19	WSVECS04 Frhs2[500]: 6 0 882044 shouldn't be
80.49/87.19	WSVECS04 Frhs2[524]: 6 0 1.49776e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[538]: 6 0 7200 shouldn't be
80.49/87.19	WSVECS04 Frhs2[574]: 6 0 402853 shouldn't be
80.49/87.19	WSVECS04 Frhs2[585]: 6 0 196750 shouldn't be
80.49/87.19	WSVECS04 Frhs2[602]: 6 -26180 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[608]: 6 0 1.83665e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[622]: 6 0 987758 shouldn't be
80.49/87.19	WSVECS04 Frhs2[624]: 6 0 1.479e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[636]: 6 0 92082 shouldn't be
80.49/87.19	WSVECS04 Frhs2[650]: 6 0 1.88946e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[652]: 6 0 3196 shouldn't be
80.49/87.19	WSVECS04 Frhs2[655]: 6 -356113 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[672]: 6 0 1.02061e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[674]: 6 0 534513 shouldn't be
80.49/87.19	WSVECS04 Frhs2[680]: 6 0 5125 shouldn't be
80.49/87.19	WSVECS04 Frhs2[702]: 6 0 615 shouldn't be
80.49/87.19	WSVECS04 Frhs2[707]: 6 0 560106 shouldn't be
80.49/87.19	WSVECS04 Frhs2[717]: 6 0 964505 shouldn't be
80.49/87.19	WSVECS04 Frhs2[724]: 6 0 512022 shouldn't be
80.49/87.19	WSVECS04 Frhs2[774]: 6 0 561929 shouldn't be
80.49/87.19	WSVECS04 Frhs2[800]: 6 0 977332 shouldn't be
80.49/87.19	WSVECS04 Frhs2[801]: 6 0 1.11539e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[802]: 6 0 897345 shouldn't be
80.49/87.19	WSVECS04 Frhs2[811]: 6 0 513660 shouldn't be
80.49/87.19	WSVECS04 Frhs2[817]: 6 0 921721 shouldn't be
80.49/87.19	WSVECS04 Frhs2[822]: 6 0 1.92299e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[835]: 6 0 138595 shouldn't be
80.49/87.19	WSVECS04 Frhs2[836]: 6 0 111963 shouldn't be
80.49/87.19	WSVECS04 Frhs2[855]: 6 0 9727 shouldn't be
80.49/87.19	WSVECS04 Frhs2[886]: 6 0 95957.6 shouldn't be
80.49/87.19	WSVECS04 Frhs2[900]: 6 0 422134 shouldn't be
80.49/87.19	WSVECS04 Frhs2[905]: 6 0 4092 shouldn't be
80.49/87.19	WSVECS04 Frhs2[911]: 6 0 488475 shouldn't be
80.49/87.19	WSVECS04 Frhs2[936]: 6 0 112414 shouldn't be
80.49/87.19	WSVECS04 Frhs2[961]: 6 0 506875 shouldn't be
80.49/87.19	WSVECS04 Frhs2[985]: 6 0 31682 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1011]: 6 0 515515 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1100]: 6 0 978704 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1111]: 6 0 627046 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1119]: 6 0 46629.8 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1122]: 6 0 1.02038e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1124]: 6 0 537194 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1133]: 6 0 147116 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1152]: 6 -260 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1261]: 6 0 504600 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1311]: 6 0 525595 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1361]: 6 0 513112 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1386]: 6 0 88509.6 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1411]: 6 0 524587 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1437]: 6 0 547239 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1460]: 6 0 1.08727e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1511]: 6 0 516280 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1550]: 6 0 1.87773e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1552]: 6 0 1180 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1555]: 6 0 9975 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1559]: 6 -539479 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1564]: 6 -51529 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1577]: 6 -1326 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1580]: 6 0 958627 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1583]: 6 -55696 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1602]: 6 -6308 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1658]: 6 0 1.69232e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1660]: 6 0 64462.9 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1661]: 6 0 646834 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1668]: 6 0 410404 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1674]: 6 0 525882 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1686]: 6 0 161275 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1700]: 6 0 1.87315e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1708]: 6 0 60450.9 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1711]: 6 0 525756 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1713]: 6 0 19366.5 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1722]: 6 0 248630 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1729]: 6 0 85188.9 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1735]: 6 0 419082 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1752]: 6 -18705 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1768]: 6 0 402605 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1800]: 6 0 855456 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1822]: 6 0 1.05926e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1850]: 6 0 973243 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1855]: 6 -78585 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1911]: 6 0 702748 shouldn't be
80.49/87.19	WSVECS04 Frhs2[1938]: 6 -8836 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2011]: 6 0 502572 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2038]: 6 -78400 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2055]: 6 0 10140 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2099]: 6 0 23769 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2102]: 6 -15504 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2152]: 6 -25145 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2208]: 6 0 25214.1 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2210]: 6 0 123560 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2211]: 6 0 661885 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2224]: 6 0 552089 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2250]: 6 0 974539 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2302]: 6 0 2160 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2303]: 6 -90601 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2311]: 6 0 646834 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2315]: 6 -163567 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2322]: 6 0 1.01345e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2323]: 6 -981755 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2324]: 6 0 550634 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2326]: 6 -59804.6 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2337]: 6 -582536 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2358]: 6 0 907807 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2361]: 6 0 558741 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2372]: 6 0 983457 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2374]: 6 0 436928 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2385]: 6 0 132900 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2386]: 6 0 102523 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2388]: 6 -1.09734e+06 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2402]: 6 -33540 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2411]: 6 0 611686 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2445]: 6 0 10596.1 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2461]: 6 0 631309 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2474]: 6 0 528438 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2475]: 6 0 1.15866e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2500]: 6 0 992854 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2502]: 6 0 2160 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2511]: 6 0 598006 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2515]: 6 0 20389.6 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2517]: 6 0 2871 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2519]: 6 0 182195 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2522]: 6 0 94364.4 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2524]: 6 0 520097 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2538]: 6 -860086 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[2550]: 6 0 1.87181e+06 shouldn't be
80.49/87.19	WSVECS04 Frhs2[3655]: 6 -388480 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[4105]: 6 -24389 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[4605]: 6 -17576 0 shouldn't be
80.49/87.19	WSVECS04 Frhs2[4667]: 6 0 4563 shouldn't be
92.15/98.88	c #Conflicts:      30000 | #Constraints:      12827
92.15/98.88	c #Conflicts:      31000 | #Constraints:      13827
92.15/98.88	c #Conflicts:      32000 | #Constraints:      14827
92.15/98.88	c #Conflicts:      33000 | #Constraints:      15827
92.15/98.88	c INPROCESSING
92.15/98.88	c GARBAGE COLLECT
92.15/98.88	c rational objective 1.7275e+06
101.33/108.02	c #Conflicts:      34000 | #Constraints:      12855
101.33/108.02	c #Conflicts:      35000 | #Constraints:      13855
101.33/108.02	c #Conflicts:      36000 | #Constraints:      14855
101.33/108.02	c #Conflicts:      37000 | #Constraints:      15855
101.33/108.02	c INPROCESSING
101.33/108.02	c GARBAGE COLLECT
101.33/108.02	c rational objective 1.72852e+06
110.80/117.55	c #Conflicts:      38000 | #Constraints:      12721
110.80/117.55	c #Conflicts:      39000 | #Constraints:      13721
110.80/117.55	c #Conflicts:      40000 | #Constraints:      14723
110.80/117.55	c #Conflicts:      41000 | #Constraints:      15726
110.80/117.55	c bounds 3661783 >= -50 @ 108.91
110.90/117.62	c bounds 3656773 >= -50 @ 108.982
110.90/117.69	c bounds 3656627 >= -50 @ 109.05
111.00/117.75	c bounds 3650949 >= -50 @ 109.109
111.49/118.29	c bounds 3649825 >= -50 @ 109.626
111.60/118.35	c bounds 3649621 >= -50 @ 109.689
111.70/118.41	c bounds 3644797 >= -50 @ 109.755
112.00/118.75	c bounds 3643141 >= -50 @ 110.081
112.10/118.82	c bounds 3636179 >= -50 @ 110.15
112.10/118.88	c bounds 3630501 >= -50 @ 110.212
112.31/119.07	c bounds 3628933 >= -50 @ 110.401
114.60/121.32	c INPROCESSING
114.60/121.32	c GARBAGE COLLECT
114.60/121.32	c rational objective 1.74333e+06
131.94/138.77	c #Conflicts:      42000 | #Constraints:      12512
131.94/138.77	c #Conflicts:      43000 | #Constraints:      13550
131.94/138.77	c #Conflicts:      44000 | #Constraints:      14603
131.94/138.77	c #Conflicts:      45000 | #Constraints:      15695
131.94/138.77	c #Conflicts:      46000 | #Constraints:      16695
131.94/138.77	c INPROCESSING
131.94/138.77	c GARBAGE COLLECT
131.94/138.77	c rational objective 1.74335e+06
133.94/140.71	c bounds 3628729 >= -50 @ 131.666
137.93/144.78	c #Conflicts:      47000 | #Constraints:      13146
137.93/144.78	c bounds 3628485 >= -50 @ 135.63
149.30/156.12	c #Conflicts:      48000 | #Constraints:      14151
149.30/156.12	c #Conflicts:      49000 | #Constraints:      15154
149.30/156.12	c #Conflicts:      50000 | #Constraints:      16154
149.30/156.12	c #Conflicts:      51000 | #Constraints:      17155
149.30/156.12	c INPROCESSING
149.30/156.12	c GARBAGE COLLECT
149.30/156.12	c rational objective 1.74339e+06
171.83/178.72	c #Conflicts:      52000 | #Constraints:      13478
171.83/178.72	c #Conflicts:      53000 | #Constraints:      14512
171.83/178.72	c #Conflicts:      54000 | #Constraints:      15601
171.83/178.72	c #Conflicts:      55000 | #Constraints:      16673
171.83/178.72	c #Conflicts:      56000 | #Constraints:      17745
171.83/178.72	c INPROCESSING
171.83/178.72	c GARBAGE COLLECT
171.83/178.72	c bounds 3626993 >= -50 @ 169.028
171.83/178.75	c bounds 3623815 >= -50 @ 169.061
171.83/178.79	c bounds 3623317 >= -50 @ 169.1
171.93/178.83	c bounds 3622643 >= -50 @ 169.134
171.93/178.86	c bounds 3621535 >= -50 @ 169.171
171.93/178.89	c bounds 3614313 >= -50 @ 169.194
172.03/178.91	c bounds 3610799 >= -50 @ 169.215
172.03/178.93	c bounds 3605823 >= -50 @ 169.24
172.33/179.23	c bounds 3596031 >= -50 @ 169.527
172.33/179.25	c bounds 3595245 >= -50 @ 169.551
172.33/179.28	c bounds 3583277 >= -50 @ 169.575
172.73/179.63	c bounds 3562053 >= -50 @ 169.927
172.83/179.74	c bounds 3552855 >= -50 @ 170.027
173.23/180.16	c #Conflicts:      57000 | #Constraints:      13835
173.23/180.16	c bounds 3549835 >= -50 @ 170.448
173.32/180.21	c bounds 3534625 >= -50 @ 170.49
173.32/180.26	c bounds 3522273 >= -50 @ 170.545
173.43/180.30	c bounds 3499203 >= -50 @ 170.577
173.43/180.33	c bounds 3498621 >= -50 @ 170.61
173.43/180.36	c bounds 3495731 >= -50 @ 170.638
173.53/180.42	c bounds 3483013 >= -50 @ 170.697
173.53/180.45	c bounds 3482227 >= -50 @ 170.725
173.53/180.48	c bounds 3481553 >= -50 @ 170.759
173.63/180.52	c bounds 3479401 >= -50 @ 170.794
173.73/180.66	c bounds 3471239 >= -50 @ 170.934
173.73/180.69	c bounds 3468197 >= -50 @ 170.961
173.82/180.74	c bounds 3459473 >= -50 @ 171.014
173.82/180.77	c bounds 3456431 >= -50 @ 171.04
187.29/194.24	c #Conflicts:      58000 | #Constraints:      14860
187.29/194.24	c #Conflicts:      59000 | #Constraints:      15860
187.29/194.24	c #Conflicts:      60000 | #Constraints:      16860
187.29/194.24	c #Conflicts:      61000 | #Constraints:      17860
187.29/194.24	c INPROCESSING
187.29/194.24	c GARBAGE COLLECT
187.29/194.24	c rational objective 1.7434e+06
204.24/211.23	c #Conflicts:      62000 | #Constraints:      13717
204.24/211.23	c #Conflicts:      63000 | #Constraints:      14718
204.24/211.23	c #Conflicts:      64000 | #Constraints:      15721
204.24/211.23	c #Conflicts:      65000 | #Constraints:      16721
204.24/211.23	c #Conflicts:      66000 | #Constraints:      17721
204.24/211.23	c INPROCESSING
204.24/211.23	c GARBAGE COLLECT
204.24/211.23	c rational objective 1.75094e+06
206.04/213.07	c bounds 3444335 >= -50 @ 202.822
206.04/213.10	c bounds 3438953 >= -50 @ 202.853
206.23/213.25	c bounds 3433861 >= -50 @ 202.999
206.23/213.26	c bounds 3431031 >= -50 @ 203.012
206.34/213.30	c bounds 3423593 >= -50 @ 203.05
206.44/213.48	c bounds 3421973 >= -50 @ 203.224
206.53/213.50	c bounds 3419143 >= -50 @ 203.241
206.53/213.52	c bounds 3415819 >= -50 @ 203.266
206.53/213.57	c bounds 3405551 >= -50 @ 203.311
207.43/214.40	c #Conflicts:      67000 | #Constraints:      13403
207.43/214.40	c bounds 3405229 >= -50 @ 204.118
208.33/215.31	c bounds 3400621 >= -50 @ 205.008
208.33/215.34	c bounds 3400471 >= -50 @ 205.045
208.53/215.55	c bounds 3393549 >= -50 @ 205.246
208.53/215.58	c bounds 3383431 >= -50 @ 205.275
208.83/215.88	c bounds 3381275 >= -50 @ 205.568
209.04/216.05	c bounds 3371603 >= -50 @ 205.738
209.04/216.09	c bounds 3368279 >= -50 @ 205.777
209.33/216.34	c bounds 3367493 >= -50 @ 206.027
240.34/247.43	c #Conflicts:      68000 | #Constraints:      14439
240.34/247.43	c #Conflicts:      69000 | #Constraints:      15456
240.34/247.43	c #Conflicts:      70000 | #Constraints:      16457
240.34/247.43	c #Conflicts:      71000 | #Constraints:      17457
240.34/247.43	c #Conflicts:      72000 | #Constraints:      18457
240.34/247.43	c INPROCESSING
240.34/247.43	c GARBAGE COLLECT
240.34/247.43	c #Conflicts:      73000 | #Constraints:      13932
240.34/247.43	c #Conflicts:      74000 | #Constraints:      14939
240.34/247.43	c #Conflicts:      75000 | #Constraints:      15939
240.34/247.43	c #Conflicts:      76000 | #Constraints:      16939
240.34/247.43	c #Conflicts:      77000 | #Constraints:      17939
240.34/247.43	c #Conflicts:      78000 | #Constraints:      18939
240.34/247.43	c INPROCESSING
240.34/247.43	c GARBAGE COLLECT
240.34/247.43	c rational objective 1.75295e+06
261.08/268.28	c #Conflicts:      79000 | #Constraints:      14219
261.08/268.28	c #Conflicts:      80000 | #Constraints:      15219
261.08/268.28	c #Conflicts:      81000 | #Constraints:      16220
261.08/268.28	c #Conflicts:      82000 | #Constraints:      17258
261.08/268.28	c #Conflicts:      83000 | #Constraints:      18285
261.08/268.28	c #Conflicts:      84000 | #Constraints:      19293
261.08/268.28	c INPROCESSING
261.08/268.28	c GARBAGE COLLECT
261.08/268.28	c rational objective 1.75334e+06
396.31/403.88	c #Conflicts:      85000 | #Constraints:      14512
396.31/403.88	c #Conflicts:      86000 | #Constraints:      15512
396.31/403.88	c #Conflicts:      87000 | #Constraints:      16516
396.31/403.88	c #Conflicts:      88000 | #Constraints:      17560
396.31/403.88	c #Conflicts:      89000 | #Constraints:      18591
396.31/403.88	c #Conflicts:      90000 | #Constraints:      19611
396.31/403.88	c INPROCESSING
396.31/403.88	c GARBAGE COLLECT
396.31/403.88	c #Conflicts:      91000 | #Constraints:      14539
396.31/403.88	c #Conflicts:      92000 | #Constraints:      15578
396.31/403.88	c #Conflicts:      93000 | #Constraints:      16645
396.31/403.88	c #Conflicts:      94000 | #Constraints:      17670
396.31/403.88	c #Conflicts:      95000 | #Constraints:      18680
396.31/403.88	c #Conflicts:      96000 | #Constraints:      19684
396.31/403.88	c INPROCESSING
396.31/403.88	c GARBAGE COLLECT
396.31/403.88	c #Conflicts:      97000 | #Constraints:      14378
396.31/403.88	c #Conflicts:      98000 | #Constraints:      15388
396.31/403.88	c #Conflicts:      99000 | #Constraints:      16388
396.31/403.88	c #Conflicts:     100000 | #Constraints:      17392
396.31/403.88	c #Conflicts:     101000 | #Constraints:      18410
396.31/403.88	c #Conflicts:     102000 | #Constraints:      19441
396.31/403.88	c #Conflicts:     103000 | #Constraints:      20462
396.31/403.88	c INPROCESSING
396.31/403.88	c GARBAGE COLLECT
396.31/403.88	c #Conflicts:     104000 | #Constraints:      14953
396.31/403.88	c #Conflicts:     105000 | #Constraints:      15954
396.31/403.88	c #Conflicts:     106000 | #Constraints:      16960
396.31/403.88	c #Conflicts:     107000 | #Constraints:      17962
396.31/403.88	c #Conflicts:     108000 | #Constraints:      18962
396.31/403.88	c #Conflicts:     109000 | #Constraints:      19962
396.31/403.88	c #Conflicts:     110000 | #Constraints:      20962
396.31/403.88	c INPROCESSING
396.31/403.88	c GARBAGE COLLECT
396.31/403.88	c #Conflicts:     111000 | #Constraints:      15318
396.31/403.88	c #Conflicts:     112000 | #Constraints:      16318
396.31/403.88	c #Conflicts:     113000 | #Constraints:      17318
396.31/403.88	c #Conflicts:     114000 | #Constraints:      18320
396.31/403.88	c #Conflicts:     115000 | #Constraints:      19323
396.31/403.88	c #Conflicts:     116000 | #Constraints:      20329
396.31/403.88	c #Conflicts:     117000 | #Constraints:      21333
396.31/403.88	c INPROCESSING
396.31/403.88	c GARBAGE COLLECT
396.31/403.88	c #Conflicts:     118000 | #Constraints:      15481
396.31/403.88	c #Conflicts:     119000 | #Constraints:      16481
396.31/403.88	c #Conflicts:     120000 | #Constraints:      17481
396.31/403.88	c #Conflicts:     121000 | #Constraints:      18484
396.31/403.88	c #Conflicts:     122000 | #Constraints:      19503
396.31/403.88	c #Conflicts:     123000 | #Constraints:      20503
396.31/403.88	c #Conflicts:     124000 | #Constraints:      21503
396.31/403.88	c INPROCESSING
396.31/403.88	c GARBAGE COLLECT
396.31/403.88	WSVECS04 Frhs2[358]: 6 0 53048.1 shouldn't be
396.31/403.88	WSVECS04 Frhs2[375]: 6 0 60661.9 shouldn't be
396.31/403.88	WSVECS04 Frhs2[384]: 6 0 44208.9 shouldn't be
396.31/403.88	WSVECS04 Frhs2[475]: 6 0 4573.04 shouldn't be
396.31/403.88	WSVECS04 Frhs2[602]: 6 0 43745.8 shouldn't be
396.31/403.88	WSVECS04 Frhs2[618]: 6 0 30597.2 shouldn't be
396.31/403.88	WSVECS04 Frhs2[622]: 6 0 29905.8 shouldn't be
396.31/403.88	WSVECS04 Frhs2[966]: 6 0 88746.4 shouldn't be
396.31/403.88	WSVECS04 Frhs2[995]: 6 0 66835.9 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1142]: 6 0 48138.5 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1202]: 6 0 54812.4 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1216]: 6 0 4793.03 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1219]: 6 0 2.1112e+06 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1222]: 6 0 36996.4 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1226]: 6 0 75832 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1228]: 6 0 10944.2 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1266]: 6 0 21589.9 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1345]: 6 0 6545.74 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1605]: 6 0 13505.7 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1619]: 6 0 81090.9 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1638]: 6 0 22770.4 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1670]: 6 0 88112.5 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1749]: 6 0 350783 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1795]: 6 0 3211.88 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1826]: 6 0 93856.1 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1845]: 6 0 31411.9 shouldn't be
396.31/403.88	WSVECS04 Frhs2[1945]: 6 0 5697.08 shouldn't be
396.31/403.88	WSVECS04 Frhs2[2076]: 6 0 52870.6 shouldn't be
396.31/403.88	WSVECS04 Frhs2[2162]: 6 0 292355 shouldn't be
396.31/403.88	WSVECS04 Frhs2[2253]: 6 0 60582 shouldn't be
396.31/403.88	WSVECS04 Frhs2[2297]: 6 0 26115 shouldn't be
396.31/403.88	WSVECS04 Frhs2[2345]: 6 0 62491.9 shouldn't be
396.31/403.88	WSVECS04 Frhs2[2395]: 6 0 46384.9 shouldn't be
404.98/412.58	c #Conflicts:     125000 | #Constraints:      15425
404.98/412.58	c #Conflicts:     126000 | #Constraints:      16425
404.98/412.58	WSVECS04 Frhs2[1074]: 6 0 25502 shouldn't be
404.98/412.58	WSVECS04 Frhs2[1906]: 6 0 16130 shouldn't be
404.98/412.58	WSVECS04 Frhs2[2355]: 6 0 15456 shouldn't be
441.87/449.50	c #Conflicts:     127000 | #Constraints:      17426
441.87/449.50	c #Conflicts:     128000 | #Constraints:      18426
441.87/449.50	c #Conflicts:     129000 | #Constraints:      19426
441.87/449.50	c #Conflicts:     130000 | #Constraints:      20426
441.87/449.50	c #Conflicts:     131000 | #Constraints:      21426
441.87/449.50	c INPROCESSING
441.87/449.50	c GARBAGE COLLECT
441.87/449.50	c #Conflicts:     132000 | #Constraints:      15237
441.87/449.50	c #Conflicts:     133000 | #Constraints:      16237
441.87/449.50	c #Conflicts:     134000 | #Constraints:      17238
441.87/449.50	c #Conflicts:     135000 | #Constraints:      18239
441.87/449.50	c #Conflicts:     136000 | #Constraints:      19239
441.87/449.50	c #Conflicts:     137000 | #Constraints:      20266
441.87/449.50	c #Conflicts:     138000 | #Constraints:      21327
441.87/449.50	c #Conflicts:     139000 | #Constraints:      22329
441.87/449.50	c INPROCESSING
441.87/449.50	c GARBAGE COLLECT
441.87/449.50	WSVECS04 Frhs2[2]: 6 0 22257.6 shouldn't be
441.87/449.50	WSVECS04 Frhs2[215]: 6 0 6834.11 shouldn't be
441.87/449.50	WSVECS04 Frhs2[241]: 6 0 3061.95 shouldn't be
441.87/449.50	WSVECS04 Frhs2[281]: 6 0 108085 shouldn't be
441.87/449.50	WSVECS04 Frhs2[287]: 6 0 24760.1 shouldn't be
441.87/449.50	WSVECS04 Frhs2[308]: 6 0 10838 shouldn't be
441.87/449.50	WSVECS04 Frhs2[317]: 6 0 42900.1 shouldn't be
441.87/449.50	WSVECS04 Frhs2[324]: 6 0 11292.6 shouldn't be
441.87/449.50	WSVECS04 Frhs2[329]: 6 0 15576 shouldn't be
441.87/449.50	WSVECS04 Frhs2[338]: 6 0 21700.2 shouldn't be
441.87/449.50	WSVECS04 Frhs2[344]: 6 0 4106.11 shouldn't be
441.87/449.50	WSVECS04 Frhs2[433]: 6 0 21109.8 shouldn't be
441.87/449.50	WSVECS04 Frhs2[439]: 6 0 833.641 shouldn't be
441.87/449.50	WSVECS04 Frhs2[447]: 6 0 96481.8 shouldn't be
441.87/449.50	WSVECS04 Frhs2[458]: 6 0 21514.4 shouldn't be
441.87/449.50	WSVECS04 Frhs2[597]: 6 0 15173.3 shouldn't be
441.87/449.50	WSVECS04 Frhs2[677]: 6 0 3133.89 shouldn't be
441.87/449.50	WSVECS04 Frhs2[697]: 6 0 29492.2 shouldn't be
441.87/449.50	WSVECS04 Frhs2[897]: 6 0 41705.8 shouldn't be
441.87/449.50	WSVECS04 Frhs2[988]: 6 0 33441.5 shouldn't be
441.87/449.50	WSVECS04 Frhs2[1189]: 6 0 1549.64 shouldn't be
441.87/449.50	WSVECS04 Frhs2[1191]: 6 0 26765.9 shouldn't be
441.87/449.50	WSVECS04 Frhs2[1258]: 6 0 53908.5 shouldn't be
441.87/449.50	WSVECS04 Frhs2[1290]: 6 0 11954 shouldn't be
441.87/449.50	WSVECS04 Frhs2[1297]: 6 0 58298.3 shouldn't be
441.87/449.50	WSVECS04 Frhs2[1849]: 6 0 9188.11 shouldn't be
441.87/449.50	WSVECS04 Frhs2[1886]: 6 0 2299 shouldn't be
441.87/449.50	WSVECS04 Frhs2[1947]: 6 0 64257.8 shouldn't be
441.87/449.50	WSVECS04 Frhs2[1997]: 6 0 32825.8 shouldn't be
441.87/449.50	WSVECS04 Frhs2[2098]: 6 0 34537.8 shouldn't be
441.87/449.50	WSVECS04 Frhs2[3977]: 6 0 57322 shouldn't be
469.01/476.70	c #Conflicts:     140000 | #Constraints:      15865
469.01/476.70	c #Conflicts:     141000 | #Constraints:      16867
469.01/476.70	c #Conflicts:     142000 | #Constraints:      17873
469.01/476.70	c #Conflicts:     143000 | #Constraints:      18873
469.01/476.70	c #Conflicts:     144000 | #Constraints:      19873
469.01/476.70	c #Conflicts:     145000 | #Constraints:      20874
469.01/476.70	c #Conflicts:     146000 | #Constraints:      21875
469.01/476.70	c #Conflicts:     147000 | #Constraints:      22877
469.01/476.70	c INPROCESSING
469.01/476.70	c GARBAGE COLLECT
469.01/476.70	c rational objective 1.75401e+06
491.63/499.42	c #Conflicts:     148000 | #Constraints:      16277
491.63/499.42	c #Conflicts:     149000 | #Constraints:      17277
491.63/499.42	c #Conflicts:     150000 | #Constraints:      18277
491.63/499.42	c #Conflicts:     151000 | #Constraints:      19277
491.63/499.42	c #Conflicts:     152000 | #Constraints:      20277
491.63/499.42	c #Conflicts:     153000 | #Constraints:      21277
491.63/499.42	c #Conflicts:     154000 | #Constraints:      22277
491.63/499.42	c #Conflicts:     155000 | #Constraints:      23278
491.63/499.42	c INPROCESSING
491.63/499.42	c GARBAGE COLLECT
491.63/499.42	c rational objective 1.76463e+06
514.68/522.55	c #Conflicts:     156000 | #Constraints:      16435
514.68/522.55	c #Conflicts:     157000 | #Constraints:      17435
514.68/522.55	c #Conflicts:     158000 | #Constraints:      18435
514.68/522.55	c #Conflicts:     159000 | #Constraints:      19435
514.68/522.55	c #Conflicts:     160000 | #Constraints:      20436
514.68/522.55	c #Conflicts:     161000 | #Constraints:      21436
514.68/522.55	c #Conflicts:     162000 | #Constraints:      22439
514.68/522.55	c #Conflicts:     163000 | #Constraints:      23571
514.68/522.55	c INPROCESSING
514.68/522.55	c GARBAGE COLLECT
514.68/522.55	c rational objective 1.76814e+06
571.92/580.00	c #Conflicts:     164000 | #Constraints:      16507
571.92/580.00	c #Conflicts:     165000 | #Constraints:      17530
571.92/580.00	c #Conflicts:     166000 | #Constraints:      18573
571.92/580.00	c #Conflicts:     167000 | #Constraints:      19605
571.92/580.00	c #Conflicts:     168000 | #Constraints:      20606
571.92/580.00	c #Conflicts:     169000 | #Constraints:      21606
571.92/580.00	c #Conflicts:     170000 | #Constraints:      22606
571.92/580.00	c #Conflicts:     171000 | #Constraints:      23606
571.92/580.00	c INPROCESSING
571.92/580.00	c GARBAGE COLLECT
571.92/580.00	c #Conflicts:     172000 | #Constraints:      16365
571.92/580.00	c #Conflicts:     173000 | #Constraints:      17365
571.92/580.00	c #Conflicts:     174000 | #Constraints:      18365
571.92/580.00	c #Conflicts:     175000 | #Constraints:      19365
571.92/580.00	c #Conflicts:     176000 | #Constraints:      20365
571.92/580.00	c #Conflicts:     177000 | #Constraints:      21365
571.92/580.00	c #Conflicts:     178000 | #Constraints:      22365
571.92/580.00	c #Conflicts:     179000 | #Constraints:      23365
571.92/580.00	c #Conflicts:     180000 | #Constraints:      24366
571.92/580.00	c INPROCESSING
571.92/580.00	c GARBAGE COLLECT
571.92/580.00	c rational objective 1.7695e+06
606.12/614.20	c #Conflicts:     181000 | #Constraints:      16911
606.12/614.20	c #Conflicts:     182000 | #Constraints:      17915
606.12/614.20	c #Conflicts:     183000 | #Constraints:      18915
606.12/614.20	c #Conflicts:     184000 | #Constraints:      19915
606.12/614.20	c #Conflicts:     185000 | #Constraints:      20916
606.12/614.20	c #Conflicts:     186000 | #Constraints:      21920
606.12/614.20	c #Conflicts:     187000 | #Constraints:      22923
606.12/614.20	c #Conflicts:     188000 | #Constraints:      23923
606.12/614.20	c #Conflicts:     189000 | #Constraints:      24923
606.12/614.20	c INPROCESSING
606.12/614.20	c GARBAGE COLLECT
606.12/614.20	c rational objective 1.76954e+06
633.63/641.89	c #Conflicts:     190000 | #Constraints:      17296
633.63/641.89	c #Conflicts:     191000 | #Constraints:      18296
633.63/641.89	c #Conflicts:     192000 | #Constraints:      19299
633.63/641.89	c #Conflicts:     193000 | #Constraints:      20308
633.63/641.89	c #Conflicts:     194000 | #Constraints:      21331
633.63/641.89	c #Conflicts:     195000 | #Constraints:      22339
633.63/641.89	c #Conflicts:     196000 | #Constraints:      23346
633.63/641.89	c #Conflicts:     197000 | #Constraints:      24376
633.63/641.89	c #Conflicts:     198000 | #Constraints:      25410
633.63/641.89	c INPROCESSING
633.63/641.89	c GARBAGE COLLECT
633.63/641.89	c rational objective 1.76993e+06
662.76/671.07	c #Conflicts:     199000 | #Constraints:      17556
662.76/671.07	c #Conflicts:     200000 | #Constraints:      18556
662.76/671.07	c #Conflicts:     201000 | #Constraints:      19592
662.76/671.07	c #Conflicts:     202000 | #Constraints:      20646
662.76/671.07	c #Conflicts:     203000 | #Constraints:      21713
662.76/671.07	c #Conflicts:     204000 | #Constraints:      22935
662.76/671.07	c #Conflicts:     205000 | #Constraints:      24013
662.76/671.07	c #Conflicts:     206000 | #Constraints:      25021
662.76/671.07	c #Conflicts:     207000 | #Constraints:      26022
662.76/671.07	c INPROCESSING
662.76/671.07	c GARBAGE COLLECT
662.76/671.07	c rational objective 1.77004e+06
692.17/700.59	c #Conflicts:     208000 | #Constraints:      17736
692.17/700.59	c #Conflicts:     209000 | #Constraints:      18736
692.17/700.59	c #Conflicts:     210000 | #Constraints:      19745
692.17/700.59	c #Conflicts:     211000 | #Constraints:      20771
692.17/700.59	c #Conflicts:     212000 | #Constraints:      21780
692.17/700.59	c #Conflicts:     213000 | #Constraints:      22782
692.17/700.59	c #Conflicts:     214000 | #Constraints:      23787
692.17/700.59	c #Conflicts:     215000 | #Constraints:      24787
692.17/700.59	c #Conflicts:     216000 | #Constraints:      25787
692.17/700.59	c INPROCESSING
692.17/700.59	c GARBAGE COLLECT
692.17/700.59	c rational objective 1.77006e+06
725.17/733.61	c #Conflicts:     217000 | #Constraints:      17318
725.17/733.61	c #Conflicts:     218000 | #Constraints:      18318
725.17/733.61	c #Conflicts:     219000 | #Constraints:      19331
725.17/733.61	c #Conflicts:     220000 | #Constraints:      20342
725.17/733.61	c #Conflicts:     221000 | #Constraints:      21380
725.17/733.61	c #Conflicts:     222000 | #Constraints:      22393
725.17/733.61	c #Conflicts:     223000 | #Constraints:      23405
725.17/733.61	c #Conflicts:     224000 | #Constraints:      24413
725.17/733.61	c #Conflicts:     225000 | #Constraints:      25417
725.17/733.61	c #Conflicts:     226000 | #Constraints:      26417
725.17/733.61	c INPROCESSING
725.17/733.61	c GARBAGE COLLECT
725.17/733.61	c rational objective 1.77021e+06
793.29/801.90	c #Conflicts:     227000 | #Constraints:      17915
793.29/801.90	c #Conflicts:     228000 | #Constraints:      18915
793.29/801.90	c #Conflicts:     229000 | #Constraints:      19915
793.29/801.90	c #Conflicts:     230000 | #Constraints:      20915
793.29/801.90	c #Conflicts:     231000 | #Constraints:      21916
793.29/801.90	c #Conflicts:     232000 | #Constraints:      22916
793.29/801.90	c #Conflicts:     233000 | #Constraints:      23918
793.29/801.90	c #Conflicts:     234000 | #Constraints:      24923
793.29/801.90	c #Conflicts:     235000 | #Constraints:      25924
793.29/801.90	c #Conflicts:     236000 | #Constraints:      26940
793.29/801.90	c INPROCESSING
793.29/801.90	c GARBAGE COLLECT
793.29/801.90	c #Conflicts:     237000 | #Constraints:      18265
793.29/801.90	c #Conflicts:     238000 | #Constraints:      19271
793.29/801.90	c #Conflicts:     239000 | #Constraints:      20271
793.29/801.90	c #Conflicts:     240000 | #Constraints:      21273
793.29/801.90	c #Conflicts:     241000 | #Constraints:      22273
793.29/801.90	c #Conflicts:     242000 | #Constraints:      23273
793.29/801.90	c #Conflicts:     243000 | #Constraints:      24274
793.29/801.90	c bounds 3367493 >= 3367493 @ 783.409
793.29/801.90	c cpu time 783.409 s
793.29/801.90	c deterministic time 70193626286 7.02e+10
793.29/801.90	c optimization time 0.504547 s
793.29/801.90	c total solve time 782.841 s
793.29/801.90	c core-guided solve time 465.805 s
793.29/801.90	c propagation time 415.076 s
793.29/801.90	c conflict analysis time 239.356 s
793.29/801.90	c propagations 44403019
793.29/801.90	c resolve steps 4230260
793.29/801.90	c decisions 637487
793.29/801.90	c conflicts 243579
793.29/801.90	c restarts 567
793.29/801.90	c inprocessing phases 40
793.29/801.90	c garbage collections 40 ,( 100.00 )
793.29/801.90	c input clauses 11126 ,( 87.88 )
793.29/801.90	c input cardinalities 9 ,( 0.07 )
793.29/801.90	c input general constraints 1525 ,( 12.05 )
793.29/801.90	c input average constraint length 44.65
793.29/801.90	c input average constraint degree 75284066.60
793.29/801.90	c learned clauses 35207 ,( 14.28 )
793.29/801.90	c learned cardinalities 551 ,( 0.22 )
793.29/801.90	c learned general constraints 210857 ,( 85.50 )
793.29/801.90	c learned average constraint length 1130.90
793.29/801.90	c learned average constraint degree 12085014660.21
793.29/801.90	c watched  CF 32, 64, 128, Arb: 6556 , 0 , 0 , 0
793.29/801.90	c counting CF 32, 64, 128, Arb: 205827 , 0 , 0 , 0
793.29/801.90	c watched   constraints 6556 ,( 3.09 ) 
793.29/801.90	c counting  constraints 205826 ,( 96.91 ) 
793.29/801.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 35774028 , 8277537 , 924589572 ,( 5912466 , 918677106 )
793.29/801.90	c gcd simplifications 5916
793.29/801.90	c detected cardinalities 51
793.29/801.90	c weakened non-implied lits 186805198
793.29/801.90	c weakened non-implying lits 1686223
793.29/801.90	c original variables 5100
793.29/801.90	c clausal propagations 28064532
793.29/801.90	c cardinality propagations 756914
793.29/801.90	c watched propagations 135093
793.29/801.90	c counting propagations 15043336
793.29/801.90	c watch lookups 19072486048
793.29/801.90	c watch backjump lookups 0
793.29/801.90	c watch checks 529926584
793.29/801.90	c propagation checks 49543539707
793.29/801.90	c constraint additions 956876828
793.29/801.90	c trail pops 45281288
793.29/801.90	c formula constraints 12510
793.29/801.90	c learned constraints 243421
793.29/801.90	c bound constraints 150
793.29/801.90	c core-guided constraints 0
793.29/801.90	c encountered formula constraints 3545216
793.29/801.90	c encountered learned constraints 845447
793.29/801.90	c encountered bound constraints 7732
793.29/801.90	c encountered core-guided constraints 0
793.29/801.90	c LP total time 193.769 s
793.29/801.90	c LP solve time 149.88 s
793.29/801.90	c LP constraints added 12569
793.29/801.90	c LP constraints removed 35
793.29/801.90	c LP pivots internal 244790
793.29/801.90	c LP pivots root 230534
793.29/801.90	c LP calls 3075
793.29/801.90	c LP optimalities 39
793.29/801.90	c LP no pivot count 2
793.29/801.90	c LP infeasibilities 3024
793.29/801.90	c LP valid Farkas constraints 3017
793.29/801.90	c LP learned Farkas constraints 157
793.29/801.90	c LP basis resets 15
793.29/801.90	c LP cycling count 0
793.29/801.90	c LP singular count 7
793.29/801.90	c LP no primal count 0
793.29/801.90	c LP no farkas count 7
793.29/801.90	c LP other issue count 1
793.29/801.90	c LP Gomory cuts 20
793.29/801.90	c LP learned cuts 39
793.29/801.90	c LP deleted cuts 35
793.29/801.90	c LP encountered Gomory constraints 0
793.29/801.90	c LP encountered Farkas constraints 74100
793.29/801.90	c LP encountered learned Farkas constraints 1187
793.29/801.90	c CG auxiliary variables introduced 0
793.29/801.90	c CG solutions found 149
793.29/801.90	c CG cores constructed 0
793.29/801.90	c CG core cardinality constraints returned 0
793.29/801.90	c CG unit cores 0
793.29/801.90	c CG single cores 0
793.29/801.90	c CG blocks removed during cardinality reduction 0
793.29/801.90	c CG first core best 0
793.29/801.90	c CG decision core best 0
793.29/801.90	c CG core reduction tie 0
793.29/801.90	c CG core degree average 0.00
793.29/801.90	c CG core slack average 0.00
793.29/801.90	c CG core upper bound improvements 0
793.29/801.90	c STR number of successful calls 0
793.29/801.90	c STR number of unsuccessful calls 0
793.29/801.90	c STR number of inconclusive calls 0
793.29/801.90	c STR number of successful attempts 0
793.29/801.90	c STR number of unsuccessful attempts 0
793.29/801.90	c STR number of inconclusive attempts 0
793.29/801.90	c STR average degree increase per successful call inf
793.29/801.90	c STR average degree increase per successful attempt inf
793.29/801.90	c STR total number of conflicts for successful attempts 0
793.29/801.90	c STR total number of conflicts for unsuccessful attempts 0
793.29/801.90	c STR total number of conflicts for inconclusive attempts 0
793.29/801.90	c STR average number of conflicts per successful attempt inf
793.29/801.90	c STR average number of conflicts per unsuccessful attempt inf
793.29/801.90	c STR average number of conflicts per inconclusive attempt inf
793.29/801.90	c AVG.sumWPerc 92.62 
793.29/801.90	c bigint constraints 0 
793.29/801.90	o 3367493
793.29/801.90	s OPTIMUM FOUND
793.29/801.90	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

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 21:48:54 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 3367493 <= obj <= 3367493
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 3367493 <= obj <= 3367493
--summary--
ALL OK

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=68457, runsolver pid=68450

[startup+0.100057 s]*
/proc/loadavg: 0.99 1.19 2.05 3/263 68460
/proc/meminfo: memFree=129986612/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68460] ppid=68457 vsize=13584 memory=7040 CPUtime=0 cores=1,3
/proc/68460/stat : 68460 (pbsuma) D 68457 68457 68398 0 -1 4194304 877 0 0 0 0 0 0 0 20 0 1 0 64029567 13910016 1760 18446744073709551615 4210688 4653049 140736574863184 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 28446720 140736574867683 140736574868018 140736574868018 140736574873583 0
/proc/68460/statm: 3396 1760 1024 108 0 804 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17776 KiB
Current children cumulated memory: 10112 KiB

[startup+0.205006 s]*
/proc/loadavg: 0.99 1.19 2.05 3/266 68465
/proc/meminfo: memFree=129984536/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68460] ppid=68457 vsize=13584 memory=7040 CPUtime=0 cores=1,3
/proc/68460/stat : 68460 (pbsuma) D 68457 68457 68398 0 -1 4194304 877 0 0 0 0 0 0 0 20 0 1 0 64029567 13910016 1760 18446744073709551615 4210688 4653049 140736574863184 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 28446720 140736574867683 140736574868018 140736574868018 140736574873583 0
/proc/68460/statm: 3396 1760 1024 108 0 804 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17776 KiB
Current children cumulated memory: 10112 KiB

[startup+0.305123 s]*
/proc/loadavg: 0.99 1.19 2.05 3/269 68471
/proc/meminfo: memFree=129956816/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68460] ppid=68457 vsize=13584 memory=7040 CPUtime=0 cores=1,3
/proc/68460/stat : 68460 (pbsuma) D 68457 68457 68398 0 -1 4194304 877 0 0 0 0 0 0 0 20 0 1 0 64029567 13910016 1760 18446744073709551615 4210688 4653049 140736574863184 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 28446720 140736574867683 140736574868018 140736574868018 140736574873583 0
/proc/68460/statm: 3396 1760 1024 108 0 804 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17776 KiB
Current children cumulated memory: 10112 KiB

[startup+0.700231 s]
/proc/loadavg: 0.99 1.19 2.05 3/269 68471
/proc/meminfo: memFree=129913152/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68460] ppid=68457 vsize=13584 memory=7040 CPUtime=0 cores=1,3
/proc/68460/stat : 68460 (pbsuma) D 68457 68457 68398 0 -1 4194304 877 0 0 0 0 0 0 0 20 0 1 0 64029567 13910016 1760 18446744073709551615 4210688 4653049 140736574863184 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 28446720 140736574867683 140736574868018 140736574868018 140736574873583 0
/proc/68460/statm: 3396 1760 1024 108 0 804 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17776 KiB
Current children cumulated memory: 10112 KiB

[startup+1.50024 s]
/proc/loadavg: 0.99 1.19 2.05 2/269 68471
/proc/meminfo: memFree=129834396/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68460] ppid=68457 vsize=13584 memory=7040 CPUtime=0 cores=1,3
/proc/68460/stat : 68460 (pbsuma) D 68457 68457 68398 0 -1 4194304 877 0 0 0 0 0 0 0 20 0 1 0 64029567 13910016 1760 18446744073709551615 4210688 4653049 140736574863184 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 28446720 140736574867683 140736574868018 140736574868018 140736574873583 0
/proc/68460/statm: 3396 1760 1024 108 0 804 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17776 KiB
Current children cumulated memory: 10112 KiB

[startup+3.10468 s]
/proc/loadavg: 1.31 1.25 2.07 2/269 68471
/proc/meminfo: memFree=129834880/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68460] ppid=68457 vsize=13584 memory=7040 CPUtime=0 cores=1,3
/proc/68460/stat : 68460 (pbsuma) D 68457 68457 68398 0 -1 4194304 877 0 0 0 0 0 0 0 20 0 1 0 64029567 13910016 1760 18446744073709551615 4210688 4653049 140736574863184 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 28446720 140736574867683 140736574868018 140736574868018 140736574873583 0
/proc/68460/statm: 3396 1760 1024 108 0 804 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17776 KiB
Current children cumulated memory: 10112 KiB
heavy processes:

[startup+6.30011 s]
/proc/loadavg: 1.31 1.25 2.07 2/269 68471
/proc/meminfo: memFree=129835600/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68460] ppid=68457 vsize=13584 memory=7040 CPUtime=0 cores=1,3
/proc/68460/stat : 68460 (pbsuma) D 68457 68457 68398 0 -1 4194304 877 0 0 0 0 0 0 0 20 0 1 0 64029567 13910016 1760 18446744073709551615 4210688 4653049 140736574863184 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 28446720 140736574867683 140736574868018 140736574868018 140736574873583 0
/proc/68460/statm: 3396 1760 1024 108 0 804 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17776 KiB
Current children cumulated memory: 10112 KiB
heavy processes:

[startup+12.7001 s]
/proc/loadavg: 1.52 1.30 2.08 6/273 68478
/proc/meminfo: memFree=129065852/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=212760 memory=147492 CPUtime=6.28 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 29766 0 0 0 609 19 0 0 20 0 1 0 64030204 217866240 36873 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 53190 36873 2432 1147 0 40617 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 216952 KiB
Current children cumulated memory: 150564 KiB
heavy processes:

[startup+25.5002 s]
/proc/loadavg: 2.07 1.43 2.11 6/273 68479
/proc/meminfo: memFree=128016376/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=286688 memory=227520 CPUtime=19.05 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 46237 0 0 0 1855 50 0 0 20 0 1 0 64030204 293568512 56880 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 71672 56880 2432 1147 0 59099 0
Current children cumulated CPU time: 19.06 s
Current children cumulated vsize: 290880 KiB
Current children cumulated memory: 230592 KiB
heavy processes:

[startup+51.1051 s]
/proc/loadavg: 2.81 1.65 2.17 6/273 68479
/proc/meminfo: memFree=126258780/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=355016 memory=278976 CPUtime=44.58 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 59081 0 0 0 4367 91 0 0 20 0 1 0 64030204 363536384 69744 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 88754 69744 2432 1147 0 76181 0
Current children cumulated CPU time: 44.59 s
Current children cumulated vsize: 359208 KiB
Current children cumulated memory: 282048 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 2.02 2.27 6/273 68482
/proc/meminfo: memFree=122834032/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=463956 memory=367424 CPUtime=95.63 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 77585 0 0 0 9394 169 0 0 20 0 1 0 64030204 475090944 91856 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 115989 91856 2528 1147 0 103416 0
Current children cumulated CPU time: 95.64 s
Current children cumulated vsize: 468148 KiB
Current children cumulated memory: 370496 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 2.40 2.38 6/274 68485
/proc/meminfo: memFree=119627928/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=529860 memory=441044 CPUtime=155.47 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 92418 0 0 0 15287 260 0 0 20 0 1 0 64030204 542576640 110261 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 132465 110261 2528 1147 0 119892 0
Current children cumulated CPU time: 155.48 s
Current children cumulated vsize: 534052 KiB
Current children cumulated memory: 444116 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.72 2.50 6/274 68487
/proc/meminfo: memFree=116943712/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0

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

/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 134032 0 0 0 56680 750 0 0 20 0 1 0 64030204 787185664 159604 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 192184 159604 2528 1147 0 179611 0
Current children cumulated CPU time: 574.31 s
Current children cumulated vsize: 772928 KiB
Current children cumulated memory: 641488 KiB

[startup+642.3 s]
/proc/loadavg: 4.07 3.78 3.11 6/274 68511
/proc/meminfo: memFree=102022352/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=864460 memory=724140 CPUtime=634.13 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 150625 0 0 0 62597 816 0 0 20 0 1 0 64030204 885207040 181035 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 216115 181035 2528 1147 0 203542 0
Current children cumulated CPU time: 634.14 s
Current children cumulated vsize: 868652 KiB
Current children cumulated memory: 727212 KiB

[startup+702.3 s]
/proc/loadavg: 4.13 3.85 3.18 6/272 68514
/proc/meminfo: memFree=99918588/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=879096 memory=740908 CPUtime=693.95 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 153623 0 0 0 68501 894 0 0 20 0 1 0 64030204 900194304 185227 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 219774 185227 2528 1147 0 207201 0
Current children cumulated CPU time: 693.96 s
Current children cumulated vsize: 883288 KiB
Current children cumulated memory: 743980 KiB

[startup+762.3 s]
/proc/loadavg: 4.05 3.88 3.23 6/271 68516
/proc/meminfo: memFree=97756244/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=909880 memory=777696 CPUtime=753.78 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 161111 0 0 0 74413 965 0 0 20 0 1 0 64030204 931717120 194424 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 227470 194424 2528 1147 0 214897 0
Current children cumulated CPU time: 753.79 s
Current children cumulated vsize: 914072 KiB
Current children cumulated memory: 780768 KiB

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

# cumulated CPU time of all completed processes:  user=783.429 s, system=10.3635 s

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

[startup+768 s]*
/proc/loadavg: 4.04 3.89 3.24 6/271 68516
/proc/meminfo: memFree=97570944/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=909880 memory=777696 CPUtime=759.47 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 161111 0 0 0 74980 967 0 0 20 0 1 0 64030204 931717120 194424 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 227470 194424 2528 1147 0 214897 0
Current children cumulated CPU time: 759.48 s
Current children cumulated vsize: 914072 KiB
Current children cumulated memory: 780768 KiB

[startup+780.8 s]
/proc/loadavg: 4.11 3.91 3.25 6/271 68516
/proc/meminfo: memFree=97201568/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=913204 memory=781024 CPUtime=772.23 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 161942 0 0 0 76245 978 0 0 20 0 1 0 64030204 935120896 195256 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 228301 195256 2528 1147 0 215728 0
Current children cumulated CPU time: 772.24 s
Current children cumulated vsize: 917396 KiB
Current children cumulated memory: 784096 KiB

[startup+793.6 s]
/proc/loadavg: 4.08 3.91 3.27 6/271 68518
/proc/meminfo: memFree=96936596/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=913204 memory=781024 CPUtime=785 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 161942 0 0 0 77514 986 0 0 20 0 1 0 64030204 935120896 195256 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 228301 195256 2528 1147 0 215728 0
Current children cumulated CPU time: 785.01 s
Current children cumulated vsize: 917396 KiB
Current children cumulated memory: 784096 KiB

[startup+800 s]*
/proc/loadavg: 4.08 3.91 3.27 6/271 68518
/proc/meminfo: memFree=96824056/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=913204 memory=781024 CPUtime=791.39 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 161942 0 0 0 78151 988 0 0 20 0 1 0 64030204 935120896 195256 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 228301 195256 2528 1147 0 215728 0
Current children cumulated CPU time: 791.4 s
Current children cumulated vsize: 917396 KiB
Current children cumulated memory: 784096 KiB

[startup+803.2 s]
/proc/loadavg: 4.23 3.95 3.28 6/271 68518
/proc/meminfo: memFree=96782748/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=913204 memory=781024 CPUtime=793.61 cores=1,3
/proc/68473/stat : 68473 (roundingsat) D 68457 68457 68398 0 -1 4194304 161942 0 0 0 78341 1020 0 0 20 0 1 0 64030204 935120896 195256 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 228301 195256 2528 1147 0 215728 0
Current children cumulated CPU time: 793.62 s
Current children cumulated vsize: 917396 KiB
Current children cumulated memory: 784096 KiB

[startup+804 s]*
/proc/loadavg: 4.23 3.95 3.28 5/271 68518
/proc/meminfo: memFree=96769552/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=913204 memory=781024 CPUtime=793.66 cores=1,3
/proc/68473/stat : 68473 (roundingsat) D 68457 68457 68398 0 -1 4194304 161942 0 0 0 78341 1025 0 0 20 0 1 0 64030204 935120896 195256 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 228301 195256 2528 1147 0 215728 0
Current children cumulated CPU time: 793.67 s
Current children cumulated vsize: 917396 KiB
Current children cumulated memory: 784096 KiB

[startup+804.4 s]
/proc/loadavg: 4.23 3.95 3.28 5/271 68518
/proc/meminfo: memFree=96769552/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=913204 memory=781024 CPUtime=793.69 cores=1,3
/proc/68473/stat : 68473 (roundingsat) R 68457 68457 68398 0 -1 4194304 161942 0 0 0 78341 1028 0 0 20 0 1 0 64030204 935120896 195256 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 228301 195256 2528 1147 0 215728 0
Current children cumulated CPU time: 793.7 s
Current children cumulated vsize: 917396 KiB
Current children cumulated memory: 784096 KiB

[startup+804.6 s]
/proc/loadavg: 4.23 3.95 3.28 5/271 68518
/proc/meminfo: memFree=96769552/131249996 swapFree=33004236/33010684
[pid=68457] ppid=68450 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/68457/stat : 68457 (run-opt-ls-log.) S 68450 68457 68398 0 -1 4194304 241 3461 0 0 0 0 1 0 20 0 1 0 64029566 4292608 768 18446744073709551615 94166369128448 94166370022981 140732649249008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94166370262032 94166370309776 94166388219904 140732649253147 140732649253345 140732649253345 140732649258947 0
/proc/68457/statm: 1048 768 704 219 0 110 0
[pid=68473] ppid=68457 vsize=913204 memory=781024 CPUtime=793.74 cores=1,3
/proc/68473/stat : 68473 (roundingsat) D 68457 68457 68398 0 -1 4194304 161942 0 0 0 78341 1033 0 0 20 0 1 0 64030204 935120896 195256 18446744073709551615 4227072 8923433 140722928547648 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 26419200 140722928556278 140722928556584 140722928556584 140722928562154 0
/proc/68473/statm: 228301 195256 2528 1147 0 215728 0
Current children cumulated CPU time: 793.75 s
Current children cumulated vsize: 917396 KiB
Current children cumulated memory: 784096 KiB

Child status: 0

Real time (s): 804.635
CPU time (s): 793.792
CPU user time (s): 783.429
CPU system time (s): 10.3635
CPU usage (%): 98.6525
Max. virtual memory (cumulated for all children) (KiB): 917396
Max. memory (cumulated for all children) (KiB): 784096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 783.429
system time used= 10.3635
maximum resident set size= 781024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17989056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61023
involuntary context switches= 1405


# summary of solver processes directly reported to runsolver:
#   pid: 68457
#   total CPU time (s): 793.792
#   total CPU user time (s): 783.429
#   total CPU system time (s): 10.3635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65358 second user time and 2.98339 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-02 21:11:57
IDJOB=4503793
IDBENCH=155603
IDSOLVER=3356
FILE ID=nodeC023/4503793-1751483517
RUNJOBID= nodeC023-1751483517-68410
SLURM_JOB_ID= 9598532
Free space on /tmp= 431868 MiB

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

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=223398139

nodeC023 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		: 3600.106
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.78
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		: 3600.478
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.78
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		: 3600.093
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.78
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		: 3599.859
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.78
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		: 3600.268
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.78
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.874
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.78
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		: 3599.921
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.78
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		: 3597.930
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130015692 kB
MemAvailable:   129714884 kB
Buffers:              16 kB
Cached:           497336 kB
SwapCached:          596 kB
Active:           267000 kB
Inactive:         317668 kB
Active(anon):      65972 kB
Inactive(anon):    34740 kB
Active(file):     201028 kB
Inactive(file):   282928 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33004236 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             33056 kB
Writeback:             0 kB
AnonPages:         90408 kB
Mapped:            98424 kB
Shmem:             13396 kB
KReclaimable:     108948 kB
Slab:             199156 kB
SReclaimable:     108948 kB
SUnreclaim:        90208 kB
KernelStack:        3956 kB
PageTables:         2728 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     350544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431744 MiB
End job on nodeC023 at 2025-07-02 21:25:22