Trace number 4486144

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs-2024 2025-05-06SAT (TO)9398275 3600.09 3610.51

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
MD5SUM68d3283fc4d6e87aa4e5381bdb1e8107
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7526401
Best CPU time to get the best result obtained on this benchmark70141.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4600
Total number of constraints310
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints310
Minimum length of a constraint17
Maximum length of a constraint147
Number of terms in the objective function 3424
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 180407058264
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 180407058264
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.04	c [STEP] solving
0.00/0.04	c #variables 4600 #constraints 374
0.00/0.04	c SMALL=long long, LARGE=int128
0.00/0.04	c bounds - >= 0 @ 0.031676
0.00/0.04	c stratification level: 536870912
0.78/0.89	c bounds 7534290601 >= 0 @ 0.461872
0.78/0.89	c stratification level: 268435456
0.99/1.09	c bounds 5890851689 >= 0 @ 0.574211
0.99/1.09	c stratification level: 134217728
1.17/1.22	c bounds 2333335102 >= 0 @ 0.648606
1.17/1.22	c stratification level: 67108864
1.47/1.55	c bounds 1161199802 >= 0 @ 0.848198
1.47/1.55	c stratification level: 33554432
1.77/1.81	c bounds 704166870 >= 0 @ 1.01941
1.77/1.81	c stratification level: 16777216
2.37/2.47	c #Conflicts:       1000 | #Constraints:       1378
2.37/2.47	c bounds 338936108 >= 0 @ 1.46759
2.37/2.47	c stratification level: 8388608
2.57/2.63	c bounds 220255194 >= 0 @ 1.57503
2.57/2.63	c stratification level: 4194304
2.67/2.73	c bounds 128769894 >= 0 @ 1.64525
2.67/2.73	c stratification level: 2097152
2.78/2.89	c bounds 86241590 >= 0 @ 1.75269
2.78/2.89	c stratification level: 1048576
3.17/3.26	c bounds 58804205 >= 0 @ 2.01301
3.17/3.26	c stratification level: 524288
3.17/3.28	c bounds 38861457 >= 0 @ 2.026
3.17/3.28	c stratification level: 512000
3.37/3.40	c bounds 38861457 >= 512000 @ 2.02832
3.37/3.40	c finalizing WCE round: reformulating cores
4.57/4.63	c #Conflicts:       2000 | #Constraints:       2389
4.57/4.63	c INPROCESSING
4.57/4.63	c GARBAGE COLLECT
4.57/4.63	c bounds 37641425 >= 512000 @ 2.83819
4.57/4.63	c bounds 31690340 >= 512000 @ 3.14034
4.57/4.63	c stratification level: 409600
4.57/4.64	c bounds 31690340 >= 921600 @ 3.14249
4.57/4.64	c finalizing WCE round: reformulating cores
6.76/6.81	c #Conflicts:       3000 | #Constraints:       2420
6.76/6.81	c bounds 31291542 >= 921600 @ 4.37089
6.76/6.81	c bounds 31067212 >= 921600 @ 5.06712
6.76/6.81	c stratification level: 307200
7.07/7.18	c bounds 31067212 >= 1228800 @ 5.07021
7.07/7.18	c bounds 31067212 >= 1536000 @ 5.07144
7.07/7.18	c finalizing WCE round: reformulating cores
14.34/14.45	c #Conflicts:       4000 | #Constraints:       3429
14.34/14.45	c INPROCESSING
14.34/14.45	c GARBAGE COLLECT
14.34/14.45	c bounds 28264444 >= 1536000 @ 7.55146
14.34/14.45	c #Conflicts:       5000 | #Constraints:       2897
14.34/14.45	c bounds 27745976 >= 1536000 @ 12.1859
14.34/14.45	c stratification level: 262144
14.64/14.79	c bounds 27745976 >= 1798144 @ 12.1898
14.64/14.79	c finalizing WCE round: reformulating cores
18.04/18.13	c #Conflicts:       6000 | #Constraints:       3903
18.04/18.13	c bounds 21245891 >= 1798144 @ 14.7237
18.04/18.13	c bounds 19047180 >= 1798144 @ 15.7095
18.04/18.13	c stratification level: 256000
19.22/19.31	c bounds 19047180 >= 2054144 @ 15.7142
19.22/19.31	c finalizing WCE round: reformulating cores
22.62/22.77	c INPROCESSING
22.62/22.77	c GARBAGE COLLECT
22.62/22.77	c #Conflicts:       7000 | #Constraints:       2927
22.62/22.77	c bounds 19026297 >= 2054144 @ 18.3325
22.62/22.77	c bounds 18881244 >= 2054144 @ 20.0178
22.62/22.77	c stratification level: 217088
23.11/23.30	c bounds 18881244 >= 2271232 @ 20.0307
23.11/23.30	c finalizing WCE round: reformulating cores
33.58/33.77	c #Conflicts:       8000 | #Constraints:       3955
33.58/33.77	c bounds 18869489 >= 2271232 @ 23.8426
33.58/33.77	c #Conflicts:       9000 | #Constraints:       4955
33.58/33.77	c INPROCESSING
33.58/33.77	c GARBAGE COLLECT
33.58/33.77	c bounds 18795566 >= 2271232 @ 30.5569
33.58/33.77	c stratification level: 204800
34.90/35.10	c bounds 18795566 >= 2476032 @ 30.5605
34.90/35.10	c bounds 18795566 >= 2680832 @ 30.5628
34.90/35.10	c bounds 18795566 >= 2885632 @ 30.564
34.90/35.10	c finalizing WCE round: reformulating cores
49.74/49.97	c #Conflicts:      10000 | #Constraints:       3705
49.74/49.97	c #Conflicts:      11000 | #Constraints:       4707
49.74/49.97	c #Conflicts:      12000 | #Constraints:       5709
49.74/49.97	c INPROCESSING
49.74/49.97	c GARBAGE COLLECT
49.74/49.97	c bounds 18747732 >= 2885632 @ 42.8194
49.74/49.97	c #Conflicts:      13000 | #Constraints:       4215
49.74/49.97	c bounds 18720301 >= 2885632 @ 46.1726
49.74/49.97	c stratification level: 131072
50.74/50.99	c bounds 18720301 >= 3016704 @ 46.1762
50.74/50.99	c bounds 18720301 >= 3147776 @ 46.1822
50.74/50.99	c finalizing WCE round: reformulating cores
63.20/63.49	c #Conflicts:      14000 | #Constraints:       5226
63.20/63.49	c bounds 16508342 >= 3147776 @ 50.871
63.20/63.49	c bounds 16508342 >= 3278848 @ 50.9072
63.20/63.49	c finalizing WCE round: reformulating cores
63.50/63.77	c bounds 16347126 >= 3278848 @ 59.5435
63.50/63.77	c bounds 16347124 >= 3278848 @ 59.6135
63.50/63.77	c stratification level: 118784
63.60/63.82	c bounds 16347122 >= 3278848 @ 59.6694
63.60/63.82	c stratification level: 102400
64.99/65.28	c bounds 16347122 >= 3381248 @ 59.6739
64.99/65.28	c bounds 16347122 >= 3483648 @ 59.68
64.99/65.28	c #Conflicts:      15000 | #Constraints:       6244
64.99/65.28	c INPROCESSING
64.99/65.28	c GARBAGE COLLECT
64.99/65.28	c finalizing WCE round: reformulating cores
68.98/69.23	c #Conflicts:      16000 | #Constraints:       4474
68.98/69.23	c bounds 16021323 >= 3483648 @ 64.2635
68.98/69.23	c bounds 15858865 >= 3483648 @ 64.9003
68.98/69.23	c stratification level: 90112
69.28/69.54	c bounds 15839274 >= 3483648 @ 65.1858
69.28/69.54	c stratification level: 65536
69.98/70.20	c bounds 15839274 >= 3549184 @ 65.1896
69.98/70.20	c bounds 15839274 >= 3614720 @ 65.1919
69.98/70.20	c bounds 15839274 >= 3680256 @ 65.1956
69.98/70.20	c bounds 15839274 >= 3745792 @ 65.1983
69.98/70.20	c bounds 15839274 >= 3811328 @ 65.2011
69.98/70.20	c bounds 15839274 >= 3876864 @ 65.2052
69.98/70.20	c bounds 15839274 >= 3942400 @ 65.2104
69.98/70.20	c finalizing WCE round: reformulating cores
89.83/90.18	c #Conflicts:      17000 | #Constraints:       5497
89.83/90.18	c #Conflicts:      18000 | #Constraints:       6499
89.83/90.18	c INPROCESSING
89.83/90.18	c GARBAGE COLLECT
89.83/90.18	c #Conflicts:      19000 | #Constraints:       4485
89.83/90.18	c #Conflicts:      20000 | #Constraints:       5487
89.83/90.18	c #Conflicts:      21000 | #Constraints:       6489
89.83/90.18	c INPROCESSING
89.83/90.18	c GARBAGE COLLECT
89.83/90.18	c #Conflicts:      22000 | #Constraints:       4312
89.83/90.18	c #Conflicts:      23000 | #Constraints:       5314
89.83/90.18	c bounds 15799898 >= 3942400 @ 84.9611
89.83/90.18	c bounds 15799898 >= 4007936 @ 84.9955
89.83/90.18	c finalizing WCE round: reformulating cores
90.02/90.31	c bounds 13260564 >= 4007936 @ 85.4523
90.02/90.31	c bounds 13260562 >= 4007936 @ 85.525
90.02/90.31	c stratification level: 57344
90.22/90.56	c bounds 13260562 >= 4065280 @ 85.5299
90.22/90.56	c bounds 13260562 >= 4130816 @ 85.5323
90.22/90.56	c bounds 13260562 >= 4188160 @ 85.5377
90.22/90.56	c bounds 13260562 >= 4245504 @ 85.5416
90.22/90.56	c bounds 13260562 >= 4311040 @ 85.5598
90.22/90.56	c finalizing WCE round: reformulating cores
105.67/106.06	c #Conflicts:      24000 | #Constraints:       6350
105.67/106.06	c #Conflicts:      25000 | #Constraints:       7354
105.67/106.06	c INPROCESSING
105.67/106.06	c GARBAGE COLLECT
105.67/106.06	c #Conflicts:      26000 | #Constraints:       4928
105.67/106.06	c #Conflicts:      27000 | #Constraints:       5930
105.67/106.06	c bounds 13235190 >= 4311040 @ 100.22
105.67/106.06	c bounds 13235190 >= 4368384 @ 100.26
105.67/106.06	c finalizing WCE round: reformulating cores
111.66/112.10	c #Conflicts:      28000 | #Constraints:       6937
111.66/112.10	c bounds 12672433 >= 4368384 @ 104.968
111.66/112.10	c bounds 12661242 >= 4368384 @ 106.868
111.66/112.10	c stratification level: 53248
112.24/112.68	c bounds 12436582 >= 4368384 @ 107.438
112.24/112.68	c stratification level: 45056
113.15/113.54	c bounds 12436582 >= 4413440 @ 107.443
113.15/113.54	c finalizing WCE round: reformulating cores
117.42/117.89	c #Conflicts:      29000 | #Constraints:       7994
117.42/117.89	c INPROCESSING
117.42/117.89	c GARBAGE COLLECT
117.42/117.89	c bounds 12417631 >= 4413440 @ 111.89
117.42/117.89	c bounds 12377510 >= 4413440 @ 112.53
117.42/117.89	c stratification level: 38912
117.64/118.04	c bounds 12377498 >= 4452352 @ 112.667
117.64/118.04	c stratification level: 36864
118.23/118.60	c bounds 12377498 >= 4489216 @ 112.671
118.23/118.60	c #Conflicts:      30000 | #Constraints:       5377
118.23/118.60	c finalizing WCE round: reformulating cores
118.23/118.65	c bounds 12311961 >= 4489216 @ 113.22
118.23/118.65	c bounds 12311960 >= 4489216 @ 113.241
118.23/118.65	c stratification level: 32768
118.74/119.15	c bounds 12311960 >= 4521984 @ 113.245
118.74/119.15	c bounds 12311960 >= 4554752 @ 113.248
118.74/119.15	c bounds 12311960 >= 4587520 @ 113.25
118.74/119.15	c bounds 12311960 >= 4620288 @ 113.254
118.74/119.15	c bounds 12311960 >= 4653056 @ 113.257
118.74/119.15	c bounds 12311960 >= 4685824 @ 113.261
118.74/119.15	c bounds 12311960 >= 4718592 @ 113.265
118.74/119.15	c bounds 12311960 >= 4751360 @ 113.268
118.74/119.15	c bounds 12311960 >= 4784128 @ 113.27
118.74/119.15	c bounds 12311960 >= 4816896 @ 113.276
118.74/119.15	c bounds 12311960 >= 4849664 @ 113.297
118.74/119.15	c bounds 12311960 >= 4882432 @ 113.308
118.74/119.15	c bounds 12311960 >= 4915200 @ 113.316
118.74/119.15	c finalizing WCE round: reformulating cores
166.66/167.22	c #Conflicts:      31000 | #Constraints:       6416
166.66/167.22	c #Conflicts:      32000 | #Constraints:       7418
166.66/167.22	c #Conflicts:      33000 | #Constraints:       8420
166.66/167.22	c INPROCESSING
166.66/167.22	c GARBAGE COLLECT
166.66/167.22	c #Conflicts:      34000 | #Constraints:       5591
166.66/167.22	c #Conflicts:      35000 | #Constraints:       6593
166.66/167.22	c #Conflicts:      36000 | #Constraints:       7595
166.66/167.22	c #Conflicts:      37000 | #Constraints:       8599
166.66/167.22	c INPROCESSING
166.66/167.22	c GARBAGE COLLECT
166.66/167.22	c #Conflicts:      38000 | #Constraints:       5601
166.66/167.22	c #Conflicts:      39000 | #Constraints:       6603
166.66/167.22	c #Conflicts:      40000 | #Constraints:       7605
166.66/167.22	c bounds 12024967 >= 4915200 @ 144.408
166.66/167.22	c bounds 12024967 >= 4947968 @ 144.425
166.66/167.22	c bounds 12024967 >= 4980736 @ 144.526
166.66/167.22	c #Conflicts:      41000 | #Constraints:       8628
166.66/167.22	c finalizing WCE round: reformulating cores
173.74/174.36	c INPROCESSING
173.74/174.36	c GARBAGE COLLECT
173.74/174.36	c #Conflicts:      42000 | #Constraints:       5425
173.74/174.36	c #Conflicts:      43000 | #Constraints:       6427
173.74/174.36	c bounds 11878399 >= 4980736 @ 165.348
173.74/174.36	c bounds 11618445 >= 5013504 @ 167.928
173.74/174.36	c stratification level: 28672
173.93/174.54	c bounds 11618445 >= 5042176 @ 167.935
173.93/174.54	c bounds 11618445 >= 5074944 @ 167.939
173.93/174.54	c bounds 11618445 >= 5107712 @ 167.942
173.93/174.54	c finalizing WCE round: reformulating cores
183.52/184.16	c #Conflicts:      44000 | #Constraints:       7456
183.52/184.16	c #Conflicts:      45000 | #Constraints:       8460
183.52/184.16	c bounds 11545561 >= 5107712 @ 176.137
183.52/184.16	c bounds 11507847 >= 5107712 @ 177.585
183.52/184.16	c stratification level: 24576
183.80/184.46	c bounds 11507847 >= 5132288 @ 177.598
183.80/184.46	c finalizing WCE round: reformulating cores
188.69/189.33	c #Conflicts:      46000 | #Constraints:       9468
188.69/189.33	c INPROCESSING
188.69/189.33	c GARBAGE COLLECT
188.69/189.33	c bounds 11123189 >= 5132288 @ 181.352
188.69/189.33	c #Conflicts:      47000 | #Constraints:       6029
188.69/189.33	c bounds 10376663 >= 5132288 @ 182.648
188.69/189.33	c stratification level: 20480
196.07/196.73	c bounds 10376663 >= 5152768 @ 182.656
196.07/196.73	c bounds 10376663 >= 5173248 @ 182.662
196.07/196.73	c bounds 10376663 >= 5206016 @ 182.676
196.07/196.73	c #Conflicts:      48000 | #Constraints:       7043
196.07/196.73	c finalizing WCE round: reformulating cores
208.44/209.16	c #Conflicts:      49000 | #Constraints:       8046
208.44/209.16	c #Conflicts:      50000 | #Constraints:       9050
208.44/209.16	c bounds 10358163 >= 5206016 @ 200.21
208.44/209.16	c bounds 10335450 >= 5206016 @ 202.132
208.44/209.16	c stratification level: 16384
215.90/216.66	c bounds 10335450 >= 5222400 @ 202.142
215.90/216.66	c bounds 10335450 >= 5238784 @ 202.157
215.90/216.66	c bounds 10335450 >= 5255168 @ 202.171
215.90/216.66	c bounds 10335450 >= 5271552 @ 202.186
215.90/216.66	c bounds 10335450 >= 5287936 @ 202.199
215.90/216.66	c bounds 10335450 >= 5304320 @ 202.215
215.90/216.66	c bounds 10335450 >= 5320704 @ 202.229
215.90/216.66	c bounds 10335450 >= 5337088 @ 202.292
215.90/216.66	c bounds 10335450 >= 5353472 @ 202.34
215.90/216.66	c bounds 10335450 >= 5369856 @ 202.459
215.90/216.66	c bounds 10335450 >= 5386240 @ 202.511
215.90/216.66	c bounds 10335450 >= 5402624 @ 202.563
215.90/216.66	c bounds 10335450 >= 5419008 @ 203.009
215.90/216.66	c #Conflicts:      51000 | #Constraints:      10093
215.90/216.66	c INPROCESSING
215.90/216.66	c GARBAGE COLLECT
215.90/216.66	c finalizing WCE round: reformulating cores
261.85/262.70	c #Conflicts:      52000 | #Constraints:       6516
261.85/262.70	c #Conflicts:      53000 | #Constraints:       7518
261.85/262.70	c #Conflicts:      54000 | #Constraints:       8520
261.85/262.70	c #Conflicts:      55000 | #Constraints:       9524
261.85/262.70	c #Conflicts:      56000 | #Constraints:      10526
261.85/262.70	c INPROCESSING
261.85/262.70	c GARBAGE COLLECT
261.85/262.70	c #Conflicts:      57000 | #Constraints:       6699
261.85/262.70	c #Conflicts:      58000 | #Constraints:       7701
261.85/262.70	c #Conflicts:      59000 | #Constraints:       8703
261.85/262.70	c #Conflicts:      60000 | #Constraints:       9707
261.85/262.70	c #Conflicts:      61000 | #Constraints:      10709
261.85/262.70	c INPROCESSING
261.85/262.70	c GARBAGE COLLECT
261.85/262.70	c #Conflicts:      62000 | #Constraints:       6699
261.85/262.70	c bounds 10167556 >= 5419008 @ 247.226
261.85/262.70	c bounds 10167556 >= 5435392 @ 247.237
261.85/262.70	c bounds 10167556 >= 5451776 @ 247.324
261.85/262.70	c bounds 10167556 >= 5468160 @ 249.496
261.85/262.70	c #Conflicts:      63000 | #Constraints:       7735
261.85/262.70	c finalizing WCE round: reformulating cores
275.60/276.57	c #Conflicts:      64000 | #Constraints:       8738
275.60/276.57	c #Conflicts:      65000 | #Constraints:       9740
275.60/276.57	c bounds 10135236 >= 5468160 @ 264.608
275.60/276.57	c bounds 10135236 >= 5484544 @ 264.836
275.60/276.57	c #Conflicts:      66000 | #Constraints:      10773
275.60/276.57	c finalizing WCE round: reformulating cores
276.00/276.92	c bounds 10134968 >= 5484544 @ 268.871
276.00/276.92	c bounds 10134967 >= 5484544 @ 268.947
276.00/276.92	c stratification level: 12288
276.40/277.33	c bounds 10134967 >= 5496832 @ 268.972
276.40/277.33	c bounds 10134967 >= 5509120 @ 268.988
276.40/277.33	c bounds 10134967 >= 5525504 @ 269.014
276.40/277.33	c finalizing WCE round: reformulating cores
304.12/305.19	c INPROCESSING
304.12/305.19	c GARBAGE COLLECT
304.12/305.19	c #Conflicts:      67000 | #Constraints:       6604
304.12/305.19	c #Conflicts:      68000 | #Constraints:       7606
304.12/305.19	c bounds 9956049 >= 5525504 @ 279.62
304.12/305.19	c bounds 9956049 >= 5537792 @ 279.883
304.12/305.19	c #Conflicts:      69000 | #Constraints:       8624
304.12/305.19	c #Conflicts:      70000 | #Constraints:       9624
304.12/305.19	c finalizing WCE round: reformulating cores
309.49/310.52	c bounds 9744818 >= 5537792 @ 298.817
309.49/310.52	c #Conflicts:      71000 | #Constraints:      10628
309.49/310.52	c bounds 9724296 >= 5537792 @ 302.072
309.49/310.52	c stratification level: 8192
341.69/342.85	c bounds 9724296 >= 5554176 @ 302.084
341.69/342.85	c bounds 9724296 >= 5562368 @ 302.096
341.69/342.85	c bounds 9724296 >= 5570560 @ 302.11
341.69/342.85	c bounds 9724296 >= 5578752 @ 302.121
341.69/342.85	c bounds 9724296 >= 5586944 @ 302.152
341.69/342.85	c bounds 9724296 >= 5595136 @ 302.374
341.69/342.85	c bounds 9724296 >= 5603328 @ 302.455
341.69/342.85	c bounds 9724296 >= 5611520 @ 302.528
341.69/342.85	c bounds 9724296 >= 5619712 @ 302.563
341.69/342.85	c bounds 9724296 >= 5627904 @ 304.316
341.69/342.85	c #Conflicts:      72000 | #Constraints:      11705
341.69/342.85	c INPROCESSING
341.69/342.85	c GARBAGE COLLECT
341.69/342.85	c #Conflicts:      73000 | #Constraints:       7298
341.69/342.85	c #Conflicts:      74000 | #Constraints:       8298
341.69/342.85	c #Conflicts:      75000 | #Constraints:       9298
341.69/342.85	c finalizing WCE round: reformulating cores
402.19/403.60	c #Conflicts:      76000 | #Constraints:      10301
402.19/403.60	c bounds 9704609 >= 5562368 @ 338.596
402.19/403.60	c #Conflicts:      77000 | #Constraints:      11307
402.19/403.60	c #Conflicts:      78000 | #Constraints:      12309
402.19/403.60	c INPROCESSING
402.19/403.60	c GARBAGE COLLECT
402.19/403.60	c #Conflicts:      79000 | #Constraints:       7651
402.19/403.60	c #Conflicts:      80000 | #Constraints:       8653
402.19/403.60	c #Conflicts:      81000 | #Constraints:       9655
402.19/403.60	c #Conflicts:      82000 | #Constraints:      10659
402.19/403.60	c bounds 9695258 >= 5636096 @ 365.582
402.19/403.60	c #Conflicts:      83000 | #Constraints:      11665
402.19/403.60	c bounds 9695258 >= 5644288 @ 365.622
402.19/403.60	c bounds 9695258 >= 5652480 @ 365.69
402.19/403.60	c bounds 9695258 >= 5660672 @ 366.082
402.19/403.60	c bounds 9695258 >= 5668864 @ 368.085
402.19/403.60	c #Conflicts:      84000 | #Constraints:      12711
402.19/403.60	c INPROCESSING
402.19/403.60	c GARBAGE COLLECT
402.19/403.60	c #Conflicts:      85000 | #Constraints:       7964
402.19/403.60	c #Conflicts:      86000 | #Constraints:       8964
402.19/403.60	c finalizing WCE round: reformulating cores
542.53/544.34	c #Conflicts:      87000 | #Constraints:       9967
542.53/544.34	c #Conflicts:      88000 | #Constraints:      10969
542.53/544.34	c #Conflicts:      89000 | #Constraints:      11971
542.53/544.34	c bounds 9653897 >= 5668864 @ 411.5
542.53/544.34	c bounds 9653897 >= 5677056 @ 411.638
542.53/544.34	c #Conflicts:      90000 | #Constraints:      13028
542.53/544.34	c INPROCESSING
542.53/544.34	c GARBAGE COLLECT
542.53/544.34	c #Conflicts:      91000 | #Constraints:       8025
542.53/544.34	c bounds 9653897 >= 5685248 @ 420.73
542.53/544.34	c #Conflicts:      92000 | #Constraints:       9074
542.53/544.34	c #Conflicts:      93000 | #Constraints:      10074
542.53/544.34	c #Conflicts:      94000 | #Constraints:      11074
542.53/544.34	c #Conflicts:      95000 | #Constraints:      12074
542.53/544.34	c #Conflicts:      96000 | #Constraints:      13074
542.53/544.34	c INPROCESSING
542.53/544.34	c GARBAGE COLLECT
542.53/544.34	c #Conflicts:      97000 | #Constraints:       7901
542.53/544.34	c #Conflicts:      98000 | #Constraints:       8901
542.53/544.34	c #Conflicts:      99000 | #Constraints:       9901
542.53/544.34	c #Conflicts:     100000 | #Constraints:      10901
542.53/544.34	c #Conflicts:     101000 | #Constraints:      11901
542.53/544.34	c #Conflicts:     102000 | #Constraints:      12901
542.53/544.34	c #Conflicts:     103000 | #Constraints:      13901
542.53/544.34	c INPROCESSING
542.53/544.34	c GARBAGE COLLECT
542.53/544.34	c #Conflicts:     104000 | #Constraints:       8555
542.53/544.34	c #Conflicts:     105000 | #Constraints:       9555
542.53/544.34	c #Conflicts:     106000 | #Constraints:      10555
542.53/544.34	c #Conflicts:     107000 | #Constraints:      11555
542.53/544.34	c finalizing WCE round: reformulating cores
721.04/723.49	c bounds 9513575 >= 5677056 @ 533.62
721.04/723.49	c #Conflicts:     108000 | #Constraints:      12562
721.04/723.49	c bounds 9513575 >= 5693440 @ 546.791
721.04/723.49	c #Conflicts:     109000 | #Constraints:      13562
721.04/723.49	c bounds 9513575 >= 5701632 @ 549.792
721.04/723.49	c #Conflicts:     110000 | #Constraints:      14620
721.04/723.49	c INPROCESSING
721.04/723.49	c GARBAGE COLLECT
721.04/723.49	c #Conflicts:     111000 | #Constraints:       9025
721.04/723.49	c #Conflicts:     112000 | #Constraints:      10025
721.04/723.49	c #Conflicts:     113000 | #Constraints:      11025
721.04/723.49	c #Conflicts:     114000 | #Constraints:      12025
721.04/723.49	c #Conflicts:     115000 | #Constraints:      13025
721.04/723.49	c #Conflicts:     116000 | #Constraints:      14025
721.04/723.49	c #Conflicts:     117000 | #Constraints:      15025
721.04/723.49	c INPROCESSING
721.04/723.49	c GARBAGE COLLECT
721.04/723.49	c #Conflicts:     118000 | #Constraints:       9246
721.04/723.49	c #Conflicts:     119000 | #Constraints:      10246
721.04/723.49	c #Conflicts:     120000 | #Constraints:      11246
721.04/723.49	c finalizing WCE round: reformulating cores
810.36/813.04	c #Conflicts:     121000 | #Constraints:      12249
810.36/813.04	c bounds 9506742 >= 5701632 @ 720.408
810.36/813.04	c #Conflicts:     122000 | #Constraints:      13249
810.36/813.04	c #Conflicts:     123000 | #Constraints:      14249
810.36/813.04	c #Conflicts:     124000 | #Constraints:      15249
810.36/813.04	c bounds 9485212 >= 5701632 @ 799.642
810.36/813.04	c stratification level: 6144
885.90/888.83	c bounds 9485212 >= 5707776 @ 799.659
885.90/888.83	c bounds 9485212 >= 5740544 @ 799.666
885.90/888.83	c bounds 9485212 >= 5752832 @ 799.676
885.90/888.83	c bounds 9485212 >= 5758976 @ 799.967
885.90/888.83	c bounds 9485212 >= 5765120 @ 800.025
885.90/888.83	c bounds 9485212 >= 5775360 @ 800.05
885.90/888.83	c bounds 9485212 >= 5781504 @ 800.056
885.90/888.83	c bounds 9485212 >= 5793792 @ 800.062
885.90/888.83	c bounds 9485212 >= 5806080 @ 800.075
885.90/888.83	c bounds 9485212 >= 5816320 @ 800.086
885.90/888.83	c bounds 9485212 >= 5828608 @ 800.099
885.90/888.83	c bounds 9485212 >= 5840896 @ 800.131
885.90/888.83	c bounds 9485212 >= 5847040 @ 800.143
885.90/888.83	c bounds 9485212 >= 5867520 @ 800.151
885.90/888.83	c bounds 9485212 >= 5914624 @ 800.177
885.90/888.83	c INPROCESSING
885.90/888.83	c GARBAGE COLLECT
885.90/888.83	c #Conflicts:     125000 | #Constraints:       9227
885.90/888.83	c #Conflicts:     126000 | #Constraints:      10227
885.90/888.83	c #Conflicts:     127000 | #Constraints:      11227
885.90/888.83	c #Conflicts:     128000 | #Constraints:      12227
885.90/888.83	c #Conflicts:     129000 | #Constraints:      13227
885.90/888.83	c #Conflicts:     130000 | #Constraints:      14227
885.90/888.83	c #Conflicts:     131000 | #Constraints:      15227
885.90/888.83	c INPROCESSING
885.90/888.83	c GARBAGE COLLECT
885.90/888.83	c #Conflicts:     132000 | #Constraints:       8971
885.90/888.83	c #Conflicts:     133000 | #Constraints:       9971
885.90/888.83	c finalizing WCE round: reformulating cores
1024.85/1028.22	c #Conflicts:     134000 | #Constraints:      10980
1024.85/1028.22	c bounds 9475828 >= 5758976 @ 879.383
1024.85/1028.22	c #Conflicts:     135000 | #Constraints:      11984
1024.85/1028.22	c #Conflicts:     136000 | #Constraints:      13004
1024.85/1028.22	c #Conflicts:     137000 | #Constraints:      14006
1024.85/1028.22	c #Conflicts:     138000 | #Constraints:      15008
1024.85/1028.22	c #Conflicts:     139000 | #Constraints:      16012
1024.85/1028.22	c INPROCESSING
1024.85/1028.22	c GARBAGE COLLECT
1024.85/1028.22	c bounds 9457957 >= 5920768 @ 917.166
1024.85/1028.22	c #Conflicts:     140000 | #Constraints:       9505
1024.85/1028.22	c bounds 9457957 >= 5926912 @ 917.319
1024.85/1028.22	c #Conflicts:     141000 | #Constraints:      10512
1024.85/1028.22	c #Conflicts:     142000 | #Constraints:      11512
1024.85/1028.22	c #Conflicts:     143000 | #Constraints:      12512
1024.85/1028.22	c #Conflicts:     144000 | #Constraints:      13512
1024.85/1028.22	c #Conflicts:     145000 | #Constraints:      14512
1024.85/1028.22	c #Conflicts:     146000 | #Constraints:      15512
1024.85/1028.22	c #Conflicts:     147000 | #Constraints:      16512
1024.85/1028.22	c INPROCESSING
1024.85/1028.22	c GARBAGE COLLECT
1024.85/1028.22	c #Conflicts:     148000 | #Constraints:       9978
1024.85/1028.22	c #Conflicts:     149000 | #Constraints:      10978
1024.85/1028.22	c #Conflicts:     150000 | #Constraints:      11978
1024.85/1028.22	c finalizing WCE round: reformulating cores
1059.58/1063.01	c #Conflicts:     151000 | #Constraints:      12981
1059.58/1063.01	c bounds 9425327 >= 5926912 @ 1019.01
1059.58/1063.01	c #Conflicts:     152000 | #Constraints:      13981
1059.58/1063.01	c bounds 9408735 >= 5926912 @ 1046.88
1059.58/1063.01	c stratification level: 4096
1274.03/1278.10	c bounds 9408735 >= 5931008 @ 1046.89
1274.03/1278.10	c bounds 9408735 >= 5935104 @ 1046.9
1274.03/1278.10	c bounds 9408735 >= 5939200 @ 1046.91
1274.03/1278.10	c bounds 9408735 >= 5943296 @ 1046.93
1274.03/1278.10	c bounds 9408735 >= 5947392 @ 1046.94
1274.03/1278.10	c bounds 9408735 >= 5951488 @ 1047.01
1274.03/1278.10	c bounds 9408735 >= 5955584 @ 1047.04
1274.03/1278.10	c bounds 9408735 >= 5959680 @ 1047.13
1274.03/1278.10	c bounds 9408735 >= 5963776 @ 1047.19
1274.03/1278.10	c bounds 9408735 >= 5967872 @ 1047.3
1274.03/1278.10	c bounds 9408735 >= 5971968 @ 1047.36
1274.03/1278.10	c bounds 9408735 >= 5976064 @ 1047.8
1274.03/1278.10	c bounds 9408735 >= 5980160 @ 1048.15
1274.03/1278.10	c bounds 9408735 >= 5984256 @ 1048.33
1274.03/1278.10	c bounds 9408735 >= 5988352 @ 1049.12
1274.03/1278.10	c bounds 9408735 >= 5992448 @ 1049.56
1274.03/1278.10	c #Conflicts:     153000 | #Constraints:      15169
1274.03/1278.10	c bounds 9408735 >= 5996544 @ 1051.03
1274.03/1278.10	c bounds 9408735 >= 6000640 @ 1052.57
1274.03/1278.10	c bounds 9408735 >= 6004736 @ 1056.47
1274.03/1278.10	c #Conflicts:     154000 | #Constraints:      16232
1274.03/1278.10	c #Conflicts:     155000 | #Constraints:      17232
1274.03/1278.10	c INPROCESSING
1274.03/1278.10	c GARBAGE COLLECT
1274.03/1278.10	c #Conflicts:     156000 | #Constraints:      10372
1274.03/1278.10	c bounds 9408735 >= 6008832 @ 1077.87
1274.03/1278.10	c #Conflicts:     157000 | #Constraints:      11388
1274.03/1278.10	c #Conflicts:     158000 | #Constraints:      12388
1274.03/1278.10	c #Conflicts:     159000 | #Constraints:      13388
1274.03/1278.10	c bounds 9408735 >= 6012928 @ 1103.47
1274.03/1278.10	c #Conflicts:     160000 | #Constraints:      14422
1274.03/1278.10	c #Conflicts:     161000 | #Constraints:      15422
1274.03/1278.10	c #Conflicts:     162000 | #Constraints:      16422
1274.03/1278.10	c bounds 9408735 >= 6017024 @ 1142.64
1274.03/1278.10	c #Conflicts:     163000 | #Constraints:      17453
1274.03/1278.10	c #Conflicts:     164000 | #Constraints:      18453
1274.03/1278.10	c #Conflicts:     165000 | #Constraints:      19453
1274.03/1278.10	c #Conflicts:     166000 | #Constraints:      20453
1274.03/1278.10	c #Conflicts:     167000 | #Constraints:      21453
1274.03/1278.10	c #Conflicts:     168000 | #Constraints:      22453
1274.03/1278.10	c finalizing WCE round: reformulating cores
3427.63/3437.69	c #Conflicts:     169000 | #Constraints:      23459
3427.63/3437.69	c #Conflicts:     170000 | #Constraints:      24463
3427.63/3437.69	c #Conflicts:     171000 | #Constraints:      25465
3427.63/3437.69	c #Conflicts:     172000 | #Constraints:      26467
3427.63/3437.69	c bounds 9398275 >= 5959680 @ 1305.4
3427.63/3437.69	c #Conflicts:     173000 | #Constraints:      27473
3427.63/3437.69	c #Conflicts:     174000 | #Constraints:      28475
3427.63/3437.69	c bounds 9398275 >= 5967872 @ 1336.77
3427.63/3437.69	c #Conflicts:     175000 | #Constraints:      29480
3427.63/3437.69	c #Conflicts:     176000 | #Constraints:      30482
3427.63/3437.69	c #Conflicts:     177000 | #Constraints:      31484
3427.63/3437.69	c #Conflicts:     178000 | #Constraints:      32488
3427.63/3437.69	c #Conflicts:     179000 | #Constraints:      33490
3427.63/3437.69	c #Conflicts:     180000 | #Constraints:      34492
3427.63/3437.69	c #Conflicts:     181000 | #Constraints:      35496
3427.63/3437.69	c #Conflicts:     182000 | #Constraints:      36498
3427.63/3437.69	c #Conflicts:     183000 | #Constraints:      37500
3427.63/3437.69	c #Conflicts:     184000 | #Constraints:      38504
3427.63/3437.69	c bounds 9398275 >= 6025216 @ 1787.29
3427.63/3437.69	c bounds 9398275 >= 6029312 @ 1788.07
3427.63/3437.69	c bounds 9398275 >= 6033408 @ 1790.58
3427.63/3437.69	c #Conflicts:     185000 | #Constraints:      39585
3427.63/3437.69	c bounds 9398275 >= 6037504 @ 1811.12
3427.63/3437.69	c #Conflicts:     186000 | #Constraints:      40668
3427.63/3437.69	c #Conflicts:     187000 | #Constraints:      41668
3427.63/3437.69	c #Conflicts:     188000 | #Constraints:      42668
3427.63/3437.69	c #Conflicts:     189000 | #Constraints:      43668
3427.63/3437.69	c bounds 9398275 >= 6041600 @ 2026.06
3427.63/3437.69	c #Conflicts:     190000 | #Constraints:      44750
3427.63/3437.69	c #Conflicts:     191000 | #Constraints:      45750
3427.63/3437.69	c #Conflicts:     192000 | #Constraints:      46750
3427.63/3437.69	c INPROCESSING
3427.63/3437.69	c GARBAGE COLLECT
3427.63/3437.69	c #Conflicts:     193000 | #Constraints:      25254
3427.63/3437.69	c #Conflicts:     194000 | #Constraints:      26254
3427.63/3437.69	c #Conflicts:     195000 | #Constraints:      27254
3427.63/3437.69	c #Conflicts:     196000 | #Constraints:      28254
3427.63/3437.69	c #Conflicts:     197000 | #Constraints:      29254
3427.63/3437.69	c #Conflicts:     198000 | #Constraints:      30254
3427.63/3437.69	c #Conflicts:     199000 | #Constraints:      31254
3427.63/3437.69	c #Conflicts:     200000 | #Constraints:      32254
3427.63/3437.69	c #Conflicts:     201000 | #Constraints:      33254
3427.63/3437.69	c INPROCESSING
3427.63/3437.69	c GARBAGE COLLECT
3427.63/3437.69	c #Conflicts:     202000 | #Constraints:      18398
3427.63/3437.69	c #Conflicts:     203000 | #Constraints:      19398
3427.63/3437.69	c #Conflicts:     204000 | #Constraints:      20398
3427.63/3437.69	c #Conflicts:     205000 | #Constraints:      21398
3427.63/3437.69	c #Conflicts:     206000 | #Constraints:      22398
3427.63/3437.69	c #Conflicts:     207000 | #Constraints:      23398
3427.63/3437.69	c #Conflicts:     208000 | #Constraints:      24398
3427.63/3437.69	c #Conflicts:     209000 | #Constraints:      25398
3427.63/3437.69	c #Conflicts:     210000 | #Constraints:      26398
3427.63/3437.69	c INPROCESSING
3427.63/3437.69	c GARBAGE COLLECT
3427.63/3437.69	c #Conflicts:     211000 | #Constraints:      14730
3427.63/3437.69	c #Conflicts:     212000 | #Constraints:      15730
3427.63/3437.69	c #Conflicts:     213000 | #Constraints:      16730
3427.63/3437.69	c #Conflicts:     214000 | #Constraints:      17730
3427.63/3437.69	c #Conflicts:     215000 | #Constraints:      18730
3427.63/3437.69	c #Conflicts:     216000 | #Constraints:      19730
3427.63/3437.69	c #Conflicts:     217000 | #Constraints:      20730
3427.63/3437.69	c #Conflicts:     218000 | #Constraints:      21730
3427.63/3437.69	c #Conflicts:     219000 | #Constraints:      22730
3427.63/3437.69	c #Conflicts:     220000 | #Constraints:      23730
3427.63/3437.69	c INPROCESSING
3427.63/3437.69	c GARBAGE COLLECT
3427.63/3437.69	c #Conflicts:     221000 | #Constraints:      13534
3427.63/3437.69	c #Conflicts:     222000 | #Constraints:      14534
3427.63/3437.69	c #Conflicts:     223000 | #Constraints:      15534
3427.63/3437.69	c #Conflicts:     224000 | #Constraints:      16534
3427.63/3437.69	c #Conflicts:     225000 | #Constraints:      17534
3427.63/3437.69	c #Conflicts:     226000 | #Constraints:      18534
3427.63/3437.69	c #Conflicts:     227000 | #Constraints:      19534
3427.63/3437.69	c #Conflicts:     228000 | #Constraints:      20534
3427.63/3437.69	c #Conflicts:     229000 | #Constraints:      21534
3427.63/3437.69	c #Conflicts:     230000 | #Constraints:      22534
3427.63/3437.69	c INPROCESSING
3427.63/3437.69	c GARBAGE COLLECT
3427.63/3437.69	c #Conflicts:     231000 | #Constraints:      12961
3427.63/3437.69	c #Conflicts:     232000 | #Constraints:      13961
3427.63/3437.69	c #Conflicts:     233000 | #Constraints:      14961
3427.63/3437.69	c #Conflicts:     234000 | #Constraints:      15961
3427.63/3437.69	c #Conflicts:     235000 | #Constraints:      16961
3427.63/3437.69	c #Conflicts:     236000 | #Constraints:      17961
3427.63/3437.69	c #Conflicts:     237000 | #Constraints:      18961
3427.63/3437.69	c #Conflicts:     238000 | #Constraints:      19961
3427.63/3437.69	c #Conflicts:     239000 | #Constraints:      20961
3600.08/3610.50	c #Conflicts:     240000 | #Constraints:      21961
3600.08/3610.50	c INPROCESSING
3600.08/3610.50	c GARBAGE COLLECT
3600.08/3610.50	c #Conflicts:     241000 | #Constraints:      12626
3600.08/3610.50	c #Conflicts:     242000 | #Constraints:      13626
3600.08/3610.50	c #Conflicts:     243000 | #Constraints:      14626
3600.08/3610.50	c #Conflicts:     244000 | #Constraints:      15626
3600.08/3610.50	c #Conflicts:     245000 | #Constraints:      16626
3600.08/3610.50	c #Conflicts:     246000 | #Constraints:      17626
3600.08/3610.50	c #Conflicts:     247000 | #Constraints:      18626
3600.08/3610.50	c Program interrupted by user.
3600.08/3610.50	c cpu time 3582.23 s
3600.08/3610.50	c deterministic time 367420685637 3.67e+11
3600.08/3610.50	c optimization time 952.229 s
3600.08/3610.50	c total solve time 2629.97 s
3600.08/3610.50	c core-guided solve time 2629.97 s
3600.08/3610.50	c propagation time 3255.86 s
3600.08/3610.50	c conflict analysis time 291.009 s
3600.08/3610.50	c propagations 131421367
3600.08/3610.50	c resolve steps 3067987
3600.08/3610.50	c decisions 18076866
3600.08/3610.50	c conflicts 247795
3600.08/3610.50	c restarts 573
3600.08/3610.50	c inprocessing phases 37
3600.08/3610.50	c input clauses 439
3600.08/3610.50	c input cardinalities 324
3600.08/3610.50	c input general constraints 1222
3600.08/3610.50	c input average constraint length 327.56
3600.08/3610.50	c input average constraint degree 744221215.60
3600.08/3610.50	c learned clauses 35918
3600.08/3610.50	c learned cardinalities 44
3600.08/3610.50	c learned general constraints 211895
3600.08/3610.50	c learned average constraint length 711.61
3600.08/3610.50	c learned average constraint degree 2656042928.58
3600.08/3610.50	c watched constraints 145813
3600.08/3610.50	c counting constraints 67304
3600.08/3610.50	c gcd simplifications 28830
3600.08/3610.50	c detected cardinalities 30
3600.08/3610.50	c weakened non-implied lits 35570470
3600.08/3610.50	c weakened non-implying lits 601993
3600.08/3610.50	c original variables 4600
3600.08/3610.50	c clausal propagations 4318007
3600.08/3610.50	c cardinality propagations 979939
3600.08/3610.50	c watched propagations 55433787
3600.08/3610.50	c counting propagations 70247647
3600.08/3610.50	c watch lookups 64830184097
3600.08/3610.50	c watch backjump lookups 62562641799
3600.08/3610.50	c watch checks 205119870182
3600.08/3610.50	c propagation checks 33677787947
3600.08/3610.50	c constraint additions 930960050
3600.08/3610.50	c trail pops 149743328
3600.08/3610.50	c formula constraints 374
3600.08/3610.50	c learned constraints 247857
3600.08/3610.50	c bound constraints 309
3600.08/3610.50	c core-guided constraints 1302
3600.08/3610.50	c encountered formula constraints 539004
3600.08/3610.50	c encountered learned constraints 2189982
3600.08/3610.50	c encountered bound constraints 12298
3600.08/3610.50	c encountered core-guided constraints 574498
3600.08/3610.50	c LP total time 0 s
3600.08/3610.50	c LP solve time 0 s
3600.08/3610.50	c LP constraints added 0
3600.08/3610.50	c LP constraints removed 0
3600.08/3610.50	c LP pivots internal 0
3600.08/3610.50	c LP pivots root 0
3600.08/3610.50	c LP calls 0
3600.08/3610.50	c LP optimalities 0
3600.08/3610.50	c LP no pivot count 0
3600.08/3610.50	c LP infeasibilities 0
3600.08/3610.50	c LP valid Farkas constraints 0
3600.08/3610.50	c LP learned Farkas constraints 0
3600.08/3610.50	c LP basis resets 0
3600.08/3610.50	c LP cycling count 0
3600.08/3610.50	c LP singular count 0
3600.08/3610.50	c LP no primal count 0
3600.08/3610.50	c LP no farkas count 0
3600.08/3610.50	c LP other issue count 0
3600.08/3610.50	c LP Gomory cuts 0
3600.08/3610.50	c LP learned cuts 0
3600.08/3610.50	c LP deleted cuts 0
3600.08/3610.50	c LP encountered Gomory constraints 0
3600.08/3610.50	c LP encountered Farkas constraints 0
3600.08/3610.50	c LP encountered learned Farkas constraints 0
3600.08/3610.50	c CG auxiliary variables introduced 479
3600.08/3610.50	c CG solutions found 69
3600.08/3610.50	c CG cores constructed 133
3600.08/3610.50	c CG core cardinality constraints returned 0
3600.08/3610.50	c CG unit cores 0
3600.08/3610.50	c CG single cores 125
3600.08/3610.50	c CG blocks removed during cardinality reduction 0
3600.08/3610.50	c CG first core best 0
3600.08/3610.50	c CG decision core best 0
3600.08/3610.50	c CG core reduction tie 8
3600.08/3610.50	c CG core degree average 1.00
3600.08/3610.50	c CG core slack average 51.08
3600.08/3610.50	c CG exhausted 5
3600.08/3610.50	c CG exhaust time 835.783 s
3600.08/3610.50	c CG trimmed 1158
3600.08/3610.50	c CG trim time 2.16024 s
3600.08/3610.50	c CG minimized 0
3600.08/3610.50	c CG minimize time 0 s
3600.08/3610.50	c CG am1 prop time 0.126278 s
3600.08/3610.50	c CG # am1s reformulated 3
3600.08/3610.50	c CG lower bound derived from am1s 79872
3600.08/3610.50	c CG # clausal cores 118
3600.08/3610.50	c CG # cardinality cores 0
3600.08/3610.50	c CG # pb cores 23
3600.08/3610.50	c CG # pb reforms 28
3600.08/3610.50	c CG # cores discarded because of pb reform 0
3600.08/3610.50	d LOWERBOUND 6041600
3600.08/3610.50	d NCORES 133
3600.08/3610.50	d NPBCORES 23
3600.08/3610.50	d NPBREFORM 28
3600.08/3610.50	d NTRIMMED 1158
3600.08/3610.50	d NEXHAUSTED 5
3600.08/3610.50	d NAM1S 3
3600.08/3610.50	d AM1LB 79872
3600.08/3610.50	o 9398275
3600.08/3610.50	s SATISFIABLE
3600.08/3610.50	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

