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.02 c [STEP] solving
0.00/0.02 c #variables 4688 #constraints 403
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= 0 @ 0.015192
0.00/0.02 c stratification level: 0
0.60/0.62 c bounds - >= 2 @ 0.051658
0.60/0.62 c bounds - >= 3 @ 0.053556
0.60/0.62 c bounds - >= 4 @ 0.054671
0.60/0.62 c bounds - >= 5 @ 0.055668
0.60/0.62 c bounds - >= 6 @ 0.057429
0.60/0.62 c bounds - >= 7 @ 0.058654
0.60/0.62 c bounds - >= 8 @ 0.060013
0.60/0.62 c bounds - >= 9 @ 0.061379
0.60/0.62 c bounds - >= 10 @ 0.063138
0.60/0.62 c bounds - >= 11 @ 0.064622
0.60/0.62 c bounds - >= 12 @ 0.0667
0.60/0.62 c bounds - >= 13 @ 0.069087
0.60/0.62 c bounds - >= 14 @ 0.072247
0.60/0.62 c bounds - >= 15 @ 0.074939
0.60/0.62 c bounds - >= 16 @ 0.076073
0.60/0.62 c bounds - >= 17 @ 0.078217
0.60/0.62 c bounds - >= 18 @ 0.079493
0.60/0.62 c bounds - >= 19 @ 0.081031
0.60/0.62 c bounds - >= 20 @ 0.083193
0.60/0.62 c bounds - >= 21 @ 0.085629
0.60/0.62 c bounds - >= 22 @ 0.087277
0.60/0.62 c bounds - >= 23 @ 0.088444
0.60/0.62 c bounds - >= 24 @ 0.091297
0.60/0.62 c bounds - >= 25 @ 0.093507
0.60/0.62 c bounds - >= 26 @ 0.09501
0.60/0.62 c bounds - >= 27 @ 0.09853
0.60/0.62 c bounds - >= 28 @ 0.100294
0.60/0.62 c bounds - >= 29 @ 0.102388
0.60/0.62 c bounds - >= 30 @ 0.104097
0.60/0.62 c bounds - >= 31 @ 0.106081
0.60/0.62 c bounds - >= 32 @ 0.109083
0.60/0.62 c bounds - >= 33 @ 0.111033
0.60/0.62 c bounds - >= 34 @ 0.114932
0.60/0.62 c bounds - >= 35 @ 0.118033
0.60/0.62 c bounds - >= 36 @ 0.122066
0.60/0.62 c bounds - >= 37 @ 0.125064
0.60/0.62 c bounds - >= 38 @ 0.127268
0.60/0.62 c bounds - >= 39 @ 0.130341
0.60/0.62 c bounds - >= 40 @ 0.131951
0.60/0.62 c bounds - >= 41 @ 0.134186
0.60/0.62 c bounds - >= 42 @ 0.136886
0.60/0.62 c bounds - >= 43 @ 0.139221
0.60/0.62 c bounds - >= 44 @ 0.14187
0.60/0.62 c bounds - >= 45 @ 0.142293
0.60/0.62 c bounds - >= 46 @ 0.144073
0.60/0.62 c bounds - >= 47 @ 0.146895
0.60/0.62 c bounds - >= 48 @ 0.1499
0.60/0.62 c bounds - >= 49 @ 0.151875
0.60/0.62 c bounds - >= 50 @ 0.154873
0.60/0.62 c bounds - >= 51 @ 0.157874
0.60/0.62 c bounds - >= 52 @ 0.160237
0.60/0.62 c bounds - >= 53 @ 0.164756
0.60/0.62 c bounds - >= 54 @ 0.165828
0.60/0.62 c bounds - >= 55 @ 0.168982
0.60/0.62 c bounds - >= 56 @ 0.173789
0.60/0.62 c bounds - >= 57 @ 0.178445
0.60/0.62 c bounds - >= 58 @ 0.183736
0.60/0.62 c bounds - >= 59 @ 0.186753
0.60/0.62 c bounds - >= 60 @ 0.190728
0.60/0.62 c bounds - >= 61 @ 0.195709
0.60/0.62 c bounds - >= 62 @ 0.196992
0.60/0.62 c bounds - >= 63 @ 0.199796
0.60/0.62 c bounds - >= 64 @ 0.202537
0.60/0.62 c bounds - >= 65 @ 0.205381
0.60/0.62 c bounds - >= 66 @ 0.208713
0.60/0.62 c bounds - >= 67 @ 0.21312
0.60/0.62 c bounds - >= 68 @ 0.215484
0.60/0.62 c bounds - >= 69 @ 0.219864
0.60/0.62 c bounds - >= 70 @ 0.223494
0.60/0.62 c bounds - >= 71 @ 0.227592
0.60/0.62 c bounds - >= 72 @ 0.231821
0.60/0.62 c bounds - >= 73 @ 0.233574
0.60/0.62 c bounds - >= 74 @ 0.236553
0.60/0.62 c bounds - >= 75 @ 0.241458
0.60/0.62 c bounds - >= 76 @ 0.243903
0.60/0.62 c bounds - >= 77 @ 0.244822
0.60/0.62 c bounds - >= 78 @ 0.246465
0.60/0.62 c bounds - >= 79 @ 0.247807
0.60/0.62 c bounds - >= 80 @ 0.249315
0.60/0.62 c bounds - >= 81 @ 0.249858
0.60/0.62 c bounds - >= 82 @ 0.252492
0.60/0.62 c bounds - >= 83 @ 0.255292
0.60/0.62 c bounds - >= 84 @ 0.256784
0.60/0.62 c bounds - >= 85 @ 0.259276
0.60/0.62 c bounds - >= 86 @ 0.264764
0.60/0.62 c bounds - >= 87 @ 0.267251
0.60/0.62 c bounds - >= 88 @ 0.271242
0.60/0.62 c bounds - >= 89 @ 0.273566
0.60/0.62 c bounds - >= 90 @ 0.277232
0.60/0.62 c bounds - >= 91 @ 0.280221
0.60/0.62 c finalizing WCE round: reformulating cores
164.07/164.53 c #Conflicts: 1000 | #Constraints: 1562
164.07/164.53 c #Conflicts: 2000 | #Constraints: 2574
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 3000 | #Constraints: 2482
164.07/164.53 c #Conflicts: 4000 | #Constraints: 3484
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 5000 | #Constraints: 2900
164.07/164.53 c #Conflicts: 6000 | #Constraints: 3904
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 7000 | #Constraints: 2920
164.07/164.53 c #Conflicts: 8000 | #Constraints: 3928
164.07/164.53 c #Conflicts: 9000 | #Constraints: 4930
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 10000 | #Constraints: 3633
164.07/164.53 c #Conflicts: 11000 | #Constraints: 4635
164.07/164.53 c #Conflicts: 12000 | #Constraints: 5637
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 13000 | #Constraints: 4094
164.07/164.53 c #Conflicts: 14000 | #Constraints: 5098
164.07/164.53 c #Conflicts: 15000 | #Constraints: 6100
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 16000 | #Constraints: 4334
164.07/164.53 c #Conflicts: 17000 | #Constraints: 5336
164.07/164.53 c #Conflicts: 18000 | #Constraints: 6338
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 19000 | #Constraints: 4354
164.07/164.53 c #Conflicts: 20000 | #Constraints: 5356
164.07/164.53 c #Conflicts: 21000 | #Constraints: 6358
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 22000 | #Constraints: 4167
164.07/164.53 c #Conflicts: 23000 | #Constraints: 5169
164.07/164.53 c #Conflicts: 24000 | #Constraints: 6173
164.07/164.53 c #Conflicts: 25000 | #Constraints: 7175
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 26000 | #Constraints: 4771
164.07/164.53 c #Conflicts: 27000 | #Constraints: 5773
164.07/164.53 c #Conflicts: 28000 | #Constraints: 6775
164.07/164.53 c #Conflicts: 29000 | #Constraints: 7779
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 30000 | #Constraints: 5179
164.07/164.53 c #Conflicts: 31000 | #Constraints: 6181
164.07/164.53 c #Conflicts: 32000 | #Constraints: 7183
164.07/164.53 c #Conflicts: 33000 | #Constraints: 8187
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 34000 | #Constraints: 5394
164.07/164.53 c #Conflicts: 35000 | #Constraints: 6396
164.07/164.53 c #Conflicts: 36000 | #Constraints: 7398
164.07/164.53 c #Conflicts: 37000 | #Constraints: 8402
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 38000 | #Constraints: 5402
164.07/164.53 c #Conflicts: 39000 | #Constraints: 6404
164.07/164.53 c #Conflicts: 40000 | #Constraints: 7406
164.07/164.53 c #Conflicts: 41000 | #Constraints: 8410
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 42000 | #Constraints: 5212
164.07/164.53 c #Conflicts: 43000 | #Constraints: 6214
164.07/164.53 c #Conflicts: 44000 | #Constraints: 7218
164.07/164.53 c #Conflicts: 45000 | #Constraints: 8220
164.07/164.53 c #Conflicts: 46000 | #Constraints: 9222
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c #Conflicts: 47000 | #Constraints: 5836
164.07/164.53 c #Conflicts: 48000 | #Constraints: 6838
164.07/164.53 c #Conflicts: 49000 | #Constraints: 7840
164.07/164.53 c #Conflicts: 50000 | #Constraints: 8844
164.07/164.53 c #Conflicts: 51000 | #Constraints: 9846
164.07/164.53 c INPROCESSING
164.07/164.53 c GARBAGE COLLECT
164.07/164.53 c bounds 150 >= 91 @ 144.375
164.07/164.53 c bounds 150 >= 92 @ 144.389
164.07/164.53 c bounds 150 >= 93 @ 144.394
164.07/164.53 c bounds 150 >= 94 @ 144.399
164.07/164.53 c bounds 150 >= 95 @ 144.404
164.07/164.53 c bounds 150 >= 96 @ 144.408
164.07/164.53 c bounds 150 >= 97 @ 144.412
164.07/164.53 c bounds 150 >= 98 @ 144.414
164.07/164.53 c bounds 150 >= 99 @ 144.418
164.07/164.53 c bounds 150 >= 100 @ 144.421
164.07/164.53 c bounds 150 >= 101 @ 144.424
164.07/164.53 c bounds 150 >= 102 @ 144.427
164.07/164.53 c bounds 150 >= 103 @ 144.43
164.07/164.53 c bounds 150 >= 104 @ 144.432
164.07/164.53 c bounds 150 >= 105 @ 144.438
164.07/164.53 c bounds 150 >= 106 @ 144.476
164.07/164.53 c finalizing WCE round: reformulating cores
1012.57/1015.16 c #Conflicts: 52000 | #Constraints: 6324
1012.57/1015.16 c #Conflicts: 53000 | #Constraints: 7329
1012.57/1015.16 c #Conflicts: 54000 | #Constraints: 8331
1012.57/1015.16 c #Conflicts: 55000 | #Constraints: 9333
1012.57/1015.16 c #Conflicts: 56000 | #Constraints: 10337
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 57000 | #Constraints: 6494
1012.57/1015.16 c #Conflicts: 58000 | #Constraints: 7496
1012.57/1015.16 c #Conflicts: 59000 | #Constraints: 8498
1012.57/1015.16 c #Conflicts: 60000 | #Constraints: 9502
1012.57/1015.16 c #Conflicts: 61000 | #Constraints: 10504
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 62000 | #Constraints: 6497
1012.57/1015.16 c #Conflicts: 63000 | #Constraints: 7499
1012.57/1015.16 c bounds 148 >= 106 @ 171.653
1012.57/1015.16 c bounds 148 >= 107 @ 171.671
1012.57/1015.16 c bounds 148 >= 108 @ 171.681
1012.57/1015.16 c bounds 148 >= 109 @ 171.732
1012.57/1015.16 c bounds 148 >= 110 @ 171.748
1012.57/1015.16 c bounds 148 >= 111 @ 171.863
1012.57/1015.16 c bounds 148 >= 112 @ 172.004
1012.57/1015.16 c #Conflicts: 64000 | #Constraints: 8638
1012.57/1015.16 c #Conflicts: 65000 | #Constraints: 9638
1012.57/1015.16 c #Conflicts: 66000 | #Constraints: 10638
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 67000 | #Constraints: 6423
1012.57/1015.16 c #Conflicts: 68000 | #Constraints: 7423
1012.57/1015.16 c #Conflicts: 69000 | #Constraints: 8423
1012.57/1015.16 c #Conflicts: 70000 | #Constraints: 9423
1012.57/1015.16 c #Conflicts: 71000 | #Constraints: 10423
1012.57/1015.16 c #Conflicts: 72000 | #Constraints: 11423
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 73000 | #Constraints: 7012
1012.57/1015.16 c #Conflicts: 74000 | #Constraints: 8012
1012.57/1015.16 c #Conflicts: 75000 | #Constraints: 9012
1012.57/1015.16 c #Conflicts: 76000 | #Constraints: 10012
1012.57/1015.16 c #Conflicts: 77000 | #Constraints: 11012
1012.57/1015.16 c #Conflicts: 78000 | #Constraints: 12012
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 79000 | #Constraints: 7428
1012.57/1015.16 c #Conflicts: 80000 | #Constraints: 8428
1012.57/1015.16 c #Conflicts: 81000 | #Constraints: 9428
1012.57/1015.16 c #Conflicts: 82000 | #Constraints: 10428
1012.57/1015.16 c #Conflicts: 83000 | #Constraints: 11428
1012.57/1015.16 c #Conflicts: 84000 | #Constraints: 12428
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 85000 | #Constraints: 7623
1012.57/1015.16 c #Conflicts: 86000 | #Constraints: 8623
1012.57/1015.16 c #Conflicts: 87000 | #Constraints: 9623
1012.57/1015.16 c #Conflicts: 88000 | #Constraints: 10623
1012.57/1015.16 c #Conflicts: 89000 | #Constraints: 11623
1012.57/1015.16 c #Conflicts: 90000 | #Constraints: 12623
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 91000 | #Constraints: 7635
1012.57/1015.16 c #Conflicts: 92000 | #Constraints: 8635
1012.57/1015.16 c #Conflicts: 93000 | #Constraints: 9635
1012.57/1015.16 c #Conflicts: 94000 | #Constraints: 10635
1012.57/1015.16 c #Conflicts: 95000 | #Constraints: 11635
1012.57/1015.16 c #Conflicts: 96000 | #Constraints: 12635
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 97000 | #Constraints: 7427
1012.57/1015.16 c #Conflicts: 98000 | #Constraints: 8427
1012.57/1015.16 c #Conflicts: 99000 | #Constraints: 9427
1012.57/1015.16 c #Conflicts: 100000 | #Constraints: 10427
1012.57/1015.16 c #Conflicts: 101000 | #Constraints: 11427
1012.57/1015.16 c #Conflicts: 102000 | #Constraints: 12427
1012.57/1015.16 c #Conflicts: 103000 | #Constraints: 13427
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 104000 | #Constraints: 8033
1012.57/1015.16 c #Conflicts: 105000 | #Constraints: 9033
1012.57/1015.16 c #Conflicts: 106000 | #Constraints: 10033
1012.57/1015.16 c #Conflicts: 107000 | #Constraints: 11033
1012.57/1015.16 c #Conflicts: 108000 | #Constraints: 12033
1012.57/1015.16 c #Conflicts: 109000 | #Constraints: 13033
1012.57/1015.16 c #Conflicts: 110000 | #Constraints: 14033
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 111000 | #Constraints: 8426
1012.57/1015.16 c #Conflicts: 112000 | #Constraints: 9426
1012.57/1015.16 c #Conflicts: 113000 | #Constraints: 10426
1012.57/1015.16 c #Conflicts: 114000 | #Constraints: 11426
1012.57/1015.16 c #Conflicts: 115000 | #Constraints: 12426
1012.57/1015.16 c #Conflicts: 116000 | #Constraints: 13426
1012.57/1015.16 c #Conflicts: 117000 | #Constraints: 14426
1012.57/1015.16 c INPROCESSING
1012.57/1015.16 c GARBAGE COLLECT
1012.57/1015.16 c #Conflicts: 118000 | #Constraints: 8633
1012.57/1015.16 c #Conflicts: 119000 | #Constraints: 9633
3600.08/3609.11 c #Conflicts: 120000 | #Constraints: 10633
3600.08/3609.11 c #Conflicts: 121000 | #Constraints: 11633
3600.08/3609.11 c #Conflicts: 122000 | #Constraints: 12633
3600.08/3609.11 c #Conflicts: 123000 | #Constraints: 13633
3600.08/3609.11 c #Conflicts: 124000 | #Constraints: 14633
3600.08/3609.11 c INPROCESSING
3600.08/3609.11 c GARBAGE COLLECT
3600.08/3609.11 c #Conflicts: 125000 | #Constraints: 8645
3600.08/3609.11 c #Conflicts: 126000 | #Constraints: 9645
3600.08/3609.11 c #Conflicts: 127000 | #Constraints: 10645
3600.08/3609.11 c #Conflicts: 128000 | #Constraints: 11645
3600.08/3609.11 c #Conflicts: 129000 | #Constraints: 12645
3600.08/3609.11 c #Conflicts: 130000 | #Constraints: 13645
3600.08/3609.11 c #Conflicts: 131000 | #Constraints: 14645
3600.08/3609.11 c INPROCESSING
3600.08/3609.11 c GARBAGE COLLECT
3600.08/3609.11 c #Conflicts: 132000 | #Constraints: 8447
3600.08/3609.11 c #Conflicts: 133000 | #Constraints: 9447
3600.08/3609.11 c #Conflicts: 134000 | #Constraints: 10447
3600.08/3609.11 c #Conflicts: 135000 | #Constraints: 11447
3600.08/3609.11 c #Conflicts: 136000 | #Constraints: 12447
3600.08/3609.11 c #Conflicts: 137000 | #Constraints: 13447
3600.08/3609.11 c #Conflicts: 138000 | #Constraints: 14447
3600.08/3609.11 c #Conflicts: 139000 | #Constraints: 15447
3600.08/3609.11 c INPROCESSING
3600.08/3609.11 c GARBAGE COLLECT
3600.08/3609.11 c #Conflicts: 140000 | #Constraints: 9043
3600.08/3609.11 c #Conflicts: 141000 | #Constraints: 10043
3600.08/3609.11 c #Conflicts: 142000 | #Constraints: 11043
3600.08/3609.11 c #Conflicts: 143000 | #Constraints: 12043
3600.08/3609.11 c #Conflicts: 144000 | #Constraints: 13043
3600.08/3609.11 c #Conflicts: 145000 | #Constraints: 14043
3600.08/3609.11 c #Conflicts: 146000 | #Constraints: 15043
3600.08/3609.11 c #Conflicts: 147000 | #Constraints: 16043
3600.08/3609.11 c INPROCESSING
3600.08/3609.11 c GARBAGE COLLECT
3600.08/3609.11 c #Conflicts: 148000 | #Constraints: 9443
3600.08/3609.11 c #Conflicts: 149000 | #Constraints: 10443
3600.08/3609.11 c #Conflicts: 150000 | #Constraints: 11443
3600.08/3609.11 c #Conflicts: 151000 | #Constraints: 12443
3600.08/3609.11 c #Conflicts: 152000 | #Constraints: 13443
3600.08/3609.11 c #Conflicts: 153000 | #Constraints: 14443
3600.08/3609.11 c #Conflicts: 154000 | #Constraints: 15443
3600.08/3609.11 c #Conflicts: 155000 | #Constraints: 16443
3600.08/3609.11 c INPROCESSING
3600.08/3609.11 c GARBAGE COLLECT
3600.08/3609.11 c #Conflicts: 156000 | #Constraints: 9643
3600.08/3609.11 c #Conflicts: 157000 | #Constraints: 10643
3600.08/3609.11 c #Conflicts: 158000 | #Constraints: 11643
3600.08/3609.11 c #Conflicts: 159000 | #Constraints: 12643
3600.08/3609.11 c #Conflicts: 160000 | #Constraints: 13643
3600.08/3609.11 c #Conflicts: 161000 | #Constraints: 14643
3600.08/3609.11 c #Conflicts: 162000 | #Constraints: 15643
3600.08/3609.11 c #Conflicts: 163000 | #Constraints: 16643
3600.08/3609.11 c INPROCESSING
3600.08/3609.11 c GARBAGE COLLECT
3600.08/3609.11 c #Conflicts: 164000 | #Constraints: 9648
3600.08/3609.11 c #Conflicts: 165000 | #Constraints: 10648
3600.08/3609.11 c #Conflicts: 166000 | #Constraints: 11648
3600.08/3609.11 c Program interrupted by user.
3600.08/3609.11 c cpu time 3529.02 s
3600.08/3609.11 c deterministic time 146745763820 1.47e+11
3600.08/3609.11 c optimization time 361.44 s
3600.08/3609.11 c total solve time 3167.56 s
3600.08/3609.11 c core-guided solve time 3167.56 s
3600.08/3609.11 c propagation time 3327.55 s
3600.08/3609.11 c conflict analysis time 103.092 s
3600.08/3609.11 c propagations 145099319
3600.08/3609.11 c resolve steps 434323
3600.08/3609.11 c decisions 86960671
3600.08/3609.11 c conflicts 166823
3600.08/3609.11 c restarts 447
3600.08/3609.11 c inprocessing phases 32
3600.08/3609.11 c input clauses 468
3600.08/3609.11 c input cardinalities 316
3600.08/3609.11 c input general constraints 169
3600.08/3609.11 c input average constraint length 741.98
3600.08/3609.11 c input average constraint degree 182.28
3600.08/3609.11 c learned clauses 6041
3600.08/3609.11 c learned cardinalities 8619
3600.08/3609.11 c learned general constraints 152167
3600.08/3609.11 c learned average constraint length 3721.68
3600.08/3609.11 c learned average constraint degree 995991.45
3600.08/3609.11 c watched constraints 2783
3600.08/3609.11 c counting constraints 149553
3600.08/3609.11 c gcd simplifications 276
3600.08/3609.11 c detected cardinalities 174
3600.08/3609.11 c weakened non-implied lits 24709997
3600.08/3609.11 c weakened non-implying lits 368
3600.08/3609.11 c original variables 4688
3600.08/3609.11 c clausal propagations 1697756
3600.08/3609.11 c cardinality propagations 2686896
3600.08/3609.11 c watched propagations 8019769
3600.08/3609.11 c counting propagations 130776603
3600.08/3609.11 c watch lookups 56401105030
3600.08/3609.11 c watch backjump lookups 56367790322
3600.08/3609.11 c watch checks 7438076714
3600.08/3609.11 c propagation checks 24893934126
3600.08/3609.11 c constraint additions 1180573692
3600.08/3609.11 c trail pops 232223945
3600.08/3609.11 c formula constraints 403
3600.08/3609.11 c learned constraints 166827
3600.08/3609.11 c bound constraints 147
3600.08/3609.11 c core-guided constraints 403
3600.08/3609.11 c encountered formula constraints 159214
3600.08/3609.11 c encountered learned constraints 386381
3600.08/3609.11 c encountered bound constraints 43
3600.08/3609.11 c encountered core-guided constraints 55508
3600.08/3609.11 c LP total time 0 s
3600.08/3609.11 c LP solve time 0 s
3600.08/3609.11 c LP constraints added 0
3600.08/3609.11 c LP constraints removed 0
3600.08/3609.11 c LP pivots internal 0
3600.08/3609.11 c LP pivots root 0
3600.08/3609.11 c LP calls 0
3600.08/3609.11 c LP optimalities 0
3600.08/3609.11 c LP no pivot count 0
3600.08/3609.11 c LP infeasibilities 0
3600.08/3609.11 c LP valid Farkas constraints 0
3600.08/3609.11 c LP learned Farkas constraints 0
3600.08/3609.11 c LP basis resets 0
3600.08/3609.11 c LP cycling count 0
3600.08/3609.11 c LP singular count 0
3600.08/3609.11 c LP no primal count 0
3600.08/3609.11 c LP no farkas count 0
3600.08/3609.11 c LP other issue count 0
3600.08/3609.11 c LP Gomory cuts 0
3600.08/3609.11 c LP learned cuts 0
3600.08/3609.11 c LP deleted cuts 0
3600.08/3609.11 c LP encountered Gomory constraints 0
3600.08/3609.11 c LP encountered Farkas constraints 0
3600.08/3609.11 c LP encountered learned Farkas constraints 0
3600.08/3609.11 c CG auxiliary variables introduced 170
3600.08/3609.11 c CG solutions found 2
3600.08/3609.11 c CG cores constructed 111
3600.08/3609.11 c CG core cardinality constraints returned 0
3600.08/3609.11 c CG unit cores 0
3600.08/3609.11 c CG single cores 111
3600.08/3609.11 c CG blocks removed during cardinality reduction 0
3600.08/3609.11 c CG first core best 0
3600.08/3609.11 c CG decision core best 0
3600.08/3609.11 c CG core reduction tie 0
3600.08/3609.11 c CG core degree average 1.00
3600.08/3609.11 c CG core slack average 22.24
3600.08/3609.11 c CG exhausted 0
3600.08/3609.11 c CG exhaust time 169.921 s
3600.08/3609.11 c CG trimmed 0
3600.08/3609.11 c CG trim time 0.007701 s
3600.08/3609.11 c CG minimized 0
3600.08/3609.11 c CG minimize time 0 s
3600.08/3609.11 c CG am1 prop time 0.03794 s
3600.08/3609.11 c CG # am1s reformulated 1
3600.08/3609.11 c CG lower bound derived from am1s 1
3600.08/3609.11 c CG # clausal cores 111
3600.08/3609.11 c CG # cardinality cores 0
3600.08/3609.11 c CG # pb cores 0
3600.08/3609.11 c CG # pb reforms 0
3600.08/3609.11 c CG # cores discarded because of pb reform 0
3600.08/3609.11 d LOWERBOUND 112
3600.08/3609.11 d NCORES 111
3600.08/3609.11 d NPBCORES 0
3600.08/3609.11 d NPBREFORM 0
3600.08/3609.11 d NTRIMMED 0
3600.08/3609.11 d NEXHAUSTED 0
3600.08/3609.11 d NAM1S 1
3600.08/3609.11 d AM1LB 1
3600.08/3609.11 o 148
3600.08/3609.11 s SATISFIABLE
3600.08/3609.11 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 -x3435 -x3436 x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688
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: 64059 MiB (62055 MiB free)
memory of node 1: 64510 MiB (62611 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435829-1721106184/watcher-4435829-1721106184 -o /tmp/evaluation-result-4435829-1721106184/solver-4435829-1721106184 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829787 --watchdog 3760 pb-oll-rs HOME/instance-4435829-1721106184.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=832235, runsolver pid=832232
[startup+0.100664 s]*
/proc/loadavg: 4.15 4.12 4.10 5/243 832236
/proc/meminfo: memFree=127653096/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=41412 memory=8164 CPUtime=0.1 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 1105 0 0 0 7 3 0 0 20 0 1 0 162774494 42405888 2041 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 10353 2041 1321 291 0 1887 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41412 KiB
Current children cumulated memory: 8164 KiB
[startup+0.212832 s]*
/proc/loadavg: 4.15 4.12 4.10 5/243 832236
/proc/meminfo: memFree=127651444/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=41412 memory=8692 CPUtime=0.21 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 1211 0 0 0 13 8 0 0 20 0 1 0 162774494 42405888 2173 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 10353 2173 1321 291 0 1887 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41412 KiB
Current children cumulated memory: 8692 KiB
[startup+0.312707 s]*
/proc/loadavg: 4.15 4.12 4.10 5/243 832236
/proc/meminfo: memFree=127647828/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=41412 memory=8956 CPUtime=0.31 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 1277 0 0 0 16 15 0 0 20 0 1 0 162774494 42405888 2239 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 10353 2239 1321 291 0 1887 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41412 KiB
Current children cumulated memory: 8956 KiB
[startup+0.700306 s]
/proc/loadavg: 4.15 4.12 4.10 5/243 832236
/proc/meminfo: memFree=127644212/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=44508 memory=14492 CPUtime=0.69 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 2148 0 0 0 34 35 0 0 20 0 1 0 162774494 45576192 3623 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 11127 3623 1337 291 0 2661 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44508 KiB
Current children cumulated memory: 14492 KiB
[startup+1.50028 s]
/proc/loadavg: 4.14 4.11 4.10 5/243 832236
/proc/meminfo: memFree=127620392/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=93584 memory=59708 CPUtime=1.49 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 11909 0 0 0 102 47 0 0 20 0 1 0 162774494 95830016 14927 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 23396 14927 1337 291 0 14930 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 93584 KiB
Current children cumulated memory: 59708 KiB
[startup+3.1137 s]
/proc/loadavg: 4.14 4.11 4.10 5/243 832236
/proc/meminfo: memFree=127517944/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=163988 memory=123424 CPUtime=3.1 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 22696 0 0 0 252 58 0 0 20 0 1 0 162774494 167923712 30856 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 40997 30856 1337 291 0 32531 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 163988 KiB
Current children cumulated memory: 123424 KiB
[startup+6.30026 s]
/proc/loadavg: 4.13 4.11 4.10 5/243 832236
/proc/meminfo: memFree=127451048/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=261184 memory=189372 CPUtime=6.27 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 35066 0 0 0 558 69 0 0 20 0 1 0 162774494 267452416 47343 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 65296 47343 1398 291 0 56830 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 261184 KiB
Current children cumulated memory: 189372 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.11 4.10 5/242 832283
/proc/meminfo: memFree=127404556/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=323344 memory=247212 CPUtime=12.65 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 42423 0 0 0 1179 86 0 0 20 0 1 0 162774494 331104256 61803 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 80836 61803 1398 291 0 72370 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 323344 KiB
Current children cumulated memory: 247212 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.09 5/242 832377
/proc/meminfo: memFree=127154644/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=549440 memory=420456 CPUtime=25.42 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 69917 0 0 0 2333 209 0 0 20 0 1 0 162774494 562626560 105114 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 137360 105114 1398 291 0 128894 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 549440 KiB
Current children cumulated memory: 420456 KiB
[startup+51.1126 s]
/proc/loadavg: 4.11 4.11 4.09 5/242 832381
/proc/meminfo: memFree=126936292/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=557888 memory=487524 CPUtime=50.96 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 75994 0 0 0 4560 536 0 0 20 0 1 0 162774494 571277312 121881 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 139472 121881 1398 291 0 131006 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 557888 KiB
Current children cumulated memory: 487524 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/243 832437
/proc/meminfo: memFree=126301312/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=694888 memory=553272 CPUtime=102.02 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 82313 0 0 0 8957 1245 0 0 20 0 1 0 162774494 711565312 138318 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 173722 138318 1398 291 0 165256 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 694888 KiB
Current children cumulated memory: 553272 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/242 832448
/proc/meminfo: memFree=125940984/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=938756 memory=739380 CPUtime=161.87 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 118726 0 0 0 14311 1876 0 0 20 0 1 0 162774494 961286144 184845 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 234689 184845 1398 291 0 226223 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 938756 KiB
Current children cumulated memory: 739380 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/242 832458
/proc/meminfo: memFree=125626396/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=957960 memory=773688 CPUtime=221.72 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 123808 0 0 0 20028 2144 0 0 20 0 1 0 162774494 980951040 193422 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 239490 193422 1398 291 0 231024 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 957960 KiB
Current children cumulated memory: 773688 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/242 832468
/proc/meminfo: memFree=125495592/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=970504 memory=791520 CPUtime=281.57 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 126807 0 0 0 25841 2316 0 0 20 0 1 0 162774494 993796096 197880 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 242626 197880 1398 291 0 234160 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 970504 KiB
Current children cumulated memory: 791520 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/242 832478
/proc/meminfo: memFree=125337200/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=991500 memory=815796 CPUtime=341.42 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 130908 0 0 0 31668 2474 0 0 20 0 1 0 162774494 1015296000 203949 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 247875 203949 1398 291 0 239409 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 991500 KiB
Current children cumulated memory: 815796 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/242 832489
/proc/meminfo: memFree=125281576/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=997644 memory=834432 CPUtime=401.27 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 133183 0 0 0 37523 2604 0 0 20 0 1 0 162774494 1021587456 208608 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 249411 208608 1398 291 0 240945 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 997644 KiB
Current children cumulated memory: 834432 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/244 832504
/proc/meminfo: memFree=125097276/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=998412 memory=835340 CPUtime=461.12 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 133584 0 0 0 43379 2733 0 0 20 0 1 0 162774494 1022373888 208835 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 249603 208835 1398 291 0 241137 0
################
# More data... #
################
Current children cumulated memory: 1025920 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/244 833562
/proc/meminfo: memFree=122547764/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234332 memory=1031392 CPUtime=2914.99 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 156324 0 0 0 285192 6307 0 0 20 0 1 0 162774494 1263955968 257848 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308583 257848 1398 291 0 300117 0
Current children cumulated CPU time: 2914.99 s
Current children cumulated vsize: 1234332 KiB
Current children cumulated memory: 1031392 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/244 833573
/proc/meminfo: memFree=122546644/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234332 memory=1031392 CPUtime=2974.84 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 156324 0 0 0 291093 6391 0 0 20 0 1 0 162774494 1263955968 257848 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308583 257848 1398 291 0 300117 0
Current children cumulated CPU time: 2974.84 s
Current children cumulated vsize: 1234332 KiB
Current children cumulated memory: 1031392 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/246 833587
/proc/meminfo: memFree=122546248/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234332 memory=1031392 CPUtime=3034.7 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 156324 0 0 0 297003 6467 0 0 20 0 1 0 162774494 1263955968 257848 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308583 257848 1398 291 0 300117 0
Current children cumulated CPU time: 3034.7 s
Current children cumulated vsize: 1234332 KiB
Current children cumulated memory: 1031392 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/246 833598
/proc/meminfo: memFree=122545980/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234332 memory=1031392 CPUtime=3094.56 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 156324 0 0 0 302930 6526 0 0 20 0 1 0 162774494 1263955968 257848 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308583 257848 1398 291 0 300117 0
Current children cumulated CPU time: 3094.56 s
Current children cumulated vsize: 1234332 KiB
Current children cumulated memory: 1031392 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/244 833993
/proc/meminfo: memFree=122545268/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234332 memory=1031628 CPUtime=3154.4 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 156376 0 0 0 308849 6591 0 0 20 0 1 0 162774494 1263955968 257907 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308583 257907 1398 291 0 300117 0
Current children cumulated CPU time: 3154.4 s
Current children cumulated vsize: 1234332 KiB
Current children cumulated memory: 1031628 KiB
[startup+3222.3 s]
/proc/loadavg: 4.32 4.21 4.19 5/244 834003
/proc/meminfo: memFree=122544716/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234588 memory=1031628 CPUtime=3214.25 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 156432 0 0 0 314773 6652 0 0 20 0 1 0 162774494 1264218112 257907 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308647 257907 1398 291 0 300181 0
Current children cumulated CPU time: 3214.25 s
Current children cumulated vsize: 1234588 KiB
Current children cumulated memory: 1031628 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/244 834013
/proc/meminfo: memFree=122544192/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234588 memory=1031704 CPUtime=3274.1 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 156490 0 0 0 320698 6712 0 0 20 0 1 0 162774494 1264218112 257926 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308647 257926 1398 291 0 300181 0
Current children cumulated CPU time: 3274.1 s
Current children cumulated vsize: 1234588 KiB
Current children cumulated memory: 1031704 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/244 834193
/proc/meminfo: memFree=122543444/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234588 memory=1031808 CPUtime=3333.95 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 156612 0 0 0 326621 6774 0 0 20 0 1 0 162774494 1264218112 257952 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308647 257952 1398 291 0 300181 0
Current children cumulated CPU time: 3333.95 s
Current children cumulated vsize: 1234588 KiB
Current children cumulated memory: 1031808 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/244 834204
/proc/meminfo: memFree=122531156/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234588 memory=1044024 CPUtime=3393.79 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 157731 0 0 0 332550 6829 0 0 20 0 1 0 162774494 1264218112 261006 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308647 261006 1398 291 0 300181 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 1234588 KiB
Current children cumulated memory: 1044024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/243 834216
/proc/meminfo: memFree=122524460/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234844 memory=1050248 CPUtime=3453.64 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 158362 0 0 0 338458 6906 0 0 20 0 1 0 162774494 1264480256 262562 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308711 262562 1398 291 0 300245 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 1234844 KiB
Current children cumulated memory: 1050248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/243 834237
/proc/meminfo: memFree=122524100/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234844 memory=1050248 CPUtime=3513.5 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 158362 0 0 0 344351 6999 0 0 20 0 1 0 162774494 1264480256 262562 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308711 262562 1398 291 0 300245 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 1234844 KiB
Current children cumulated memory: 1050248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/243 834294
/proc/meminfo: memFree=127798924/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234844 memory=1050640 CPUtime=3573.35 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 158370 0 0 0 350257 7078 0 0 20 0 1 0 162774494 1264480256 262660 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308711 262660 1398 291 0 300245 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 1234844 KiB
Current children cumulated memory: 1050640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.14 4.15 4.17 5/243 834297
/proc/meminfo: memFree=127716272/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234844 memory=1050844 CPUtime=3600.08 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 158391 0 0 0 352901 7107 0 0 20 0 1 0 162774494 1264480256 262711 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308711 262711 1398 291 0 300245 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1234844 KiB
Current children cumulated memory: 1050844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.15 s]
# the end of solver process 832235 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3529.02 s, system=71.1112 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.14 4.15 4.17 5/243 834297
/proc/meminfo: memFree=127716272/131655788 swapFree=131071996/131071996
[pid=832235] ppid=832232 vsize=1234844 memory=1050844 CPUtime=3600.08 cores=5,7
/proc/832235/stat : 832235 (pb-oll-rs) R 832232 832235 829774 0 -1 4194304 158391 0 0 0 352901 7107 0 0 20 0 1 0 162774494 1264480256 262711 134679101440 4194304 5384005 140723923670384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28229632 140723923678231 140723923678308 140723923678308 140723923685323 0
/proc/832235/statm: 308711 262711 1398 291 0 300245 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1234844 KiB
Current children cumulated memory: 1050844 KiB
Child status: 0
Real time (s): 3609.15
CPU time (s): 3600.13
CPU user time (s): 3529.02
CPU system time (s): 71.1112
CPU usage (%): 99.7501
Max. virtual memory (cumulated for all children) (KiB): 1234844
Max. memory (cumulated for all children) (KiB): 1050844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.02
system time used= 71.1112
maximum resident set size= 1050844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158408
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= 19
involuntary context switches= 2005
# summary of solver processes directly reported to runsolver:
# pid: 832235
# total CPU time (s): 3600.13
# total CPU user time (s): 3529.02
# total CPU system time (s): 71.1112
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9328 second user time and 36.1557 second system time
The end
Begin job on nodeC003 at 2024-07-16 07:03:16
IDJOB=4435829
IDBENCH=147662
IDSOLVER=3067
FILE ID=nodeC003/4435829-1721106184
RUNJOBID= nodeC003-1721102552-829787
SLURM_JOB_ID= 7505615
Free space on /tmp= 723776 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435829-1721106184/watcher-4435829-1721106184 -o /tmp/evaluation-result-4435829-1721106184/solver-4435829-1721106184 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829787 --watchdog 3760 pb-oll-rs HOME/instance-4435829-1721106184.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f38762496267db1df9beeeeb0c56175f
RANDOM SEED=2106772268
nodeC003.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 : 0xb00001f
cpu MHz : 3664.196
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3625.741
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.460
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.304
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3610.731
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.901
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.484
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.226
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127659416 kB
MemAvailable: 128638100 kB
Buffers: 405072 kB
Cached: 1407360 kB
SwapCached: 0 kB
Active: 627120 kB
Inactive: 2825728 kB
Active(anon): 1468 kB
Inactive(anon): 1676356 kB
Active(file): 625652 kB
Inactive(file): 1149372 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5152 kB
Writeback: 0 kB
AnonPages: 1640148 kB
Mapped: 107896 kB
Shmem: 37704 kB
KReclaimable: 87380 kB
Slab: 183604 kB
SReclaimable: 87380 kB
SUnreclaim: 96224 kB
KernelStack: 3952 kB
PageTables: 12760 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2241936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 405504 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: 228168 kB
DirectMap2M: 14356480 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC003 at 2024-07-16 08:03:25