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
1.09/1.11 c [STEP] solving
1.09/1.11 c #variables 7840 #constraints 65280
1.09/1.11 c SMALL=int, LARGE=long long
1.09/1.11 c bounds - >= 0 @ 1.04737
1.09/1.11 c stratification level: 0
1.29/1.36 c bounds - >= 1 @ 1.11515
1.29/1.36 c bounds - >= 2 @ 1.1165
1.29/1.36 c bounds - >= 3 @ 1.1232
1.29/1.36 c bounds - >= 4 @ 1.1239
1.29/1.36 c bounds - >= 5 @ 1.12618
1.29/1.36 c bounds - >= 6 @ 1.12838
1.29/1.36 c bounds - >= 7 @ 1.13069
1.29/1.36 c bounds - >= 8 @ 1.13243
1.29/1.36 c bounds - >= 9 @ 1.13494
1.29/1.36 c bounds - >= 10 @ 1.13627
1.29/1.36 c bounds - >= 11 @ 1.13689
1.29/1.36 c bounds - >= 12 @ 1.14079
1.29/1.36 c bounds - >= 13 @ 1.1454
1.29/1.36 c bounds - >= 14 @ 1.14609
1.29/1.36 c bounds - >= 15 @ 1.14843
1.29/1.36 c bounds - >= 16 @ 1.1497
1.29/1.36 c bounds - >= 17 @ 1.17112
1.29/1.36 c bounds - >= 18 @ 1.17387
1.29/1.36 c bounds - >= 19 @ 1.17601
1.29/1.36 c bounds - >= 20 @ 1.1788
1.29/1.36 c bounds - >= 21 @ 1.18132
1.29/1.36 c bounds - >= 22 @ 1.18212
1.29/1.36 c bounds - >= 23 @ 1.18535
1.29/1.36 c finalizing WCE round: reformulating cores
534.41/535.83 c #Conflicts: 1000 | #Constraints: 66323
534.41/535.83 c #Conflicts: 2000 | #Constraints: 67325
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 3000 | #Constraints: 67309
534.41/535.83 c #Conflicts: 4000 | #Constraints: 68311
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 5000 | #Constraints: 67719
534.41/535.83 c #Conflicts: 6000 | #Constraints: 68721
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 7000 | #Constraints: 67723
534.41/535.83 c #Conflicts: 8000 | #Constraints: 68725
534.41/535.83 c #Conflicts: 9000 | #Constraints: 69729
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 10000 | #Constraints: 68433
534.41/535.83 c #Conflicts: 11000 | #Constraints: 69435
534.41/535.83 c #Conflicts: 12000 | #Constraints: 70437
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 13000 | #Constraints: 68888
534.41/535.83 c #Conflicts: 14000 | #Constraints: 69890
534.41/535.83 c #Conflicts: 15000 | #Constraints: 70892
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c bounds 84 >= 23 @ 40.6324
534.41/535.83 c bounds 84 >= 24 @ 40.6459
534.41/535.83 c bounds 84 >= 25 @ 40.6512
534.41/535.83 c bounds 84 >= 26 @ 40.657
534.41/535.83 c bounds 84 >= 27 @ 40.6663
534.41/535.83 c bounds 84 >= 28 @ 40.6704
534.41/535.83 c bounds 84 >= 29 @ 40.6805
534.41/535.83 c bounds 84 >= 30 @ 40.7145
534.41/535.83 c #Conflicts: 16000 | #Constraints: 69180
534.41/535.83 c #Conflicts: 17000 | #Constraints: 70180
534.41/535.83 c #Conflicts: 18000 | #Constraints: 71180
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 19000 | #Constraints: 69191
534.41/535.83 c #Conflicts: 20000 | #Constraints: 70191
534.41/535.83 c #Conflicts: 21000 | #Constraints: 71191
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 22000 | #Constraints: 68995
534.41/535.83 c #Conflicts: 23000 | #Constraints: 69995
534.41/535.83 c #Conflicts: 24000 | #Constraints: 70995
534.41/535.83 c #Conflicts: 25000 | #Constraints: 71995
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 26000 | #Constraints: 69599
534.41/535.83 c #Conflicts: 27000 | #Constraints: 70599
534.41/535.83 c #Conflicts: 28000 | #Constraints: 71599
534.41/535.83 c #Conflicts: 29000 | #Constraints: 72599
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 30000 | #Constraints: 70009
534.41/535.83 c #Conflicts: 31000 | #Constraints: 71009
534.41/535.83 c #Conflicts: 32000 | #Constraints: 72009
534.41/535.83 c #Conflicts: 33000 | #Constraints: 73009
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 34000 | #Constraints: 70212
534.41/535.83 c #Conflicts: 35000 | #Constraints: 71212
534.41/535.83 c #Conflicts: 36000 | #Constraints: 72212
534.41/535.83 c #Conflicts: 37000 | #Constraints: 73212
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 38000 | #Constraints: 70220
534.41/535.83 c #Conflicts: 39000 | #Constraints: 71220
534.41/535.83 c #Conflicts: 40000 | #Constraints: 72220
534.41/535.83 c #Conflicts: 41000 | #Constraints: 73220
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 42000 | #Constraints: 70018
534.41/535.83 c #Conflicts: 43000 | #Constraints: 71018
534.41/535.83 c #Conflicts: 44000 | #Constraints: 72018
534.41/535.83 c #Conflicts: 45000 | #Constraints: 73018
534.41/535.83 c #Conflicts: 46000 | #Constraints: 74018
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 47000 | #Constraints: 70616
534.41/535.83 c #Conflicts: 48000 | #Constraints: 71616
534.41/535.83 c #Conflicts: 49000 | #Constraints: 72616
534.41/535.83 c #Conflicts: 50000 | #Constraints: 73616
534.41/535.83 c #Conflicts: 51000 | #Constraints: 74616
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 52000 | #Constraints: 71014
534.41/535.83 c #Conflicts: 53000 | #Constraints: 72014
534.41/535.83 c #Conflicts: 54000 | #Constraints: 73014
534.41/535.83 c #Conflicts: 55000 | #Constraints: 74014
534.41/535.83 c #Conflicts: 56000 | #Constraints: 75014
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 57000 | #Constraints: 71213
534.41/535.83 c #Conflicts: 58000 | #Constraints: 72213
534.41/535.83 c #Conflicts: 59000 | #Constraints: 73213
534.41/535.83 c #Conflicts: 60000 | #Constraints: 74213
534.41/535.83 c #Conflicts: 61000 | #Constraints: 75213
534.41/535.83 c INPROCESSING
534.41/535.83 c GARBAGE COLLECT
534.41/535.83 c #Conflicts: 62000 | #Constraints: 71216
534.41/535.83 c #Conflicts: 63000 | #Constraints: 72216
534.41/535.83 c #Conflicts: 64000 | #Constraints: 73216
1938.72/1944.15 c #Conflicts: 65000 | #Constraints: 74216
1938.72/1944.15 c #Conflicts: 66000 | #Constraints: 75216
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 67000 | #Constraints: 71018
1938.72/1944.15 c #Conflicts: 68000 | #Constraints: 72018
1938.72/1944.15 c #Conflicts: 69000 | #Constraints: 73018
1938.72/1944.15 c #Conflicts: 70000 | #Constraints: 74018
1938.72/1944.15 c #Conflicts: 71000 | #Constraints: 75018
1938.72/1944.15 c #Conflicts: 72000 | #Constraints: 76018
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 73000 | #Constraints: 71619
1938.72/1944.15 c #Conflicts: 74000 | #Constraints: 72619
1938.72/1944.15 c #Conflicts: 75000 | #Constraints: 73619
1938.72/1944.15 c #Conflicts: 76000 | #Constraints: 74619
1938.72/1944.15 c #Conflicts: 77000 | #Constraints: 75619
1938.72/1944.15 c #Conflicts: 78000 | #Constraints: 76619
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 79000 | #Constraints: 72014
1938.72/1944.15 c #Conflicts: 80000 | #Constraints: 73014
1938.72/1944.15 c #Conflicts: 81000 | #Constraints: 74014
1938.72/1944.15 c #Conflicts: 82000 | #Constraints: 75014
1938.72/1944.15 c #Conflicts: 83000 | #Constraints: 76014
1938.72/1944.15 c #Conflicts: 84000 | #Constraints: 77014
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 85000 | #Constraints: 72209
1938.72/1944.15 c #Conflicts: 86000 | #Constraints: 73209
1938.72/1944.15 c #Conflicts: 87000 | #Constraints: 74209
1938.72/1944.15 c #Conflicts: 88000 | #Constraints: 75209
1938.72/1944.15 c #Conflicts: 89000 | #Constraints: 76209
1938.72/1944.15 c #Conflicts: 90000 | #Constraints: 77209
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 91000 | #Constraints: 72212
1938.72/1944.15 c #Conflicts: 92000 | #Constraints: 73212
1938.72/1944.15 c #Conflicts: 93000 | #Constraints: 74212
1938.72/1944.15 c #Conflicts: 94000 | #Constraints: 75212
1938.72/1944.15 c #Conflicts: 95000 | #Constraints: 76212
1938.72/1944.15 c #Conflicts: 96000 | #Constraints: 77212
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 97000 | #Constraints: 72010
1938.72/1944.15 c #Conflicts: 98000 | #Constraints: 73010
1938.72/1944.15 c #Conflicts: 99000 | #Constraints: 74010
1938.72/1944.15 c #Conflicts: 100000 | #Constraints: 75010
1938.72/1944.15 c #Conflicts: 101000 | #Constraints: 76010
1938.72/1944.15 c #Conflicts: 102000 | #Constraints: 77010
1938.72/1944.15 c #Conflicts: 103000 | #Constraints: 78010
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 104000 | #Constraints: 72610
1938.72/1944.15 c #Conflicts: 105000 | #Constraints: 73610
1938.72/1944.15 c #Conflicts: 106000 | #Constraints: 74610
1938.72/1944.15 c #Conflicts: 107000 | #Constraints: 75610
1938.72/1944.15 c #Conflicts: 108000 | #Constraints: 76610
1938.72/1944.15 c #Conflicts: 109000 | #Constraints: 77610
1938.72/1944.15 c #Conflicts: 110000 | #Constraints: 78610
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 111000 | #Constraints: 73027
1938.72/1944.15 c #Conflicts: 112000 | #Constraints: 74027
1938.72/1944.15 c #Conflicts: 113000 | #Constraints: 75027
1938.72/1944.15 c #Conflicts: 114000 | #Constraints: 76027
1938.72/1944.15 c #Conflicts: 115000 | #Constraints: 77027
1938.72/1944.15 c #Conflicts: 116000 | #Constraints: 78027
1938.72/1944.15 c #Conflicts: 117000 | #Constraints: 79027
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 118000 | #Constraints: 73230
1938.72/1944.15 c #Conflicts: 119000 | #Constraints: 74230
1938.72/1944.15 c #Conflicts: 120000 | #Constraints: 75230
1938.72/1944.15 c #Conflicts: 121000 | #Constraints: 76230
1938.72/1944.15 c #Conflicts: 122000 | #Constraints: 77230
1938.72/1944.15 c #Conflicts: 123000 | #Constraints: 78230
1938.72/1944.15 c #Conflicts: 124000 | #Constraints: 79230
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 125000 | #Constraints: 73232
1938.72/1944.15 c #Conflicts: 126000 | #Constraints: 74232
1938.72/1944.15 c #Conflicts: 127000 | #Constraints: 75232
1938.72/1944.15 c #Conflicts: 128000 | #Constraints: 76232
1938.72/1944.15 c #Conflicts: 129000 | #Constraints: 77232
1938.72/1944.15 c #Conflicts: 130000 | #Constraints: 78232
1938.72/1944.15 c #Conflicts: 131000 | #Constraints: 79232
1938.72/1944.15 c INPROCESSING
1938.72/1944.15 c GARBAGE COLLECT
1938.72/1944.15 c #Conflicts: 132000 | #Constraints: 73022
1938.72/1944.15 c #Conflicts: 133000 | #Constraints: 74022
1938.72/1944.15 c #Conflicts: 134000 | #Constraints: 75022
1938.72/1944.15 c #Conflicts: 135000 | #Constraints: 76022
1938.72/1944.15 c #Conflicts: 136000 | #Constraints: 77022
3600.04/3610.10 c #Conflicts: 137000 | #Constraints: 78022
3600.04/3610.10 c #Conflicts: 138000 | #Constraints: 79022
3600.04/3610.10 c #Conflicts: 139000 | #Constraints: 80022
3600.04/3610.10 c INPROCESSING
3600.04/3610.10 c GARBAGE COLLECT
3600.04/3610.10 c #Conflicts: 140000 | #Constraints: 73621
3600.04/3610.10 c #Conflicts: 141000 | #Constraints: 74621
3600.04/3610.10 c #Conflicts: 142000 | #Constraints: 75621
3600.04/3610.10 c #Conflicts: 143000 | #Constraints: 76621
3600.04/3610.10 c #Conflicts: 144000 | #Constraints: 77621
3600.04/3610.10 c #Conflicts: 145000 | #Constraints: 78621
3600.04/3610.10 c #Conflicts: 146000 | #Constraints: 79621
3600.04/3610.10 c #Conflicts: 147000 | #Constraints: 80621
3600.04/3610.10 c INPROCESSING
3600.04/3610.10 c GARBAGE COLLECT
3600.04/3610.10 c #Conflicts: 148000 | #Constraints: 74030
3600.04/3610.10 c #Conflicts: 149000 | #Constraints: 75030
3600.04/3610.10 c #Conflicts: 150000 | #Constraints: 76030
3600.04/3610.10 c #Conflicts: 151000 | #Constraints: 77030
3600.04/3610.10 c #Conflicts: 152000 | #Constraints: 78030
3600.04/3610.10 c #Conflicts: 153000 | #Constraints: 79030
3600.04/3610.10 c #Conflicts: 154000 | #Constraints: 80030
3600.04/3610.10 c #Conflicts: 155000 | #Constraints: 81030
3600.04/3610.10 c INPROCESSING
3600.04/3610.10 c GARBAGE COLLECT
3600.04/3610.10 c #Conflicts: 156000 | #Constraints: 74221
3600.04/3610.10 c #Conflicts: 157000 | #Constraints: 75221
3600.04/3610.10 c #Conflicts: 158000 | #Constraints: 76221
3600.04/3610.10 c #Conflicts: 159000 | #Constraints: 77221
3600.04/3610.10 c #Conflicts: 160000 | #Constraints: 78221
3600.04/3610.10 c #Conflicts: 161000 | #Constraints: 79221
3600.04/3610.10 c #Conflicts: 162000 | #Constraints: 80221
3600.04/3610.10 c #Conflicts: 163000 | #Constraints: 81221
3600.04/3610.10 c INPROCESSING
3600.04/3610.10 c GARBAGE COLLECT
3600.04/3610.10 c #Conflicts: 164000 | #Constraints: 74218
3600.04/3610.10 c #Conflicts: 165000 | #Constraints: 75218
3600.04/3610.10 c #Conflicts: 166000 | #Constraints: 76218
3600.04/3610.10 c #Conflicts: 167000 | #Constraints: 77218
3600.04/3610.10 c #Conflicts: 168000 | #Constraints: 78218
3600.04/3610.10 c #Conflicts: 169000 | #Constraints: 79218
3600.04/3610.10 c #Conflicts: 170000 | #Constraints: 80218
3600.04/3610.10 c #Conflicts: 171000 | #Constraints: 81218
3600.04/3610.10 c INPROCESSING
3600.04/3610.10 c GARBAGE COLLECT
3600.04/3610.10 c #Conflicts: 172000 | #Constraints: 74012
3600.04/3610.10 c #Conflicts: 173000 | #Constraints: 75012
3600.04/3610.10 c #Conflicts: 174000 | #Constraints: 76012
3600.04/3610.10 c #Conflicts: 175000 | #Constraints: 77012
3600.04/3610.10 c #Conflicts: 176000 | #Constraints: 78012
3600.04/3610.10 c #Conflicts: 177000 | #Constraints: 79012
3600.04/3610.10 c #Conflicts: 178000 | #Constraints: 80012
3600.04/3610.10 c #Conflicts: 179000 | #Constraints: 81012
3600.04/3610.10 c #Conflicts: 180000 | #Constraints: 82012
3600.04/3610.10 c INPROCESSING
3600.04/3610.10 c GARBAGE COLLECT
3600.04/3610.10 c #Conflicts: 181000 | #Constraints: 74611
3600.04/3610.10 c #Conflicts: 182000 | #Constraints: 75611
3600.04/3610.10 c #Conflicts: 183000 | #Constraints: 76611
3600.04/3610.10 c #Conflicts: 184000 | #Constraints: 77611
3600.04/3610.10 c #Conflicts: 185000 | #Constraints: 78611
3600.04/3610.10 c #Conflicts: 186000 | #Constraints: 79611
3600.04/3610.10 c #Conflicts: 187000 | #Constraints: 80611
3600.04/3610.10 c #Conflicts: 188000 | #Constraints: 81611
3600.04/3610.10 c #Conflicts: 189000 | #Constraints: 82611
3600.04/3610.10 c INPROCESSING
3600.04/3610.10 c GARBAGE COLLECT
3600.04/3610.10 c #Conflicts: 190000 | #Constraints: 75033
3600.04/3610.10 c #Conflicts: 191000 | #Constraints: 76033
3600.04/3610.10 c #Conflicts: 192000 | #Constraints: 77033
3600.04/3610.10 c #Conflicts: 193000 | #Constraints: 78033
3600.04/3610.10 c Program interrupted by user.
3600.04/3610.10 c cpu time 3540.6 s
3600.04/3610.10 c deterministic time 170970909047 1.71e+11
3600.04/3610.10 c optimization time 160.229 s
3600.04/3610.10 c total solve time 3379.32 s
3600.04/3610.10 c core-guided solve time 3379.32 s
3600.04/3610.10 c propagation time 3244.94 s
3600.04/3610.10 c conflict analysis time 177.618 s
3600.04/3610.10 c propagations 193793369
3600.04/3610.10 c resolve steps 576760
3600.04/3610.10 c decisions 70491217
3600.04/3610.10 c conflicts 193926
3600.04/3610.10 c restarts 509
3600.04/3610.10 c inprocessing phases 35
3600.04/3610.10 c input clauses 65299
3600.04/3610.10 c input cardinalities 77
3600.04/3610.10 c input general constraints 41
3600.04/3610.10 c input average constraint length 59.10
3600.04/3610.10 c input average constraint degree 1.87
3600.04/3610.10 c learned clauses 2152
3600.04/3610.10 c learned cardinalities 3078
3600.04/3610.10 c learned general constraints 188697
3600.04/3610.10 c learned average constraint length 5221.97
3600.04/3610.10 c learned average constraint degree 11146.98
3600.04/3610.10 c watched constraints 40404
3600.04/3610.10 c counting constraints 148334
3600.04/3610.10 c gcd simplifications 48
3600.04/3610.10 c detected cardinalities 26
3600.04/3610.10 c weakened non-implied lits 18434531
3600.04/3610.10 c weakened non-implying lits 187
3600.04/3610.10 c original variables 7840
3600.04/3610.10 c clausal propagations 2399363
3600.04/3610.10 c cardinality propagations 973441
3600.04/3610.10 c watched propagations 6427077
3600.04/3610.10 c counting propagations 180195063
3600.04/3610.10 c watch lookups 56427862187
3600.04/3610.10 c watch backjump lookups 55909019317
3600.04/3610.10 c watch checks 48417162798
3600.04/3610.10 c propagation checks 8370947947
3600.04/3610.10 c constraint additions 1317159319
3600.04/3610.10 c trail pops 264472892
3600.04/3610.10 c formula constraints 65280
3600.04/3610.10 c learned constraints 193927
3600.04/3610.10 c bound constraints 37
3600.04/3610.10 c core-guided constraints 100
3600.04/3610.10 c encountered formula constraints 265756
3600.04/3610.10 c encountered learned constraints 463791
3600.04/3610.10 c encountered bound constraints 31
3600.04/3610.10 c encountered core-guided constraints 41108
3600.04/3610.10 c LP total time 0 s
3600.04/3610.10 c LP solve time 0 s
3600.04/3610.10 c LP constraints added 0
3600.04/3610.10 c LP constraints removed 0
3600.04/3610.10 c LP pivots internal 0
3600.04/3610.10 c LP pivots root 0
3600.04/3610.10 c LP calls 0
3600.04/3610.10 c LP optimalities 0
3600.04/3610.10 c LP no pivot count 0
3600.04/3610.10 c LP infeasibilities 0
3600.04/3610.10 c LP valid Farkas constraints 0
3600.04/3610.10 c LP learned Farkas constraints 0
3600.04/3610.10 c LP basis resets 0
3600.04/3610.10 c LP cycling count 0
3600.04/3610.10 c LP singular count 0
3600.04/3610.10 c LP no primal count 0
3600.04/3610.10 c LP no farkas count 0
3600.04/3610.10 c LP other issue count 0
3600.04/3610.10 c LP Gomory cuts 0
3600.04/3610.10 c LP learned cuts 0
3600.04/3610.10 c LP deleted cuts 0
3600.04/3610.10 c LP encountered Gomory constraints 0
3600.04/3610.10 c LP encountered Farkas constraints 0
3600.04/3610.10 c LP encountered learned Farkas constraints 0
3600.04/3610.10 c CG auxiliary variables introduced 41
3600.04/3610.10 c CG solutions found 1
3600.04/3610.10 c CG cores constructed 30
3600.04/3610.10 c CG core cardinality constraints returned 0
3600.04/3610.10 c CG unit cores 0
3600.04/3610.10 c CG single cores 30
3600.04/3610.10 c CG blocks removed during cardinality reduction 0
3600.04/3610.10 c CG first core best 0
3600.04/3610.10 c CG decision core best 0
3600.04/3610.10 c CG core reduction tie 0
3600.04/3610.10 c CG core degree average 1.00
3600.04/3610.10 c CG core slack average 75.13
3600.04/3610.10 c CG exhausted 0
3600.04/3610.10 c CG exhaust time 39.3663 s
3600.04/3610.10 c CG trimmed 0
3600.04/3610.10 c CG trim time 0.006256 s
3600.04/3610.10 c CG minimized 0
3600.04/3610.10 c CG minimize time 0 s
3600.04/3610.10 c CG am1 prop time 0.020664 s
3600.04/3610.10 c CG # am1s reformulated 0
3600.04/3610.10 c CG lower bound derived from am1s 0
3600.04/3610.10 c CG # clausal cores 30
3600.04/3610.10 c CG # cardinality cores 0
3600.04/3610.10 c CG # pb cores 0
3600.04/3610.10 c CG # pb reforms 0
3600.04/3610.10 c CG # cores discarded because of pb reform 0
3600.04/3610.10 d LOWERBOUND 30
3600.04/3610.10 d NCORES 30
3600.04/3610.10 d NPBCORES 0
3600.04/3610.10 d NPBREFORM 0
3600.04/3610.10 d NTRIMMED 0
3600.04/3610.10 d NEXHAUSTED 0
3600.04/3610.10 d NAM1S 0
3600.04/3610.10 d AM1LB 0
3600.04/3610.10 o 84
3600.04/3610.10 s SATISFIABLE
3600.04/3610.10 v -x1 -x2 x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 x1884 -x1885 x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 x3265 x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 x3412 x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 x4990 -x4991 -x4992 -x4993 -x4994 -x4995 x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 x6035 x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 x6081 x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 x6245 x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840
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: 63931 MiB (62514 MiB free)
memory of node 1: 64510 MiB (63027 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454505-1721473798/watcher-4454505-1721473798 -o /tmp/evaluation-result-4454505-1721473798/solver-4454505-1721473798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721470199-1075352 --watchdog 3760 pb-oll-rs HOME/instance-4454505-1721473798.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=1077395, runsolver pid=1077392
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.08 4.09 4.06 5/252 1077396
/proc/meminfo: memFree=128548396/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=40752 memory=8228 CPUtime=0.09 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 1247 0 0 0 9 0 0 0 20 0 1 0 199547221 41730048 2057 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 10188 2057 1217 291 0 1722 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40752 KiB
Current children cumulated memory: 8228 KiB
[startup+0.204289 s]*
/proc/loadavg: 4.08 4.09 4.06 5/252 1077396
/proc/meminfo: memFree=128545088/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=40884 memory=10536 CPUtime=0.2 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 1304 0 0 0 19 1 0 0 20 0 1 0 199547221 41865216 2634 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 10221 2634 1217 291 0 1755 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40884 KiB
Current children cumulated memory: 10536 KiB
[startup+0.304218 s]*
/proc/loadavg: 4.08 4.09 4.06 5/252 1077396
/proc/meminfo: memFree=128541136/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=43736 memory=11648 CPUtime=0.3 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 1565 0 0 0 29 1 0 0 20 0 1 0 199547221 44785664 2912 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 10934 2912 1217 291 0 2468 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43736 KiB
Current children cumulated memory: 11648 KiB
[startup+0.70016 s]
/proc/loadavg: 4.08 4.09 4.06 5/252 1077396
/proc/meminfo: memFree=128536120/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=48684 memory=18028 CPUtime=0.69 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 2135 0 0 0 66 3 0 0 20 0 1 0 199547221 49852416 4507 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 12171 4507 1217 291 0 3705 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48684 KiB
Current children cumulated memory: 18028 KiB
[startup+1.50021 s]
/proc/loadavg: 4.08 4.09 4.06 5/252 1077396
/proc/meminfo: memFree=128518376/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=85844 memory=45168 CPUtime=1.49 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 7302 0 0 0 132 17 0 0 20 0 1 0 199547221 87904256 11292 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 21461 11292 1375 291 0 12995 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 85844 KiB
Current children cumulated memory: 45168 KiB
[startup+3.10538 s]
/proc/loadavg: 4.07 4.09 4.06 5/256 1077434
/proc/meminfo: memFree=128228376/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=199368 memory=148328 CPUtime=3.09 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 24965 0 0 0 281 28 0 0 20 0 1 0 199547221 204152832 37082 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 49842 37082 1375 291 0 41376 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 199368 KiB
Current children cumulated memory: 148328 KiB
[startup+6.30023 s]
/proc/loadavg: 4.07 4.09 4.06 5/256 1077480
/proc/meminfo: memFree=127745060/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=317720 memory=267908 CPUtime=6.27 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 42716 0 0 0 581 46 0 0 20 0 1 0 199547221 325345280 66977 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 79430 66977 1390 291 0 70964 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 317720 KiB
Current children cumulated memory: 267908 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.06 5/256 1077480
/proc/meminfo: memFree=126839500/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=532212 memory=445720 CPUtime=12.66 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 72636 0 0 0 1184 82 0 0 20 0 1 0 199547221 544985088 111430 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 133053 111430 1441 291 0 124587 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 532212 KiB
Current children cumulated memory: 445720 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.06 5/256 1077483
/proc/meminfo: memFree=125754616/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=864588 memory=658744 CPUtime=25.44 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 108104 0 0 0 2376 168 0 0 20 0 1 0 199547221 885338112 164686 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 216147 164686 1441 291 0 207681 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 864588 KiB
Current children cumulated memory: 658744 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.06 5/256 1077487
/proc/meminfo: memFree=124791064/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=919900 memory=726008 CPUtime=50.98 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 119958 0 0 0 4787 311 0 0 20 0 1 0 199547221 941977600 181502 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 229975 181502 1441 291 0 221509 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 919900 KiB
Current children cumulated memory: 726008 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/256 1077496
/proc/meminfo: memFree=124384024/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=923680 memory=729200 CPUtime=102.04 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 121451 0 0 0 9722 482 0 0 20 0 1 0 199547221 945848320 182300 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 230920 182300 1441 291 0 222454 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 923680 KiB
Current children cumulated memory: 729200 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.07 5/256 1077506
/proc/meminfo: memFree=124267272/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=931556 memory=748304 CPUtime=161.89 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 124314 0 0 0 15511 678 0 0 20 0 1 0 199547221 953913344 187076 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 232889 187076 1441 291 0 224423 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 931556 KiB
Current children cumulated memory: 748304 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.06 5/256 1077517
/proc/meminfo: memFree=124180676/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=934756 memory=776312 CPUtime=221.73 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 127415 0 0 0 21329 844 0 0 20 0 1 0 199547221 957190144 194078 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 233689 194078 1441 291 0 225223 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 934756 KiB
Current children cumulated memory: 776312 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.06 5/256 1077528
/proc/meminfo: memFree=124075500/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=936356 memory=801720 CPUtime=281.58 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 130040 0 0 0 27157 1001 0 0 20 0 1 0 199547221 958828544 200430 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 234089 200430 1441 291 0 225623 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 936356 KiB
Current children cumulated memory: 801720 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/254 1077538
/proc/meminfo: memFree=123947432/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=937368 memory=826192 CPUtime=341.42 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 132531 0 0 0 32997 1145 0 0 20 0 1 0 199547221 959864832 206548 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 234342 206548 1441 291 0 225876 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 937368 KiB
Current children cumulated memory: 826192 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/254 1077548
/proc/meminfo: memFree=123838524/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=938600 memory=843388 CPUtime=401.26 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 134748 0 0 0 38821 1305 0 0 20 0 1 0 199547221 961126400 210847 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 234650 210847 1441 291 0 226184 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 938600 KiB
Current children cumulated memory: 843388 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.10 4.08 5/254 1077559
/proc/meminfo: memFree=123740308/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=1154420 memory=874848 CPUtime=461.11 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 138311 0 0 0 44673 1438 0 0 20 0 1 0 199547221 1182126080 218712 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 288605 218712 1441 291 0 280139 0
################
# More data... #
################
Current children cumulated memory: 1655192 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/256 1079171
/proc/meminfo: memFree=120326552/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2018272 memory=1661376 CPUtime=2914.19 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 247571 0 0 0 286287 5132 0 0 20 0 1 0 199547221 2066710528 415344 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 504568 415344 1441 291 0 496102 0
Current children cumulated CPU time: 2914.19 s
Current children cumulated vsize: 2018272 KiB
Current children cumulated memory: 1661376 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/256 1079181
/proc/meminfo: memFree=120259444/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2021988 memory=1687912 CPUtime=2974.03 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 249435 0 0 0 292186 5217 0 0 20 0 1 0 199547221 2070515712 421978 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 505497 421978 1441 291 0 497031 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 2021988 KiB
Current children cumulated memory: 1687912 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/258 1079196
/proc/meminfo: memFree=120217436/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2021988 memory=1687912 CPUtime=3033.85 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 250154 0 0 0 298081 5304 0 0 20 0 1 0 199547221 2070515712 421978 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 505497 421978 1441 291 0 497031 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 2021988 KiB
Current children cumulated memory: 1687912 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/257 1079217
/proc/meminfo: memFree=120143492/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2021988 memory=1687912 CPUtime=3093.68 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 251711 0 0 0 303992 5376 0 0 20 0 1 0 199547221 2070515712 421978 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 505497 421978 1441 291 0 497031 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 2021988 KiB
Current children cumulated memory: 1687912 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 1079227
/proc/meminfo: memFree=120100620/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2021988 memory=1687916 CPUtime=3153.51 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 252235 0 0 0 309918 5433 0 0 20 0 1 0 199547221 2070515712 421979 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 505497 421979 1441 291 0 497031 0
Current children cumulated CPU time: 3153.51 s
Current children cumulated vsize: 2021988 KiB
Current children cumulated memory: 1687916 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 1079238
/proc/meminfo: memFree=120086620/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2025700 memory=1699716 CPUtime=3213.33 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 254077 0 0 0 315830 5503 0 0 20 0 1 0 199547221 2074316800 424929 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 506425 424929 1441 291 0 497959 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 2025700 KiB
Current children cumulated memory: 1699716 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 1079249
/proc/meminfo: memFree=120086076/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2025700 memory=1699716 CPUtime=3273.17 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 254668 0 0 0 321717 5600 0 0 20 0 1 0 199547221 2074316800 424929 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 506425 424929 1441 291 0 497959 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 2025700 KiB
Current children cumulated memory: 1699716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/254 1079259
/proc/meminfo: memFree=120060228/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2025700 memory=1699716 CPUtime=3332.99 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 255338 0 0 0 327640 5659 0 0 20 0 1 0 199547221 2074316800 424929 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 506425 424929 1441 291 0 497959 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 2025700 KiB
Current children cumulated memory: 1699716 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 1079269
/proc/meminfo: memFree=120042840/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2025700 memory=1699716 CPUtime=3392.82 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 255817 0 0 0 333565 5717 0 0 20 0 1 0 199547221 2074316800 424929 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 506425 424929 1441 291 0 497959 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 2025700 KiB
Current children cumulated memory: 1699716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/254 1079280
/proc/meminfo: memFree=120021580/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2026212 memory=1700184 CPUtime=3452.66 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 256607 0 0 0 339498 5768 0 0 20 0 1 0 199547221 2074841088 425046 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 506553 425046 1441 291 0 498087 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 2026212 KiB
Current children cumulated memory: 1700184 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/255 1079291
/proc/meminfo: memFree=120012040/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2027108 memory=1709936 CPUtime=3512.49 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 257870 0 0 0 345403 5846 0 0 20 0 1 0 199547221 2075758592 427484 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 506777 427484 1441 291 0 498311 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 2027108 KiB
Current children cumulated memory: 1709936 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 1079301
/proc/meminfo: memFree=120008064/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2027108 memory=1709936 CPUtime=3572.32 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 258540 0 0 0 351316 5916 0 0 20 0 1 0 199547221 2075758592 427484 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 506777 427484 1441 291 0 498311 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 2027108 KiB
Current children cumulated memory: 1709936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1079311
/proc/meminfo: memFree=119991456/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2027108 memory=1709936 CPUtime=3600.04 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 258796 0 0 0 354059 5945 0 0 20 0 1 0 199547221 2075758592 427484 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 506777 427484 1441 291 0 498311 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2027108 KiB
Current children cumulated memory: 1709936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.13 s]
# the end of solver process 1077395 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3540.6 s, system=59.4677 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1079311
/proc/meminfo: memFree=119991456/131524600 swapFree=131071996/131071996
[pid=1077395] ppid=1077392 vsize=2027108 memory=1709936 CPUtime=3600.04 cores=1,3
/proc/1077395/stat : 1077395 (pb-oll-rs) R 1077392 1077395 1075340 0 -1 4194304 258796 0 0 0 354059 5945 0 0 20 0 1 0 199547221 2075758592 427484 134679101440 4194304 5384485 140735476497312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27426816 140735476503573 140735476503650 140735476503650 140735476510667 0
/proc/1077395/statm: 506777 427484 1441 291 0 498311 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2027108 KiB
Current children cumulated memory: 1709936 KiB
Child status: 0
Real time (s): 3610.13
CPU time (s): 3600.07
CPU user time (s): 3540.6
CPU system time (s): 59.4677
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 2028424
Max. memory (cumulated for all children) (KiB): 1711096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.6
system time used= 59.4677
maximum resident set size= 1711096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258812
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= 243
involuntary context switches= 2133
# summary of solver processes directly reported to runsolver:
# pid: 1077395
# total CPU time (s): 3600.07
# total CPU user time (s): 3540.6
# total CPU system time (s): 59.4677
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69243 second user time and 17.0278 second system time
The end
Begin job on nodeC029 at 2024-07-20 13:10:11
IDJOB=4454505
IDBENCH=155400
IDSOLVER=3082
FILE ID=nodeC029/4454505-1721473798
RUNJOBID= nodeC029-1721470199-1075352
SLURM_JOB_ID= 7545733
Free space on /tmp= 889968 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454505-1721473798/watcher-4454505-1721473798 -o /tmp/evaluation-result-4454505-1721473798/solver-4454505-1721473798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721470199-1075352 --watchdog 3760 pb-oll-rs HOME/instance-4454505-1721473798.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=1900606319
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 : 3681.419
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 : 7000.09
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 : 3655.765
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 : 7006.98
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.057
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 : 7000.09
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 : 3675.112
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 : 7006.98
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 : 3681.403
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 : 7000.09
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 : 3675.069
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 : 7006.98
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 : 3600.133
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 : 7000.09
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 : 3651.023
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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128554900 kB
MemAvailable: 129698948 kB
Buffers: 557052 kB
Cached: 1426920 kB
SwapCached: 0 kB
Active: 1103140 kB
Inactive: 1235472 kB
Active(anon): 1472 kB
Inactive(anon): 399400 kB
Active(file): 1101668 kB
Inactive(file): 836072 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 84748 kB
Writeback: 0 kB
AnonPages: 355048 kB
Mapped: 110000 kB
Shmem: 45912 kB
KReclaimable: 91912 kB
Slab: 204952 kB
SReclaimable: 91912 kB
SUnreclaim: 113040 kB
KernelStack: 4060 kB
PageTables: 10060 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 737524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72640 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889916 MiB
End job on nodeC029 at 2024-07-20 14:10:21