Trace number 4532247
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/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb |
| MD5SUM | 19358b71c175af654e98554c4f116d17 |
| 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 | -7944 |
| Best CPU time to get the best result obtained on this benchmark | 0.165829 |
| 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 | 5475 |
| Total number of constraints | 181 |
| Number of constraints which are clauses | 9 |
| Number of constraints which are cardinality constraints (but not clauses) | 172 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1490 |
| Number of terms in the objective function | 5474 |
| Biggest coefficient in the objective function | 260 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 629333 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 260 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 629333 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-4532247-1752600069.opb'
0.00/0.01 c read 0.20MB (2.99ms)
0.00/0.01 c [cnf: #variables 5475 #clauses 182 #duplicates 0 #arr 21518]
0.00/0.03 c output proof to 'PROOFDIR/proof-4532247-1752600069'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 0] (5.88ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c (0.74ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 22079 #edges 75880]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 1.00*10^0 #generators 0] (1.28ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 0 #add_vars 0]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4532247-1752600069.opb.pre'
0.00/0.04 c wrote 0.20MB (0.60ms)
0.00/0.04 c ------------------------------------------------------------------
0.00/0.04 c 17.12ms 59.47% other
0.00/0.04 c 5.88ms 20.43% approx_orbits
0.00/0.04 c 2.99ms 10.40% parse
0.00/0.04 c 1.28ms 4.45% detect_generic
0.00/0.04 c 0.74ms 2.57% detect_special
0.00/0.04 c 0.60ms 2.08% output
0.00/0.04 c 0.17ms 0.59% finalize_order
0.00/0.04 c ───────────────────────────────────────────────
0.00/0.04 c 28.79ms 100% total
0.00/0.04 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 0f876b3
0.00/0.06 c #variables 5475 #constraints 181
0.00/0.06 c objective is ce32
0.26/0.31 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.26/0.31 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.26/0.31 c bounds -2066 >= -629333 @ 0.259584
0.26/0.33 c rational objective -7948.5
0.26/0.38 c bounds -2152 >= -629333 @ 0.331884
0.26/0.39 c bounds -2152 >= -627921 @ 0.3378
0.26/0.40 c bounds -2152 >= -626731 @ 0.34288
0.26/0.40 c bounds -2152 >= -625320 @ 0.348058
0.26/0.40 c bounds -2152 >= -625079 @ 0.349628
0.26/0.40 c bounds -2152 >= -624610 @ 0.352084
0.26/0.41 c bounds -2152 >= -624379 @ 0.353635
0.35/0.41 c bounds -2152 >= -624149 @ 0.355281
0.35/0.41 c bounds -2152 >= -623222 @ 0.357572
0.35/0.42 c bounds -3574 >= -623222 @ 0.36136
0.35/0.42 c bounds -3758 >= -623222 @ 0.364513
0.35/0.42 c bounds -3773 >= -623222 @ 0.368315
0.35/0.43 c bounds -3773 >= -622081 @ 0.371112
0.35/0.43 c bounds -3773 >= -621623 @ 0.373495
0.35/0.43 c bounds -3773 >= -621165 @ 0.375201
0.35/0.43 c bounds -3773 >= -620937 @ 0.376849
0.35/0.44 c bounds -3880 >= -620937 @ 0.377791
0.35/0.44 c bounds -3880 >= -620709 @ 0.379461
0.46/0.55 c bounds -3911 >= -620709 @ 0.488133
0.46/0.55 c bounds -4015 >= -620709 @ 0.490334
0.46/0.55 c bounds -4026 >= -620709 @ 0.493335
0.46/0.56 c bounds -4119 >= -620709 @ 0.497914
0.46/0.57 c bounds -4131 >= -620709 @ 0.507536
0.46/0.58 c bounds -4320 >= -620709 @ 0.519806
0.46/0.59 c bounds -4348 >= -620709 @ 0.523185
0.46/0.59 c bounds -4389 >= -620709 @ 0.528908
0.46/0.60 c bounds -4475 >= -620709 @ 0.53168
0.46/0.60 c bounds -4647 >= -620709 @ 0.535052
0.54/0.60 c bounds -4704 >= -620709 @ 0.536847
0.54/0.61 c bounds -4767 >= -620709 @ 0.540258
0.54/0.61 c bounds -4848 >= -620709 @ 0.542957
0.54/0.62 c bounds -4881 >= -620709 @ 0.550016
0.54/0.64 c bounds -4919 >= -620709 @ 0.565353
0.54/0.64 c bounds -4933 >= -620709 @ 0.572139
0.54/0.65 c bounds -4977 >= -620709 @ 0.574739
0.54/0.68 c bounds -5012 >= -620709 @ 0.596282
0.54/0.68 c bounds -5115 >= -620709 @ 0.601085
0.54/0.70 c bounds -5117 >= -620709 @ 0.613168
0.64/0.70 c bounds -5162 >= -620709 @ 0.618104
0.64/0.71 c bounds -5352 >= -620709 @ 0.621292
0.64/0.71 c bounds -5461 >= -620709 @ 0.625103
0.64/0.72 c bounds -5550 >= -620709 @ 0.627283
0.64/0.73 c bounds -5627 >= -620709 @ 0.634535
0.64/0.73 c bounds -5679 >= -620709 @ 0.636903
0.64/0.74 c bounds -5732 >= -620709 @ 0.640935
0.64/0.74 c bounds -5876 >= -620709 @ 0.646903
0.64/0.77 c bounds -5922 >= -620709 @ 0.667974
0.64/0.78 c bounds -5983 >= -620709 @ 0.675865
0.64/0.79 c bounds -5997 >= -620709 @ 0.687739
0.64/0.79 c bounds -5997 >= -620482 @ 0.689464
0.64/0.79 c bounds -5997 >= -620255 @ 0.691111
0.74/0.80 c bounds -5997 >= -620028 @ 0.693056
0.74/0.80 c bounds -5997 >= -619801 @ 0.694686
0.74/0.80 c bounds -5997 >= -619574 @ 0.695668
0.74/0.80 c bounds -5997 >= -619347 @ 0.697268
0.74/0.88 c bounds -6030 >= -619347 @ 0.776631
0.74/0.89 c bounds -6031 >= -619347 @ 0.77849
0.84/0.90 c bounds -6034 >= -619347 @ 0.785982
0.84/0.90 c bounds -6193 >= -619347 @ 0.791318
0.84/0.90 c bounds -6204 >= -619347 @ 0.792829
0.84/0.91 c bounds -6296 >= -619347 @ 0.795825
0.84/0.91 c bounds -6381 >= -619347 @ 0.797224
0.84/0.92 c bounds -6384 >= -619347 @ 0.798653
0.84/0.92 c bounds -6397 >= -619347 @ 0.804615
0.84/0.93 c bounds -6422 >= -619347 @ 0.811109
0.84/0.94 c bounds -6460 >= -619347 @ 0.817008
0.95/1.07 c bounds -6482 >= -619347 @ 0.947631
0.95/1.08 c bounds -6482 >= -619121 @ 0.948586
0.95/1.08 c bounds -6482 >= -618895 @ 0.950121
0.95/1.08 c bounds -6482 >= -618669 @ 0.951989
0.95/1.08 c bounds -6482 >= -618443 @ 0.954293
1.04/1.10 c bounds -6550 >= -618443 @ 0.973216
1.04/1.10 c bounds -6550 >= -618218 @ 0.974899
1.04/1.11 c bounds -6550 >= -617993 @ 0.976971
1.04/1.11 c bounds -6550 >= -617543 @ 0.978821
1.24/1.31 c bounds -6571 >= -617543 @ 1.18171
1.24/1.33 c bounds -6626 >= -617543 @ 1.20241
1.34/1.47 c bounds -6686 >= -617543 @ 1.33009
1.34/1.47 c bounds -6686 >= -617319 @ 1.33229
1.34/1.47 c bounds -6686 >= -617095 @ 1.33425
1.34/1.47 c bounds -6686 >= -616423 @ 1.33617
1.34/1.47 c bounds -6686 >= -615975 @ 1.33815
1.84/1.96 c bounds -6732 >= -615975 @ 1.80739
2.14/2.22 c bounds -6746 >= -615975 @ 2.0624
2.24/2.35 c bounds -6751 >= -615975 @ 2.18477
2.24/2.35 c bounds -6751 >= -615752 @ 2.18675
2.24/2.35 c bounds -6751 >= -615083 @ 2.18871
2.24/2.35 c bounds -6751 >= -614637 @ 2.19086
2.24/2.36 c bounds -6751 >= -614414 @ 2.19247
2.24/2.36 c bounds -6751 >= -614191 @ 2.19448
2.34/2.45 c bounds -6754 >= -614191 @ 2.28592
2.34/2.45 c bounds -6754 >= -613747 @ 2.28799
2.34/2.46 c bounds -6754 >= -613303 @ 2.28973
2.34/2.46 c bounds -6754 >= -613081 @ 2.29163
2.44/2.52 c bounds -6777 >= -613081 @ 2.34774
2.44/2.52 c bounds -6777 >= -612861 @ 2.34957
2.44/2.52 c bounds -6777 >= -612200 @ 2.35234
2.44/2.52 c bounds -6777 >= -611759 @ 2.355
2.44/2.53 c bounds -6777 >= -611318 @ 2.3579
2.44/2.53 c bounds -6777 >= -611097 @ 2.35968
2.44/2.53 c bounds -6777 >= -610877 @ 2.36057
2.44/2.53 c bounds -6777 >= -610657 @ 2.36302
2.74/2.84 c bounds -6782 >= -610657 @ 2.66596
3.43/3.50 c #Conflicts: 1000 | #Constraints: 1438
3.43/3.50 c bounds -6804 >= -610657 @ 3.30442
3.43/3.50 c bounds -6804 >= -610000 @ 3.30699
3.43/3.50 c bounds -6804 >= -609781 @ 3.30807
3.43/3.52 c bounds -6804 >= -609562 @ 3.32808
3.43/3.52 c bounds -6804 >= -609343 @ 3.33026
3.43/3.53 c bounds -6804 >= -609124 @ 3.33232
4.63/4.75 c bounds -6813 >= -609124 @ 4.51155
4.83/4.94 c bounds -6838 >= -609124 @ 4.69674
5.22/5.33 c bounds -6882 >= -609124 @ 5.07443
5.33/5.46 c bounds -6926 >= -609124 @ 5.19641
5.43/5.56 c bounds -6927 >= -609124 @ 5.29023
5.43/5.56 c bounds -6927 >= -608688 @ 5.29371
5.43/5.56 c bounds -6927 >= -608252 @ 5.29595
5.43/5.57 c bounds -6927 >= -607816 @ 5.29863
6.03/6.18 c #Conflicts: 2000 | #Constraints: 2501
6.03/6.18 c INPROCESSING
6.03/6.18 c GARBAGE COLLECT
6.03/6.18 c rational objective -7944
6.32/6.49 c bounds -6932 >= -607816 @ 6.18905
6.72/6.87 c bounds -7007 >= -607816 @ 6.57223
6.72/6.88 c bounds -7007 >= -607599 @ 6.57508
6.72/6.88 c bounds -7007 >= -607382 @ 6.57813
6.72/6.88 c bounds -7007 >= -606731 @ 6.5811
6.72/6.89 c bounds -7007 >= -606514 @ 6.58251
6.72/6.89 c bounds -7007 >= -606297 @ 6.58643
8.22/8.35 c bounds -7010 >= -606297 @ 7.99277
8.22/8.37 c bounds -7015 >= -606297 @ 8.01906
8.42/8.50 c bounds -7017 >= -606297 @ 8.14218
8.52/8.65 c bounds -7086 >= -606297 @ 8.28249
8.52/8.65 c bounds -7086 >= -606081 @ 8.2869
9.62/9.72 c #Conflicts: 3000 | #Constraints: 2417
9.62/9.72 c bounds -7293 >= -606081 @ 9.33918
9.62/9.73 c bounds -7293 >= -605865 @ 9.34654
9.62/9.74 c bounds -7293 >= -605649 @ 9.35409
9.62/9.74 c bounds -7293 >= -605433 @ 9.35928
9.62/9.75 c bounds -7293 >= -605217 @ 9.36432
11.51/11.67 c bounds -7293 >= -605001 @ 11.224
14.79/15.00 c #Conflicts: 4000 | #Constraints: 3445
14.79/15.00 c bounds -7297 >= -605001 @ 14.4516
14.89/15.04 c bounds -7324 >= -605001 @ 14.4948
14.89/15.10 c bounds -7386 >= -605001 @ 14.5475
14.99/15.17 c bounds -7387 >= -605001 @ 14.6124
15.29/15.43 c bounds -7419 >= -605001 @ 14.8592
15.38/15.59 c bounds -7424 >= -605001 @ 15.0131
15.49/15.63 c bounds -7430 >= -605001 @ 15.0502
15.78/15.96 c INPROCESSING
15.78/15.96 c GARBAGE COLLECT
15.78/15.96 c rational objective -7944
16.19/16.38 c bounds -7433 >= -605001 @ 15.7893
16.89/17.05 c bounds -7508 >= -605001 @ 16.4491
17.38/17.52 c bounds -7524 >= -605001 @ 16.9011
17.48/17.66 c bounds -7552 >= -605001 @ 17.0343
17.48/17.68 c bounds -7553 >= -605001 @ 17.0587
18.18/18.39 c bounds -7586 >= -605001 @ 17.7553
18.68/18.89 c bounds -7605 >= -605001 @ 18.2401
19.47/19.64 c bounds -7608 >= -605001 @ 18.9724
20.17/20.36 c #Conflicts: 5000 | #Constraints: 2878
20.17/20.36 c bounds -7743 >= -605001 @ 19.6685
20.17/20.37 c bounds -7743 >= -604786 @ 19.6782
20.17/20.38 c bounds -7743 >= -604571 @ 19.6831
20.17/20.38 c bounds -7743 >= -604356 @ 19.6922
20.27/20.41 c bounds -7743 >= -604141 @ 19.7198
20.27/20.43 c bounds -7743 >= -603926 @ 19.7407
27.15/27.30 c bounds -7743 >= -603711 @ 26.4557
29.15/29.39 c #Conflicts: 6000 | #Constraints: 3924
29.15/29.39 c bounds -7757 >= -603711 @ 28.4831
29.85/30.02 c bounds -7758 >= -603711 @ 29.0993
30.34/30.58 c bounds -7769 >= -603711 @ 29.6435
30.64/30.83 c bounds -7781 >= -603711 @ 29.8816
31.04/31.28 c bounds -7818 >= -603711 @ 30.3198
31.34/31.53 c bounds -7824 >= -603711 @ 30.5616
31.64/31.82 c INPROCESSING
31.64/31.82 c GARBAGE COLLECT
31.64/31.82 c rational objective -7944
32.23/32.46 c bounds -7850 >= -603711 @ 31.4651
32.94/33.14 c bounds -7889 >= -603711 @ 32.1334
33.33/33.54 c #Conflicts: 7000 | #Constraints: 2883
33.33/33.54 c bounds -7891 >= -603711 @ 32.5135
33.64/33.85 c bounds -7901 >= -603711 @ 32.8255
34.73/34.94 c bounds -7903 >= -603711 @ 33.8777
34.83/35.03 c bounds -7914 >= -603711 @ 33.9612
35.02/35.22 c bounds -7917 >= -603711 @ 34.1553
36.83/37.09 c #Conflicts: 8000 | #Constraints: 3929
36.83/37.09 c bounds -7929 >= -603711 @ 35.9653
39.32/39.58 c bounds -7935 >= -603711 @ 38.3946
39.52/39.75 c bounds -7935 >= -247110 @ 38.557
39.92/40.14 c bounds -7935 >= -243555 @ 38.9458
40.01/40.25 c bounds -7941 >= -243555 @ 39.0511
40.01/40.26 c bounds -7941 >= -237997 @ 39.0569
40.01/40.27 c bounds -7941 >= -237783 @ 39.0664
40.11/40.37 c bounds -7941 >= -237569 @ 39.1699
41.21/41.41 c #Conflicts: 9000 | #Constraints: 4980
41.21/41.41 c bounds -7941 >= -218875 @ 40.1819
41.21/41.43 c bounds -7942 >= -218875 @ 40.2085
41.21/41.45 c bounds -7944 >= -218875 @ 40.2251
41.21/41.47 c bounds -7944 >= -7944 @ 40.2431
41.21/41.47 c cpu time 40.2432 s
41.21/41.47 c deterministic time 2323520500 2.32e+09
41.21/41.47 c optimization time 0.489438 s
41.21/41.47 c total solve time 39.7426 s
41.21/41.47 c core-guided solve time 18.4007 s
41.21/41.47 c propagation time 19.4605 s
41.21/41.47 c conflict analysis time 16.2263 s
41.21/41.47 c propagations 4143131
41.21/41.47 c resolve steps 50754
41.21/41.47 c decisions 401371
41.21/41.47 c conflicts 9106
41.21/41.47 c restarts 37
41.21/41.47 c inprocessing phases 3
41.21/41.47 c garbage collections 3 ,( 100.00 )
41.21/41.47 c input clauses 103 ,( 18.13 )
41.21/41.47 c input cardinalities 272 ,( 47.89 )
41.21/41.47 c input general constraints 193 ,( 33.98 )
41.21/41.47 c input average constraint length 1673.89
41.21/41.47 c input average constraint degree 3258.03
41.21/41.47 c learned clauses 499 ,( 5.30 )
41.21/41.47 c learned cardinalities 96 ,( 1.02 )
41.21/41.47 c learned general constraints 8816 ,( 93.68 )
41.21/41.47 c learned average constraint length 2834.55
41.21/41.47 c learned average constraint degree 80671947157.37
41.21/41.47 c watched CF 32, 64, 128, Arb: 3872 , 0 , 0 , 0
41.21/41.47 c counting CF 32, 64, 128, Arb: 5138 , 0 , 0 , 0
41.21/41.47 c watched constraints 3872 ,( 42.98 )
41.21/41.47 c counting constraints 5137 ,( 57.02 )
41.21/41.47 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 73107 , 240185 , 2974070 ,( 1311440 , 1662630 )
41.21/41.47 c gcd simplifications 109
41.21/41.47 c detected cardinalities 34
41.21/41.47 c weakened non-implied lits 11335194
41.21/41.47 c weakened non-implying lits 20008
41.21/41.47 c original variables 5475
41.21/41.47 c clausal propagations 34257
41.21/41.47 c cardinality propagations 1190479
41.21/41.47 c watched propagations 54462
41.21/41.47 c counting propagations 2489915
41.21/41.47 c watch lookups 1208093496
41.21/41.47 c watch backjump lookups 0
41.21/41.47 c watch checks 458587887
41.21/41.47 c propagation checks 552980549
41.21/41.47 c constraint additions 94754018
41.21/41.47 c trail pops 4549553
41.21/41.47 c formula constraints 181
41.21/41.47 c learned constraints 8812
41.21/41.47 c bound constraints 182
41.21/41.47 c core-guided constraints 205
41.21/41.47 c encountered formula constraints 32996
41.21/41.47 c encountered learned constraints 12293
41.21/41.47 c encountered bound constraints 814
41.21/41.47 c encountered core-guided constraints 1874
41.21/41.47 c LP total time 2.20629 s
41.21/41.47 c LP solve time 0.75 s
41.21/41.47 c LP constraints added 182
41.21/41.47 c LP constraints removed 0
41.21/41.47 c LP pivots internal 9131
41.21/41.47 c LP pivots root 1363
41.21/41.47 c LP calls 338
41.21/41.47 c LP optimalities 38
41.21/41.47 c LP no pivot count 4
41.21/41.47 c LP infeasibilities 300
41.21/41.47 c LP valid Farkas constraints 299
41.21/41.47 c LP learned Farkas constraints 299
41.21/41.47 c LP basis resets 0
41.21/41.47 c LP cycling count 0
41.21/41.47 c LP singular count 0
41.21/41.47 c LP no primal count 0
41.21/41.47 c LP no farkas count 0
41.21/41.47 c LP other issue count 0
41.21/41.47 c LP Gomory cuts 1
41.21/41.47 c LP learned cuts 0
41.21/41.47 c LP deleted cuts 0
41.21/41.47 c LP encountered Gomory constraints 0
41.21/41.47 c LP encountered Farkas constraints 11150
41.21/41.47 c LP encountered learned Farkas constraints 433
41.21/41.47 c CG auxiliary variables introduced 99
41.21/41.47 c CG solutions found 105
41.21/41.47 c CG cores constructed 76
41.21/41.47 c CG core cardinality constraints returned 24
41.21/41.47 c CG unit cores 0
41.21/41.47 c CG single cores 73
41.21/41.47 c CG blocks removed during cardinality reduction 1
41.21/41.47 c CG first core best 0
41.21/41.47 c CG decision core best 1
41.21/41.47 c CG core reduction tie 2
41.21/41.47 c CG core degree average 1.59
41.21/41.47 c CG core slack average 1.24
41.21/41.47 c CG core upper bound improvements 0
41.21/41.47 c STR number of successful calls 0
41.21/41.47 c STR number of unsuccessful calls 0
41.21/41.47 c STR number of inconclusive calls 0
41.21/41.47 c STR number of successful attempts 0
41.21/41.47 c STR number of unsuccessful attempts 0
41.21/41.47 c STR number of inconclusive attempts 0
41.21/41.47 c STR average degree increase per successful call inf
41.21/41.47 c STR average degree increase per successful attempt inf
41.21/41.47 c STR total number of conflicts for successful attempts 0
41.21/41.47 c STR total number of conflicts for unsuccessful attempts 0
41.21/41.47 c STR total number of conflicts for inconclusive attempts 0
41.21/41.47 c STR average number of conflicts per successful attempt inf
41.21/41.47 c STR average number of conflicts per unsuccessful attempt inf
41.21/41.47 c STR average number of conflicts per inconclusive attempt inf
41.21/41.47 c AVG.sumWPerc 51.05
41.21/41.47 c bigint constraints 0
41.21/41.47 o -7944
41.21/41.47 s OPTIMUM FOUND
41.21/41.47 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Wed Jul 16 16:43:19 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS -7944 <= obj <= -7944
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS ~7944 <= obj <= ~7944
--summary--
ALL OK
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62489 MiB free)
memory of node 1: 64465 MiB (61543 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532247-1752600069/watcher-4532247-1752600069 -o /tmp/evaluation-result-4532247-1752600069/solver-4532247-1752600069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752596240-130168 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532247-1752600069.opb PROOFDIR/proof-4532247-1752600069
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=131141, runsolver pid=131138
[startup+0.100061 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 131144
/proc/meminfo: memFree=127000912/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=59280 memory=13668 CPUtime=0.05 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 1706 0 0 0 5 0 0 0 20 0 1 0 175684436 60702720 3417 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 14820 3417 2304 1147 0 2246 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 63472 KiB
Current children cumulated memory: 16612 KiB
[startup+0.205713 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 131144
/proc/meminfo: memFree=126988752/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=59280 memory=13668 CPUtime=0.16 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 1706 0 0 0 16 0 0 0 20 0 1 0 175684436 60702720 3417 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 14820 3417 2304 1147 0 2246 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 63472 KiB
Current children cumulated memory: 16612 KiB
[startup+0.305494 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 131144
/proc/meminfo: memFree=126988752/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=59280 memory=13668 CPUtime=0.26 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 1706 0 0 0 26 0 0 0 20 0 1 0 175684436 60702720 3417 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 14820 3417 2304 1147 0 2246 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 63472 KiB
Current children cumulated memory: 16612 KiB
[startup+0.70019 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 131144
/proc/meminfo: memFree=126971048/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=70752 memory=27380 CPUtime=0.64 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 4063 0 0 0 61 3 0 0 20 0 1 0 175684436 72450048 6845 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 17688 6845 2432 1147 0 5114 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 74944 KiB
Current children cumulated memory: 30324 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 131144
/proc/meminfo: memFree=126941788/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=96752 memory=43348 CPUtime=1.43 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 6515 0 0 0 135 8 0 0 20 0 1 0 175684436 99074048 10837 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 24188 10837 2432 1147 0 11614 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 100944 KiB
Current children cumulated memory: 46292 KiB
[startup+3.10551 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 131144
/proc/meminfo: memFree=126804668/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=119544 memory=69084 CPUtime=3.04 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 8362 0 0 0 292 12 0 0 20 0 1 0 175684436 122413056 17271 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 29886 17271 2432 1147 0 17312 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 123736 KiB
Current children cumulated memory: 72028 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 131144
/proc/meminfo: memFree=126631068/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=191356 memory=140832 CPUtime=6.22 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 18628 0 0 0 600 22 0 0 20 0 1 0 175684436 195948544 35208 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 47839 35208 2432 1147 0 35265 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 195548 KiB
Current children cumulated memory: 143776 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/272 131144
/proc/meminfo: memFree=126282240/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=247668 memory=195816 CPUtime=12.61 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 31877 0 0 0 1223 38 0 0 20 0 1 0 175684436 253612032 48954 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 61917 48954 2432 1147 0 49343 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 251860 KiB
Current children cumulated memory: 198760 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 131171
/proc/meminfo: memFree=125913180/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=388452 memory=289996 CPUtime=25.36 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 52348 0 0 0 2469 67 0 0 20 0 1 0 175684436 397774848 72499 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 97113 72499 2432 1147 0 84539 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 392644 KiB
Current children cumulated memory: 292940 KiB
[startup+41.9052 s]
# the end of solver process 131141 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=40.2646 s, system=1.13307 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 131171
/proc/meminfo: memFree=125913180/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=389068 memory=290508 CPUtime=25.45 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 52489 0 0 0 2478 67 0 0 20 0 1 0 175684436 398405632 72627 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 97267 72627 2432 1147 0 84693 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 393260 KiB
Current children cumulated memory: 293452 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.12 4.10 4.09 5/267 131171
/proc/meminfo: memFree=125606616/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=434772 memory=342068 CPUtime=31.85 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 62806 0 0 0 3103 82 0 0 20 0 1 0 175684436 445206528 85517 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 108693 85517 2432 1147 0 96119 0
Current children cumulated CPU time: 31.85 s
Current children cumulated vsize: 438964 KiB
Current children cumulated memory: 345012 KiB
[startup+38.4002 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 131172
/proc/meminfo: memFree=125287852/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=446732 memory=351028 CPUtime=38.22 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 65068 0 0 0 3723 99 0 0 20 0 1 0 175684436 457453568 87757 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 111683 87757 2432 1147 0 99109 0
Current children cumulated CPU time: 38.22 s
Current children cumulated vsize: 450924 KiB
Current children cumulated memory: 353972 KiB
[startup+40.0002 s]*
/proc/loadavg: 4.10 4.09 4.09 5/268 131172
/proc/meminfo: memFree=125244836/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=451248 memory=354484 CPUtime=39.82 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 65931 0 0 0 3880 102 0 0 20 0 1 0 175684436 462077952 88621 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 112812 88621 2432 1147 0 100238 0
Current children cumulated CPU time: 39.82 s
Current children cumulated vsize: 455440 KiB
Current children cumulated memory: 357428 KiB
[startup+40.8002 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 131172
/proc/meminfo: memFree=125244836/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=454116 memory=356916 CPUtime=40.61 cores=4,6
/proc/131144/stat : 131144 (roundingsat) R 131141 131141 130157 0 -1 4194304 66544 0 0 0 3958 103 0 0 20 0 1 0 175684436 465014784 89229 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 113529 89229 2432 1147 0 100955 0
Current children cumulated CPU time: 40.61 s
Current children cumulated vsize: 458308 KiB
Current children cumulated memory: 359860 KiB
[startup+41.6007 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 131172
/proc/meminfo: memFree=125206516/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=455108 memory=357940 CPUtime=41.34 cores=4,6
/proc/131144/stat : 131144 (roundingsat) D 131141 131141 130157 0 -1 4194304 66771 0 0 0 4025 109 0 0 20 0 1 0 175684436 466030592 89485 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 113777 89485 2432 1147 0 101203 0
Current children cumulated CPU time: 41.34 s
Current children cumulated vsize: 459300 KiB
Current children cumulated memory: 360884 KiB
[startup+41.8002 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 131172
/proc/meminfo: memFree=125206516/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
[pid=131144] ppid=131141 vsize=455108 memory=357940 CPUtime=41.34 cores=4,6
/proc/131144/stat : 131144 (roundingsat) D 131141 131141 130157 0 -1 4194304 66771 0 0 0 4025 109 0 0 20 0 1 0 175684436 466030592 89485 18446744073709551615 4227072 8923577 140727325560448 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 34656256 140727325563124 140727325563430 140727325563430 140727325569002 0
/proc/131144/statm: 113777 89485 2432 1147 0 101203 0
Current children cumulated CPU time: 41.34 s
Current children cumulated vsize: 459300 KiB
Current children cumulated memory: 360884 KiB
[startup+41.9002 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 131172
/proc/meminfo: memFree=125206516/131249988 swapFree=33010160/33010684
[pid=131141] ppid=131138 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/131141/stat : 131141 (run-opt-ls-log.) S 131138 131141 130157 0 -1 4194304 243 2144 0 0 0 0 0 0 20 0 1 0 175684432 4292608 736 18446744073709551615 94130559184896 94130560079429 140728575410192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94130560318480 94130560366224 94130579849216 140728575416601 140728575416799 140728575416799 140728575422403 0
/proc/131141/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 41.9053
CPU time (s): 41.3977
CPU user time (s): 40.2646
CPU system time (s): 1.13307
CPU usage (%): 98.7887
Max. virtual memory (cumulated for all children) (KiB): 459300
Max. memory (cumulated for all children) (KiB): 360884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.2646
system time used= 1.13307
maximum resident set size= 357940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1511272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12548
involuntary context switches= 300
# summary of solver processes directly reported to runsolver:
# pid: 131141
# total CPU time (s): 41.3977
# total CPU user time (s): 40.2646
# total CPU system time (s): 1.13307
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08196 second user time and 0.233886 second system time
The end
Launcher Data
Begin job on nodeC020 at 2025-07-15 19:21:09
IDJOB=4532247
IDBENCH=179855
IDSOLVER=3392
FILE ID=nodeC020/4532247-1752600069
RUNJOBID= nodeC020-1752596240-130168
SLURM_JOB_ID= 9684367
Free space on /tmp= 432108 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532247-1752600069/watcher-4532247-1752600069 -o /tmp/evaluation-result-4532247-1752600069/solver-4532247-1752600069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752596240-130168 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532247-1752600069.opb PROOFDIR/proof-4532247-1752600069
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 19358b71c175af654e98554c4f116d17
RANDOM SEED=16639036
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.786
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3577.855
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3601.889
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.451
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.899
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.886
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3630.754
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127009732 kB
MemAvailable: 128077968 kB
Buffers: 2128 kB
Cached: 1864596 kB
SwapCached: 8 kB
Active: 2524900 kB
Inactive: 1073052 kB
Active(anon): 1733288 kB
Inactive(anon): 24544 kB
Active(file): 791612 kB
Inactive(file): 1048508 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 286068 kB
Writeback: 0 kB
AnonPages: 1731840 kB
Mapped: 121556 kB
Shmem: 26236 kB
KReclaimable: 134708 kB
Slab: 238416 kB
SReclaimable: 134708 kB
SUnreclaim: 103708 kB
KernelStack: 4368 kB
PageTables: 6624 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2594784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 270336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432100 MiB
End job on nodeC020 at 2025-07-15 19:21:51