Trace number 4519608
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_4layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb |
| MD5SUM | f91dbe69118ae72b0214f31a62e5b167 |
| 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 | -29 |
| Best CPU time to get the best result obtained on this benchmark | 0.785581 |
| 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 | 4500 |
| Total number of constraints | 1979 |
| Number of constraints which are clauses | 1830 |
| Number of constraints which are cardinality constraints (but not clauses) | 89 |
| Number of constraints which are nor clauses,nor cardinality constraints | 60 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 31 |
| Number of terms in the objective function | 900 |
| 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 | 900 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 900 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-4519608-1751540447.opb'
0.00/0.01 c read 0.13MB (1.72ms)
0.00/0.01 c [cnf: #variables 4500 #clauses 1980 #duplicates 0 #arr 12570]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 14] (2.79ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 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.02 c recursing 180 blocks of candidate 30x182r
0.00/0.02 c found row 30x2, generating row predicate
0.00/0.02 c (9.02ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 19080 #edges 50340]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 4.01*10^1034 #generators 877] (14.41ms)
0.00/0.04 c
0.00/0.04 c optimize generators (opt_passes=64, conjugate_limit=2215)
0.00/0.04 c ran it=0, +gens=44
0.59/0.69 c con best_support=4, best_gens=841, +gens=2213
0.59/0.69 c (654.81ms)
0.59/0.69 c
0.59/0.69 c finalize break order and special generators
0.59/0.69 c
0.59/0.69 c add generic predicates (break_depth=20)
0.68/0.70 c added predicates for 3134 generators (5.95ms)
0.68/0.70 c
0.68/0.70 c generation finished
0.68/0.70 c [sbp: #constraints 6604 #add_vars 1147]
0.68/0.70 c
0.68/0.70 c write result to 'HOME/instance-4519608-1751540447.opb.pre'
0.68/0.70 c wrote 0.33MB (0.91ms)
0.68/0.70 c ------------------------------------------------------------------
0.68/0.70 c 654.81ms 94.73% optimize_gens
0.68/0.70 c 14.41ms 2.08% detect_generic
0.68/0.70 c 9.02ms 1.31% detect_special
0.68/0.70 c 5.95ms 0.86% break_generic
0.68/0.70 c 2.79ms 0.40% approx_orbits
0.68/0.70 c 1.71ms 0.25% parse
0.68/0.70 c 1.09ms 0.16% finalize_order
0.68/0.70 c 0.91ms 0.13% output
0.68/0.70 c 0.52ms 0.08% other
0.68/0.70 c ───────────────────────────────────────────────
0.68/0.70 c 691.22ms 100% total
0.68/0.70 c ------------------------------------------------------------------
0.68/0.71 c RoundingSat 2
0.68/0.71 c branch pb25
0.68/0.71 c commit 63f22ad
0.68/0.75 c #variables 5647 #constraints 8583
0.68/0.75 c objective is ce32
0.69/0.80 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.69/0.80 c initial counting CF 32, 64, 128, Arb: 61 , 0 , 0 , 0
0.69/0.80 c bounds -18 >= -900 @ 0.07767
0.69/0.85 c bounds -19 >= -900 @ 0.112329
0.69/0.88 c rational objective -30
0.69/0.92 c bounds -19 >= -872 @ 0.186741
0.69/0.92 c bounds -19 >= -844 @ 0.18691
0.69/0.92 c bounds -19 >= -816 @ 0.187034
0.69/0.93 c bounds -19 >= -788 @ 0.187154
0.69/0.93 c bounds -19 >= -760 @ 0.187276
0.69/0.93 c bounds -19 >= -731 @ 0.187392
0.69/0.93 c bounds -19 >= -703 @ 0.187511
0.69/0.93 c bounds -19 >= -675 @ 0.187632
0.69/0.93 c bounds -19 >= -647 @ 0.18775
0.69/0.93 c bounds -19 >= -619 @ 0.187865
0.69/0.93 c bounds -19 >= -590 @ 0.187991
0.69/0.93 c bounds -19 >= -561 @ 0.188106
0.69/0.93 c bounds -19 >= -533 @ 0.188219
0.69/0.93 c bounds -19 >= -505 @ 0.188333
0.69/0.93 c bounds -19 >= -477 @ 0.188443
0.69/0.93 c bounds -19 >= -449 @ 0.188554
0.69/0.93 c bounds -19 >= -420 @ 0.188665
0.69/0.93 c bounds -19 >= -392 @ 0.188773
0.69/0.93 c bounds -19 >= -364 @ 0.188882
0.69/0.93 c bounds -19 >= -336 @ 0.188995
0.69/0.93 c bounds -19 >= -307 @ 0.189105
0.69/0.93 c bounds -19 >= -278 @ 0.189211
0.69/0.93 c bounds -19 >= -250 @ 0.189317
0.69/0.93 c bounds -19 >= -222 @ 0.18942
0.69/0.93 c bounds -19 >= -194 @ 0.189524
0.69/0.93 c bounds -19 >= -166 @ 0.189626
0.69/0.93 c bounds -19 >= -138 @ 0.189726
0.69/0.93 c bounds -19 >= -110 @ 0.189828
0.69/0.93 c bounds -19 >= -81 @ 0.18993
0.69/0.93 c bounds -19 >= -53 @ 0.19003
0.69/0.93 c bounds -19 >= -52 @ 0.190124
0.69/0.93 c bounds -19 >= -51 @ 0.190212
0.69/0.93 c bounds -19 >= -50 @ 0.190299
0.69/0.93 c bounds -19 >= -49 @ 0.190397
0.69/0.93 c bounds -19 >= -48 @ 0.190483
0.69/0.93 c bounds -19 >= -47 @ 0.190581
0.69/0.93 c bounds -19 >= -46 @ 0.190665
0.69/0.93 c bounds -19 >= -45 @ 0.190756
0.69/0.93 c bounds -19 >= -44 @ 0.190848
0.69/0.93 c bounds -19 >= -43 @ 0.190931
0.69/0.93 c bounds -19 >= -42 @ 0.191017
0.69/0.93 c bounds -19 >= -41 @ 0.191106
0.69/0.93 c bounds -19 >= -40 @ 0.191194
0.69/0.93 c bounds -19 >= -39 @ 0.191282
0.69/0.93 c bounds -19 >= -38 @ 0.191366
0.69/0.93 c bounds -19 >= -37 @ 0.191448
0.69/0.93 c bounds -19 >= -36 @ 0.19153
0.69/0.93 c bounds -19 >= -35 @ 0.191613
0.69/0.93 c bounds -19 >= -34 @ 0.191692
0.69/0.93 c bounds -19 >= -33 @ 0.191775
0.69/0.93 c bounds -19 >= -32 @ 0.191856
0.69/0.93 c bounds -19 >= -31 @ 0.191935
0.69/0.93 c bounds -19 >= -30 @ 0.192012
1.27/1.37 c #Conflicts: 1000 | #Constraints: 9735
1.27/1.37 c #Conflicts: 2000 | #Constraints: 10735
1.27/1.37 c INPROCESSING
1.27/1.37 c GARBAGE COLLECT
1.27/1.37 c bounds -20 >= -30 @ 0.578313
1.27/1.38 c bounds -21 >= -30 @ 0.583182
1.27/1.38 c bounds -22 >= -30 @ 0.586704
1.27/1.39 c bounds -23 >= -30 @ 0.592153
1.36/1.40 c bounds -24 >= -30 @ 0.595265
1.36/1.40 c bounds -25 >= -30 @ 0.59856
1.36/1.41 c bounds -26 >= -30 @ 0.610184
1.36/1.42 c bounds -27 >= -30 @ 0.613723
1.36/1.42 c bounds -28 >= -30 @ 0.62041
1.36/1.46 c bounds -29 >= -30 @ 0.657046
1.36/1.49 c rational objective -30
2.26/2.36 c #Conflicts: 3000 | #Constraints: 8540
2.26/2.36 c #Conflicts: 4000 | #Constraints: 9558
2.26/2.36 c INPROCESSING
2.26/2.36 c GARBAGE COLLECT
2.26/2.36 c rational objective -30
2.36/2.48 c rational objective -30
3.76/3.89 c #Conflicts: 5000 | #Constraints: 8815
3.76/3.89 c #Conflicts: 6000 | #Constraints: 9815
3.76/3.89 c INPROCESSING
3.76/3.89 c GARBAGE COLLECT
3.76/3.89 c rational objective -30
3.97/4.03 c rational objective -30
4.96/5.00 c #Conflicts: 7000 | #Constraints: 8917
4.96/5.00 c #Conflicts: 8000 | #Constraints: 9918
4.96/5.00 c #Conflicts: 9000 | #Constraints: 10920
4.96/5.00 c INPROCESSING
4.96/5.00 c GARBAGE COLLECT
4.96/5.00 c rational objective -30
5.06/5.15 c rational objective -30
6.75/6.80 c #Conflicts: 10000 | #Constraints: 9577
6.75/6.80 c #Conflicts: 11000 | #Constraints: 10577
6.75/6.80 c #Conflicts: 12000 | #Constraints: 11577
6.75/6.80 c INPROCESSING
6.75/6.80 c GARBAGE COLLECT
6.75/6.80 c rational objective -30
6.85/6.93 c rational objective -30
8.65/8.76 c #Conflicts: 13000 | #Constraints: 10018
8.65/8.76 c #Conflicts: 14000 | #Constraints: 11019
8.65/8.76 c #Conflicts: 15000 | #Constraints: 12021
8.65/8.76 c INPROCESSING
8.65/8.76 c GARBAGE COLLECT
8.65/8.76 c rational objective -30
8.85/8.96 c rational objective -30
11.44/11.57 c #Conflicts: 16000 | #Constraints: 10165
11.44/11.57 c #Conflicts: 17000 | #Constraints: 11165
11.44/11.57 c #Conflicts: 18000 | #Constraints: 12165
11.44/11.57 c INPROCESSING
11.44/11.57 c GARBAGE COLLECT
11.44/11.57 c rational objective -30
11.64/11.77 c rational objective -30
14.04/14.13 c #Conflicts: 19000 | #Constraints: 10187
14.04/14.13 c #Conflicts: 20000 | #Constraints: 11187
14.04/14.13 c #Conflicts: 21000 | #Constraints: 12187
14.04/14.13 c INPROCESSING
14.04/14.13 c GARBAGE COLLECT
14.04/14.13 c rational objective -30
14.23/14.32 c rational objective -30
16.03/16.18 c #Conflicts: 22000 | #Constraints: 9984
16.03/16.18 c #Conflicts: 23000 | #Constraints: 10984
16.03/16.18 c #Conflicts: 24000 | #Constraints: 11986
16.03/16.18 c #Conflicts: 25000 | #Constraints: 12990
16.03/16.18 c INPROCESSING
16.03/16.18 c GARBAGE COLLECT
16.03/16.18 c rational objective -30
16.43/16.53 c rational objective -30
18.22/18.30 c #Conflicts: 26000 | #Constraints: 10598
18.22/18.30 c #Conflicts: 27000 | #Constraints: 11599
18.22/18.30 c #Conflicts: 28000 | #Constraints: 12599
18.22/18.30 c #Conflicts: 29000 | #Constraints: 13601
18.22/18.30 c INPROCESSING
18.22/18.30 c GARBAGE COLLECT
18.22/18.30 c rational objective -30
18.62/18.76 c rational objective -30
20.61/20.77 c #Conflicts: 30000 | #Constraints: 10991
20.61/20.77 c #Conflicts: 31000 | #Constraints: 11991
20.61/20.77 c #Conflicts: 32000 | #Constraints: 12992
20.61/20.77 c #Conflicts: 33000 | #Constraints: 14003
20.61/20.77 c INPROCESSING
20.61/20.77 c GARBAGE COLLECT
20.61/20.77 c rational objective -30
20.92/21.08 c rational objective -30
24.81/24.91 c #Conflicts: 34000 | #Constraints: 11193
24.81/24.91 c #Conflicts: 35000 | #Constraints: 12193
24.81/24.91 c #Conflicts: 36000 | #Constraints: 13193
24.81/24.91 c #Conflicts: 37000 | #Constraints: 14193
24.81/24.91 c INPROCESSING
24.81/24.91 c GARBAGE COLLECT
24.81/24.91 c rational objective -30
25.31/25.40 c rational objective -30
27.60/27.77 c #Conflicts: 38000 | #Constraints: 11196
27.60/27.77 c #Conflicts: 39000 | #Constraints: 12196
27.60/27.77 c #Conflicts: 40000 | #Constraints: 13196
27.60/27.77 c #Conflicts: 41000 | #Constraints: 14196
27.60/27.77 c INPROCESSING
27.60/27.77 c GARBAGE COLLECT
27.60/27.77 c rational objective -30
28.00/28.10 c rational objective -30
30.59/30.70 c #Conflicts: 42000 | #Constraints: 10991
30.59/30.70 c #Conflicts: 43000 | #Constraints: 11992
30.59/30.70 c #Conflicts: 44000 | #Constraints: 12992
30.59/30.70 c #Conflicts: 45000 | #Constraints: 13993
30.59/30.70 c #Conflicts: 46000 | #Constraints: 14993
30.59/30.70 c INPROCESSING
30.59/30.70 c GARBAGE COLLECT
30.59/30.70 c rational objective -30
30.90/31.04 c rational objective -30
34.78/34.96 c #Conflicts: 47000 | #Constraints: 11589
34.78/34.96 c #Conflicts: 48000 | #Constraints: 12589
34.78/34.96 c #Conflicts: 49000 | #Constraints: 13589
34.78/34.96 c #Conflicts: 50000 | #Constraints: 14592
34.78/34.96 c #Conflicts: 51000 | #Constraints: 15600
34.78/34.96 c INPROCESSING
34.78/34.96 c GARBAGE COLLECT
34.78/34.96 c rational objective -30
35.18/35.32 c rational objective -30
38.88/39.09 c #Conflicts: 52000 | #Constraints: 12013
38.88/39.09 c #Conflicts: 53000 | #Constraints: 13013
38.88/39.09 c #Conflicts: 54000 | #Constraints: 14013
38.88/39.09 c #Conflicts: 55000 | #Constraints: 15013
38.88/39.09 c #Conflicts: 56000 | #Constraints: 16015
38.88/39.09 c INPROCESSING
38.88/39.09 c GARBAGE COLLECT
38.88/39.09 c rational objective -30
39.37/39.50 c rational objective -30
43.16/43.31 c #Conflicts: 57000 | #Constraints: 12193
43.16/43.31 c #Conflicts: 58000 | #Constraints: 13193
43.16/43.31 c #Conflicts: 59000 | #Constraints: 14193
43.16/43.31 c #Conflicts: 60000 | #Constraints: 15194
43.16/43.31 c #Conflicts: 61000 | #Constraints: 16200
43.16/43.31 c INPROCESSING
43.16/43.31 c GARBAGE COLLECT
43.16/43.31 c rational objective -30
43.56/43.75 c rational objective -30
46.65/46.85 c #Conflicts: 62000 | #Constraints: 12200
46.65/46.85 c #Conflicts: 63000 | #Constraints: 13200
46.65/46.85 c #Conflicts: 64000 | #Constraints: 14200
46.65/46.85 c #Conflicts: 65000 | #Constraints: 15200
46.65/46.85 c #Conflicts: 66000 | #Constraints: 16202
46.65/46.85 c INPROCESSING
46.65/46.85 c GARBAGE COLLECT
46.65/46.85 c rational objective -30
47.15/47.30 c rational objective -30
50.94/51.19 c #Conflicts: 67000 | #Constraints: 12006
50.94/51.19 c #Conflicts: 68000 | #Constraints: 13006
50.94/51.19 c #Conflicts: 69000 | #Constraints: 14006
50.94/51.19 c #Conflicts: 70000 | #Constraints: 15006
50.94/51.19 c #Conflicts: 71000 | #Constraints: 16008
50.94/51.19 c #Conflicts: 72000 | #Constraints: 17010
50.94/51.19 c INPROCESSING
50.94/51.19 c GARBAGE COLLECT
50.94/51.19 c rational objective -30
51.34/51.59 c rational objective -30
55.63/55.86 c #Conflicts: 73000 | #Constraints: 12602
55.63/55.86 c #Conflicts: 74000 | #Constraints: 13602
55.63/55.86 c #Conflicts: 75000 | #Constraints: 14602
55.63/55.86 c #Conflicts: 76000 | #Constraints: 15610
55.63/55.86 c #Conflicts: 77000 | #Constraints: 16611
55.63/55.86 c #Conflicts: 78000 | #Constraints: 17613
55.63/55.86 c INPROCESSING
55.63/55.86 c GARBAGE COLLECT
55.63/55.86 c rational objective -30
56.03/56.21 c rational objective -30
60.72/60.98 c #Conflicts: 79000 | #Constraints: 13000
60.72/60.98 c #Conflicts: 80000 | #Constraints: 14000
60.72/60.98 c #Conflicts: 81000 | #Constraints: 15000
60.72/60.98 c #Conflicts: 82000 | #Constraints: 16001
60.72/60.98 c #Conflicts: 83000 | #Constraints: 17001
60.72/60.98 c #Conflicts: 84000 | #Constraints: 18002
60.72/60.98 c INPROCESSING
60.72/60.98 c GARBAGE COLLECT
60.72/60.98 c rational objective -30
61.12/61.32 c rational objective -30
66.30/66.57 c #Conflicts: 85000 | #Constraints: 13194
66.30/66.57 c #Conflicts: 86000 | #Constraints: 14194
66.30/66.57 c #Conflicts: 87000 | #Constraints: 15195
66.30/66.57 c #Conflicts: 88000 | #Constraints: 16199
66.30/66.57 c #Conflicts: 89000 | #Constraints: 17200
66.30/66.57 c #Conflicts: 90000 | #Constraints: 18201
66.30/66.57 c INPROCESSING
66.30/66.57 c GARBAGE COLLECT
66.30/66.57 c rational objective -30
66.70/66.95 c rational objective -30
70.79/71.00 c #Conflicts: 91000 | #Constraints: 13200
70.79/71.00 c #Conflicts: 92000 | #Constraints: 14200
70.79/71.00 c #Conflicts: 93000 | #Constraints: 15201
70.79/71.00 c #Conflicts: 94000 | #Constraints: 16204
70.79/71.00 c #Conflicts: 95000 | #Constraints: 17206
70.79/71.00 c #Conflicts: 96000 | #Constraints: 18207
70.79/71.00 c INPROCESSING
70.79/71.00 c GARBAGE COLLECT
70.79/71.00 c rational objective -30
71.19/71.45 c rational objective -30
76.38/76.61 c #Conflicts: 97000 | #Constraints: 13002
76.38/76.61 c #Conflicts: 98000 | #Constraints: 14002
76.38/76.61 c #Conflicts: 99000 | #Constraints: 15002
76.38/76.61 c #Conflicts: 100000 | #Constraints: 16003
76.38/76.61 c #Conflicts: 101000 | #Constraints: 17007
76.38/76.61 c #Conflicts: 102000 | #Constraints: 18010
76.38/76.61 c #Conflicts: 103000 | #Constraints: 19013
76.38/76.61 c INPROCESSING
76.38/76.61 c GARBAGE COLLECT
76.38/76.61 c rational objective -30
76.68/76.99 c rational objective -30
81.76/82.00 c #Conflicts: 104000 | #Constraints: 13598
81.76/82.00 c #Conflicts: 105000 | #Constraints: 14599
81.76/82.00 c #Conflicts: 106000 | #Constraints: 15599
81.76/82.00 c #Conflicts: 107000 | #Constraints: 16599
81.76/82.00 c #Conflicts: 108000 | #Constraints: 17602
81.76/82.00 c #Conflicts: 109000 | #Constraints: 18604
81.76/82.00 c #Conflicts: 110000 | #Constraints: 19615
81.76/82.00 c INPROCESSING
81.76/82.00 c GARBAGE COLLECT
81.76/82.00 c rational objective -30
82.06/82.36 c rational objective -30
87.75/88.05 c #Conflicts: 111000 | #Constraints: 14010
87.75/88.05 c #Conflicts: 112000 | #Constraints: 15010
87.75/88.05 c #Conflicts: 113000 | #Constraints: 16010
87.75/88.05 c #Conflicts: 114000 | #Constraints: 17016
87.75/88.05 c #Conflicts: 115000 | #Constraints: 18023
87.75/88.05 c #Conflicts: 116000 | #Constraints: 19026
87.75/88.05 c #Conflicts: 117000 | #Constraints: 20029
87.75/88.05 c INPROCESSING
87.75/88.05 c GARBAGE COLLECT
87.75/88.05 c rational objective -30
88.35/88.60 c rational objective -30
92.54/92.88 c #Conflicts: 118000 | #Constraints: 14212
92.54/92.88 c #Conflicts: 119000 | #Constraints: 15212
92.54/92.88 c #Conflicts: 120000 | #Constraints: 16213
92.54/92.88 c #Conflicts: 121000 | #Constraints: 17217
92.54/92.88 c #Conflicts: 122000 | #Constraints: 18219
92.54/92.88 c #Conflicts: 123000 | #Constraints: 19223
92.54/92.88 c #Conflicts: 124000 | #Constraints: 20228
92.54/92.88 c INPROCESSING
92.54/92.88 c GARBAGE COLLECT
92.54/92.88 c rational objective -30
92.93/93.25 c rational objective -30
98.32/98.62 c #Conflicts: 125000 | #Constraints: 14217
98.32/98.62 c #Conflicts: 126000 | #Constraints: 15217
98.32/98.62 c #Conflicts: 127000 | #Constraints: 16217
98.32/98.62 c #Conflicts: 128000 | #Constraints: 17221
98.32/98.62 c #Conflicts: 129000 | #Constraints: 18223
98.32/98.62 c #Conflicts: 130000 | #Constraints: 19227
98.32/98.62 c #Conflicts: 131000 | #Constraints: 20230
98.32/98.62 c INPROCESSING
98.32/98.62 c GARBAGE COLLECT
98.32/98.62 c rational objective -30
98.72/99.10 c rational objective -30
104.41/104.76 c #Conflicts: 132000 | #Constraints: 14019
104.41/104.76 c #Conflicts: 133000 | #Constraints: 15019
104.41/104.76 c #Conflicts: 134000 | #Constraints: 16019
104.41/104.76 c #Conflicts: 135000 | #Constraints: 17020
104.41/104.76 c #Conflicts: 136000 | #Constraints: 18022
104.41/104.76 c #Conflicts: 137000 | #Constraints: 19030
104.41/104.76 c #Conflicts: 138000 | #Constraints: 20032
104.41/104.76 c #Conflicts: 139000 | #Constraints: 21034
104.41/104.76 c INPROCESSING
104.41/104.76 c GARBAGE COLLECT
104.41/104.76 c rational objective -30
104.90/105.30 c rational objective -30
110.29/110.66 c #Conflicts: 140000 | #Constraints: 14620
110.29/110.66 c #Conflicts: 141000 | #Constraints: 15620
110.29/110.66 c #Conflicts: 142000 | #Constraints: 16620
110.29/110.66 c #Conflicts: 143000 | #Constraints: 17620
110.29/110.66 c #Conflicts: 144000 | #Constraints: 18622
110.29/110.66 c #Conflicts: 145000 | #Constraints: 19625
110.29/110.66 c #Conflicts: 146000 | #Constraints: 20625
110.29/110.66 c #Conflicts: 147000 | #Constraints: 21626
110.29/110.66 c INPROCESSING
110.29/110.66 c GARBAGE COLLECT
110.29/110.66 c rational objective -30
110.70/111.06 c rational objective -30
115.57/115.92 c #Conflicts: 148000 | #Constraints: 15015
115.57/115.92 c #Conflicts: 149000 | #Constraints: 16016
115.57/115.92 c #Conflicts: 150000 | #Constraints: 17018
115.57/115.92 c #Conflicts: 151000 | #Constraints: 18018
115.57/115.92 c #Conflicts: 152000 | #Constraints: 19021
115.57/115.92 c #Conflicts: 153000 | #Constraints: 20023
115.57/115.92 c #Conflicts: 154000 | #Constraints: 21024
115.57/115.92 c #Conflicts: 155000 | #Constraints: 22028
115.57/115.92 c INPROCESSING
115.57/115.92 c GARBAGE COLLECT
115.57/115.92 c rational objective -30
115.88/116.28 c rational objective -30
121.16/121.50 c #Conflicts: 156000 | #Constraints: 15215
121.16/121.50 c #Conflicts: 157000 | #Constraints: 16215
121.16/121.50 c #Conflicts: 158000 | #Constraints: 17216
121.16/121.50 c #Conflicts: 159000 | #Constraints: 18218
121.16/121.50 c #Conflicts: 160000 | #Constraints: 19223
121.16/121.50 c #Conflicts: 161000 | #Constraints: 20224
121.16/121.50 c #Conflicts: 162000 | #Constraints: 21230
121.16/121.50 c #Conflicts: 163000 | #Constraints: 22233
121.16/121.50 c INPROCESSING
121.16/121.50 c GARBAGE COLLECT
121.16/121.50 c rational objective -30
121.46/121.84 c rational objective -30
126.45/126.88 c #Conflicts: 164000 | #Constraints: 15233
126.45/126.88 c #Conflicts: 165000 | #Constraints: 16233
126.45/126.88 c #Conflicts: 166000 | #Constraints: 17234
126.45/126.88 c #Conflicts: 167000 | #Constraints: 18234
126.45/126.88 c #Conflicts: 168000 | #Constraints: 19236
126.45/126.88 c #Conflicts: 169000 | #Constraints: 20238
126.45/126.88 c #Conflicts: 170000 | #Constraints: 21240
126.45/126.88 c #Conflicts: 171000 | #Constraints: 22242
126.45/126.88 c INPROCESSING
126.45/126.88 c GARBAGE COLLECT
126.45/126.88 c rational objective -30
126.85/127.28 c rational objective -30
132.33/132.78 c #Conflicts: 172000 | #Constraints: 15030
132.33/132.78 c #Conflicts: 173000 | #Constraints: 16030
132.33/132.78 c #Conflicts: 174000 | #Constraints: 17031
132.33/132.78 c #Conflicts: 175000 | #Constraints: 18031
132.33/132.78 c #Conflicts: 176000 | #Constraints: 19033
132.33/132.78 c #Conflicts: 177000 | #Constraints: 20037
132.33/132.78 c #Conflicts: 178000 | #Constraints: 21039
132.33/132.78 c #Conflicts: 179000 | #Constraints: 22040
132.33/132.78 c #Conflicts: 180000 | #Constraints: 23044
132.33/132.78 c INPROCESSING
132.33/132.78 c GARBAGE COLLECT
132.33/132.78 c rational objective -30
133.03/133.42 c rational objective -30
138.41/138.87 c #Conflicts: 181000 | #Constraints: 15642
138.41/138.87 c #Conflicts: 182000 | #Constraints: 16642
138.41/138.87 c #Conflicts: 183000 | #Constraints: 17643
138.41/138.87 c #Conflicts: 184000 | #Constraints: 18644
138.41/138.87 c #Conflicts: 185000 | #Constraints: 19646
138.41/138.87 c #Conflicts: 186000 | #Constraints: 20648
138.41/138.87 c #Conflicts: 187000 | #Constraints: 21650
138.41/138.87 c #Conflicts: 188000 | #Constraints: 22654
138.41/138.87 c #Conflicts: 189000 | #Constraints: 23657
138.41/138.87 c INPROCESSING
138.41/138.87 c GARBAGE COLLECT
138.41/138.87 c rational objective -30
138.81/139.28 c rational objective -30
143.21/143.65 c #Conflicts: 190000 | #Constraints: 16037
143.21/143.65 c #Conflicts: 191000 | #Constraints: 17037
143.21/143.65 c #Conflicts: 192000 | #Constraints: 18039
143.21/143.65 c #Conflicts: 193000 | #Constraints: 19039
143.21/143.65 c #Conflicts: 194000 | #Constraints: 20042
143.21/143.65 c #Conflicts: 195000 | #Constraints: 21044
143.21/143.65 c #Conflicts: 196000 | #Constraints: 22048
143.21/143.65 c #Conflicts: 197000 | #Constraints: 23051
143.21/143.65 c #Conflicts: 198000 | #Constraints: 24055
143.21/143.65 c INPROCESSING
143.21/143.65 c GARBAGE COLLECT
143.21/143.65 c rational objective -30
143.61/144.02 c rational objective -30
150.98/151.42 c #Conflicts: 199000 | #Constraints: 16244
150.98/151.42 c #Conflicts: 200000 | #Constraints: 17244
150.98/151.42 c #Conflicts: 201000 | #Constraints: 18245
150.98/151.42 c #Conflicts: 202000 | #Constraints: 19248
150.98/151.42 c #Conflicts: 203000 | #Constraints: 20254
150.98/151.42 c #Conflicts: 204000 | #Constraints: 21255
150.98/151.42 c #Conflicts: 205000 | #Constraints: 22258
150.98/151.42 c #Conflicts: 206000 | #Constraints: 23264
150.98/151.42 c #Conflicts: 207000 | #Constraints: 24269
150.98/151.42 c INPROCESSING
150.98/151.42 c GARBAGE COLLECT
150.98/151.42 c rational objective -30
151.38/151.88 c rational objective -30
155.97/156.48 c #Conflicts: 208000 | #Constraints: 16244
155.97/156.48 c #Conflicts: 209000 | #Constraints: 17244
155.97/156.48 c #Conflicts: 210000 | #Constraints: 18245
155.97/156.48 c #Conflicts: 211000 | #Constraints: 19247
155.97/156.48 c #Conflicts: 212000 | #Constraints: 20255
155.97/156.48 c #Conflicts: 213000 | #Constraints: 21257
155.97/156.48 c #Conflicts: 214000 | #Constraints: 22258
155.97/156.48 c #Conflicts: 215000 | #Constraints: 23261
155.97/156.48 c #Conflicts: 216000 | #Constraints: 24264
155.97/156.48 c INPROCESSING
155.97/156.48 c GARBAGE COLLECT
155.97/156.48 c rational objective -30
156.37/156.84 c rational objective -30
162.15/162.60 c #Conflicts: 217000 | #Constraints: 16054
162.15/162.60 c #Conflicts: 218000 | #Constraints: 17054
162.15/162.60 c #Conflicts: 219000 | #Constraints: 18054
162.15/162.60 c #Conflicts: 220000 | #Constraints: 19057
162.15/162.60 c #Conflicts: 221000 | #Constraints: 20058
162.15/162.60 c #Conflicts: 222000 | #Constraints: 21060
162.15/162.60 c #Conflicts: 223000 | #Constraints: 22065
162.15/162.60 c #Conflicts: 224000 | #Constraints: 23068
162.15/162.60 c #Conflicts: 225000 | #Constraints: 24071
162.15/162.60 c #Conflicts: 226000 | #Constraints: 25073
162.15/162.60 c INPROCESSING
162.15/162.60 c GARBAGE COLLECT
162.15/162.60 c rational objective -30
162.45/162.93 c rational objective -30
166.85/167.33 c #Conflicts: 227000 | #Constraints: 16654
166.85/167.33 c #Conflicts: 228000 | #Constraints: 17654
166.85/167.33 c #Conflicts: 229000 | #Constraints: 18654
166.85/167.33 c #Conflicts: 230000 | #Constraints: 19654
166.85/167.33 c #Conflicts: 231000 | #Constraints: 20655
166.85/167.33 c #Conflicts: 232000 | #Constraints: 21659
166.85/167.33 c #Conflicts: 233000 | #Constraints: 22663
166.85/167.33 c #Conflicts: 234000 | #Constraints: 23664
166.85/167.33 c #Conflicts: 235000 | #Constraints: 24667
166.85/167.33 c #Conflicts: 236000 | #Constraints: 25672
166.85/167.33 c INPROCESSING
166.85/167.33 c GARBAGE COLLECT
166.85/167.33 c rational objective -30
167.24/167.70 c rational objective -30
174.42/174.91 c #Conflicts: 237000 | #Constraints: 17041
174.42/174.91 c #Conflicts: 238000 | #Constraints: 18041
174.42/174.91 c #Conflicts: 239000 | #Constraints: 19044
174.42/174.91 c #Conflicts: 240000 | #Constraints: 20053
174.42/174.91 c #Conflicts: 241000 | #Constraints: 21056
174.42/174.91 c #Conflicts: 242000 | #Constraints: 22058
174.42/174.91 c #Conflicts: 243000 | #Constraints: 23060
174.42/174.91 c #Conflicts: 244000 | #Constraints: 24061
174.42/174.91 c #Conflicts: 245000 | #Constraints: 25061
174.42/174.91 c #Conflicts: 246000 | #Constraints: 26064
174.42/174.91 c INPROCESSING
174.42/174.91 c GARBAGE COLLECT
174.42/174.91 c rational objective -30
174.73/175.27 c rational objective -30
181.01/181.56 c #Conflicts: 247000 | #Constraints: 17240
181.01/181.56 c #Conflicts: 248000 | #Constraints: 18240
181.01/181.56 c #Conflicts: 249000 | #Constraints: 19241
181.01/181.56 c #Conflicts: 250000 | #Constraints: 20242
181.01/181.56 c #Conflicts: 251000 | #Constraints: 21246
181.01/181.56 c #Conflicts: 252000 | #Constraints: 22246
181.01/181.56 c #Conflicts: 253000 | #Constraints: 23252
181.01/181.56 c #Conflicts: 254000 | #Constraints: 24256
181.01/181.56 c #Conflicts: 255000 | #Constraints: 25257
181.01/181.56 c #Conflicts: 256000 | #Constraints: 26258
181.01/181.56 c INPROCESSING
181.01/181.56 c GARBAGE COLLECT
181.01/181.56 c rational objective -30
181.31/181.88 c rational objective -30
184.99/185.53 c #Conflicts: 257000 | #Constraints: 17257
184.99/185.53 c #Conflicts: 258000 | #Constraints: 18257
184.99/185.53 c #Conflicts: 259000 | #Constraints: 19257
184.99/185.53 c #Conflicts: 260000 | #Constraints: 20257
184.99/185.53 c #Conflicts: 261000 | #Constraints: 21257
184.99/185.53 c #Conflicts: 262000 | #Constraints: 22257
184.99/185.53 c #Conflicts: 263000 | #Constraints: 23261
184.99/185.53 c #Conflicts: 264000 | #Constraints: 24263
184.99/185.53 c #Conflicts: 265000 | #Constraints: 25264
184.99/185.53 c #Conflicts: 266000 | #Constraints: 26264
184.99/185.53 c INPROCESSING
184.99/185.53 c GARBAGE COLLECT
184.99/185.53 c rational objective -30
185.30/185.90 c rational objective -30
192.48/193.02 c #Conflicts: 267000 | #Constraints: 17060
192.48/193.02 c #Conflicts: 268000 | #Constraints: 18060
192.48/193.02 c #Conflicts: 269000 | #Constraints: 19060
192.48/193.02 c #Conflicts: 270000 | #Constraints: 20060
192.48/193.02 c #Conflicts: 271000 | #Constraints: 21060
192.48/193.02 c #Conflicts: 272000 | #Constraints: 22062
192.48/193.02 c #Conflicts: 273000 | #Constraints: 23066
192.48/193.02 c #Conflicts: 274000 | #Constraints: 24068
192.48/193.02 c #Conflicts: 275000 | #Constraints: 25070
192.48/193.02 c #Conflicts: 276000 | #Constraints: 26072
192.48/193.02 c #Conflicts: 277000 | #Constraints: 27072
192.48/193.02 c INPROCESSING
192.48/193.02 c GARBAGE COLLECT
192.48/193.02 c rational objective -30
192.87/193.41 c rational objective -30
197.17/197.72 c #Conflicts: 278000 | #Constraints: 17655
197.17/197.72 c #Conflicts: 279000 | #Constraints: 18655
197.17/197.72 c #Conflicts: 280000 | #Constraints: 19655
197.17/197.72 c #Conflicts: 281000 | #Constraints: 20655
197.17/197.72 c #Conflicts: 282000 | #Constraints: 21657
197.17/197.72 c #Conflicts: 283000 | #Constraints: 22657
197.17/197.72 c #Conflicts: 284000 | #Constraints: 23659
197.17/197.72 c #Conflicts: 285000 | #Constraints: 24659
197.17/197.72 c #Conflicts: 286000 | #Constraints: 25660
197.17/197.72 c #Conflicts: 287000 | #Constraints: 26662
197.17/197.72 c #Conflicts: 288000 | #Constraints: 27662
197.17/197.72 c INPROCESSING
197.17/197.72 c GARBAGE COLLECT
197.17/197.72 c rational objective -30
197.47/198.08 c rational objective -30
198.57/199.16 c #Conflicts: 289000 | #Constraints: 18010
198.57/199.16 c #Conflicts: 290000 | #Constraints: 19010
198.57/199.16 c #Conflicts: 291000 | #Constraints: 20010
198.57/199.16 c #Conflicts: 292000 | #Constraints: 21010
198.57/199.16 c bounds -29 >= -29 @ 195.108
198.57/199.16 c cpu time 195.108 s
198.57/199.16 c deterministic time 16104289602 1.61e+10
198.57/199.16 c optimization time 0.05743 s
198.57/199.16 c total solve time 195.024 s
198.57/199.16 c core-guided solve time 94.225 s
198.57/199.16 c propagation time 126.2 s
198.57/199.16 c conflict analysis time 39.6054 s
198.57/199.16 c propagations 26186865
198.57/199.16 c resolve steps 2380565
198.57/199.16 c decisions 1225467
198.57/199.16 c conflicts 292917
198.57/199.16 c restarts 699
198.57/199.16 c inprocessing phases 45
198.57/199.16 c garbage collections 45 ,( 100.00 )
198.57/199.16 c input clauses 8487 ,( 97.18 )
198.57/199.16 c input cardinalities 186 ,( 2.13 )
198.57/199.16 c input general constraints 60 ,( 0.69 )
198.57/199.16 c input average constraint length 8.77
198.57/199.16 c input average constraint degree 4.44
198.57/199.16 c learned clauses 129127 ,( 43.96 )
198.57/199.16 c learned cardinalities 21385 ,( 7.28 )
198.57/199.16 c learned general constraints 143214 ,( 48.76 )
198.57/199.16 c learned average constraint length 484.90
198.57/199.16 c learned average constraint degree 179960852.66
198.57/199.16 c watched CF 32, 64, 128, Arb: 66763 , 0 , 0 , 0
198.57/199.16 c counting CF 32, 64, 128, Arb: 76512 , 0 , 0 , 0
198.57/199.16 c watched constraints 66763 ,( 46.60 )
198.57/199.16 c counting constraints 76511 ,( 53.40 )
198.57/199.16 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 31070981 , 87941558 , 377894985 ,( 99561480 , 278333505 )
198.57/199.16 c gcd simplifications 4619
198.57/199.16 c detected cardinalities 502
198.57/199.16 c weakened non-implied lits 50263449
198.57/199.16 c weakened non-implying lits 17025
198.57/199.16 c original variables 5647
198.57/199.16 c clausal propagations 11040861
198.57/199.16 c cardinality propagations 6303301
198.57/199.16 c watched propagations 202886
198.57/199.16 c counting propagations 5585382
198.57/199.16 c watch lookups 4107961705
198.57/199.16 c watch backjump lookups 0
198.57/199.16 c watch checks 5128221695
198.57/199.16 c propagation checks 6466475780
198.57/199.16 c constraint additions 346077611
198.57/199.16 c trail pops 27703652
198.57/199.16 c formula constraints 8583
198.57/199.16 c learned constraints 292443
198.57/199.16 c bound constraints 65
198.57/199.16 c core-guided constraints 85
198.57/199.16 c encountered formula constraints 1693616
198.57/199.16 c encountered learned constraints 962674
198.57/199.16 c encountered bound constraints 17
198.57/199.16 c encountered core-guided constraints 34
198.57/199.16 c LP total time 59.1263 s
198.57/199.16 c LP solve time 47.22 s
198.57/199.16 c LP constraints added 10973
198.57/199.16 c LP constraints removed 2354
198.57/199.16 c LP pivots internal 293101
198.57/199.16 c LP pivots root 143725
198.57/199.16 c LP calls 1948
198.57/199.16 c LP optimalities 1470
198.57/199.16 c LP no pivot count 153
198.57/199.16 c LP infeasibilities 475
198.57/199.16 c LP valid Farkas constraints 475
198.57/199.16 c LP learned Farkas constraints 475
198.57/199.16 c LP basis resets 0
198.57/199.16 c LP cycling count 0
198.57/199.16 c LP singular count 0
198.57/199.16 c LP no primal count 0
198.57/199.16 c LP no farkas count 0
198.57/199.16 c LP other issue count 0
198.57/199.16 c LP Gomory cuts 333
198.57/199.16 c LP learned cuts 2057
198.57/199.16 c LP deleted cuts 2354
198.57/199.16 c LP encountered Gomory constraints 2339
198.57/199.16 c LP encountered Farkas constraints 8905
198.57/199.16 c LP encountered learned Farkas constraints 5422
198.57/199.16 c CG auxiliary variables introduced 32
198.57/199.16 c CG solutions found 11
198.57/199.16 c CG cores constructed 53
198.57/199.16 c CG core cardinality constraints returned 30
198.57/199.16 c CG unit cores 0
198.57/199.16 c CG single cores 53
198.57/199.16 c CG blocks removed during cardinality reduction 0
198.57/199.16 c CG first core best 0
198.57/199.16 c CG decision core best 0
198.57/199.16 c CG core reduction tie 0
198.57/199.16 c CG core degree average 16.42
198.57/199.16 c CG core slack average 0.60
198.57/199.16 c CG core upper bound improvements 0
198.57/199.16 c STR number of successful calls 0
198.57/199.16 c STR number of unsuccessful calls 0
198.57/199.16 c STR number of inconclusive calls 0
198.57/199.16 c STR number of successful attempts 0
198.57/199.16 c STR number of unsuccessful attempts 0
198.57/199.16 c STR number of inconclusive attempts 0
198.57/199.16 c STR average degree increase per successful call inf
198.57/199.16 c STR average degree increase per successful attempt inf
198.57/199.16 c STR total number of conflicts for successful attempts 0
198.57/199.16 c STR total number of conflicts for unsuccessful attempts 0
198.57/199.16 c STR total number of conflicts for inconclusive attempts 0
198.57/199.16 c STR average number of conflicts per successful attempt inf
198.57/199.16 c STR average number of conflicts per unsuccessful attempt inf
198.57/199.16 c STR average number of conflicts per inconclusive attempt inf
198.57/199.16 c AVG.sumWPerc 37.68
198.57/199.16 c bigint constraints 0
198.57/199.16 o -29
198.57/199.16 s OPTIMUM FOUND
198.57/199.16 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
Verifier Data
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 (62375 MiB free)
memory of node 1: 64507 MiB (61373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519608-1751540447/watcher-4519608-1751540447 -o /tmp/evaluation-result-4519608-1751540447/solver-4519608-1751540447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751532423-74272 --watchdog 3760 run-opt-ls.sh HOME/instance-4519608-1751540447.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=77243, runsolver pid=77240
[startup+0.100063 s]*
/proc/loadavg: 4.16 4.12 4.09 5/267 77245
/proc/meminfo: memFree=126714400/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77245] ppid=77243 vsize=20028 memory=11736 CPUtime=0.09 cores=0,2
/proc/77245/stat : 77245 (pbsuma) R 77243 77243 74262 0 -1 4194304 2596 0 0 0 9 0 0 0 20 0 1 0 69724335 20508672 2934 18446744073709551615 4210688 4653049 140729362693808 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 21327872 140729362700643 140729362700850 140729362700850 140729362706415 0
/proc/77245/statm: 5007 2934 992 108 0 2415 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24220 KiB
Current children cumulated memory: 14808 KiB
[startup+0.205631 s]*
/proc/loadavg: 4.16 4.12 4.09 5/267 77245
/proc/meminfo: memFree=126714400/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77245] ppid=77243 vsize=20028 memory=11736 CPUtime=0.19 cores=0,2
/proc/77245/stat : 77245 (pbsuma) R 77243 77243 74262 0 -1 4194304 2596 0 0 0 19 0 0 0 20 0 1 0 69724335 20508672 2934 18446744073709551615 4210688 4653049 140729362693808 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 21327872 140729362700643 140729362700850 140729362700850 140729362706415 0
/proc/77245/statm: 5007 2934 992 108 0 2415 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24220 KiB
Current children cumulated memory: 14808 KiB
[startup+0.304963 s]*
/proc/loadavg: 4.16 4.12 4.09 5/267 77245
/proc/meminfo: memFree=126714400/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77245] ppid=77243 vsize=20028 memory=11736 CPUtime=0.29 cores=0,2
/proc/77245/stat : 77245 (pbsuma) R 77243 77243 74262 0 -1 4194304 2596 0 0 0 29 0 0 0 20 0 1 0 69724335 20508672 2934 18446744073709551615 4210688 4653049 140729362693808 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 21327872 140729362700643 140729362700850 140729362700850 140729362706415 0
/proc/77245/statm: 5007 2934 992 108 0 2415 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24220 KiB
Current children cumulated memory: 14808 KiB
[startup+0.700199 s]
/proc/loadavg: 4.16 4.12 4.09 5/267 77245
/proc/meminfo: memFree=126714356/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77245] ppid=77243 vsize=20028 memory=11736 CPUtime=0.68 cores=0,2
/proc/77245/stat : 77245 (pbsuma) R 77243 77243 74262 0 -1 4194304 2596 0 0 0 68 0 0 0 20 0 1 0 69724335 20508672 2934 18446744073709551615 4210688 4653049 140729362693808 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 21327872 140729362700643 140729362700850 140729362700850 140729362706415 0
/proc/77245/statm: 5007 2934 992 108 0 2415 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 24220 KiB
Current children cumulated memory: 14808 KiB
[startup+1.50019 s]
/proc/loadavg: 4.16 4.12 4.09 5/267 77246
/proc/meminfo: memFree=126707876/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=105224 memory=55084 CPUtime=0.77 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 10862 0 0 0 68 9 0 0 20 0 1 0 69724405 107749376 13771 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 26306 13771 2400 1147 0 13733 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 109416 KiB
Current children cumulated memory: 58156 KiB
[startup+3.10546 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 77246
/proc/meminfo: memFree=126688220/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=123608 memory=71508 CPUtime=2.38 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 14470 0 0 0 223 15 0 0 20 0 1 0 69724405 126574592 17877 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 30902 17877 2400 1147 0 18329 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 127800 KiB
Current children cumulated memory: 74580 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 77247
/proc/meminfo: memFree=126644072/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=166304 memory=114596 CPUtime=5.56 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 24210 0 0 0 534 22 0 0 20 0 1 0 69724405 170295296 28649 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 41576 28649 2400 1147 0 29003 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 170496 KiB
Current children cumulated memory: 117668 KiB
[startup+12.7002 s]
/proc/loadavg: 4.28 4.15 4.10 5/267 77247
/proc/meminfo: memFree=126643952/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=187756 memory=128544 CPUtime=11.94 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 26702 0 0 0 1163 31 0 0 20 0 1 0 69724405 192262144 32136 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 46939 32136 2400 1147 0 34366 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 191948 KiB
Current children cumulated memory: 131616 KiB
[startup+25.5002 s]
/proc/loadavg: 4.39 4.18 4.11 5/267 77258
/proc/meminfo: memFree=126622260/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=204424 memory=147524 CPUtime=24.72 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 30937 0 0 0 2424 48 0 0 20 0 1 0 69724405 209330176 36881 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 51106 36881 2400 1147 0 38533 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 208616 KiB
Current children cumulated memory: 150596 KiB
[startup+51.1054 s]
/proc/loadavg: 4.39 4.20 4.12 5/267 77258
/proc/meminfo: memFree=126611296/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=236836 memory=168280 CPUtime=50.25 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 34616 0 0 0 4943 82 0 0 20 0 1 0 69724405 242520064 42070 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 59209 42070 2400 1147 0 46636 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 241028 KiB
Current children cumulated memory: 171352 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/267 77262
/proc/meminfo: memFree=126562668/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=270256 memory=212104 CPUtime=101.32 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 42543 0 0 0 9985 147 0 0 20 0 1 0 69724405 276742144 53026 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 67564 53026 2400 1147 0 54991 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 274448 KiB
Current children cumulated memory: 215176 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/267 77265
/proc/meminfo: memFree=126538732/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=289320 memory=231304 CPUtime=161.16 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 47357 0 0 0 15890 226 0 0 20 0 1 0 69724405 296263680 57826 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 72330 57826 2400 1147 0 59757 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 293512 KiB
Current children cumulated memory: 234376 KiB
[startup+199.178 s]
# the end of solver process 77243 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=195.804 s, system=2.84997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.18 4.18 4.12 5/267 77265
/proc/meminfo: memFree=126538488/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=291076 memory=233224 CPUtime=178.02 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 47828 0 0 0 17552 250 0 0 20 0 1 0 69724405 298061824 58306 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 72769 58306 2400 1147 0 60196 0
Current children cumulated CPU time: 178.71 s
Current children cumulated vsize: 295268 KiB
Current children cumulated memory: 236296 KiB
[startup+192 s]*
/proc/loadavg: 4.14 4.17 4.11 5/267 77267
/proc/meminfo: memFree=126538800/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=297116 memory=238728 CPUtime=190.8 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 49186 0 0 0 18810 270 0 0 20 0 1 0 69724405 304246784 59682 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 74279 59682 2400 1147 0 61706 0
Current children cumulated CPU time: 191.49 s
Current children cumulated vsize: 301308 KiB
Current children cumulated memory: 241800 KiB
[startup+195.2 s]
/proc/loadavg: 4.14 4.17 4.11 5/267 77267
/proc/meminfo: memFree=126530744/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=297272 memory=238856 CPUtime=193.99 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 49236 0 0 0 19123 276 0 0 20 0 1 0 69724405 304406528 59714 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 74318 59714 2400 1147 0 61745 0
Current children cumulated CPU time: 194.68 s
Current children cumulated vsize: 301464 KiB
Current children cumulated memory: 241928 KiB
[startup+196.8 s]
/proc/loadavg: 4.14 4.17 4.11 5/267 77267
/proc/meminfo: memFree=126530744/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=297272 memory=238856 CPUtime=195.58 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 49237 0 0 0 19279 279 0 0 20 0 1 0 69724405 304406528 59714 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 74318 59714 2400 1147 0 61745 0
Current children cumulated CPU time: 196.27 s
Current children cumulated vsize: 301464 KiB
Current children cumulated memory: 241928 KiB
[startup+198.4 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 77267
/proc/meminfo: memFree=126530744/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=297272 memory=238856 CPUtime=197.18 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 49237 0 0 0 19437 281 0 0 20 0 1 0 69724405 304406528 59714 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 74318 59714 2400 1147 0 61745 0
Current children cumulated CPU time: 197.87 s
Current children cumulated vsize: 301464 KiB
Current children cumulated memory: 241928 KiB
[startup+198.8 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 77267
/proc/meminfo: memFree=126530744/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=297272 memory=238856 CPUtime=197.57 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 49237 0 0 0 19475 282 0 0 20 0 1 0 69724405 304406528 59714 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 74318 59714 2400 1147 0 61745 0
Current children cumulated CPU time: 198.26 s
Current children cumulated vsize: 301464 KiB
Current children cumulated memory: 241928 KiB
[startup+199 s]*
/proc/loadavg: 4.13 4.16 4.11 5/267 77267
/proc/meminfo: memFree=126530744/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=297272 memory=238856 CPUtime=197.78 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 49237 0 0 0 19495 283 0 0 20 0 1 0 69724405 304406528 59714 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 74318 59714 2400 1147 0 61745 0
Current children cumulated CPU time: 198.47 s
Current children cumulated vsize: 301464 KiB
Current children cumulated memory: 241928 KiB
[startup+199.105 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 77267
/proc/meminfo: memFree=126530744/131249996 swapFree=33010416/33010684
[pid=77243] ppid=77240 vsize=4192 memory=3072 CPUtime=0.69 cores=0,2
/proc/77243/stat : 77243 (run-opt-ls.sh) S 77240 77243 74262 0 -1 4194304 239 2679 0 0 0 0 69 0 20 0 1 0 69724334 4292608 768 18446744073709551615 94113788411904 94113789306437 140721863013136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94113789545488 94113789593232 94113804627968 140721863018855 140721863018981 140721863018981 140721863024583 0
/proc/77243/statm: 1048 768 704 219 0 110 0
[pid=77246] ppid=77243 vsize=297272 memory=238856 CPUtime=197.88 cores=0,2
/proc/77246/stat : 77246 (roundingsat) R 77243 77243 74262 0 -1 4194304 49237 0 0 0 19505 283 0 0 20 0 1 0 69724405 304406528 59714 18446744073709551615 4227072 8923433 140725349342912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30019584 140725349349702 140725349349928 140725349349928 140725349355498 0
/proc/77246/statm: 74318 59714 2400 1147 0 61745 0
Current children cumulated CPU time: 198.57 s
Current children cumulated vsize: 301464 KiB
Current children cumulated memory: 241928 KiB
Child status: 0
Real time (s): 199.178
CPU time (s): 198.654
CPU user time (s): 195.804
CPU system time (s): 2.84997
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 301464
Max. memory (cumulated for all children) (KiB): 241928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.804
system time used= 2.84997
maximum resident set size= 238856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 456
# summary of solver processes directly reported to runsolver:
# pid: 77243
# total CPU time (s): 198.654
# total CPU user time (s): 195.804
# total CPU system time (s): 2.84997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.390994 second user time and 0.934703 second system time
The end
Launcher Data
Begin job on nodeC030 at 2025-07-03 13:00:48
IDJOB=4519608
IDBENCH=177316
IDSOLVER=3355
FILE ID=nodeC030/4519608-1751540447
RUNJOBID= nodeC030-1751532423-74272
SLURM_JOB_ID= 9598677
Free space on /tmp= 432336 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519608-1751540447/watcher-4519608-1751540447 -o /tmp/evaluation-result-4519608-1751540447/solver-4519608-1751540447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751532423-74272 --watchdog 3760 run-opt-ls.sh HOME/instance-4519608-1751540447.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f91dbe69118ae72b0214f31a62e5b167
RANDOM SEED=423026947
nodeC030 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.547
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.355
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 : 7000.62
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 : 3687.757
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 : 7000.62
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 : 3617.454
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.328
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 : 7000.62
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 : 3600.285
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 : 7000.62
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 : 3859.509
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 : 7000.62
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 : 3601.361
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126718180 kB
MemAvailable: 127566544 kB
Buffers: 2564 kB
Cached: 1639736 kB
SwapCached: 16 kB
Active: 2645996 kB
Inactive: 1196208 kB
Active(anon): 2213404 kB
Inactive(anon): 4548 kB
Active(file): 432592 kB
Inactive(file): 1191660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7464 kB
Writeback: 264 kB
AnonPages: 2202976 kB
Mapped: 116656 kB
Shmem: 18048 kB
KReclaimable: 126300 kB
Slab: 215088 kB
SReclaimable: 126300 kB
SUnreclaim: 88788 kB
KernelStack: 4336 kB
PageTables: 7640 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2613812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1687552 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432328 MiB
End job on nodeC030 at 2025-07-03 13:04:07