Verifier Data 

OK	9398275

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486144-1751316244/watcher-4486144-1751316244 -o /tmp/evaluation-result-4486144-1751316244/solver-4486144-1751316244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40718 --watchdog 3760 pb-oll-rs HOME/instance-4486144-1751316244.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=41100, runsolver pid=41097

[startup+0.100066 s]*
/proc/loadavg: 3.09 3.94 4.10 5/253 41101
/proc/meminfo: memFree=130015588/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=21972 memory=7760 CPUtime=0.1 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 920 0 0 0 7 3 0 0 20 0 1 0 47303525 22499328 1940 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 5493 1940 1312 243 0 1742 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21972 KiB
Current children cumulated memory: 7760 KiB

[startup+0.213182 s]*
/proc/loadavg: 3.09 3.94 4.10 5/253 41101
/proc/meminfo: memFree=130015588/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=22236 memory=8016 CPUtime=0.2 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 1009 0 0 0 12 8 0 0 20 0 1 0 47303525 22769664 2004 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 5559 2004 1312 243 0 1808 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 22236 KiB
Current children cumulated memory: 8016 KiB

[startup+0.31257 s]*
/proc/loadavg: 3.09 3.94 4.10 5/253 41101
/proc/meminfo: memFree=130011492/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=22236 memory=8144 CPUtime=0.31 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 1043 0 0 0 17 14 0 0 20 0 1 0 47303525 22769664 2036 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 5559 2036 1312 243 0 1808 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 22236 KiB
Current children cumulated memory: 8144 KiB

