Trace number 4462256

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-07-02SAT (TO)-6785 3600.06 3609.42

DiagnosticValue
AM1LB54610
LOWERBOUND-378663
NAM1S315
NCORES41
NEXHAUSTED1
NPBCORES2
NPBREFORM29
NTRIMMED12

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_300_003.opb
MD5SUM6634d700c28eee8c31f86d7271d2b866
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7399
Best CPU time to get the best result obtained on this benchmark0.026473
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4153
Total number of constraints178
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)169
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint1069
Number of terms in the objective function 4152
Biggest coefficient in the objective function 260
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 438559
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 260
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 438559
Number of bits of the biggest sum of numbers19
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 4153 #constraints 178
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -438559 @ 0.005541
0.00/0.01	c stratification level: 239
0.00/0.01	c bounds -1481 >= -437115 @ 0.008286
0.00/0.01	c stratification level: 238
0.00/0.01	c bounds -1593 >= -436877 @ 0.008388
0.00/0.01	c stratification level: 237
0.00/0.01	c bounds -1830 >= -436877 @ 0.008706
0.00/0.01	c stratification level: 236
0.00/0.02	c bounds -1963 >= -436169 @ 0.009621
0.00/0.02	c stratification level: 233
0.00/0.02	c bounds -1965 >= -435470 @ 0.014628
0.00/0.02	c stratification level: 229
0.00/0.03	c bounds -2288 >= -434322 @ 0.015279
0.00/0.03	c stratification level: 228
0.00/0.03	c bounds -2510 >= -434322 @ 0.016873
0.00/0.03	c stratification level: 227
0.00/0.04	c bounds -2510 >= -433868 @ 0.017713
0.00/0.04	c finalizing WCE round: reformulating cores
0.00/0.05	c bounds -2757 >= -433868 @ 0.028285
0.00/0.05	c bounds -2922 >= -433868 @ 0.029571
0.00/0.05	c stratification level: 226
0.00/0.05	c bounds -2983 >= -433174 @ 0.031489
0.00/0.05	c stratification level: 225
0.00/0.05	c bounds -2995 >= -432724 @ 0.033368
0.00/0.05	c stratification level: 224
0.00/0.05	c bounds -3210 >= -432276 @ 0.035814
0.00/0.05	c stratification level: 223
0.00/0.06	c bounds -3369 >= -431815 @ 0.037626
0.00/0.06	c stratification level: 222
0.00/0.06	c bounds -3587 >= -431589 @ 0.039193
0.00/0.06	c stratification level: 221
0.00/0.06	c bounds -3587 >= -430910 @ 0.040126
0.00/0.06	c finalizing WCE round: reformulating cores
0.00/0.07	c bounds -3817 >= -430910 @ 0.043309
0.00/0.07	c bounds -3918 >= -430910 @ 0.045916
0.00/0.07	c stratification level: 220
0.00/0.08	c bounds -3918 >= -430442 @ 0.046668
0.00/0.08	c finalizing WCE round: reformulating cores
0.00/0.09	c bounds -4022 >= -430442 @ 0.055739
0.00/0.09	c bounds -4053 >= -430442 @ 0.057453
0.00/0.09	c stratification level: 219
0.00/0.09	c bounds -4136 >= -429794 @ 0.065054
0.00/0.09	c stratification level: 218
0.00/0.10	c bounds -4176 >= -429337 @ 0.066813
0.00/0.10	c stratification level: 217
0.09/0.10	c bounds -4176 >= -428243 @ 0.067844
0.09/0.10	c finalizing WCE round: reformulating cores
0.09/0.11	c bounds -4356 >= -428243 @ 0.072693
0.09/0.11	c bounds -4389 >= -428243 @ 0.074395
0.09/0.11	c stratification level: 216
0.09/0.11	c bounds -4489 >= -427819 @ 0.075221
0.09/0.11	c stratification level: 215
0.09/0.12	c bounds -4569 >= -427389 @ 0.087658
0.09/0.12	c stratification level: 214
0.09/0.13	c bounds -4577 >= -426981 @ 0.090603
0.09/0.13	c stratification level: 213
0.09/0.18	c bounds -4577 >= -425695 @ 0.092047
0.09/0.18	c finalizing WCE round: reformulating cores
0.20/0.23	c bounds -4641 >= -425695 @ 0.181835
0.20/0.23	c bounds -4666 >= -425695 @ 0.18526
0.20/0.23	c stratification level: 212
0.20/0.24	c bounds -4668 >= -425059 @ 0.199514
0.20/0.24	c stratification level: 210
0.20/0.26	c bounds -4668 >= -424004 @ 0.200968
0.20/0.26	c finalizing WCE round: reformulating cores
0.30/0.31	c bounds -4711 >= -424004 @ 0.255917
0.30/0.31	c bounds -4991 >= -424004 @ 0.257876
0.30/0.31	c stratification level: 209
0.30/0.33	c bounds -4991 >= -423774 @ 0.258939
0.30/0.33	c finalizing WCE round: reformulating cores
0.30/0.34	c bounds -5092 >= -423774 @ 0.285271
0.30/0.34	c bounds -5100 >= -423774 @ 0.286463
0.30/0.34	c stratification level: 208
0.40/0.46	c bounds -5100 >= -422728 @ 0.287027
0.40/0.46	c bounds -5100 >= -422520 @ 0.288723
0.40/0.46	c finalizing WCE round: reformulating cores
0.40/0.47	c bounds -5362 >= -422520 @ 0.404918
0.40/0.47	c bounds -5371 >= -422520 @ 0.407518
0.40/0.47	c stratification level: 207
0.59/0.65	c bounds -5371 >= -421910 @ 0.409024
0.59/0.65	c finalizing WCE round: reformulating cores
0.59/0.68	c bounds -5435 >= -421910 @ 0.609038
0.59/0.68	c bounds -5436 >= -421910 @ 0.616729
0.59/0.68	c stratification level: 206
0.59/0.69	c bounds -5451 >= -421066 @ 0.62219
0.59/0.69	c stratification level: 205
0.69/0.71	c bounds -5451 >= -420034 @ 0.625555
0.69/0.71	c finalizing WCE round: reformulating cores
0.69/0.73	c bounds -5461 >= -420034 @ 0.643018
0.69/0.73	c bounds -5501 >= -420034 @ 0.650315
0.69/0.73	c stratification level: 204
0.69/0.77	c bounds -5536 >= -419413 @ 0.69455
0.69/0.77	c stratification level: 203
0.69/0.78	c bounds -5575 >= -419007 @ 0.697464
0.69/0.78	c stratification level: 202
0.79/0.87	c bounds -5575 >= -418805 @ 0.698094
0.79/0.87	c finalizing WCE round: reformulating cores
0.89/0.90	c bounds -5640 >= -418805 @ 0.805127
0.89/0.90	c bounds -5670 >= -418805 @ 0.80884
0.89/0.90	c stratification level: 201
0.89/0.92	c bounds -5698 >= -418187 @ 0.830923
0.89/0.92	c stratification level: 200
0.89/0.94	c bounds -5698 >= -417384 @ 0.832056
0.89/0.94	c finalizing WCE round: reformulating cores
0.89/0.95	c bounds -5747 >= -417384 @ 0.848298
0.89/0.95	c bounds -5805 >= -417384 @ 0.853773
0.89/0.95	c stratification level: 199
1.00/1.00	c bounds -5805 >= -416371 @ 0.855148
1.00/1.00	c finalizing WCE round: reformulating cores
1.19/1.25	c bounds -5818 >= -416371 @ 1.02891
1.19/1.25	c bounds -5826 >= -416371 @ 1.14879
1.19/1.25	c stratification level: 198
1.49/1.54	c bounds -5835 >= -415768 @ 1.42769
1.49/1.54	c stratification level: 197
1.59/1.61	c bounds -5852 >= -414586 @ 1.49748
1.59/1.61	c stratification level: 196
1.59/1.68	c bounds -5885 >= -414190 @ 1.56808
1.59/1.68	c stratification level: 195
1.88/1.94	c bounds -5885 >= -412625 @ 1.56918
1.88/1.94	c #Conflicts:       1000 | #Constraints:       1421
1.88/1.94	c finalizing WCE round: reformulating cores
3.48/3.59	c bounds -5889 >= -412625 @ 3.42735
3.48/3.59	c bounds -5893 >= -412625 @ 3.44631
3.48/3.59	c stratification level: 194
4.18/4.26	c bounds -5893 >= -411446 @ 3.4486
4.18/4.26	c bounds -5893 >= -411252 @ 3.44993
4.18/4.26	c #Conflicts:       2000 | #Constraints:       2436
4.18/4.26	c INPROCESSING
4.18/4.26	c GARBAGE COLLECT
4.18/4.26	c finalizing WCE round: reformulating cores
8.97/9.02	c #Conflicts:       3000 | #Constraints:       2365
8.97/9.02	c bounds -5908 >= -411252 @ 7.2842
8.97/9.02	c #Conflicts:       4000 | #Constraints:       3365
8.97/9.02	c INPROCESSING
8.97/9.02	c GARBAGE COLLECT
8.97/9.02	c bounds -5943 >= -411252 @ 8.80017
8.97/9.02	c stratification level: 193
10.37/10.43	c bounds -5943 >= -410858 @ 8.80289
10.37/10.43	c #Conflicts:       5000 | #Constraints:       2780
10.37/10.43	c finalizing WCE round: reformulating cores
16.06/16.12	c bounds -6021 >= -410858 @ 11.7542
16.06/16.12	c #Conflicts:       6000 | #Constraints:       3783
16.06/16.12	c INPROCESSING
16.06/16.12	c GARBAGE COLLECT
16.06/16.12	c #Conflicts:       7000 | #Constraints:       2785
16.06/16.12	c bounds -6024 >= -410858 @ 15.844
16.06/16.12	c stratification level: 192
20.34/20.43	c bounds -6024 >= -409551 @ 15.8513
20.34/20.43	c #Conflicts:       8000 | #Constraints:       3792
20.34/20.43	c finalizing WCE round: reformulating cores
20.64/20.75	c bounds -6094 >= -409551 @ 20.1327
20.64/20.75	c bounds -6109 >= -409551 @ 20.4322
20.64/20.75	c stratification level: 191
29.62/29.77	c #Conflicts:       9000 | #Constraints:       4801
29.62/29.77	c INPROCESSING
29.62/29.77	c GARBAGE COLLECT
29.62/29.77	c #Conflicts:      10000 | #Constraints:       3503
29.62/29.77	c bounds -6130 >= -408587 @ 29.3747
29.62/29.77	c stratification level: 190
30.41/30.58	c bounds -6130 >= -407259 @ 29.4144
30.41/30.58	c #Conflicts:      11000 | #Constraints:       4510
30.41/30.58	c finalizing WCE round: reformulating cores
30.51/30.66	c bounds -6151 >= -407259 @ 30.2122
30.51/30.66	c bounds -6154 >= -407259 @ 30.251
30.51/30.66	c stratification level: 189
33.20/33.34	c bounds -6154 >= -406124 @ 30.2946
33.20/33.34	c finalizing WCE round: reformulating cores
34.01/34.15	c #Conflicts:      12000 | #Constraints:       5526
34.01/34.15	c INPROCESSING
34.01/34.15	c GARBAGE COLLECT
34.01/34.15	c bounds -6253 >= -406124 @ 33.6634
34.01/34.15	c bounds -6292 >= -406124 @ 33.7097
34.01/34.15	c stratification level: 188
42.28/42.40	c bounds -6292 >= -405181 @ 33.7363
42.28/42.40	c #Conflicts:      13000 | #Constraints:       3969
42.28/42.40	c #Conflicts:      14000 | #Constraints:       4969
42.28/42.40	c finalizing WCE round: reformulating cores
42.58/42.75	c #Conflicts:      15000 | #Constraints:       5972
42.58/42.75	c INPROCESSING
42.58/42.75	c GARBAGE COLLECT
42.58/42.75	c bounds -6328 >= -405181 @ 42.1998
42.58/42.75	c bounds -6472 >= -405181 @ 42.2413
42.58/42.75	c stratification level: 187
67.51/67.77	c #Conflicts:      16000 | #Constraints:       4195
67.51/67.77	c #Conflicts:      17000 | #Constraints:       5195
67.51/67.77	c #Conflicts:      18000 | #Constraints:       6195
67.51/67.77	c INPROCESSING
67.51/67.77	c GARBAGE COLLECT
67.51/67.77	c #Conflicts:      19000 | #Constraints:       4217
67.51/67.77	c #Conflicts:      20000 | #Constraints:       5217
67.51/67.77	c #Conflicts:      21000 | #Constraints:       6217
67.51/67.77	c INPROCESSING
67.51/67.77	c GARBAGE COLLECT
67.51/67.77	c #Conflicts:      22000 | #Constraints:       4026
67.51/67.77	c #Conflicts:      23000 | #Constraints:       5026
67.51/67.77	c #Conflicts:      24000 | #Constraints:       6026
67.51/67.77	c bounds -6474 >= -403498 @ 67.099
67.51/67.77	c stratification level: 186
68.41/68.65	c bounds -6479 >= -402196 @ 67.9702
68.41/68.65	c stratification level: 185
72.70/73.00	c bounds -6479 >= -401449 @ 68.1023
72.70/73.00	c #Conflicts:      25000 | #Constraints:       7046
72.70/73.00	c INPROCESSING
72.70/73.00	c GARBAGE COLLECT
72.70/73.00	c finalizing WCE round: reformulating cores
82.17/82.47	c #Conflicts:      26000 | #Constraints:       4657
82.17/82.47	c bounds -6491 >= -401449 @ 74.2991
82.17/82.47	c #Conflicts:      27000 | #Constraints:       5657
82.17/82.47	c #Conflicts:      28000 | #Constraints:       6657
82.17/82.47	c bounds -6492 >= -401449 @ 81.6792
82.17/82.47	c stratification level: 184
83.07/83.36	c bounds -6492 >= -400157 @ 82.0542
83.07/83.36	c finalizing WCE round: reformulating cores
95.63/95.98	c #Conflicts:      29000 | #Constraints:       7670
95.63/95.98	c INPROCESSING
95.63/95.98	c GARBAGE COLLECT
95.63/95.98	c bounds -6561 >= -400157 @ 86.2151
95.63/95.98	c #Conflicts:      30000 | #Constraints:       5063
95.63/95.98	c #Conflicts:      31000 | #Constraints:       6063
95.63/95.98	c #Conflicts:      32000 | #Constraints:       7063
95.63/95.98	c bounds -6571 >= -400157 @ 95.1049
95.63/95.98	c stratification level: 183
134.93/135.37	c bounds -6571 >= -398681 @ 95.4168
134.93/135.37	c #Conflicts:      33000 | #Constraints:       8074
134.93/135.37	c INPROCESSING
134.93/135.37	c GARBAGE COLLECT
134.93/135.37	c #Conflicts:      34000 | #Constraints:       5275
134.93/135.37	c #Conflicts:      35000 | #Constraints:       6275
134.93/135.37	c #Conflicts:      36000 | #Constraints:       7275
134.93/135.37	c #Conflicts:      37000 | #Constraints:       8275
134.93/135.37	c INPROCESSING
134.93/135.37	c GARBAGE COLLECT
134.93/135.37	c #Conflicts:      38000 | #Constraints:       5297
134.93/135.37	c #Conflicts:      39000 | #Constraints:       6297
134.93/135.37	c #Conflicts:      40000 | #Constraints:       7297
134.93/135.37	c #Conflicts:      41000 | #Constraints:       8297
134.93/135.37	c finalizing WCE round: reformulating cores
161.16/161.62	c INPROCESSING
161.16/161.62	c GARBAGE COLLECT
161.16/161.62	c #Conflicts:      42000 | #Constraints:       5089
161.16/161.62	c bounds -6585 >= -398681 @ 140.491
161.16/161.62	c #Conflicts:      43000 | #Constraints:       6092
161.16/161.62	c #Conflicts:      44000 | #Constraints:       7092
161.16/161.62	c #Conflicts:      45000 | #Constraints:       8092
161.16/161.62	c bounds -6593 >= -398681 @ 160.262
161.16/161.62	c stratification level: 182
242.93/243.69	c bounds -6593 >= -397215 @ 160.892
242.93/243.69	c #Conflicts:      46000 | #Constraints:       9106
242.93/243.69	c INPROCESSING
242.93/243.69	c GARBAGE COLLECT
242.93/243.69	c #Conflicts:      47000 | #Constraints:       5705
242.93/243.69	c #Conflicts:      48000 | #Constraints:       6705
242.93/243.69	c #Conflicts:      49000 | #Constraints:       7705
242.93/243.69	c #Conflicts:      50000 | #Constraints:       8705
242.93/243.69	c #Conflicts:      51000 | #Constraints:       9705
242.93/243.69	c INPROCESSING
242.93/243.69	c GARBAGE COLLECT
242.93/243.69	c #Conflicts:      52000 | #Constraints:       6112
242.93/243.69	c #Conflicts:      53000 | #Constraints:       7112
242.93/243.69	c #Conflicts:      54000 | #Constraints:       8112
242.93/243.69	c #Conflicts:      55000 | #Constraints:       9112
242.93/243.69	c #Conflicts:      56000 | #Constraints:      10112
242.93/243.69	c INPROCESSING
242.93/243.69	c GARBAGE COLLECT
242.93/243.69	c #Conflicts:      57000 | #Constraints:       6305
242.93/243.69	c #Conflicts:      58000 | #Constraints:       7305
242.93/243.69	c #Conflicts:      59000 | #Constraints:       8305
242.93/243.69	c #Conflicts:      60000 | #Constraints:       9305
242.93/243.69	c #Conflicts:      61000 | #Constraints:      10305
242.93/243.69	c INPROCESSING
242.93/243.69	c GARBAGE COLLECT
242.93/243.69	c finalizing WCE round: reformulating cores
296.99/297.80	c bounds -6625 >= -397215 @ 244.708
296.99/297.80	c #Conflicts:      62000 | #Constraints:       6319
296.99/297.80	c #Conflicts:      63000 | #Constraints:       7319
296.99/297.80	c #Conflicts:      64000 | #Constraints:       8319
296.99/297.80	c #Conflicts:      65000 | #Constraints:       9319
296.99/297.80	c #Conflicts:      66000 | #Constraints:      10319
296.99/297.80	c INPROCESSING
296.99/297.80	c GARBAGE COLLECT
296.99/297.80	c #Conflicts:      67000 | #Constraints:       6116
296.99/297.80	c #Conflicts:      68000 | #Constraints:       7116
296.99/297.80	c bounds -6630 >= -397215 @ 295.739
296.99/297.80	c stratification level: 181
346.55/347.51	c bounds -6630 >= -395761 @ 296.257
346.55/347.51	c #Conflicts:      69000 | #Constraints:       8128
346.55/347.51	c #Conflicts:      70000 | #Constraints:       9128
346.55/347.51	c #Conflicts:      71000 | #Constraints:      10128
346.55/347.51	c #Conflicts:      72000 | #Constraints:      11128
346.55/347.51	c INPROCESSING
346.55/347.51	c GARBAGE COLLECT
346.55/347.51	c #Conflicts:      73000 | #Constraints:       6723
346.55/347.51	c #Conflicts:      74000 | #Constraints:       7723
346.55/347.51	c #Conflicts:      75000 | #Constraints:       8723
346.55/347.51	c #Conflicts:      76000 | #Constraints:       9723
346.55/347.51	c finalizing WCE round: reformulating cores
389.64/390.73	c bounds -6636 >= -395761 @ 349.882
389.64/390.73	c #Conflicts:      77000 | #Constraints:      10726
389.64/390.73	c #Conflicts:      78000 | #Constraints:      11726
389.64/390.73	c INPROCESSING
389.64/390.73	c GARBAGE COLLECT
389.64/390.73	c #Conflicts:      79000 | #Constraints:       7129
389.64/390.73	c #Conflicts:      80000 | #Constraints:       8129
389.64/390.73	c #Conflicts:      81000 | #Constraints:       9129
389.64/390.73	c #Conflicts:      82000 | #Constraints:      10129
389.64/390.73	c bounds -6648 >= -395761 @ 388.165
389.64/390.73	c stratification level: 180
397.21/398.38	c bounds -6648 >= -395029 @ 388.471
397.21/398.38	c #Conflicts:      83000 | #Constraints:      11136
397.21/398.38	c finalizing WCE round: reformulating cores
405.39/406.53	c bounds -6652 >= -395029 @ 396.76
405.39/406.53	c #Conflicts:      84000 | #Constraints:      12140
405.39/406.53	c INPROCESSING
405.39/406.53	c GARBAGE COLLECT
405.39/406.53	c bounds -6655 >= -395029 @ 403.869
405.39/406.53	c stratification level: 179
406.49/407.63	c bounds -6661 >= -393597 @ 404.964
406.49/407.63	c stratification level: 178
453.45/454.74	c bounds -6661 >= -392871 @ 405.127
453.45/454.74	c #Conflicts:      85000 | #Constraints:       7355
453.45/454.74	c #Conflicts:      86000 | #Constraints:       8355
453.45/454.74	c #Conflicts:      87000 | #Constraints:       9355
453.45/454.74	c #Conflicts:      88000 | #Constraints:      10355
453.45/454.74	c #Conflicts:      89000 | #Constraints:      11355
453.45/454.74	c #Conflicts:      90000 | #Constraints:      12355
453.45/454.74	c INPROCESSING
453.45/454.74	c GARBAGE COLLECT
453.45/454.74	c #Conflicts:      91000 | #Constraints:       7361
453.45/454.74	c #Conflicts:      92000 | #Constraints:       8361
453.45/454.74	c finalizing WCE round: reformulating cores
524.56/526.10	c #Conflicts:      93000 | #Constraints:       9364
524.56/526.10	c bounds -6667 >= -392871 @ 455.191
524.56/526.10	c #Conflicts:      94000 | #Constraints:      10364
524.56/526.10	c #Conflicts:      95000 | #Constraints:      11364
524.56/526.10	c #Conflicts:      96000 | #Constraints:      12364
524.56/526.10	c INPROCESSING
524.56/526.10	c GARBAGE COLLECT
524.56/526.10	c #Conflicts:      97000 | #Constraints:       7168
524.56/526.10	c #Conflicts:      98000 | #Constraints:       8168
524.56/526.10	c #Conflicts:      99000 | #Constraints:       9168
524.56/526.10	c #Conflicts:     100000 | #Constraints:      10168
524.56/526.10	c #Conflicts:     101000 | #Constraints:      11168
524.56/526.10	c #Conflicts:     102000 | #Constraints:      12168
524.56/526.10	c #Conflicts:     103000 | #Constraints:      13168
524.56/526.10	c bounds -6670 >= -392871 @ 522.883
524.56/526.10	c stratification level: 177
577.71/579.33	c bounds -6670 >= -391231 @ 523.658
577.71/579.33	c bounds -6670 >= -391054 @ 524.187
577.71/579.33	c INPROCESSING
577.71/579.33	c GARBAGE COLLECT
577.71/579.33	c #Conflicts:     104000 | #Constraints:       7765
577.71/579.33	c #Conflicts:     105000 | #Constraints:       8765
577.71/579.33	c #Conflicts:     106000 | #Constraints:       9765
577.71/579.33	c #Conflicts:     107000 | #Constraints:      10765
577.71/579.33	c #Conflicts:     108000 | #Constraints:      11765
577.71/579.33	c #Conflicts:     109000 | #Constraints:      12765
577.71/579.33	c #Conflicts:     110000 | #Constraints:      13765
577.71/579.33	c INPROCESSING
577.71/579.33	c GARBAGE COLLECT
577.71/579.33	c #Conflicts:     111000 | #Constraints:       8185
577.71/579.33	c #Conflicts:     112000 | #Constraints:       9185
577.71/579.33	c finalizing WCE round: reformulating cores
700.85/702.83	c #Conflicts:     113000 | #Constraints:      10188
700.85/702.83	c #Conflicts:     114000 | #Constraints:      11190
700.85/702.83	c bounds -6671 >= -391054 @ 587.408
700.85/702.83	c #Conflicts:     115000 | #Constraints:      12190
700.85/702.83	c #Conflicts:     116000 | #Constraints:      13190
700.85/702.83	c #Conflicts:     117000 | #Constraints:      14190
700.85/702.83	c INPROCESSING
700.85/702.83	c GARBAGE COLLECT
700.85/702.83	c #Conflicts:     118000 | #Constraints:       8375
700.85/702.83	c #Conflicts:     119000 | #Constraints:       9375
700.85/702.83	c #Conflicts:     120000 | #Constraints:      10375
700.85/702.83	c #Conflicts:     121000 | #Constraints:      11375
700.85/702.83	c #Conflicts:     122000 | #Constraints:      12375
700.85/702.83	c #Conflicts:     123000 | #Constraints:      13375
700.85/702.83	c #Conflicts:     124000 | #Constraints:      14375
700.85/702.83	c INPROCESSING
700.85/702.83	c GARBAGE COLLECT
700.85/702.83	c #Conflicts:     125000 | #Constraints:       8373
700.85/702.83	c #Conflicts:     126000 | #Constraints:       9373
700.85/702.83	c #Conflicts:     127000 | #Constraints:      10373
700.85/702.83	c #Conflicts:     128000 | #Constraints:      11373
700.85/702.83	c #Conflicts:     129000 | #Constraints:      12373
700.85/702.83	c #Conflicts:     130000 | #Constraints:      13373
700.85/702.83	c bounds -6679 >= -391054 @ 698.588
700.85/702.83	c stratification level: 176
713.61/715.63	c bounds -6679 >= -390337 @ 699.242
713.61/715.63	c #Conflicts:     131000 | #Constraints:      14384
713.61/715.63	c INPROCESSING
713.61/715.63	c GARBAGE COLLECT
713.61/715.63	c #Conflicts:     132000 | #Constraints:       8171
713.61/715.63	c finalizing WCE round: reformulating cores
722.58/724.61	c #Conflicts:     133000 | #Constraints:       9174
722.58/724.61	c bounds -6699 >= -390335 @ 717.219
722.58/724.61	c #Conflicts:     134000 | #Constraints:      10175
722.58/724.61	c bounds -6702 >= -390335 @ 720.241
722.58/724.61	c stratification level: 175
753.01/755.15	c bounds -6702 >= -389140 @ 720.666
753.01/755.15	c #Conflicts:     135000 | #Constraints:      11184
753.01/755.15	c #Conflicts:     136000 | #Constraints:      12184
753.01/755.15	c finalizing WCE round: reformulating cores
755.90/758.08	c bounds -6717 >= -389140 @ 752.903
755.90/758.08	c #Conflicts:     137000 | #Constraints:      13188
755.90/758.08	c bounds -6719 >= -389140 @ 753.561
755.90/758.08	c stratification level: 174
853.80/856.27	c bounds -6719 >= -387562 @ 754.325
853.80/856.27	c #Conflicts:     138000 | #Constraints:      14201
853.80/856.27	c #Conflicts:     139000 | #Constraints:      15201
853.80/856.27	c INPROCESSING
853.80/856.27	c GARBAGE COLLECT
853.80/856.27	c #Conflicts:     140000 | #Constraints:       8807
853.80/856.27	c #Conflicts:     141000 | #Constraints:       9807
853.80/856.27	c #Conflicts:     142000 | #Constraints:      10807
853.80/856.27	c #Conflicts:     143000 | #Constraints:      11807
853.80/856.27	c #Conflicts:     144000 | #Constraints:      12807
853.80/856.27	c #Conflicts:     145000 | #Constraints:      13807
853.80/856.27	c #Conflicts:     146000 | #Constraints:      14807
853.80/856.27	c #Conflicts:     147000 | #Constraints:      15807
853.80/856.27	c INPROCESSING
853.80/856.27	c GARBAGE COLLECT
853.80/856.27	c #Conflicts:     148000 | #Constraints:       9227
853.80/856.27	c #Conflicts:     149000 | #Constraints:      10227
853.80/856.27	c #Conflicts:     150000 | #Constraints:      11227
853.80/856.27	c finalizing WCE round: reformulating cores
875.33/877.85	c #Conflicts:     151000 | #Constraints:      12230
875.33/877.85	c bounds -6730 >= -387562 @ 856.892
875.33/877.85	c #Conflicts:     152000 | #Constraints:      13230
875.33/877.85	c #Conflicts:     153000 | #Constraints:      14230
875.33/877.85	c bounds -6740 >= -387562 @ 872.674
875.33/877.85	c stratification level: 173
1295.27/1298.83	c bounds -6740 >= -386010 @ 873.337
1295.27/1298.83	c #Conflicts:     154000 | #Constraints:      15243
1295.27/1298.83	c #Conflicts:     155000 | #Constraints:      16243
1295.27/1298.83	c INPROCESSING
1295.27/1298.83	c GARBAGE COLLECT
1295.27/1298.83	c #Conflicts:     156000 | #Constraints:       9431
1295.27/1298.83	c #Conflicts:     157000 | #Constraints:      10431
1295.27/1298.83	c #Conflicts:     158000 | #Constraints:      11431
1295.27/1298.83	c #Conflicts:     159000 | #Constraints:      12431
1295.27/1298.83	c #Conflicts:     160000 | #Constraints:      13431
1295.27/1298.83	c #Conflicts:     161000 | #Constraints:      14431
1295.27/1298.83	c #Conflicts:     162000 | #Constraints:      15431
1295.27/1298.83	c #Conflicts:     163000 | #Constraints:      16431
1295.27/1298.83	c INPROCESSING
1295.27/1298.83	c GARBAGE COLLECT
1295.27/1298.83	c #Conflicts:     164000 | #Constraints:       9426
1295.27/1298.83	c #Conflicts:     165000 | #Constraints:      10426
1295.27/1298.83	c #Conflicts:     166000 | #Constraints:      11426
1295.27/1298.83	c #Conflicts:     167000 | #Constraints:      12426
1295.27/1298.83	c #Conflicts:     168000 | #Constraints:      13426
1295.27/1298.83	c #Conflicts:     169000 | #Constraints:      14426
1295.27/1298.83	c #Conflicts:     170000 | #Constraints:      15426
1295.27/1298.83	c #Conflicts:     171000 | #Constraints:      16426
1295.27/1298.83	c INPROCESSING
1295.27/1298.83	c GARBAGE COLLECT
1295.27/1298.83	c #Conflicts:     172000 | #Constraints:       9218
1295.27/1298.83	c #Conflicts:     173000 | #Constraints:      10218
1295.27/1298.83	c #Conflicts:     174000 | #Constraints:      11218
1295.27/1298.83	c #Conflicts:     175000 | #Constraints:      12218
1295.27/1298.83	c #Conflicts:     176000 | #Constraints:      13218
1295.27/1298.83	c #Conflicts:     177000 | #Constraints:      14218
1295.27/1298.83	c #Conflicts:     178000 | #Constraints:      15218
1295.27/1298.83	c #Conflicts:     179000 | #Constraints:      16218
1295.27/1298.83	c #Conflicts:     180000 | #Constraints:      17218
1295.27/1298.83	c INPROCESSING
1295.27/1298.83	c GARBAGE COLLECT
1295.27/1298.83	c #Conflicts:     181000 | #Constraints:       9807
1295.27/1298.83	c #Conflicts:     182000 | #Constraints:      10807
1295.27/1298.83	c #Conflicts:     183000 | #Constraints:      11807
1295.27/1298.83	c #Conflicts:     184000 | #Constraints:      12807
1295.27/1298.83	c #Conflicts:     185000 | #Constraints:      13807
1295.27/1298.83	c #Conflicts:     186000 | #Constraints:      14807
1295.27/1298.83	c #Conflicts:     187000 | #Constraints:      15807
1295.27/1298.83	c #Conflicts:     188000 | #Constraints:      16807
1295.27/1298.83	c #Conflicts:     189000 | #Constraints:      17807
1295.27/1298.83	c INPROCESSING
1295.27/1298.83	c GARBAGE COLLECT
1295.27/1298.83	c #Conflicts:     190000 | #Constraints:      10212
1295.27/1298.83	c #Conflicts:     191000 | #Constraints:      11212
1295.27/1298.83	c #Conflicts:     192000 | #Constraints:      12212
1295.27/1298.83	c #Conflicts:     193000 | #Constraints:      13212
1295.27/1298.83	c #Conflicts:     194000 | #Constraints:      14212
1295.27/1298.83	c #Conflicts:     195000 | #Constraints:      15212
1295.27/1298.83	c #Conflicts:     196000 | #Constraints:      16212
1295.27/1298.83	c finalizing WCE round: reformulating cores
1356.42/1360.14	c #Conflicts:     197000 | #Constraints:      17215
1356.42/1360.14	c bounds -6742 >= -386010 @ 1296.34
1356.42/1360.14	c #Conflicts:     198000 | #Constraints:      18215
1356.42/1360.14	c INPROCESSING
1356.42/1360.14	c GARBAGE COLLECT
1356.42/1360.14	c #Conflicts:     199000 | #Constraints:      10416
1356.42/1360.14	c #Conflicts:     200000 | #Constraints:      11416
1356.42/1360.14	c #Conflicts:     201000 | #Constraints:      12416
1356.42/1360.14	c #Conflicts:     202000 | #Constraints:      13416
1356.42/1360.14	c #Conflicts:     203000 | #Constraints:      14416
1356.42/1360.14	c bounds -6744 >= -386010 @ 1353.09
1356.42/1360.14	c stratification level: 172
1369.78/1373.59	c bounds -6744 >= -385314 @ 1353.6
1369.78/1373.59	c #Conflicts:     204000 | #Constraints:      15424
1369.78/1373.59	c #Conflicts:     205000 | #Constraints:      16424
1369.78/1373.59	c finalizing WCE round: reformulating cores
1370.68/1374.44	c bounds -6750 >= -385314 @ 1366.85
1370.68/1374.44	c bounds -6754 >= -385314 @ 1367.34
1370.68/1374.44	c stratification level: 171
1470.53/1474.56	c bounds -6754 >= -383937 @ 1368.42
1470.53/1474.56	c #Conflicts:     206000 | #Constraints:      17439
1470.53/1474.56	c #Conflicts:     207000 | #Constraints:      18439
1470.53/1474.56	c INPROCESSING
1470.53/1474.56	c GARBAGE COLLECT
1470.53/1474.56	c #Conflicts:     208000 | #Constraints:      10433
1470.53/1474.56	c #Conflicts:     209000 | #Constraints:      11433
1470.53/1474.56	c #Conflicts:     210000 | #Constraints:      12433
1470.53/1474.56	c #Conflicts:     211000 | #Constraints:      13433
1470.53/1474.56	c #Conflicts:     212000 | #Constraints:      14433
1470.53/1474.56	c #Conflicts:     213000 | #Constraints:      15433
1470.53/1474.56	c #Conflicts:     214000 | #Constraints:      16433
1470.53/1474.56	c #Conflicts:     215000 | #Constraints:      17433
1470.53/1474.56	c #Conflicts:     216000 | #Constraints:      18433
1470.53/1474.56	c bounds -6754 >= -383766 @ 1464.95
1470.53/1474.56	c finalizing WCE round: reformulating cores
1567.78/1572.08	c INPROCESSING
1567.78/1572.08	c GARBAGE COLLECT
1567.78/1572.08	c bounds -6767 >= -383937 @ 1532.86
1567.78/1572.08	c #Conflicts:     217000 | #Constraints:      10259
1567.78/1572.08	c #Conflicts:     218000 | #Constraints:      11261
1567.78/1572.08	c bounds -6767 >= -383765 @ 1553.96
1567.78/1572.08	c #Conflicts:     219000 | #Constraints:      12261
1567.78/1572.08	c bounds -6768 >= -383765 @ 1564.19
1567.78/1572.08	c stratification level: 170
1947.91/1953.18	c bounds -6768 >= -382065 @ 1564.72
1947.91/1953.18	c #Conflicts:     220000 | #Constraints:      13275
1947.91/1953.18	c #Conflicts:     221000 | #Constraints:      14275
1947.91/1953.18	c #Conflicts:     222000 | #Constraints:      15275
1947.91/1953.18	c #Conflicts:     223000 | #Constraints:      16275
1947.91/1953.18	c #Conflicts:     224000 | #Constraints:      17275
1947.91/1953.18	c #Conflicts:     225000 | #Constraints:      18275
1947.91/1953.18	c #Conflicts:     226000 | #Constraints:      19275
1947.91/1953.18	c INPROCESSING
1947.91/1953.18	c GARBAGE COLLECT
1947.91/1953.18	c #Conflicts:     227000 | #Constraints:      10870
1947.91/1953.18	c #Conflicts:     228000 | #Constraints:      11870
1947.91/1953.18	c #Conflicts:     229000 | #Constraints:      12870
1947.91/1953.18	c #Conflicts:     230000 | #Constraints:      13870
1947.91/1953.18	c #Conflicts:     231000 | #Constraints:      14870
1947.91/1953.18	c #Conflicts:     232000 | #Constraints:      15870
1947.91/1953.18	c #Conflicts:     233000 | #Constraints:      16870
1947.91/1953.18	c #Conflicts:     234000 | #Constraints:      17870
1947.91/1953.18	c #Conflicts:     235000 | #Constraints:      18870
1947.91/1953.18	c #Conflicts:     236000 | #Constraints:      19870
1947.91/1953.18	c INPROCESSING
1947.91/1953.18	c GARBAGE COLLECT
1947.91/1953.18	c #Conflicts:     237000 | #Constraints:      11249
1947.91/1953.18	c #Conflicts:     238000 | #Constraints:      12249
1947.91/1953.18	c #Conflicts:     239000 | #Constraints:      13249
1947.91/1953.18	c #Conflicts:     240000 | #Constraints:      14249
1947.91/1953.18	c #Conflicts:     241000 | #Constraints:      15249
1947.91/1953.18	c #Conflicts:     242000 | #Constraints:      16249
1947.91/1953.18	c #Conflicts:     243000 | #Constraints:      17249
1947.91/1953.18	c #Conflicts:     244000 | #Constraints:      18249
1947.91/1953.18	c #Conflicts:     245000 | #Constraints:      19249
1947.91/1953.18	c #Conflicts:     246000 | #Constraints:      20249
1947.91/1953.18	c INPROCESSING
1947.91/1953.18	c GARBAGE COLLECT
1947.91/1953.18	c #Conflicts:     247000 | #Constraints:      11469
1947.91/1953.18	c #Conflicts:     248000 | #Constraints:      12469
1947.91/1953.18	c finalizing WCE round: reformulating cores
2188.10/2193.95	c #Conflicts:     249000 | #Constraints:      13472
2188.10/2193.95	c bounds -6775 >= -382065 @ 1954.24
2188.10/2193.95	c #Conflicts:     250000 | #Constraints:      14472
2188.10/2193.95	c #Conflicts:     251000 | #Constraints:      15472
2188.10/2193.95	c #Conflicts:     252000 | #Constraints:      16472
2188.10/2193.95	c #Conflicts:     253000 | #Constraints:      17472
2188.10/2193.95	c #Conflicts:     254000 | #Constraints:      18472
2188.10/2193.95	c #Conflicts:     255000 | #Constraints:      19472
2188.10/2193.95	c #Conflicts:     256000 | #Constraints:      20472
2188.10/2193.95	c INPROCESSING
2188.10/2193.95	c GARBAGE COLLECT
2188.10/2193.95	c #Conflicts:     257000 | #Constraints:      11457
2188.10/2193.95	c #Conflicts:     258000 | #Constraints:      12457
2188.10/2193.95	c #Conflicts:     259000 | #Constraints:      13457
2188.10/2193.95	c #Conflicts:     260000 | #Constraints:      14457
2188.10/2193.95	c #Conflicts:     261000 | #Constraints:      15457
2188.10/2193.95	c #Conflicts:     262000 | #Constraints:      16457
2188.10/2193.95	c #Conflicts:     263000 | #Constraints:      17457
2188.10/2193.95	c bounds -6777 >= -382065 @ 2183.78
2188.10/2193.95	c stratification level: 169
2194.58/2200.46	c bounds -6777 >= -379857 @ 2184.41
2194.58/2200.46	c #Conflicts:     264000 | #Constraints:      18470
2194.58/2200.46	c finalizing WCE round: reformulating cores
2519.86/2526.55	c bounds -6779 >= -379857 @ 2199.63
2519.86/2526.55	c #Conflicts:     265000 | #Constraints:      19473
2519.86/2526.55	c #Conflicts:     266000 | #Constraints:      20473
2519.86/2526.55	c INPROCESSING
2519.86/2526.55	c GARBAGE COLLECT
2519.86/2526.55	c #Conflicts:     267000 | #Constraints:      11265
2519.86/2526.55	c #Conflicts:     268000 | #Constraints:      12265
2519.86/2526.55	c #Conflicts:     269000 | #Constraints:      13265
2519.86/2526.55	c #Conflicts:     270000 | #Constraints:      14265
2519.86/2526.55	c #Conflicts:     271000 | #Constraints:      15265
2519.86/2526.55	c #Conflicts:     272000 | #Constraints:      16265
2519.86/2526.55	c #Conflicts:     273000 | #Constraints:      17265
2519.86/2526.55	c #Conflicts:     274000 | #Constraints:      18265
2519.86/2526.55	c #Conflicts:     275000 | #Constraints:      19265
2519.86/2526.55	c #Conflicts:     276000 | #Constraints:      20265
2519.86/2526.55	c #Conflicts:     277000 | #Constraints:      21265
2519.86/2526.55	c INPROCESSING
2519.86/2526.55	c GARBAGE COLLECT
2519.86/2526.55	c #Conflicts:     278000 | #Constraints:      11874
2519.86/2526.55	c #Conflicts:     279000 | #Constraints:      12874
2519.86/2526.55	c #Conflicts:     280000 | #Constraints:      13874
2519.86/2526.55	c #Conflicts:     281000 | #Constraints:      14874
2519.86/2526.55	c #Conflicts:     282000 | #Constraints:      15874
2519.86/2526.55	c #Conflicts:     283000 | #Constraints:      16874
2519.86/2526.55	c bounds -6784 >= -379857 @ 2515.15
2519.86/2526.55	c stratification level: 168
3501.69/3510.83	c bounds -6784 >= -378663 @ 2515.93
3501.69/3510.83	c #Conflicts:     284000 | #Constraints:      17885
3501.69/3510.83	c #Conflicts:     285000 | #Constraints:      18885
3501.69/3510.83	c #Conflicts:     286000 | #Constraints:      19885
3501.69/3510.83	c #Conflicts:     287000 | #Constraints:      20885
3501.69/3510.83	c #Conflicts:     288000 | #Constraints:      21885
3501.69/3510.83	c INPROCESSING
3501.69/3510.83	c GARBAGE COLLECT
3501.69/3510.83	c #Conflicts:     289000 | #Constraints:      12276
3501.69/3510.83	c #Conflicts:     290000 | #Constraints:      13276
3501.69/3510.83	c #Conflicts:     291000 | #Constraints:      14276
3501.69/3510.83	c #Conflicts:     292000 | #Constraints:      15276
3501.69/3510.83	c #Conflicts:     293000 | #Constraints:      16276
3501.69/3510.83	c #Conflicts:     294000 | #Constraints:      17276
3501.69/3510.83	c #Conflicts:     295000 | #Constraints:      18276
3501.69/3510.83	c #Conflicts:     296000 | #Constraints:      19276
3501.69/3510.83	c #Conflicts:     297000 | #Constraints:      20276
3501.69/3510.83	c #Conflicts:     298000 | #Constraints:      21276
3501.69/3510.83	c #Conflicts:     299000 | #Constraints:      22276
3501.69/3510.83	c INPROCESSING
3501.69/3510.83	c GARBAGE COLLECT
3501.69/3510.83	c #Conflicts:     300000 | #Constraints:      12478
3501.69/3510.83	c #Conflicts:     301000 | #Constraints:      13478
3501.69/3510.83	c #Conflicts:     302000 | #Constraints:      14478
3501.69/3510.83	c #Conflicts:     303000 | #Constraints:      15478
3501.69/3510.83	c #Conflicts:     304000 | #Constraints:      16478
3501.69/3510.83	c #Conflicts:     305000 | #Constraints:      17478
3501.69/3510.83	c #Conflicts:     306000 | #Constraints:      18478
3501.69/3510.83	c #Conflicts:     307000 | #Constraints:      19478
3501.69/3510.83	c #Conflicts:     308000 | #Constraints:      20478
3501.69/3510.83	c #Conflicts:     309000 | #Constraints:      21478
3501.69/3510.83	c #Conflicts:     310000 | #Constraints:      22478
3501.69/3510.83	c INPROCESSING
3501.69/3510.83	c GARBAGE COLLECT
3501.69/3510.83	c #Conflicts:     311000 | #Constraints:      12469
3501.69/3510.83	c #Conflicts:     312000 | #Constraints:      13469
3501.69/3510.83	c #Conflicts:     313000 | #Constraints:      14469
3501.69/3510.83	c #Conflicts:     314000 | #Constraints:      15469
3501.69/3510.83	c #Conflicts:     315000 | #Constraints:      16469
3501.69/3510.83	c #Conflicts:     316000 | #Constraints:      17469
3501.69/3510.83	c #Conflicts:     317000 | #Constraints:      18469
3501.69/3510.83	c #Conflicts:     318000 | #Constraints:      19469
3501.69/3510.83	c #Conflicts:     319000 | #Constraints:      20469
3501.69/3510.83	c #Conflicts:     320000 | #Constraints:      21469
3501.69/3510.83	c #Conflicts:     321000 | #Constraints:      22469
3501.69/3510.83	c INPROCESSING
3501.69/3510.83	c GARBAGE COLLECT
3501.69/3510.83	c #Conflicts:     322000 | #Constraints:      12279
3501.69/3510.83	c #Conflicts:     323000 | #Constraints:      13279
3501.69/3510.83	c #Conflicts:     324000 | #Constraints:      14279
3501.69/3510.83	c #Conflicts:     325000 | #Constraints:      15279
3501.69/3510.83	c #Conflicts:     326000 | #Constraints:      16279
3501.69/3510.83	c #Conflicts:     327000 | #Constraints:      17279
3501.69/3510.83	c #Conflicts:     328000 | #Constraints:      18279
3501.69/3510.83	c #Conflicts:     329000 | #Constraints:      19279
3501.69/3510.83	c #Conflicts:     330000 | #Constraints:      20279
3501.69/3510.83	c #Conflicts:     331000 | #Constraints:      21279
3501.69/3510.83	c #Conflicts:     332000 | #Constraints:      22279
3501.69/3510.83	c #Conflicts:     333000 | #Constraints:      23279
3501.69/3510.83	c INPROCESSING
3501.69/3510.83	c GARBAGE COLLECT
3501.69/3510.83	c #Conflicts:     334000 | #Constraints:      12884
3501.69/3510.83	c #Conflicts:     335000 | #Constraints:      13884
3501.69/3510.83	c #Conflicts:     336000 | #Constraints:      14884
3501.69/3510.83	c #Conflicts:     337000 | #Constraints:      15884
3501.69/3510.83	c finalizing WCE round: reformulating cores
3600.03/3609.41	c #Conflicts:     338000 | #Constraints:      16887
3600.03/3609.41	c bounds -6785 >= -378663 @ 3505.94
3600.03/3609.41	c #Conflicts:     339000 | #Constraints:      17887
3600.03/3609.41	c #Conflicts:     340000 | #Constraints:      18887
3600.03/3609.41	c #Conflicts:     341000 | #Constraints:      19887
3600.03/3609.41	c #Conflicts:     342000 | #Constraints:      20887
3600.03/3609.41	c Program interrupted by user.
3600.03/3609.41	c cpu time 3594.04 s
3600.03/3609.41	c deterministic time 324534929343 3.25e+11
3600.03/3609.41	c optimization time 274.296 s
3600.03/3609.41	c total solve time 3319.74 s
3600.03/3609.41	c core-guided solve time 3319.74 s
3600.03/3609.41	c propagation time 2556.8 s
3600.03/3609.41	c conflict analysis time 912.5 s
3600.03/3609.41	c propagations 142482742
3600.03/3609.41	c resolve steps 1926472
3600.03/3609.41	c decisions 3058335
3600.03/3609.41	c conflicts 342863
3600.03/3609.41	c restarts 809
3600.03/3609.41	c inprocessing phases 49
3600.03/3609.41	c input clauses 343
3600.03/3609.41	c input cardinalities 182
3600.03/3609.41	c input general constraints 242
3600.03/3609.41	c input average constraint length 911.15
3600.03/3609.41	c input average constraint degree 2688.96
3600.03/3609.41	c learned clauses 6673
3600.03/3609.41	c learned cardinalities 373
3600.03/3609.41	c learned general constraints 335831
3600.03/3609.41	c learned average constraint length 2543.30
3600.03/3609.41	c learned average constraint degree 104754756.44
3600.03/3609.41	c watched constraints 142487
3600.03/3609.41	c counting constraints 193586
3600.03/3609.41	c gcd simplifications 1962
3600.03/3609.41	c detected cardinalities 14
3600.03/3609.41	c weakened non-implied lits 366693998
3600.03/3609.41	c weakened non-implying lits 463649
3600.03/3609.41	c original variables 4153
3600.03/3609.41	c clausal propagations 4359699
3600.03/3609.41	c cardinality propagations 23909468
3600.03/3609.41	c watched propagations 4645973
3600.03/3609.41	c counting propagations 104711564
3600.03/3609.41	c watch lookups 69352864411
3600.03/3609.41	c watch backjump lookups 69169644993
3600.03/3609.41	c watch checks 69175630694
3600.03/3609.41	c propagation checks 112812061496
3600.03/3609.41	c constraint additions 3733306946
3600.03/3609.41	c trail pops 145879725
3600.03/3609.41	c formula constraints 178
3600.03/3609.41	c learned constraints 342877
3600.03/3609.41	c bound constraints 165
3600.03/3609.41	c core-guided constraints 424
3600.03/3609.41	c encountered formula constraints 1160642
3600.03/3609.41	c encountered learned constraints 1037624
3600.03/3609.41	c encountered bound constraints 2812
3600.03/3609.41	c encountered core-guided constraints 68257
3600.03/3609.41	c LP total time 0 s
3600.03/3609.41	c LP solve time 0 s
3600.03/3609.41	c LP constraints added 0
3600.03/3609.41	c LP constraints removed 0
3600.03/3609.41	c LP pivots internal 0
3600.03/3609.41	c LP pivots root 0
3600.03/3609.41	c LP calls 0
3600.03/3609.41	c LP optimalities 0
3600.03/3609.41	c LP no pivot count 0
3600.03/3609.41	c LP infeasibilities 0
3600.03/3609.41	c LP valid Farkas constraints 0
3600.03/3609.41	c LP learned Farkas constraints 0
3600.03/3609.41	c LP basis resets 0
3600.03/3609.41	c LP cycling count 0
3600.03/3609.41	c LP singular count 0
3600.03/3609.41	c LP no primal count 0
3600.03/3609.41	c LP no farkas count 0
3600.03/3609.41	c LP other issue count 0
3600.03/3609.41	c LP Gomory cuts 0
3600.03/3609.41	c LP learned cuts 0
3600.03/3609.41	c LP deleted cuts 0
3600.03/3609.41	c LP encountered Gomory constraints 0
3600.03/3609.41	c LP encountered Farkas constraints 0
3600.03/3609.41	c LP encountered learned Farkas constraints 0
3600.03/3609.41	c CG auxiliary variables introduced 365
3600.03/3609.41	c CG solutions found 102
3600.03/3609.41	c CG cores constructed 41
3600.03/3609.41	c CG core cardinality constraints returned 4
3600.03/3609.41	c CG unit cores 0
3600.03/3609.41	c CG single cores 39
3600.03/3609.41	c CG blocks removed during cardinality reduction 1
3600.03/3609.41	c CG first core best 0
3600.03/3609.41	c CG decision core best 0
3600.03/3609.41	c CG core reduction tie 2
3600.03/3609.41	c CG core degree average 1.10
3600.03/3609.41	c CG core slack average 2.22
3600.03/3609.41	c CG exhausted 1
3600.03/3609.41	c CG exhaust time 178.216 s
3600.03/3609.41	c CG trimmed 12
3600.03/3609.41	c CG trim time 1.5285 s
3600.03/3609.41	c CG minimized 0
3600.03/3609.41	c CG minimize time 0 s
3600.03/3609.41	c CG am1 prop time 6.1548 s
3600.03/3609.41	c CG # am1s reformulated 315
3600.03/3609.41	c CG lower bound derived from am1s 54610
3600.03/3609.41	c CG # clausal cores 36
3600.03/3609.41	c CG # cardinality cores 5
3600.03/3609.41	c CG # pb cores 2
3600.03/3609.41	c CG # pb reforms 29
3600.03/3609.41	c CG # cores discarded because of pb reform 0
3600.03/3609.41	d LOWERBOUND -378663
3600.03/3609.41	d NCORES 41
3600.03/3609.41	d NPBCORES 2
3600.03/3609.41	d NPBREFORM 29
3600.03/3609.41	d NTRIMMED 12
3600.03/3609.41	d NEXHAUSTED 1
3600.03/3609.41	d NAM1S 315
3600.03/3609.41	d AM1LB 54610
3600.03/3609.41	o -6785
3600.03/3609.41	s SATISFIABLE
3600.03/3609.41	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

