Trace number 4519887
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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
General information on the benchmark
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb |
| MD5SUM | 8a6dbe9648cdf1a99b0bd946afbbdeb1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -30 |
| Best CPU time to get the best result obtained on this benchmark | 0.541281 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7260 |
| Total number of constraints | 2010 |
| Number of constraints which are clauses | 1860 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 60 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 61 |
| Number of terms in the objective function | 3600 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 3600 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 60 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 3600 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-4519887-1751562313.opb'
0.00/0.01 c read 0.19MB (2.62ms)
0.00/0.01 c [cnf: #variables 7260 #clauses 2011 #duplicates 0 #arr 19920]
0.00/0.01 c output proof to 'PROOFDIR/proof-4519887-1751562313'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 8] (4.16ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c recursing 360 blocks of candidate 60x242r
0.00/0.03 c found row 30x240, generating row predicate
0.00/0.04 c found row 60x2, generating row predicate
0.00/0.04 c (20.15ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 27451 #edges 76200]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 2.71*10^4913 #generators 3539] (14.69ms)
0.00/0.05 c
0.00/0.05 c optimize generators (opt_passes=64, conjugate_limit=18423)
0.00/0.05 c ran it=0, +gens=62
7.97/8.07 c con best_support=4, best_gens=3481, +gens=18406
7.97/8.07 c (8021.90ms)
7.97/8.07 c
7.97/8.07 c finalize break order and special generators
7.97/8.07 c
7.97/8.07 c add generic predicates (break_depth=20)
7.97/8.08 c added predicates for 22007 generators (2.81ms)
8.56/8.67 c
8.56/8.67 c generation finished
8.56/8.67 c [sbp: #constraints 20898 #add_vars 6931]
8.56/8.67 c
8.56/8.67 c write result to 'HOME/instance-4519887-1751562313.opb.pre'
8.56/8.67 c wrote 0.98MB (2.25ms)
8.56/8.67 c ------------------------------------------------------------------
8.56/8.67 c 8021.90ms 92.63% optimize_gens
8.56/8.67 c 590.69ms 6.82% other
8.56/8.67 c 20.15ms 0.23% detect_special
8.56/8.67 c 14.69ms 0.17% detect_generic
8.56/8.67 c 4.16ms 0.05% approx_orbits
8.56/8.67 c 2.81ms 0.03% break_generic
8.56/8.67 c 2.62ms 0.03% parse
8.56/8.67 c 2.25ms 0.03% output
8.56/8.67 c 0.91ms 0.01% finalize_order
8.56/8.67 c ───────────────────────────────────────────────
8.56/8.67 c 8660.18ms 100% total
8.56/8.67 c ------------------------------------------------------------------
0.00/9.01 c RoundingSat 2
0.00/9.01 c branch pb25
0.00/9.01 c commit 63f22ad
8.65/9.15 c #variables 14191 #constraints 22908
8.65/9.15 c objective is ce32
8.65/9.15 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
8.65/9.15 c initial counting CF 32, 64, 128, Arb: 61 , 0 , 0 , 0
8.65/9.15 c bounds - >= -3600 @ 0.117138
8.65/9.28 c bounds 0 >= -3600 @ 0.235495
8.65/9.42 c bounds 0 >= -3541 @ 0.362112
8.65/9.68 c bounds 0 >= -3482 @ 0.6103
9.72/10.11 c rational objective -60
10.22/10.63 c bounds 0 >= -3423 @ 1.52574
10.22/10.63 c bounds 0 >= -3364 @ 1.52672
10.22/10.63 c bounds 0 >= -3305 @ 1.52769
10.22/10.63 c bounds 0 >= -3246 @ 1.52864
10.22/10.63 c bounds 0 >= -3187 @ 1.52957
10.22/10.63 c bounds 0 >= -3128 @ 1.5305
10.22/10.63 c bounds 0 >= -3069 @ 1.53142
10.22/10.64 c bounds 0 >= -3010 @ 1.53234
10.22/10.64 c bounds 0 >= -2951 @ 1.53324
10.22/10.64 c bounds 0 >= -2892 @ 1.53413
10.22/10.64 c bounds 0 >= -2833 @ 1.53501
10.22/10.64 c bounds 0 >= -2774 @ 1.53589
10.22/10.64 c bounds 0 >= -2715 @ 1.53676
10.22/10.64 c bounds 0 >= -2656 @ 1.53762
10.22/10.64 c bounds 0 >= -2597 @ 1.53848
10.22/10.64 c bounds 0 >= -2538 @ 1.53933
10.22/10.64 c bounds 0 >= -2479 @ 1.54016
10.22/10.64 c bounds 0 >= -2420 @ 1.54098
10.22/10.64 c bounds 0 >= -2361 @ 1.54179
10.22/10.65 c bounds 0 >= -2302 @ 1.54263
10.22/10.65 c bounds 0 >= -2243 @ 1.54343
10.22/10.65 c bounds 0 >= -2184 @ 1.54422
10.22/10.65 c bounds 0 >= -2125 @ 1.54499
10.22/10.65 c bounds 0 >= -2066 @ 1.54577
10.22/10.65 c bounds 0 >= -2007 @ 1.54653
10.22/10.65 c bounds 0 >= -1948 @ 1.54729
10.22/10.65 c bounds 0 >= -1889 @ 1.54804
10.22/10.65 c bounds 0 >= -1830 @ 1.54878
10.22/10.65 c bounds 0 >= -1771 @ 1.54951
10.22/10.65 c bounds 0 >= -1712 @ 1.55024
10.22/10.65 c bounds 0 >= -1653 @ 1.55097
10.22/10.65 c bounds 0 >= -1594 @ 1.55169
10.22/10.66 c bounds 0 >= -1535 @ 1.55239
10.22/10.66 c bounds 0 >= -1476 @ 1.5531
10.22/10.66 c bounds 0 >= -1417 @ 1.5538
10.22/10.66 c bounds 0 >= -1358 @ 1.55448
10.22/10.66 c bounds 0 >= -1299 @ 1.55516
10.22/10.66 c bounds 0 >= -1240 @ 1.55582
10.22/10.66 c bounds 0 >= -1181 @ 1.55647
10.22/10.66 c bounds 0 >= -1122 @ 1.55712
10.22/10.66 c bounds 0 >= -1063 @ 1.55777
10.22/10.66 c bounds 0 >= -1004 @ 1.55841
10.22/10.66 c bounds 0 >= -945 @ 1.55904
10.22/10.66 c bounds 0 >= -886 @ 1.55966
10.22/10.66 c bounds 0 >= -827 @ 1.56027
10.22/10.66 c bounds 0 >= -768 @ 1.56087
10.22/10.66 c bounds 0 >= -709 @ 1.56148
10.22/10.67 c bounds 0 >= -650 @ 1.56207
10.22/10.67 c bounds 0 >= -591 @ 1.56264
10.22/10.67 c bounds 0 >= -532 @ 1.56321
10.22/10.67 c bounds 0 >= -473 @ 1.56376
10.22/10.67 c bounds 0 >= -414 @ 1.56431
10.22/10.67 c bounds 0 >= -355 @ 1.56485
10.22/10.67 c bounds 0 >= -296 @ 1.56537
10.22/10.67 c bounds 0 >= -237 @ 1.56581
10.22/10.67 c bounds 0 >= -178 @ 1.56581
10.22/10.67 c bounds 0 >= -119 @ 1.5659
10.22/10.67 c bounds 0 >= -60 @ 1.56639
10.51/10.90 c bounds 0 >= -59 @ 1.77024
10.51/10.91 c bounds -1 >= -59 @ 1.77813
10.61/11.02 c bounds -2 >= -59 @ 1.85881
12.69/13.12 c #Conflicts: 1000 | #Constraints: 24094
12.69/13.12 c #Conflicts: 2000 | #Constraints: 25094
12.69/13.12 c INPROCESSING
12.69/13.12 c GARBAGE COLLECT
12.69/13.12 c bounds -3 >= -59 @ 3.90168
12.69/13.13 c bounds -4 >= -59 @ 3.90755
12.69/13.14 c bounds -5 >= -59 @ 3.91443
12.79/13.24 c bounds -6 >= -59 @ 4.01037
12.79/13.25 c bounds -7 >= -59 @ 4.0193
12.79/13.26 c bounds -8 >= -59 @ 4.02555
12.79/13.27 c bounds -9 >= -59 @ 4.03069
12.79/13.28 c bounds -10 >= -59 @ 4.03823
12.79/13.29 c bounds -11 >= -59 @ 4.04404
12.89/13.30 c bounds -12 >= -59 @ 4.05075
12.89/13.31 c bounds -13 >= -59 @ 4.05454
12.89/13.32 c bounds -14 >= -59 @ 4.0602
12.89/13.33 c bounds -15 >= -59 @ 4.06971
12.89/13.34 c bounds -16 >= -59 @ 4.07537
12.89/13.35 c bounds -17 >= -59 @ 4.08425
12.89/13.36 c bounds -18 >= -59 @ 4.09302
12.89/13.38 c bounds -19 >= -59 @ 4.1019
12.89/13.39 c bounds -20 >= -59 @ 4.10848
12.99/13.40 c bounds -21 >= -59 @ 4.11276
12.99/13.41 c bounds -22 >= -59 @ 4.12094
12.99/13.42 c bounds -23 >= -59 @ 4.13178
12.99/13.43 c bounds -24 >= -59 @ 4.13925
12.99/13.44 c bounds -25 >= -59 @ 4.146
12.99/13.45 c bounds -26 >= -59 @ 4.15206
12.99/13.46 c bounds -27 >= -59 @ 4.15958
13.19/13.62 c bounds -28 >= -59 @ 4.30524
13.19/13.64 c bounds -29 >= -59 @ 4.31918
13.19/13.66 c bounds -30 >= -59 @ 4.33193
21.57/22.04 c #Conflicts: 3000 | #Constraints: 25186
21.57/22.04 c #Conflicts: 4000 | #Constraints: 26186
21.57/22.04 c INPROCESSING
21.57/22.04 c GARBAGE COLLECT
21.57/22.04 c #Conflicts: 5000 | #Constraints: 25634
21.57/22.04 c #Conflicts: 6000 | #Constraints: 26634
21.57/22.04 c INPROCESSING
21.57/22.04 c GARBAGE COLLECT
21.57/22.04 c #Conflicts: 7000 | #Constraints: 25618
21.57/22.04 c #Conflicts: 8000 | #Constraints: 26618
21.57/22.04 c #Conflicts: 9000 | #Constraints: 27618
21.57/22.04 c INPROCESSING
21.57/22.04 c GARBAGE COLLECT
21.57/22.04 c bounds -30 >= -58 @ 12.5053
33.53/34.09 c #Conflicts: 10000 | #Constraints: 26279
33.53/34.09 c #Conflicts: 11000 | #Constraints: 27279
33.53/34.09 c #Conflicts: 12000 | #Constraints: 28279
33.53/34.09 c INPROCESSING
33.53/34.09 c GARBAGE COLLECT
33.53/34.09 c #Conflicts: 13000 | #Constraints: 26726
33.53/34.09 c #Conflicts: 14000 | #Constraints: 27726
33.53/34.09 c #Conflicts: 15000 | #Constraints: 28726
33.53/34.09 c INPROCESSING
33.53/34.09 c GARBAGE COLLECT
33.53/34.09 c #Conflicts: 16000 | #Constraints: 26940
33.53/34.09 c #Conflicts: 17000 | #Constraints: 27940
33.53/34.09 c #Conflicts: 18000 | #Constraints: 28940
33.53/34.09 c INPROCESSING
33.53/34.09 c GARBAGE COLLECT
33.53/34.09 c #Conflicts: 19000 | #Constraints: 26949
33.53/34.09 c #Conflicts: 20000 | #Constraints: 27949
33.53/34.09 c #Conflicts: 21000 | #Constraints: 28949
33.53/34.09 c INPROCESSING
33.53/34.09 c GARBAGE COLLECT
33.53/34.09 c #Conflicts: 22000 | #Constraints: 26775
33.53/34.09 c #Conflicts: 23000 | #Constraints: 27775
33.53/34.09 c #Conflicts: 24000 | #Constraints: 28775
33.53/34.09 c #Conflicts: 25000 | #Constraints: 29775
33.53/34.09 c INPROCESSING
33.53/34.09 c GARBAGE COLLECT
33.53/34.09 c rational objective -58
36.83/37.31 c #Conflicts: 26000 | #Constraints: 27392
36.83/37.31 c #Conflicts: 27000 | #Constraints: 28392
36.83/37.31 c #Conflicts: 28000 | #Constraints: 29392
36.83/37.31 c #Conflicts: 29000 | #Constraints: 30392
36.83/37.31 c INPROCESSING
36.83/37.31 c GARBAGE COLLECT
36.83/37.31 c rational objective -58
45.10/45.75 c #Conflicts: 30000 | #Constraints: 27799
45.10/45.75 c #Conflicts: 31000 | #Constraints: 28799
45.10/45.75 c #Conflicts: 32000 | #Constraints: 29799
45.10/45.75 c #Conflicts: 33000 | #Constraints: 30799
45.10/45.75 c INPROCESSING
45.10/45.75 c GARBAGE COLLECT
45.10/45.75 c rational objective -58
49.98/50.60 c #Conflicts: 34000 | #Constraints: 28016
49.98/50.60 c #Conflicts: 35000 | #Constraints: 29016
49.98/50.60 c #Conflicts: 36000 | #Constraints: 30016
49.98/50.60 c #Conflicts: 37000 | #Constraints: 31016
49.98/50.60 c INPROCESSING
49.98/50.60 c GARBAGE COLLECT
49.98/50.60 c rational objective -58
55.66/56.35 c #Conflicts: 38000 | #Constraints: 28027
55.66/56.35 c #Conflicts: 39000 | #Constraints: 29027
55.66/56.35 c #Conflicts: 40000 | #Constraints: 30027
55.66/56.35 c #Conflicts: 41000 | #Constraints: 31027
55.66/56.35 c INPROCESSING
55.66/56.35 c GARBAGE COLLECT
55.66/56.35 c rational objective -58
57.25/57.95 c #Conflicts: 42000 | #Constraints: 27797
57.25/57.95 c bounds -30 >= -57 @ 47.5805
60.35/61.06 c #Conflicts: 43000 | #Constraints: 28806
60.35/61.06 c #Conflicts: 44000 | #Constraints: 29806
60.35/61.06 c #Conflicts: 45000 | #Constraints: 30806
60.35/61.06 c #Conflicts: 46000 | #Constraints: 31806
60.35/61.06 c INPROCESSING
60.35/61.06 c GARBAGE COLLECT
60.35/61.06 c rational objective -57
67.53/68.25 c #Conflicts: 47000 | #Constraints: 28400
67.53/68.25 c #Conflicts: 48000 | #Constraints: 29400
67.53/68.25 c #Conflicts: 49000 | #Constraints: 30400
67.53/68.25 c #Conflicts: 50000 | #Constraints: 31401
67.53/68.25 c #Conflicts: 51000 | #Constraints: 32401
67.53/68.25 c INPROCESSING
67.53/68.25 c GARBAGE COLLECT
67.53/68.25 c rational objective -57
72.10/73.02 c #Conflicts: 52000 | #Constraints: 28805
72.10/73.02 c #Conflicts: 53000 | #Constraints: 29805
72.10/73.02 c #Conflicts: 54000 | #Constraints: 30805
72.10/73.02 c #Conflicts: 55000 | #Constraints: 31805
72.10/73.02 c #Conflicts: 56000 | #Constraints: 32805
72.10/73.02 c INPROCESSING
72.10/73.02 c GARBAGE COLLECT
72.10/73.02 c rational objective -57
72.89/73.85 c bounds -30 >= -56 @ 62.9766
74.59/75.56 c #Conflicts: 57000 | #Constraints: 29030
74.59/75.56 c #Conflicts: 58000 | #Constraints: 30030
74.59/75.56 c #Conflicts: 59000 | #Constraints: 31030
74.59/75.56 c #Conflicts: 60000 | #Constraints: 32030
74.59/75.56 c bounds -30 >= -55 @ 64.6418
82.67/83.60 c #Conflicts: 61000 | #Constraints: 33042
82.67/83.60 c INPROCESSING
82.67/83.60 c GARBAGE COLLECT
82.67/83.60 c #Conflicts: 62000 | #Constraints: 29040
82.67/83.60 c #Conflicts: 63000 | #Constraints: 30040
82.67/83.60 c #Conflicts: 64000 | #Constraints: 31040
82.67/83.60 c #Conflicts: 65000 | #Constraints: 32040
82.67/83.60 c #Conflicts: 66000 | #Constraints: 33040
82.67/83.60 c INPROCESSING
82.67/83.60 c GARBAGE COLLECT
82.67/83.60 c rational objective -55
85.07/86.07 c #Conflicts: 67000 | #Constraints: 28839
85.07/86.07 c #Conflicts: 68000 | #Constraints: 29839
85.07/86.07 c bounds -30 >= -54 @ 74.9152
85.26/86.28 c #Conflicts: 69000 | #Constraints: 30851
85.26/86.28 c bounds -30 >= -53 @ 75.1136
85.36/86.36 c bounds -30 >= -52 @ 75.1897
85.46/86.46 c bounds -30 >= -51 @ 75.2922
85.56/86.52 c #Conflicts: 70000 | #Constraints: 31890
85.56/86.52 c bounds -30 >= -50 @ 75.3479
86.16/87.12 c #Conflicts: 71000 | #Constraints: 32908
86.16/87.12 c bounds -30 >= -49 @ 75.9421
87.16/88.20 c #Conflicts: 72000 | #Constraints: 33923
87.16/88.20 c INPROCESSING
87.16/88.20 c GARBAGE COLLECT
87.16/88.20 c rational objective -49
87.46/88.44 c bounds -30 >= -48 @ 77.2358
90.16/91.19 c #Conflicts: 73000 | #Constraints: 29544
90.16/91.19 c #Conflicts: 74000 | #Constraints: 30544
90.16/91.19 c bounds -30 >= -47 @ 79.9019
90.25/91.23 c #Conflicts: 75000 | #Constraints: 31562
90.25/91.23 c bounds -30 >= -46 @ 79.9377
90.84/91.85 c #Conflicts: 76000 | #Constraints: 32577
90.84/91.85 c bounds -30 >= -45 @ 80.5533
91.05/92.09 c #Conflicts: 77000 | #Constraints: 33595
91.05/92.09 c bounds -30 >= -44 @ 80.7818
91.15/92.18 c bounds -30 >= -43 @ 80.8694
93.24/94.25 c #Conflicts: 78000 | #Constraints: 34634
93.24/94.25 c INPROCESSING
93.24/94.25 c GARBAGE COLLECT
93.24/94.25 c rational objective -43
93.83/94.82 c bounds -30 >= -42 @ 83.4716
93.83/94.83 c bounds -30 >= -41 @ 83.4832
93.94/94.97 c #Conflicts: 79000 | #Constraints: 30051
93.94/94.97 c bounds -30 >= -40 @ 83.6189
94.04/95.01 c bounds -30 >= -39 @ 83.6509
94.04/95.03 c bounds -30 >= -38 @ 83.6727
95.44/96.45 c #Conflicts: 80000 | #Constraints: 31114
95.44/96.45 c #Conflicts: 81000 | #Constraints: 32114
95.44/96.45 c #Conflicts: 82000 | #Constraints: 33114
95.44/96.45 c #Conflicts: 83000 | #Constraints: 34114
95.44/96.45 c bounds -30 >= -37 @ 85.0517
98.14/99.15 c #Conflicts: 84000 | #Constraints: 35132
98.14/99.15 c INPROCESSING
98.14/99.15 c GARBAGE COLLECT
98.14/99.15 c rational objective -37
99.03/100.06 c bounds -30 >= -36 @ 88.6038
104.50/105.53 c #Conflicts: 85000 | #Constraints: 30320
104.50/105.53 c #Conflicts: 86000 | #Constraints: 31321
104.50/105.53 c #Conflicts: 87000 | #Constraints: 32321
104.50/105.53 c #Conflicts: 88000 | #Constraints: 33321
104.50/105.53 c #Conflicts: 89000 | #Constraints: 34321
104.50/105.53 c #Conflicts: 90000 | #Constraints: 35321
104.50/105.53 c INPROCESSING
104.50/105.53 c GARBAGE COLLECT
104.50/105.53 c #Conflicts: 91000 | #Constraints: 30298
104.50/105.53 c bounds -30 >= -35 @ 93.9689
105.11/106.15 c bounds -30 >= -34 @ 94.5714
105.11/106.16 c bounds -30 >= -33 @ 94.5786
105.20/106.28 c #Conflicts: 92000 | #Constraints: 31358
105.20/106.28 c bounds -30 >= -32 @ 94.6913
105.30/106.34 c bounds -30 >= -31 @ 94.7535
108.29/109.32 c #Conflicts: 93000 | #Constraints: 32392
108.29/109.32 c #Conflicts: 94000 | #Constraints: 33392
108.29/109.32 c #Conflicts: 95000 | #Constraints: 34392
108.29/109.32 c #Conflicts: 96000 | #Constraints: 35392
108.29/109.32 c INPROCESSING
108.29/109.32 c GARBAGE COLLECT
108.29/109.32 c rational objective -31
111.08/112.16 c rational objective -31
112.67/113.72 c #Conflicts: 97000 | #Constraints: 30147
112.67/113.72 c bounds -30 >= -30 @ 101.952
112.67/113.72 c cpu time 101.952 s
112.67/113.72 c deterministic time 4853855470 4.85e+09
112.67/113.72 c optimization time 0.100344 s
112.67/113.72 c total solve time 101.735 s
112.67/113.72 c core-guided solve time 79.9112 s
112.67/113.72 c propagation time 48.5587 s
112.67/113.72 c conflict analysis time 21.8361 s
112.67/113.72 c propagations 37039578
112.67/113.72 c resolve steps 1576360
112.67/113.72 c decisions 1356958
112.67/113.72 c conflicts 97684
112.67/113.72 c restarts 254
112.67/113.72 c inprocessing phases 23
112.67/113.72 c garbage collections 23 ,( 100.00 )
112.67/113.72 c input clauses 22954 ,( 97.26 )
112.67/113.72 c input cardinalities 455 ,( 1.93 )
112.67/113.72 c input general constraints 191 ,( 0.81 )
112.67/113.72 c input average constraint length 22.40
112.67/113.72 c input average constraint degree 10.76
112.67/113.72 c learned clauses 40548 ,( 41.50 )
112.67/113.72 c learned cardinalities 2272 ,( 2.33 )
112.67/113.72 c learned general constraints 54894 ,( 56.18 )
112.67/113.72 c learned average constraint length 606.25
112.67/113.72 c learned average constraint degree 12158170.29
112.67/113.72 c watched CF 32, 64, 128, Arb: 24041 , 0 , 0 , 0
112.67/113.72 c counting CF 32, 64, 128, Arb: 31045 , 0 , 0 , 0
112.67/113.72 c watched constraints 24041 ,( 43.64 )
112.67/113.72 c counting constraints 31044 ,( 56.36 )
112.67/113.72 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 19859486 , 3005491 , 131501932 ,( 27668524 , 103833408 )
112.67/113.72 c gcd simplifications 2325
112.67/113.72 c detected cardinalities 170
112.67/113.72 c weakened non-implied lits 18971937
112.67/113.72 c weakened non-implying lits 13129
112.67/113.72 c original variables 14191
112.67/113.72 c clausal propagations 12351418
112.67/113.72 c cardinality propagations 6504983
112.67/113.72 c watched propagations 123980
112.67/113.72 c counting propagations 13931637
112.67/113.72 c watch lookups 1248691206
112.67/113.72 c watch backjump lookups 0
112.67/113.72 c watch checks 2595307244
112.67/113.72 c propagation checks 790506970
112.67/113.72 c constraint additions 142246513
112.67/113.72 c trail pops 38494210
112.67/113.72 c formula constraints 22908
112.67/113.72 c learned constraints 97679
112.67/113.72 c bound constraints 125
112.67/113.72 c core-guided constraints 567
112.67/113.72 c encountered formula constraints 1046620
112.67/113.72 c encountered learned constraints 557729
112.67/113.72 c encountered bound constraints 194
112.67/113.72 c encountered core-guided constraints 68667
112.67/113.72 c LP total time 46.1727 s
112.67/113.72 c LP solve time 37.14 s
112.67/113.72 c LP constraints added 23398
112.67/113.72 c LP constraints removed 474
112.67/113.72 c LP pivots internal 99119
112.67/113.72 c LP pivots root 113671
112.67/113.72 c LP calls 31
112.67/113.72 c LP optimalities 20
112.67/113.72 c LP no pivot count 0
112.67/113.72 c LP infeasibilities 7
112.67/113.72 c LP valid Farkas constraints 6
112.67/113.72 c LP learned Farkas constraints 6
112.67/113.72 c LP basis resets 1
112.67/113.72 c LP cycling count 0
112.67/113.72 c LP singular count 0
112.67/113.72 c LP no primal count 0
112.67/113.72 c LP no farkas count 1
112.67/113.72 c LP other issue count 0
112.67/113.72 c LP Gomory cuts 23
112.67/113.72 c LP learned cuts 489
112.67/113.72 c LP deleted cuts 490
112.67/113.72 c LP encountered Gomory constraints 284
112.67/113.72 c LP encountered Farkas constraints 282
112.67/113.72 c LP encountered learned Farkas constraints 262
112.67/113.72 c CG auxiliary variables introduced 218
112.67/113.72 c CG solutions found 31
112.67/113.72 c CG cores constructed 90
112.67/113.72 c CG core cardinality constraints returned 60
112.67/113.72 c CG unit cores 0
112.67/113.72 c CG single cores 90
112.67/113.72 c CG blocks removed during cardinality reduction 0
112.67/113.72 c CG first core best 0
112.67/113.72 c CG decision core best 0
112.67/113.72 c CG core reduction tie 0
112.67/113.72 c CG core degree average 39.67
112.67/113.72 c CG core slack average 2.71
112.67/113.72 c CG core upper bound improvements 1
112.67/113.72 c STR number of successful calls 0
112.67/113.72 c STR number of unsuccessful calls 0
112.67/113.72 c STR number of inconclusive calls 0
112.67/113.72 c STR number of successful attempts 0
112.67/113.72 c STR number of unsuccessful attempts 0
112.67/113.72 c STR number of inconclusive attempts 0
112.67/113.72 c STR average degree increase per successful call inf
112.67/113.72 c STR average degree increase per successful attempt inf
112.67/113.72 c STR total number of conflicts for successful attempts 0
112.67/113.72 c STR total number of conflicts for unsuccessful attempts 0
112.67/113.72 c STR total number of conflicts for inconclusive attempts 0
112.67/113.72 c STR average number of conflicts per successful attempt inf
112.67/113.72 c STR average number of conflicts per unsuccessful attempt inf
112.67/113.72 c STR average number of conflicts per inconclusive attempt inf
112.67/113.72 c AVG.sumWPerc 47.56
112.67/113.72 c bigint constraints 0
112.67/113.72 o -30
112.67/113.72 s OPTIMUM FOUND
112.67/113.72 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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 x5377 x5378 x5379 x5380 x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5391 x5392 x5393 x5394 x5395 -x5396 -x5397 -x5398 -x5399 x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700 -x5701 -x5702 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 x7204 x7205 x7206 x7207 x7208 x7209 x7210 x7211 x7212 x7213 x7214 x7215 x7216 x7217 x7218 x7219 -x7220 -x7221 -x7222 x7223 x7224 x7225 -x7226 x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 x7241 -x7242 -x7243 -x7244 x7245 -x7246 -x7247 x7248 x7249 -x7250 -x7251 -x7252 x7253 x7254 x7255 x7256 x7257 x7258 -x7259 -x7260
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Thu Jul 3 19:26:27 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS -30 <= obj <= -30
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS ~30 <= obj <= ~30
--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: 63665 MiB (62158 MiB free)
memory of node 1: 64507 MiB (56518 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519887-1751562313/watcher-4519887-1751562313 -o /tmp/evaluation-result-4519887-1751562313/solver-4519887-1751562313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751562311-88611 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4519887-1751562313.opb PROOFDIR/proof-4519887-1751562313
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
solver pid=88759, runsolver pid=88756
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 0.64 1.13 1.96 5/270 88771
/proc/meminfo: memFree=121507360/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88762] ppid=88759 vsize=22176 memory=13552 CPUtime=0.08 cores=4,6
/proc/88762/stat : 88762 (pbsuma) R 88759 88759 88600 0 -1 4194304 3975 0 0 0 8 0 0 0 20 0 1 0 71909170 22708224 3388 18446744073709551615 4210688 4653049 140735152512992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35782656 140735152515299 140735152515634 140735152515634 140735152521199 0
/proc/88762/statm: 5544 3388 1024 108 0 2952 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 26368 KiB
Current children cumulated memory: 16624 KiB
[startup+0.205483 s]*
/proc/loadavg: 0.64 1.13 1.96 5/270 88772
/proc/meminfo: memFree=121503224/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88762] ppid=88759 vsize=22176 memory=13552 CPUtime=0.19 cores=4,6
/proc/88762/stat : 88762 (pbsuma) R 88759 88759 88600 0 -1 4194304 3975 0 0 0 19 0 0 0 20 0 1 0 71909170 22708224 3388 18446744073709551615 4210688 4653049 140735152512992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35782656 140735152515299 140735152515634 140735152515634 140735152521199 0
/proc/88762/statm: 5544 3388 1024 108 0 2952 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26368 KiB
Current children cumulated memory: 16624 KiB
[startup+0.305479 s]*
/proc/loadavg: 0.64 1.13 1.96 5/270 88772
/proc/meminfo: memFree=121501460/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88762] ppid=88759 vsize=22176 memory=13552 CPUtime=0.29 cores=4,6
/proc/88762/stat : 88762 (pbsuma) R 88759 88759 88600 0 -1 4194304 3975 0 0 0 29 0 0 0 20 0 1 0 71909170 22708224 3388 18446744073709551615 4210688 4653049 140735152512992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35782656 140735152515299 140735152515634 140735152515634 140735152521199 0
/proc/88762/statm: 5544 3388 1024 108 0 2952 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26368 KiB
Current children cumulated memory: 16624 KiB
[startup+0.700127 s]
/proc/loadavg: 0.64 1.13 1.96 6/270 88772
/proc/meminfo: memFree=121487100/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88762] ppid=88759 vsize=22176 memory=13552 CPUtime=0.67 cores=4,6
/proc/88762/stat : 88762 (pbsuma) R 88759 88759 88600 0 -1 4194304 3975 0 0 0 67 0 0 0 20 0 1 0 71909170 22708224 3388 18446744073709551615 4210688 4653049 140735152512992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35782656 140735152515299 140735152515634 140735152515634 140735152521199 0
/proc/88762/statm: 5544 3388 1024 108 0 2952 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 26368 KiB
Current children cumulated memory: 16624 KiB
[startup+1.50013 s]
/proc/loadavg: 0.64 1.13 1.96 5/270 88772
/proc/meminfo: memFree=121479292/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88762] ppid=88759 vsize=22176 memory=13552 CPUtime=1.47 cores=4,6
/proc/88762/stat : 88762 (pbsuma) R 88759 88759 88600 0 -1 4194304 3975 0 0 0 147 0 0 0 20 0 1 0 71909170 22708224 3388 18446744073709551615 4210688 4653049 140735152512992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35782656 140735152515299 140735152515634 140735152515634 140735152521199 0
/proc/88762/statm: 5544 3388 1024 108 0 2952 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 26368 KiB
Current children cumulated memory: 16624 KiB
[startup+3.1053 s]
/proc/loadavg: 0.91 1.18 1.97 5/270 88772
/proc/meminfo: memFree=121439344/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88762] ppid=88759 vsize=22176 memory=13552 CPUtime=3.07 cores=4,6
/proc/88762/stat : 88762 (pbsuma) R 88759 88759 88600 0 -1 4194304 3975 0 0 0 307 0 0 0 20 0 1 0 71909170 22708224 3388 18446744073709551615 4210688 4653049 140735152512992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35782656 140735152515299 140735152515634 140735152515634 140735152521199 0
/proc/88762/statm: 5544 3388 1024 108 0 2952 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 26368 KiB
Current children cumulated memory: 16624 KiB
[startup+6.30012 s]
/proc/loadavg: 0.91 1.18 1.97 5/270 88772
/proc/meminfo: memFree=121411672/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88762] ppid=88759 vsize=22176 memory=13552 CPUtime=6.26 cores=4,6
/proc/88762/stat : 88762 (pbsuma) R 88759 88759 88600 0 -1 4194304 3982 0 0 0 626 0 0 0 20 0 1 0 71909170 22708224 3388 18446744073709551615 4210688 4653049 140735152512992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35782656 140735152515299 140735152515634 140735152515634 140735152521199 0
/proc/88762/statm: 5544 3388 1024 108 0 2952 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 26368 KiB
Current children cumulated memory: 16624 KiB
[startup+12.7002 s]
/proc/loadavg: 1.15 1.23 1.98 5/270 88773
/proc/meminfo: memFree=121190796/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=8.65 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 239 6678 0 0 0 0 861 4 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88773] ppid=88759 vsize=159560 memory=101812 CPUtime=3.65 cores=4,6
/proc/88773/stat : 88773 (roundingsat) R 88759 88759 88600 0 -1 4194304 21391 0 0 0 349 16 0 0 20 0 1 0 71910070 163389440 25453 18446744073709551615 4227072 8923433 140728595247632 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 38031360 140728595249428 140728595249704 140728595249704 140728595255274 0
/proc/88773/statm: 39890 25453 2432 1147 0 27317 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 163752 KiB
Current children cumulated memory: 104884 KiB
[startup+25.5002 s]
/proc/loadavg: 1.78 1.37 2.02 5/271 88823
/proc/meminfo: memFree=121045948/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=8.65 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 239 6678 0 0 0 0 861 4 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88773] ppid=88759 vsize=237356 memory=170224 CPUtime=16.41 cores=4,6
/proc/88773/stat : 88773 (roundingsat) R 88759 88759 88600 0 -1 4194304 33394 0 0 0 1589 52 0 0 20 0 1 0 71910070 243052544 42556 18446744073709551615 4227072 8923433 140728595247632 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38031360 140728595249428 140728595249704 140728595249704 140728595255274 0
/proc/88773/statm: 59339 42556 2432 1147 0 46766 0
Current children cumulated CPU time: 25.06 s
Current children cumulated vsize: 241548 KiB
Current children cumulated memory: 173296 KiB
[startup+51.1054 s]
/proc/loadavg: 2.54 1.58 2.07 7/268 88985
/proc/meminfo: memFree=119302044/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=8.65 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 239 6678 0 0 0 0 861 4 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88773] ppid=88759 vsize=286836 memory=222024 CPUtime=41.83 cores=4,6
/proc/88773/stat : 88773 (roundingsat) R 88759 88759 88600 0 -1 4194304 44822 0 0 0 4089 94 0 0 20 0 1 0 71910070 293720064 55506 18446744073709551615 4227072 8923433 140728595247632 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38031360 140728595249428 140728595249704 140728595249704 140728595255274 0
/proc/88773/statm: 71709 55506 2432 1147 0 59136 0
Current children cumulated CPU time: 50.48 s
Current children cumulated vsize: 291028 KiB
Current children cumulated memory: 225096 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.97 2.18 5/274 89020
/proc/meminfo: memFree=117826904/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=8.65 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 239 6678 0 0 0 0 861 4 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88773] ppid=88759 vsize=320696 memory=257568 CPUtime=92.67 cores=4,6
/proc/88773/stat : 88773 (roundingsat) R 88759 88759 88600 0 -1 4194304 46881 0 0 0 9080 187 0 0 20 0 1 0 71910070 328392704 64392 18446744073709551615 4227072 8923433 140728595247632 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38031360 140728595249428 140728595249704 140728595249704 140728595255274 0
/proc/88773/statm: 80174 64392 2432 1147 0 67601 0
Current children cumulated CPU time: 101.32 s
Current children cumulated vsize: 324888 KiB
Current children cumulated memory: 260640 KiB
[startup+113.811 s]
# the end of solver process 88759 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=110.568 s, system=2.17329 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.42 1.97 2.18 5/274 89020
/proc/meminfo: memFree=117826904/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=8.65 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 239 6678 0 0 0 0 861 4 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88773] ppid=88759 vsize=320696 memory=257568 CPUtime=92.77 cores=4,6
/proc/88773/stat : 88773 (roundingsat) R 88759 88759 88600 0 -1 4194304 46881 0 0 0 9090 187 0 0 20 0 1 0 71910070 328392704 64392 18446744073709551615 4227072 8923433 140728595247632 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38031360 140728595249428 140728595249704 140728595249704 140728595255274 0
/proc/88773/statm: 80174 64392 2432 1147 0 67601 0
Current children cumulated CPU time: 101.42 s
Current children cumulated vsize: 324888 KiB
Current children cumulated memory: 260640 KiB
[startup+108.8 s]
/proc/loadavg: 3.51 2.04 2.20 5/270 89052
/proc/meminfo: memFree=118187432/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=8.65 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 239 6678 0 0 0 0 861 4 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88773] ppid=88759 vsize=342472 memory=274976 CPUtime=99.15 cores=4,6
/proc/88773/stat : 88773 (roundingsat) R 88759 88759 88600 0 -1 4194304 51237 0 0 0 9713 202 0 0 20 0 1 0 71910070 350691328 68744 18446744073709551615 4227072 8923433 140728595247632 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38031360 140728595249428 140728595249704 140728595249704 140728595255274 0
/proc/88773/statm: 85618 68744 2432 1147 0 73045 0
Current children cumulated CPU time: 107.8 s
Current children cumulated vsize: 346664 KiB
Current children cumulated memory: 278048 KiB
[startup+112 s]*
/proc/loadavg: 3.51 2.04 2.20 5/270 89052
/proc/meminfo: memFree=117973724/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=8.65 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 239 6678 0 0 0 0 861 4 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88773] ppid=88759 vsize=344768 memory=279456 CPUtime=102.34 cores=4,6
/proc/88773/stat : 88773 (roundingsat) R 88759 88759 88600 0 -1 4194304 51608 0 0 0 10026 208 0 0 20 0 1 0 71910070 353042432 69864 18446744073709551615 4227072 8923433 140728595247632 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38031360 140728595249428 140728595249704 140728595249704 140728595255274 0
/proc/88773/statm: 86192 69864 2432 1147 0 73619 0
Current children cumulated CPU time: 110.99 s
Current children cumulated vsize: 348960 KiB
Current children cumulated memory: 282528 KiB
[startup+112.8 s]
/proc/loadavg: 3.51 2.04 2.20 5/270 89052
/proc/meminfo: memFree=117973724/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=8.65 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 239 6678 0 0 0 0 861 4 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88773] ppid=88759 vsize=344768 memory=279968 CPUtime=103.13 cores=4,6
/proc/88773/stat : 88773 (roundingsat) R 88759 88759 88600 0 -1 4194304 51730 0 0 0 10104 209 0 0 20 0 1 0 71910070 353042432 69992 18446744073709551615 4227072 8923433 140728595247632 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38031360 140728595249428 140728595249704 140728595249704 140728595255274 0
/proc/88773/statm: 86192 69992 2432 1147 0 73619 0
Current children cumulated CPU time: 111.78 s
Current children cumulated vsize: 348960 KiB
Current children cumulated memory: 283040 KiB
[startup+113.6 s]
/proc/loadavg: 3.63 2.09 2.21 5/270 89052
/proc/meminfo: memFree=117925340/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=8.65 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 239 6678 0 0 0 0 861 4 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88773] ppid=88759 vsize=351328 memory=286880 CPUtime=103.92 cores=4,6
/proc/88773/stat : 88773 (roundingsat) R 88759 88759 88600 0 -1 4194304 53471 0 0 0 10182 210 0 0 20 0 1 0 71910070 359759872 71720 18446744073709551615 4227072 8923433 140728595247632 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38031360 140728595249428 140728595249704 140728595249704 140728595255274 0
/proc/88773/statm: 87832 71720 2432 1147 0 75259 0
Current children cumulated CPU time: 112.57 s
Current children cumulated vsize: 355520 KiB
Current children cumulated memory: 289952 KiB
[startup+113.8 s]
/proc/loadavg: 3.63 2.09 2.21 5/270 89052
/proc/meminfo: memFree=117925340/131249996 swapFree=33010684/33010684
[pid=88759] ppid=88756 vsize=4192 memory=3072 CPUtime=8.65 cores=4,6
/proc/88759/stat : 88759 (run-opt-break-l) S 88756 88759 88600 0 -1 4194304 239 6678 0 0 0 0 861 4 20 0 1 0 71909169 4292608 768 18446744073709551615 94507712069632 94507712964165 140724814491216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94507713203216 94507713250960 94507732094976 140724814493973 140724814494174 140724814494174 140724814499776 0
/proc/88759/statm: 1048 768 704 219 0 110 0
[pid=88773] ppid=88759 vsize=351328 memory=286880 CPUtime=104.06 cores=4,6
/proc/88773/stat : 88773 (roundingsat) D 88759 88759 88600 0 -1 4194304 53471 0 0 0 10195 211 0 0 20 0 1 0 71910070 359759872 71720 18446744073709551615 4227072 8923433 140728595247632 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 38031360 140728595249428 140728595249704 140728595249704 140728595255274 0
/proc/88773/statm: 87832 71720 2432 1147 0 75259 0
Current children cumulated CPU time: 112.71 s
Current children cumulated vsize: 355520 KiB
Current children cumulated memory: 289952 KiB
Child status: 0
Real time (s): 113.811
CPU time (s): 112.741
CPU user time (s): 110.568
CPU system time (s): 2.17329
CPU usage (%): 99.0599
Max. virtual memory (cumulated for all children) (KiB): 355520
Max. memory (cumulated for all children) (KiB): 289952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.568
system time used= 2.17328
maximum resident set size= 286880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60413
page faults= 0
swaps= 0
block input operations= 0
block output operations= 782960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4927
involuntary context switches= 260
# summary of solver processes directly reported to runsolver:
# pid: 88759
# total CPU time (s): 112.741
# total CPU user time (s): 110.568
# total CPU system time (s): 2.17329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.249988 second user time and 0.503163 second system time
The end
Launcher Data
Begin job on nodeC024 at 2025-07-03 19:05:13
IDJOB=4519887
IDBENCH=177532
IDSOLVER=3360
FILE ID=nodeC024/4519887-1751562313
RUNJOBID= nodeC024-1751562311-88611
SLURM_JOB_ID= 9598763
Free space on /tmp= 432344 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519887-1751562313/watcher-4519887-1751562313 -o /tmp/evaluation-result-4519887-1751562313/solver-4519887-1751562313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751562311-88611 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4519887-1751562313.opb PROOFDIR/proof-4519887-1751562313
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8a6dbe9648cdf1a99b0bd946afbbdeb1
RANDOM SEED=1411714250
nodeC024 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.087
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.684
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.350
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.36
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 : 3600.159
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.678
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.36
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.672
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.36
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.716
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.058
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121529584 kB
MemAvailable: 129707860 kB
Buffers: 2144 kB
Cached: 8945576 kB
SwapCached: 0 kB
Active: 653040 kB
Inactive: 8411864 kB
Active(anon): 133204 kB
Inactive(anon): 2084 kB
Active(file): 519836 kB
Inactive(file): 8409780 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31324 kB
Writeback: 60 kB
AnonPages: 118348 kB
Mapped: 110140 kB
Shmem: 18064 kB
KReclaimable: 175400 kB
Slab: 267028 kB
SReclaimable: 175400 kB
SUnreclaim: 91628 kB
KernelStack: 4208 kB
PageTables: 3100 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 447084 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432328 MiB
End job on nodeC024 at 2025-07-03 19:07:07