[startup+0.700271 s]
/proc/loadavg: 3.09 3.94 4.10 5/253 41101
/proc/meminfo: memFree=130011492/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=22500 memory=8656 CPUtime=0.68 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 1166 0 0 0 36 32 0 0 20 0 1 0 47303525 23040000 2164 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 5625 2164 1312 243 0 1874 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 22500 KiB
Current children cumulated memory: 8656 KiB

[startup+1.5003 s]
/proc/loadavg: 3.09 3.94 4.10 5/253 41101
/proc/meminfo: memFree=129991652/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=23480 memory=9936 CPUtime=1.47 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 1480 0 0 0 81 66 0 0 20 0 1 0 47303525 24043520 2484 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 5870 2484 1312 243 0 2119 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 23480 KiB
Current children cumulated memory: 9936 KiB

[startup+3.11313 s]
/proc/loadavg: 3.09 3.94 4.10 5/253 41101
/proc/meminfo: memFree=129959820/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=25176 memory=14056 CPUtime=3.09 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 1997 0 0 0 190 119 0 0 20 0 1 0 47303525 25780224 3514 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 6294 3514 1312 243 0 2543 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 25176 KiB
Current children cumulated memory: 14056 KiB

[startup+6.30033 s]
/proc/loadavg: 3.16 3.94 4.10 5/253 41101
/proc/meminfo: memFree=129919008/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=42324 memory=27368 CPUtime=6.27 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 5327 0 0 0 461 166 0 0 20 0 1 0 47303525 43339776 6842 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 10581 6842 1312 243 0 6830 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42324 KiB
Current children cumulated memory: 27368 KiB