Verifier Data 

OK	-6785

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: 63968 MiB (57225 MiB free)
  memory of node 1: 64473 MiB (49388 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462256-1722236576/watcher-4462256-1722236576 -o /tmp/evaluation-result-4462256-1722236576/solver-4462256-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722236576-465756 --watchdog 3760 pb-oll-rs HOME/instance-4462256-1722236576.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=465805, runsolver pid=465802
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=109137456/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=41616 memory=10896 CPUtime=0.09 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 1184 0 0 0 6 3 0 0 20 0 1 0 60187094 42614784 2724 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 10404 2724 1380 291 0 1938 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41616 KiB
Current children cumulated memory: 10896 KiB

[startup+0.20557 s]*
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=109083796/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=41748 memory=12216 CPUtime=0.2 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 1531 0 0 0 16 4 0 0 20 0 1 0 60187094 42749952 3054 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 10437 3054 1380 291 0 1971 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41748 KiB
Current children cumulated memory: 12216 KiB

[startup+0.305581 s]*
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=109092552/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=44784 memory=14228 CPUtime=0.3 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 2047 0 0 0 25 5 0 0 20 0 1 0 60187094 45858816 3557 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 11196 3557 1380 291 0 2730 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44784 KiB
Current children cumulated memory: 14228 KiB

[startup+0.700184 s]
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=109066956/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=57364 memory=24736 CPUtime=0.69 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 3657 0 0 0 62 7 0 0 20 0 1 0 60187094 58740736 6184 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 14341 6184 1380 291 0 5875 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57364 KiB
Current children cumulated memory: 24736 KiB

[startup+1.50019 s]
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=109003240/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=70884 memory=38444 CPUtime=1.49 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 4519 0 0 0 138 11 0 0 20 0 1 0 60187094 72585216 9611 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 17721 9611 1380 291 0 9255 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 70884 KiB
Current children cumulated memory: 38444 KiB

[startup+3.10541 s]
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=108902872/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=94676 memory=64204 CPUtime=3.09 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 6357 0 0 0 295 14 0 0 20 0 1 0 60187094 96948224 16051 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 23669 16051 1380 291 0 15203 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 94676 KiB
Current children cumulated memory: 64204 KiB

[startup+6.30021 s]
/proc/loadavg: 0.44 0.15 0.11 5/260 465819
/proc/meminfo: memFree=108798260/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=134028 memory=83200 CPUtime=6.28 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 8971 0 0 0 611 17 0 0 20 0 1 0 60187094 137244672 20800 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 33507 20800 1454 291 0 25041 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 134028 KiB
Current children cumulated memory: 83200 KiB

[startup+12.7002 s]
/proc/loadavg: 0.72 0.22 0.13 5/260 465819
/proc/meminfo: memFree=108572392/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=159148 memory=129668 CPUtime=12.66 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 15505 0 0 0 1244 22 0 0 20 0 1 0 60187094 162967552 32417 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 39787 32417 1454 291 0 31321 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 159148 KiB
Current children cumulated memory: 129668 KiB

[startup+25.5002 s]
/proc/loadavg: 1.45 0.40 0.20 5/260 465822
/proc/meminfo: memFree=108184432/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=235160 memory=181868 CPUtime=25.43 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 21485 0 0 0 2513 30 0 0 20 0 1 0 60187094 240803840 45467 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 58790 45467 1454 291 0 50324 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 235160 KiB
Current children cumulated memory: 181868 KiB

[startup+51.1054 s]
/proc/loadavg: 2.40 0.71 0.30 5/257 465825
/proc/meminfo: memFree=107605692/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=270516 memory=213872 CPUtime=50.96 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 29535 0 0 0 5053 43 0 0 20 0 1 0 60187094 277008384 53468 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 67629 53468 1454 291 0 59163 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 270516 KiB
Current children cumulated memory: 213872 KiB

[startup+102.3 s]
/proc/loadavg: 3.46 1.25 0.51 5/257 465834
/proc/meminfo: memFree=106552920/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=318476 memory=265708 CPUtime=102.02 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 40019 0 0 0 10137 65 0 0 20 0 1 0 60187094 326119424 66427 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 79619 66427 1454 291 0 71153 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 318476 KiB
Current children cumulated memory: 265708 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.77 0.74 5/257 465845
/proc/meminfo: memFree=105799304/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=520924 memory=420868 CPUtime=161.85 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 63975 0 0 0 16093 92 0 0 20 0 1 0 60187094 533426176 105217 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 130231 105217 1454 291 0 121765 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 520924 KiB
Current children cumulated memory: 420868 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.21 0.95 5/255 465856
/proc/meminfo: memFree=105037804/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=527520 memory=435540 CPUtime=221.69 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 66183 0 0 0 22060 109 0 0 20 0 1 0 60187094 540180480 108885 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 131880 108885 1454 291 0 123414 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 527520 KiB
Current children cumulated memory: 435540 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.56 1.15 5/255 465866
/proc/meminfo: memFree=104147104/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=540320 memory=454652 CPUtime=281.53 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 69473 0 0 0 28031 122 0 0 20 0 1 0 60187094 553287680 113663 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 135080 113663 1454 291 0 126614 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 540320 KiB
Current children cumulated memory: 454652 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 2.84 1.34 5/255 465877
/proc/meminfo: memFree=103703672/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=554276 memory=476360 CPUtime=341.37 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 72417 0 0 0 33999 138 0 0 20 0 1 0 60187094 567578624 119090 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 138569 119090 1454 291 0 130103 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 554276 KiB
Current children cumulated memory: 476360 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.07 1.51 5/255 465888
/proc/meminfo: memFree=103339984/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=705672 memory=512320 CPUtime=401.2 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 76886 0 0 0 39966 154 0 0 20 0 1 0 60187094 722608128 128080 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 176418 128080 1454 291 0 167952 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 705672 KiB
Current children cumulated memory: 512320 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.27 1.68 5/258 465903
/proc/meminfo: memFree=103165224/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=714124 memory=524888 CPUtime=461.04 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 78548 0 0 0 45937 167 0 0 20 0 1 0 60187094 731262976 131222 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 178531 131222 1454 291 0 170065 0

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

Current children cumulated memory: 924116 KiB

[startup+2862.3 s]
/proc/loadavg: 4.48 4.21 4.04 5/259 466964
/proc/meminfo: memFree=96658864/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1212600 memory=932704 CPUtime=2854.82 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 141911 0 0 0 284968 514 0 0 20 0 1 0 60187094 1241702400 233176 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 303150 233176 1454 291 0 294684 0
Current children cumulated CPU time: 2854.82 s
Current children cumulated vsize: 1212600 KiB
Current children cumulated memory: 932704 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.19 4.04 5/259 466975
/proc/meminfo: memFree=96618480/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1215928 memory=935356 CPUtime=2914.67 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 142752 0 0 0 290945 522 0 0 20 0 1 0 60187094 1245110272 233839 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 303982 233839 1454 291 0 295516 0
Current children cumulated CPU time: 2914.67 s
Current children cumulated vsize: 1215928 KiB
Current children cumulated memory: 935356 KiB

[startup+2982.3 s]
/proc/loadavg: 4.72 4.31 4.09 5/259 466987
/proc/meminfo: memFree=96556320/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1215928 memory=935356 CPUtime=2974.52 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 142940 0 0 0 296925 527 0 0 20 0 1 0 60187094 1245110272 233839 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 303982 233839 1454 291 0 295516 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 1215928 KiB
Current children cumulated memory: 935356 KiB

[startup+3042.3 s]
/proc/loadavg: 4.26 4.25 4.08 5/259 466998
/proc/meminfo: memFree=96349308/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1215928 memory=935376 CPUtime=3034.36 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 143261 0 0 0 302906 530 0 0 20 0 1 0 60187094 1245110272 233844 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 303982 233844 1454 291 0 295516 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 1215928 KiB
Current children cumulated memory: 935376 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.22 4.08 5/259 467008
/proc/meminfo: memFree=96093760/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1216184 memory=935972 CPUtime=3094.21 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 143614 0 0 0 308887 534 0 0 20 0 1 0 60187094 1245372416 233993 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 304046 233993 1454 291 0 295580 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 1216184 KiB
Current children cumulated memory: 935972 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.21 4.09 5/260 467401
/proc/meminfo: memFree=95878628/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1218232 memory=938196 CPUtime=3154.06 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 144357 0 0 0 314865 541 0 0 20 0 1 0 60187094 1247469568 234549 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 304558 234549 1454 291 0 296092 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 1218232 KiB
Current children cumulated memory: 938196 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.20 4.09 5/258 467412
/proc/meminfo: memFree=95804388/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1220536 memory=939736 CPUtime=3213.91 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 145015 0 0 0 320844 547 0 0 20 0 1 0 60187094 1249828864 234934 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 305134 234934 1454 291 0 296668 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 1220536 KiB
Current children cumulated memory: 939736 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/258 467424
/proc/meminfo: memFree=95725140/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1238416 memory=1020208 CPUtime=3273.75 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 160226 0 0 0 326821 554 0 0 20 0 1 0 60187094 1268137984 255052 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 309604 255052 1454 291 0 301138 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 1238416 KiB
Current children cumulated memory: 1020208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/257 467602
/proc/meminfo: memFree=95681304/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1238416 memory=1052352 CPUtime=3333.6 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 160455 0 0 0 332796 564 0 0 20 0 1 0 60187094 1268137984 263088 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 309604 263088 1454 291 0 301138 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 1238416 KiB
Current children cumulated memory: 1052352 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.19 4.10 5/258 467613
/proc/meminfo: memFree=95630040/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1257200 memory=1102580 CPUtime=3393.46 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 163529 0 0 0 338773 573 0 0 20 0 1 0 60187094 1287372800 275645 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 314300 275645 1454 291 0 305834 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 1257200 KiB
Current children cumulated memory: 1102580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.35 4.24 4.12 5/259 467628
/proc/meminfo: memFree=95568196/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1320564 memory=1149888 CPUtime=3453.31 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 174655 0 0 0 344746 585 0 0 20 0 1 0 60187094 1352257536 287472 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 330141 287472 1454 291 0 321675 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 1320564 KiB
Current children cumulated memory: 1149888 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.12 5/259 467649
/proc/meminfo: memFree=95265708/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1320564 memory=1149888 CPUtime=3513.16 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 175075 0 0 0 350724 592 0 0 20 0 1 0 60187094 1352257536 287472 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 330141 287472 1454 291 0 321675 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 1320564 KiB
Current children cumulated memory: 1149888 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.20 4.12 5/259 467661
/proc/meminfo: memFree=95031324/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1320564 memory=1149888 CPUtime=3572.99 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 175554 0 0 0 356701 598 0 0 20 0 1 0 60187094 1352257536 287472 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 330141 287472 1454 291 0 321675 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 1320564 KiB
Current children cumulated memory: 1149888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.12 4.18 4.11 5/259 467667
/proc/meminfo: memFree=94926436/131524600 swapFree=131060148/131071996
[pid=465805] ppid=465802 vsize=1320564 memory=1149888 CPUtime=3600.03 cores=1,3
/proc/465805/stat : 465805 (pb-oll-rs) R 465802 465805 465744 0 -1 4194304 175798 0 0 0 359403 600 0 0 20 0 1 0 60187094 1352257536 287472 134679101440 4194304 5384005 140723326921744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32677888 140723326927894 140723326927971 140723326927971 140723326934987 0
/proc/465805/statm: 330141 287472 1454 291 0 321675 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1320564 KiB
Current children cumulated memory: 1149888 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.04 s, system=6.0126 s

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

Child status: 0

Real time (s): 3609.42
CPU time (s): 3600.06
CPU user time (s): 3594.04
CPU system time (s): 6.0126
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 1320564
Max. memory (cumulated for all children) (KiB): 1149888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.04
system time used= 6.0126
maximum resident set size= 1149888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175814
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= 264
involuntary context switches= 2418


# summary of solver processes directly reported to runsolver:
#   pid: 465805
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3594.04
#   total CPU system time (s): 6.0126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.851 second user time and 9.24454 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-29 09:02:57
IDJOB=4462256
IDBENCH=178881
IDSOLVER=3067
FILE ID=nodeC029/4462256-1722236576
RUNJOBID= nodeC029-1722236576-465756
SLURM_JOB_ID= 8248764
Free space on /tmp= 890072 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_300_003.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462256-1722236576/watcher-4462256-1722236576 -o /tmp/evaluation-result-4462256-1722236576/solver-4462256-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722236576-465756 --watchdog 3760  pb-oll-rs HOME/instance-4462256-1722236576.opb

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

MD5SUM BENCH= 6634d700c28eee8c31f86d7271d2b866
RANDOM SEED=697437227

nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3649.120
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3648.370
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.037
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.176
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3654.106
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3603.078
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3620.739
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.304
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        109183604 kB
MemAvailable:   129568988 kB
Buffers:          399420 kB
Cached:         20711508 kB
SwapCached:         1328 kB
Active:          2979276 kB
Inactive:       18528064 kB
Active(anon):       1720 kB
Inactive(anon):   456684 kB
Active(file):    2977556 kB
Inactive(file): 18071380 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060148 kB
Dirty:             13604 kB
Writeback:             8 kB
AnonPages:        395272 kB
Mapped:           124268 kB
Shmem:             61932 kB
KReclaimable:     352544 kB
Slab:             476432 kB
SReclaimable:     352544 kB
SUnreclaim:       123888 kB
KernelStack:        4016 kB
PageTables:         9928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     854436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      350932 kB
DirectMap2M:    44511232 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC029 at 2024-07-29 10:03:06