[startup+12.7003 s]
/proc/loadavg: 3.23 3.94 4.10 5/253 41101
/proc/meminfo: memFree=129837632/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=58240 memory=41500 CPUtime=12.65 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 8352 0 0 0 1053 212 0 0 20 0 1 0 47303525 59637760 10375 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 14560 10375 1312 243 0 10809 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 58240 KiB
Current children cumulated memory: 41500 KiB

[startup+25.5004 s]
/proc/loadavg: 3.40 3.95 4.10 5/253 41102
/proc/meminfo: memFree=129706052/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=67120 memory=54188 CPUtime=25.41 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 10517 0 0 0 2260 281 0 0 20 0 1 0 47303525 68730880 13547 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 16780 13547 1312 243 0 13029 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 67120 KiB
Current children cumulated memory: 54188 KiB

[startup+51.1132 s]
/proc/loadavg: 3.60 3.95 4.09 5/253 41102
/proc/meminfo: memFree=129594712/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=92404 memory=77588 CPUtime=50.95 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 14297 0 0 0 4725 370 0 0 20 0 1 0 47303525 94621696 19397 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 23101 19397 1312 243 0 19350 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 92404 KiB
Current children cumulated memory: 77588 KiB

[startup+102.3 s]
/proc/loadavg: 3.87 3.97 4.09 5/254 41105
/proc/meminfo: memFree=129376932/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=109772 memory=93804 CPUtime=101.98 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 17856 0 0 0 9729 469 0 0 20 0 1 0 47303525 112406528 23451 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 27443 23451 1312 243 0 23692 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 109772 KiB
Current children cumulated memory: 93804 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.01 4.09 5/254 41107
/proc/meminfo: memFree=129263236/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=132044 memory=101780 CPUtime=161.78 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 19357 0 0 0 15615 563 0 0 20 0 1 0 47303525 135213056 25445 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 33011 25445 1312 243 0 29260 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 132044 KiB
Current children cumulated memory: 101780 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.02 4.09 5/254 41109
/proc/meminfo: memFree=129133200/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=134836 memory=106652 CPUtime=221.58 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 20051 0 0 0 21504 654 0 0 20 0 1 0 47303525 138072064 26663 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 33709 26663 1312 243 0 29958 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 134836 KiB
Current children cumulated memory: 106652 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.03 4.09 5/252 41111
/proc/meminfo: memFree=129074416/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=144808 memory=120664 CPUtime=281.39 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 22112 0 0 0 27425 714 0 0 20 0 1 0 47303525 148283392 30166 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 36202 30166 1312 243 0 32451 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 144808 KiB
Current children cumulated memory: 120664 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.06 4.09 5/250 41113
/proc/meminfo: memFree=129009472/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=146260 memory=121944 CPUtime=341.19 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 22458 0 0 0 33335 784 0 0 20 0 1 0 47303525 149770240 30486 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 36565 30486 1312 243 0 32814 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 146260 KiB
Current children cumulated memory: 121944 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.06 4.09 5/250 41116
/proc/meminfo: memFree=128952880/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=149836 memory=127248 CPUtime=401 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 23267 0 0 0 39264 836 0 0 20 0 1 0 47303525 153432064 31812 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 37459 31812 1312 243 0 33708 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 149836 KiB
Current children cumulated memory: 127248 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.06 4.09 5/250 41118
/proc/meminfo: memFree=128825832/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=153436 memory=130832 CPUtime=460.8 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 24149 0 0 0 45192 888 0 0 20 0 1 0 47303525 157118464 32708 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 38359 32708 1312 243 0 34608 0
Current children cumulated CPU time: 460.8 s

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

Current children cumulated memory: 449836 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/250 41258
/proc/meminfo: memFree=127391692/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=478472 memory=449836 CPUtime=2913.67 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58766 0 0 0 289709 1658 0 0 20 0 1 0 47303525 489955328 112459 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119618 112459 1312 243 0 115867 0
Current children cumulated CPU time: 2913.67 s
Current children cumulated vsize: 478472 KiB
Current children cumulated memory: 449836 KiB

[startup+2982.3 s]
/proc/loadavg: 4.30 4.16 4.17 5/250 41262
/proc/meminfo: memFree=127390384/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=478472 memory=449836 CPUtime=2973.52 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58766 0 0 0 295688 1664 0 0 20 0 1 0 47303525 489955328 112459 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119618 112459 1312 243 0 115867 0
Current children cumulated CPU time: 2973.52 s
Current children cumulated vsize: 478472 KiB
Current children cumulated memory: 449836 KiB

[startup+3042.3 s]
/proc/loadavg: 5.15 4.43 4.26 5/250 41268
/proc/meminfo: memFree=127392508/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=478472 memory=449836 CPUtime=3033.36 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58766 0 0 0 301653 1683 0 0 20 0 1 0 47303525 489955328 112459 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119618 112459 1312 243 0 115867 0
Current children cumulated CPU time: 3033.36 s
Current children cumulated vsize: 478472 KiB
Current children cumulated memory: 449836 KiB

[startup+3102.3 s]
/proc/loadavg: 4.66 4.43 4.28 5/250 41270
/proc/meminfo: memFree=127387752/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=478472 memory=449836 CPUtime=3093.2 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58766 0 0 0 307628 1692 0 0 20 0 1 0 47303525 489955328 112459 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119618 112459 1312 243 0 115867 0
Current children cumulated CPU time: 3093.2 s
Current children cumulated vsize: 478472 KiB
Current children cumulated memory: 449836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.37 4.26 5/250 41272
/proc/meminfo: memFree=127379832/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=478472 memory=449836 CPUtime=3153.05 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58766 0 0 0 313605 1700 0 0 20 0 1 0 47303525 489955328 112459 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119618 112459 1312 243 0 115867 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 478472 KiB
Current children cumulated memory: 449836 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.33 4.26 5/249 41274
/proc/meminfo: memFree=127338224/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=478472 memory=449836 CPUtime=3212.89 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58776 0 0 0 319583 1706 0 0 20 0 1 0 47303525 489955328 112459 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119618 112459 1312 243 0 115867 0
Current children cumulated CPU time: 3212.89 s
Current children cumulated vsize: 478472 KiB
Current children cumulated memory: 449836 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.28 4.24 5/249 41276
/proc/meminfo: memFree=127309228/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=479636 memory=450604 CPUtime=3272.74 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58972 0 0 0 325558 1716 0 0 20 0 1 0 47303525 491147264 112651 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119909 112651 1312 243 0 116158 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 479636 KiB
Current children cumulated memory: 450604 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.24 4.23 5/249 41278
/proc/meminfo: memFree=127284788/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=479636 memory=450604 CPUtime=3332.58 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58972 0 0 0 331523 1735 0 0 20 0 1 0 47303525 491147264 112651 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119909 112651 1312 243 0 116158 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 479636 KiB
Current children cumulated memory: 450604 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.21 4.22 5/249 41280
/proc/meminfo: memFree=127255428/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=479636 memory=450604 CPUtime=3392.42 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58972 0 0 0 337498 1744 0 0 20 0 1 0 47303525 491147264 112651 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119909 112651 1312 243 0 116158 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 479636 KiB
Current children cumulated memory: 450604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.19 4.21 5/249 41282
/proc/meminfo: memFree=127256376/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=479636 memory=450604 CPUtime=3452.26 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58972 0 0 0 343473 1753 0 0 20 0 1 0 47303525 491147264 112651 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119909 112651 1312 243 0 116158 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 479636 KiB
Current children cumulated memory: 450604 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.16 4.20 5/249 41284
/proc/meminfo: memFree=127255208/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=479636 memory=450604 CPUtime=3512.11 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58973 0 0 0 349442 1769 0 0 20 0 1 0 47303525 491147264 112651 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119909 112651 1312 243 0 116158 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 479636 KiB
Current children cumulated memory: 450604 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.15 4.19 5/250 41289
/proc/meminfo: memFree=127256412/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=479636 memory=450604 CPUtime=3571.95 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58973 0 0 0 355413 1782 0 0 20 0 1 0 47303525 491147264 112651 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119909 112651 1312 243 0 116158 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 479636 KiB
Current children cumulated memory: 450604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.11 4.15 4.18 5/252 41520
/proc/meminfo: memFree=129740152/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=479636 memory=450604 CPUtime=3600.08 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58973 0 0 0 358222 1786 0 0 20 0 1 0 47303525 491147264 112651 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119909 112651 1312 243 0 116158 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 479636 KiB
Current children cumulated memory: 450604 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3582.23 s, system=17.8633 s

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

[startup+3610.5 s]
/proc/loadavg: 4.11 4.15 4.18 5/252 41520
/proc/meminfo: memFree=129740152/131382120 swapFree=33010160/33010684
[pid=41100] ppid=41097 vsize=479636 memory=450604 CPUtime=3600.08 cores=0,2
/proc/41100/stat : 41100 (pb-oll-rs) R 41097 41100 40708 0 -1 4194304 58973 0 0 0 358222 1786 0 0 20 0 1 0 47303525 491147264 112651 18446744073709551615 4218880 5211445 140731528215984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14491648 140731528223132 140731528223209 140731528223209 140731528228811 0
/proc/41100/statm: 119909 112651 1312 243 0 116158 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 479636 KiB
Current children cumulated memory: 450604 KiB

Child status: 0

Real time (s): 3610.51
CPU time (s): 3600.09
CPU user time (s): 3582.23
CPU system time (s): 17.8633
CPU usage (%): 99.7115
Max. virtual memory (cumulated for all children) (KiB): 479636
Max. memory (cumulated for all children) (KiB): 450604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.23
system time used= 17.8633
maximum resident set size= 450860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58989
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182
involuntary context switches= 8034


# summary of solver processes directly reported to runsolver:
#   pid: 41100
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3582.23
#   total CPU system time (s): 17.8633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0886 second user time and 37.1484 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-30 22:44:04
IDJOB=4486144
IDBENCH=146985
IDSOLVER=3345
FILE ID=nodeC008/4486144-1751316244
RUNJOBID= nodeC008-1751316235-40718
SLURM_JOB_ID= 9594335
Free space on /tmp= 433036 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486144-1751316244/watcher-4486144-1751316244 -o /tmp/evaluation-result-4486144-1751316244/solver-4486144-1751316244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40718 --watchdog 3760  pb-oll-rs HOME/instance-4486144-1751316244.opb

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

MD5SUM BENCH= 68d3283fc4d6e87aa4e5381bdb1e8107
RANDOM SEED=158501682

nodeC008 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	: 0xb00001f
cpu MHz		: 1197.404
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 3491.867
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.717
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 3491.868
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 3662.226
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.292
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.478
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130017012 kB
MemAvailable:   129749508 kB
Buffers:            2144 kB
Cached:           542752 kB
SwapCached:           16 kB
Active:           487468 kB
Inactive:         325444 kB
Active(anon):     249288 kB
Inactive(anon):    36648 kB
Active(file):     238180 kB
Inactive(file):   288796 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26728 kB
Writeback:            16 kB
AnonPages:        269008 kB
Mapped:           107076 kB
Shmem:             17920 kB
KReclaimable:      90292 kB
Slab:             172364 kB
SReclaimable:      90292 kB
SUnreclaim:        82072 kB
KernelStack:        4076 kB
PageTables:         3588 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     613592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC008 at 2025-06-30 23:44:15