0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
1.99/2.03 c [STEP] solving
1.99/2.03 c #variables 7840 #constraints 65280
1.99/2.03 c SMALL=int, LARGE=long long
1.99/2.03 c bounds - >= 0 @ 1.91639
1.99/2.03 c stratification level: 0
2.28/2.31 c bounds - >= 1 @ 1.99652
2.28/2.31 c bounds - >= 2 @ 1.99995
2.28/2.31 c bounds - >= 3 @ 2.00782
2.28/2.31 c bounds - >= 4 @ 2.00854
2.28/2.31 c bounds - >= 5 @ 2.01024
2.28/2.31 c bounds - >= 6 @ 2.01173
2.28/2.31 c bounds - >= 7 @ 2.01418
2.28/2.31 c bounds - >= 8 @ 2.01809
2.28/2.31 c bounds - >= 9 @ 2.02087
2.28/2.31 c bounds - >= 10 @ 2.02334
2.28/2.31 c bounds - >= 11 @ 2.02485
2.28/2.31 c bounds - >= 12 @ 2.02827
2.28/2.31 c bounds - >= 13 @ 2.03095
2.28/2.31 c bounds - >= 14 @ 2.03271
2.28/2.31 c bounds - >= 15 @ 2.03425
2.28/2.31 c bounds - >= 16 @ 2.04022
2.28/2.31 c bounds - >= 17 @ 2.06632
2.28/2.31 c bounds - >= 18 @ 2.07004
2.28/2.31 c bounds - >= 19 @ 2.0731
2.28/2.31 c bounds - >= 20 @ 2.07884
2.28/2.31 c bounds - >= 21 @ 2.0836
2.28/2.31 c bounds - >= 22 @ 2.08557
2.28/2.31 c bounds - >= 23 @ 2.09027
2.28/2.31 c finalizing WCE round: reformulating cores
589.45/591.11 c #Conflicts: 1000 | #Constraints: 66323
589.45/591.11 c #Conflicts: 2000 | #Constraints: 67325
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 3000 | #Constraints: 67309
589.45/591.11 c #Conflicts: 4000 | #Constraints: 68311
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 5000 | #Constraints: 67719
589.45/591.11 c #Conflicts: 6000 | #Constraints: 68721
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 7000 | #Constraints: 67723
589.45/591.11 c #Conflicts: 8000 | #Constraints: 68725
589.45/591.11 c #Conflicts: 9000 | #Constraints: 69729
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 10000 | #Constraints: 68433
589.45/591.11 c #Conflicts: 11000 | #Constraints: 69435
589.45/591.11 c #Conflicts: 12000 | #Constraints: 70437
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 13000 | #Constraints: 68888
589.45/591.11 c #Conflicts: 14000 | #Constraints: 69890
589.45/591.11 c #Conflicts: 15000 | #Constraints: 70892
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c bounds 84 >= 23 @ 47.5208
589.45/591.11 c bounds 84 >= 24 @ 47.5395
589.45/591.11 c bounds 84 >= 25 @ 47.5479
589.45/591.11 c bounds 84 >= 26 @ 47.5559
589.45/591.11 c bounds 84 >= 27 @ 47.5674
589.45/591.11 c bounds 84 >= 28 @ 47.5737
589.45/591.11 c bounds 84 >= 29 @ 47.5843
589.45/591.11 c bounds 84 >= 30 @ 47.6265
589.45/591.11 c #Conflicts: 16000 | #Constraints: 69180
589.45/591.11 c #Conflicts: 17000 | #Constraints: 70180
589.45/591.11 c #Conflicts: 18000 | #Constraints: 71180
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 19000 | #Constraints: 69191
589.45/591.11 c #Conflicts: 20000 | #Constraints: 70191
589.45/591.11 c #Conflicts: 21000 | #Constraints: 71191
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 22000 | #Constraints: 68995
589.45/591.11 c #Conflicts: 23000 | #Constraints: 69995
589.45/591.11 c #Conflicts: 24000 | #Constraints: 70995
589.45/591.11 c #Conflicts: 25000 | #Constraints: 71995
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 26000 | #Constraints: 69599
589.45/591.11 c #Conflicts: 27000 | #Constraints: 70599
589.45/591.11 c #Conflicts: 28000 | #Constraints: 71599
589.45/591.11 c #Conflicts: 29000 | #Constraints: 72599
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 30000 | #Constraints: 70009
589.45/591.11 c #Conflicts: 31000 | #Constraints: 71009
589.45/591.11 c #Conflicts: 32000 | #Constraints: 72009
589.45/591.11 c #Conflicts: 33000 | #Constraints: 73009
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 34000 | #Constraints: 70212
589.45/591.11 c #Conflicts: 35000 | #Constraints: 71212
589.45/591.11 c #Conflicts: 36000 | #Constraints: 72212
589.45/591.11 c #Conflicts: 37000 | #Constraints: 73212
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 38000 | #Constraints: 70220
589.45/591.11 c #Conflicts: 39000 | #Constraints: 71220
589.45/591.11 c #Conflicts: 40000 | #Constraints: 72220
589.45/591.11 c #Conflicts: 41000 | #Constraints: 73220
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 42000 | #Constraints: 70018
589.45/591.11 c #Conflicts: 43000 | #Constraints: 71018
589.45/591.11 c #Conflicts: 44000 | #Constraints: 72018
589.45/591.11 c #Conflicts: 45000 | #Constraints: 73018
589.45/591.11 c #Conflicts: 46000 | #Constraints: 74018
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 47000 | #Constraints: 70616
589.45/591.11 c #Conflicts: 48000 | #Constraints: 71616
589.45/591.11 c #Conflicts: 49000 | #Constraints: 72616
589.45/591.11 c #Conflicts: 50000 | #Constraints: 73616
589.45/591.11 c #Conflicts: 51000 | #Constraints: 74616
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 52000 | #Constraints: 71014
589.45/591.11 c #Conflicts: 53000 | #Constraints: 72014
589.45/591.11 c #Conflicts: 54000 | #Constraints: 73014
589.45/591.11 c #Conflicts: 55000 | #Constraints: 74014
589.45/591.11 c #Conflicts: 56000 | #Constraints: 75014
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 57000 | #Constraints: 71213
589.45/591.11 c #Conflicts: 58000 | #Constraints: 72213
589.45/591.11 c #Conflicts: 59000 | #Constraints: 73213
589.45/591.11 c #Conflicts: 60000 | #Constraints: 74213
589.45/591.11 c #Conflicts: 61000 | #Constraints: 75213
589.45/591.11 c INPROCESSING
589.45/591.11 c GARBAGE COLLECT
589.45/591.11 c #Conflicts: 62000 | #Constraints: 71216
589.45/591.11 c #Conflicts: 63000 | #Constraints: 72216
589.45/591.11 c #Conflicts: 64000 | #Constraints: 73216
1844.89/1850.12 c #Conflicts: 65000 | #Constraints: 74216
1844.89/1850.12 c #Conflicts: 66000 | #Constraints: 75216
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 67000 | #Constraints: 71018
1844.89/1850.12 c #Conflicts: 68000 | #Constraints: 72018
1844.89/1850.12 c #Conflicts: 69000 | #Constraints: 73018
1844.89/1850.12 c #Conflicts: 70000 | #Constraints: 74018
1844.89/1850.12 c #Conflicts: 71000 | #Constraints: 75018
1844.89/1850.12 c #Conflicts: 72000 | #Constraints: 76018
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 73000 | #Constraints: 71619
1844.89/1850.12 c #Conflicts: 74000 | #Constraints: 72619
1844.89/1850.12 c #Conflicts: 75000 | #Constraints: 73619
1844.89/1850.12 c #Conflicts: 76000 | #Constraints: 74619
1844.89/1850.12 c #Conflicts: 77000 | #Constraints: 75619
1844.89/1850.12 c #Conflicts: 78000 | #Constraints: 76619
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 79000 | #Constraints: 72014
1844.89/1850.12 c #Conflicts: 80000 | #Constraints: 73014
1844.89/1850.12 c #Conflicts: 81000 | #Constraints: 74014
1844.89/1850.12 c #Conflicts: 82000 | #Constraints: 75014
1844.89/1850.12 c #Conflicts: 83000 | #Constraints: 76014
1844.89/1850.12 c #Conflicts: 84000 | #Constraints: 77014
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 85000 | #Constraints: 72209
1844.89/1850.12 c #Conflicts: 86000 | #Constraints: 73209
1844.89/1850.12 c #Conflicts: 87000 | #Constraints: 74209
1844.89/1850.12 c #Conflicts: 88000 | #Constraints: 75209
1844.89/1850.12 c #Conflicts: 89000 | #Constraints: 76209
1844.89/1850.12 c #Conflicts: 90000 | #Constraints: 77209
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 91000 | #Constraints: 72212
1844.89/1850.12 c #Conflicts: 92000 | #Constraints: 73212
1844.89/1850.12 c #Conflicts: 93000 | #Constraints: 74212
1844.89/1850.12 c #Conflicts: 94000 | #Constraints: 75212
1844.89/1850.12 c #Conflicts: 95000 | #Constraints: 76212
1844.89/1850.12 c #Conflicts: 96000 | #Constraints: 77212
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 97000 | #Constraints: 72010
1844.89/1850.12 c #Conflicts: 98000 | #Constraints: 73010
1844.89/1850.12 c #Conflicts: 99000 | #Constraints: 74010
1844.89/1850.12 c #Conflicts: 100000 | #Constraints: 75010
1844.89/1850.12 c #Conflicts: 101000 | #Constraints: 76010
1844.89/1850.12 c #Conflicts: 102000 | #Constraints: 77010
1844.89/1850.12 c #Conflicts: 103000 | #Constraints: 78010
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 104000 | #Constraints: 72610
1844.89/1850.12 c #Conflicts: 105000 | #Constraints: 73610
1844.89/1850.12 c #Conflicts: 106000 | #Constraints: 74610
1844.89/1850.12 c #Conflicts: 107000 | #Constraints: 75610
1844.89/1850.12 c #Conflicts: 108000 | #Constraints: 76610
1844.89/1850.12 c #Conflicts: 109000 | #Constraints: 77610
1844.89/1850.12 c #Conflicts: 110000 | #Constraints: 78610
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 111000 | #Constraints: 73027
1844.89/1850.12 c #Conflicts: 112000 | #Constraints: 74027
1844.89/1850.12 c #Conflicts: 113000 | #Constraints: 75027
1844.89/1850.12 c #Conflicts: 114000 | #Constraints: 76027
1844.89/1850.12 c #Conflicts: 115000 | #Constraints: 77027
1844.89/1850.12 c #Conflicts: 116000 | #Constraints: 78027
1844.89/1850.12 c #Conflicts: 117000 | #Constraints: 79027
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 118000 | #Constraints: 73230
1844.89/1850.12 c #Conflicts: 119000 | #Constraints: 74230
1844.89/1850.12 c #Conflicts: 120000 | #Constraints: 75230
1844.89/1850.12 c #Conflicts: 121000 | #Constraints: 76230
1844.89/1850.12 c #Conflicts: 122000 | #Constraints: 77230
1844.89/1850.12 c #Conflicts: 123000 | #Constraints: 78230
1844.89/1850.12 c #Conflicts: 124000 | #Constraints: 79230
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 125000 | #Constraints: 73232
1844.89/1850.12 c #Conflicts: 126000 | #Constraints: 74232
1844.89/1850.12 c #Conflicts: 127000 | #Constraints: 75232
1844.89/1850.12 c #Conflicts: 128000 | #Constraints: 76232
1844.89/1850.12 c #Conflicts: 129000 | #Constraints: 77232
1844.89/1850.12 c #Conflicts: 130000 | #Constraints: 78232
1844.89/1850.12 c #Conflicts: 131000 | #Constraints: 79232
1844.89/1850.12 c INPROCESSING
1844.89/1850.12 c GARBAGE COLLECT
1844.89/1850.12 c #Conflicts: 132000 | #Constraints: 73022
1844.89/1850.12 c #Conflicts: 133000 | #Constraints: 74022
1844.89/1850.12 c #Conflicts: 134000 | #Constraints: 75022
1844.89/1850.12 c #Conflicts: 135000 | #Constraints: 76022
1844.89/1850.12 c #Conflicts: 136000 | #Constraints: 77022
3600.03/3610.70 c #Conflicts: 137000 | #Constraints: 78022
3600.03/3610.70 c #Conflicts: 138000 | #Constraints: 79022
3600.03/3610.70 c #Conflicts: 139000 | #Constraints: 80022
3600.03/3610.70 c INPROCESSING
3600.03/3610.70 c GARBAGE COLLECT
3600.03/3610.70 c #Conflicts: 140000 | #Constraints: 73621
3600.03/3610.70 c #Conflicts: 141000 | #Constraints: 74621
3600.03/3610.70 c #Conflicts: 142000 | #Constraints: 75621
3600.03/3610.70 c #Conflicts: 143000 | #Constraints: 76621
3600.03/3610.70 c #Conflicts: 144000 | #Constraints: 77621
3600.03/3610.70 c #Conflicts: 145000 | #Constraints: 78621
3600.03/3610.70 c #Conflicts: 146000 | #Constraints: 79621
3600.03/3610.70 c #Conflicts: 147000 | #Constraints: 80621
3600.03/3610.70 c INPROCESSING
3600.03/3610.70 c GARBAGE COLLECT
3600.03/3610.70 c #Conflicts: 148000 | #Constraints: 74030
3600.03/3610.70 c #Conflicts: 149000 | #Constraints: 75030
3600.03/3610.70 c #Conflicts: 150000 | #Constraints: 76030
3600.03/3610.70 c #Conflicts: 151000 | #Constraints: 77030
3600.03/3610.70 c #Conflicts: 152000 | #Constraints: 78030
3600.03/3610.70 c #Conflicts: 153000 | #Constraints: 79030
3600.03/3610.70 c #Conflicts: 154000 | #Constraints: 80030
3600.03/3610.70 c #Conflicts: 155000 | #Constraints: 81030
3600.03/3610.70 c INPROCESSING
3600.03/3610.70 c GARBAGE COLLECT
3600.03/3610.70 c #Conflicts: 156000 | #Constraints: 74221
3600.03/3610.70 c #Conflicts: 157000 | #Constraints: 75221
3600.03/3610.70 c #Conflicts: 158000 | #Constraints: 76221
3600.03/3610.70 c #Conflicts: 159000 | #Constraints: 77221
3600.03/3610.70 c #Conflicts: 160000 | #Constraints: 78221
3600.03/3610.70 c #Conflicts: 161000 | #Constraints: 79221
3600.03/3610.70 c #Conflicts: 162000 | #Constraints: 80221
3600.03/3610.70 c #Conflicts: 163000 | #Constraints: 81221
3600.03/3610.70 c INPROCESSING
3600.03/3610.70 c GARBAGE COLLECT
3600.03/3610.70 c #Conflicts: 164000 | #Constraints: 74218
3600.03/3610.70 c #Conflicts: 165000 | #Constraints: 75218
3600.03/3610.70 c #Conflicts: 166000 | #Constraints: 76218
3600.03/3610.70 c #Conflicts: 167000 | #Constraints: 77218
3600.03/3610.70 c #Conflicts: 168000 | #Constraints: 78218
3600.03/3610.70 c #Conflicts: 169000 | #Constraints: 79218
3600.03/3610.70 c #Conflicts: 170000 | #Constraints: 80218
3600.03/3610.70 c #Conflicts: 171000 | #Constraints: 81218
3600.03/3610.70 c INPROCESSING
3600.03/3610.70 c GARBAGE COLLECT
3600.03/3610.70 c #Conflicts: 172000 | #Constraints: 74012
3600.03/3610.70 c #Conflicts: 173000 | #Constraints: 75012
3600.03/3610.70 c #Conflicts: 174000 | #Constraints: 76012
3600.03/3610.70 c #Conflicts: 175000 | #Constraints: 77012
3600.03/3610.70 c #Conflicts: 176000 | #Constraints: 78012
3600.03/3610.70 c #Conflicts: 177000 | #Constraints: 79012
3600.03/3610.70 c #Conflicts: 178000 | #Constraints: 80012
3600.03/3610.70 c #Conflicts: 179000 | #Constraints: 81012
3600.03/3610.70 c #Conflicts: 180000 | #Constraints: 82012
3600.03/3610.70 c INPROCESSING
3600.03/3610.70 c GARBAGE COLLECT
3600.03/3610.70 c #Conflicts: 181000 | #Constraints: 74611
3600.03/3610.70 c #Conflicts: 182000 | #Constraints: 75611
3600.03/3610.70 c #Conflicts: 183000 | #Constraints: 76611
3600.03/3610.70 c #Conflicts: 184000 | #Constraints: 77611
3600.03/3610.70 c #Conflicts: 185000 | #Constraints: 78611
3600.03/3610.70 c #Conflicts: 186000 | #Constraints: 79611
3600.03/3610.70 c #Conflicts: 187000 | #Constraints: 80611
3600.03/3610.70 c #Conflicts: 188000 | #Constraints: 81611
3600.03/3610.70 c #Conflicts: 189000 | #Constraints: 82611
3600.03/3610.70 c INPROCESSING
3600.03/3610.70 c GARBAGE COLLECT
3600.03/3610.70 c #Conflicts: 190000 | #Constraints: 75033
3600.03/3610.70 c #Conflicts: 191000 | #Constraints: 76033
3600.03/3610.70 c #Conflicts: 192000 | #Constraints: 77033
3600.03/3610.70 c #Conflicts: 193000 | #Constraints: 78033
3600.03/3610.70 c #Conflicts: 194000 | #Constraints: 79033
3600.03/3610.70 c Program interrupted by user.
3600.03/3610.70 c cpu time 3543.01 s
3600.03/3610.70 c deterministic time 172632822714 1.73e+11
3600.03/3610.70 c optimization time 208.456 s
3600.03/3610.70 c total solve time 3332.63 s
3600.03/3610.70 c core-guided solve time 3332.63 s
3600.03/3610.70 c propagation time 3227.12 s
3600.03/3610.70 c conflict analysis time 194.458 s
3600.03/3610.70 c propagations 194722896
3600.03/3610.70 c resolve steps 580045
3600.03/3610.70 c decisions 70917038
3600.03/3610.70 c conflicts 194863
3600.03/3610.70 c restarts 509
3600.03/3610.70 c inprocessing phases 35
3600.03/3610.70 c input clauses 65299
3600.03/3610.70 c input cardinalities 77
3600.03/3610.70 c input general constraints 41
3600.03/3610.70 c input average constraint length 59.10
3600.03/3610.70 c input average constraint degree 1.87
3600.03/3610.70 c learned clauses 2152
3600.03/3610.70 c learned cardinalities 3078
3600.03/3610.70 c learned general constraints 189634
3600.03/3610.70 c learned average constraint length 5221.78
3600.03/3610.70 c learned average constraint degree 11124.06
3600.03/3610.70 c watched constraints 40634
3600.03/3610.70 c counting constraints 149041
3600.03/3610.70 c gcd simplifications 48
3600.03/3610.70 c detected cardinalities 26
3600.03/3610.70 c weakened non-implied lits 18445731
3600.03/3610.70 c weakened non-implying lits 188
3600.03/3610.70 c original variables 7840
3600.03/3610.70 c clausal propagations 2411661
3600.03/3610.70 c cardinality propagations 974175
3600.03/3610.70 c watched propagations 6491073
3600.03/3610.70 c counting propagations 181047074
3600.03/3610.70 c watch lookups 56974478681
3600.03/3610.70 c watch backjump lookups 56452830529
3600.03/3610.70 c watch checks 48928129557
3600.03/3610.70 c propagation checks 8422747375
3600.03/3610.70 c constraint additions 1323167990
3600.03/3610.70 c trail pops 265828647
3600.03/3610.70 c formula constraints 65280
3600.03/3610.70 c learned constraints 194864
3600.03/3610.70 c bound constraints 37
3600.03/3610.70 c core-guided constraints 100
3600.03/3610.70 c encountered formula constraints 266994
3600.03/3610.70 c encountered learned constraints 466538
3600.03/3610.70 c encountered bound constraints 31
3600.03/3610.70 c encountered core-guided constraints 41345
3600.03/3610.70 c LP total time 0 s
3600.03/3610.70 c LP solve time 0 s
3600.03/3610.70 c LP constraints added 0
3600.03/3610.70 c LP constraints removed 0
3600.03/3610.70 c LP pivots internal 0
3600.03/3610.70 c LP pivots root 0
3600.03/3610.70 c LP calls 0
3600.03/3610.70 c LP optimalities 0
3600.03/3610.70 c LP no pivot count 0
3600.03/3610.70 c LP infeasibilities 0
3600.03/3610.70 c LP valid Farkas constraints 0
3600.03/3610.70 c LP learned Farkas constraints 0
3600.03/3610.70 c LP basis resets 0
3600.03/3610.70 c LP cycling count 0
3600.03/3610.70 c LP singular count 0
3600.03/3610.70 c LP no primal count 0
3600.03/3610.70 c LP no farkas count 0
3600.03/3610.70 c LP other issue count 0
3600.03/3610.70 c LP Gomory cuts 0
3600.03/3610.70 c LP learned cuts 0
3600.03/3610.70 c LP deleted cuts 0
3600.03/3610.70 c LP encountered Gomory constraints 0
3600.03/3610.70 c LP encountered Farkas constraints 0
3600.03/3610.70 c LP encountered learned Farkas constraints 0
3600.03/3610.70 c CG auxiliary variables introduced 41
3600.03/3610.70 c CG solutions found 1
3600.03/3610.70 c CG cores constructed 30
3600.03/3610.70 c CG core cardinality constraints returned 0
3600.03/3610.70 c CG unit cores 0
3600.03/3610.70 c CG single cores 30
3600.03/3610.70 c CG blocks removed during cardinality reduction 0
3600.03/3610.70 c CG first core best 0
3600.03/3610.70 c CG decision core best 0
3600.03/3610.70 c CG core reduction tie 0
3600.03/3610.70 c CG core degree average 1.00
3600.03/3610.70 c CG core slack average 75.13
3600.03/3610.70 c CG exhausted 0
3600.03/3610.70 c CG exhaust time 45.3414 s
3600.03/3610.70 c CG trimmed 0
3600.03/3610.70 c CG trim time 0.006707 s
3600.03/3610.70 c CG minimized 0
3600.03/3610.70 c CG minimize time 0 s
3600.03/3610.70 c CG am1 prop time 0.023056 s
3600.03/3610.70 c CG # am1s reformulated 0
3600.03/3610.70 c CG lower bound derived from am1s 0
3600.03/3610.70 c CG # clausal cores 30
3600.03/3610.70 c CG # cardinality cores 0
3600.03/3610.70 c CG # pb cores 0
3600.03/3610.70 c CG # pb reforms 0
3600.03/3610.70 c CG # cores discarded because of pb reform 0
3600.03/3610.70 d LOWERBOUND 30
3600.03/3610.70 d NCORES 30
3600.03/3610.70 d NPBCORES 0
3600.03/3610.70 d NPBREFORM 0
3600.03/3610.70 d NTRIMMED 0
3600.03/3610.70 d NEXHAUSTED 0
3600.03/3610.70 d NAM1S 0
3600.03/3610.70 d AM1LB 0
3600.03/3610.70 o 84
3600.03/3610.70 s SATISFIABLE
3600.03/3610.70 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: 63837 MiB (62548 MiB free)
memory of node 1: 64465 MiB (63605 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502872-1751431423/watcher-4502872-1751431423 -o /tmp/evaluation-result-4502872-1751431423/solver-4502872-1751431423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751431423-58520 --watchdog 3760 pb-oll-rs HOME/instance-4502872-1751431423.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=58557, runsolver pid=58554
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 0.20 0.78 1.27 5/246 58559
/proc/meminfo: memFree=129164452/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=21784 memory=6800 CPUtime=0.09 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 994 0 0 0 9 0 0 0 20 0 1 0 58821447 22306816 1700 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 5446 1700 1120 243 0 1695 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21784 KiB
Current children cumulated memory: 6800 KiB
[startup+0.210068 s]*
/proc/loadavg: 0.20 0.78 1.27 4/251 58568
/proc/meminfo: memFree=129148212/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=21784 memory=7312 CPUtime=0.2 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 1131 0 0 0 19 1 0 0 20 0 1 0 58821447 22306816 1828 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 5446 1828 1120 243 0 1695 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21784 KiB
Current children cumulated memory: 7312 KiB
[startup+0.30921 s]*
/proc/loadavg: 0.20 0.78 1.27 6/251 58568
/proc/meminfo: memFree=129121108/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=21916 memory=9720 CPUtime=0.29 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 1208 0 0 0 28 1 0 0 20 0 1 0 58821447 22441984 2430 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 5479 2430 1120 243 0 1728 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 21916 KiB
Current children cumulated memory: 9720 KiB
[startup+0.700269 s]
/proc/loadavg: 0.20 0.78 1.27 5/251 58568
/proc/meminfo: memFree=129079548/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=22048 memory=10360 CPUtime=0.68 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 1370 0 0 0 65 3 0 0 20 0 1 0 58821447 22577152 2590 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 5512 2590 1120 243 0 1761 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 22048 KiB
Current children cumulated memory: 10360 KiB
[startup+1.50027 s]
/proc/loadavg: 0.20 0.78 1.27 5/251 58568
/proc/meminfo: memFree=128939636/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=29848 memory=17544 CPUtime=1.47 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 2240 0 0 0 140 7 0 0 20 0 1 0 58821447 30564352 4386 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 7462 4386 1120 243 0 3711 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 29848 KiB
Current children cumulated memory: 17544 KiB
[startup+3.11289 s]
/proc/loadavg: 0.20 0.78 1.27 5/249 58568
/proc/meminfo: memFree=128486624/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=113740 memory=86712 CPUtime=3.08 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 15315 0 0 0 283 25 0 0 20 0 1 0 58821447 116469760 21678 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 28435 21678 1344 243 0 24684 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113740 KiB
Current children cumulated memory: 86712 KiB
[startup+6.30032 s]
/proc/loadavg: 0.58 0.85 1.29 5/254 58578
/proc/meminfo: memFree=127998212/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=297260 memory=250696 CPUtime=6.26 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 41522 0 0 0 580 46 0 0 20 0 1 0 58821447 304394240 62674 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 74315 62674 1344 243 0 70564 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 297260 KiB
Current children cumulated memory: 250696 KiB
[startup+12.7003 s]
/proc/loadavg: 0.85 0.90 1.31 5/254 58578
/proc/meminfo: memFree=127365052/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=512480 memory=434660 CPUtime=12.64 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 70803 0 0 0 1187 77 0 0 20 0 1 0 58821447 524779520 108665 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 128120 108665 1344 243 0 124369 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 512480 KiB
Current children cumulated memory: 434660 KiB
[startup+25.5003 s]
/proc/loadavg: 1.62 1.07 1.36 5/254 58578
/proc/meminfo: memFree=126631780/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=650932 memory=510660 CPUtime=25.41 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 78112 0 0 0 2404 137 0 0 20 0 1 0 58821447 666554368 127665 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 162733 127665 1344 243 0 158982 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 650932 KiB
Current children cumulated memory: 510660 KiB
[startup+51.1133 s]
/proc/loadavg: 2.51 1.32 1.43 5/254 58579
/proc/meminfo: memFree=125708616/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=899556 memory=725848 CPUtime=50.95 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 118964 0 0 0 4804 291 0 0 20 0 1 0 58821447 921145344 181462 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 224889 181462 1344 243 0 221138 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 899556 KiB
Current children cumulated memory: 725848 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.75 1.58 5/254 58581
/proc/meminfo: memFree=123491324/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=903144 memory=728916 CPUtime=102 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 120317 0 0 0 9757 443 0 0 20 0 1 0 58821447 924819456 182229 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 225786 182229 1344 243 0 222035 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 903144 KiB
Current children cumulated memory: 728916 KiB
[startup+162.3 s]
/proc/loadavg: 4.28 2.29 1.77 5/254 58583
/proc/meminfo: memFree=121366568/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=911720 memory=746656 CPUtime=161.85 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 123294 0 0 0 15585 600 0 0 20 0 1 0 58821447 933601280 186664 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 227930 186664 1344 243 0 224179 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 911720 KiB
Current children cumulated memory: 746656 KiB
[startup+222.3 s]
/proc/loadavg: 4.46 2.72 1.96 5/251 58584
/proc/meminfo: memFree=121217660/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=912492 memory=750804 CPUtime=221.69 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 124097 0 0 0 21413 756 0 0 20 0 1 0 58821447 934391808 187701 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 228123 187701 1344 243 0 224372 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 912492 KiB
Current children cumulated memory: 750804 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 2.97 2.09 5/249 58586
/proc/meminfo: memFree=118781524/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=915036 memory=774704 CPUtime=281.52 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 126298 0 0 0 27263 889 0 0 20 0 1 0 58821447 936996864 193676 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 228759 193676 1344 243 0 225008 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 915036 KiB
Current children cumulated memory: 774704 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.18 2.22 5/249 58588
/proc/meminfo: memFree=117822892/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=916764 memory=804032 CPUtime=341.37 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 129333 0 0 0 33109 1028 0 0 20 0 1 0 58821447 938766336 201008 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 229191 201008 1344 243 0 225440 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 916764 KiB
Current children cumulated memory: 804032 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.35 2.34 5/249 58590
/proc/meminfo: memFree=117803424/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=917788 memory=824852 CPUtime=401.21 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 131270 0 0 0 38964 1157 0 0 20 0 1 0 58821447 939814912 206213 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 229447 206213 1344 243 0 225696 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 917788 KiB
Current children cumulated memory: 824852 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.50 2.46 5/249 58592
/proc/meminfo: memFree=117080144/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=918768 memory=844124 CPUtime=461.04 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 133153 0 0 0 44805 1299 0 0 20 0 1 0 58821447 940818432 211031 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 229692 211031 1344 243 0 225941 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 1553716 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.14 4.03 5/250 58720
/proc/meminfo: memFree=107744792/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2001384 memory=1580436 CPUtime=2913.81 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 238111 0 0 0 286413 4968 0 0 20 0 1 0 58821447 2049417216 395109 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 500346 395109 1344 243 0 496595 0
Current children cumulated CPU time: 2913.81 s
Current children cumulated vsize: 2001384 KiB
Current children cumulated memory: 1580436 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.14 4.04 5/250 58726
/proc/meminfo: memFree=107746132/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2001384 memory=1580436 CPUtime=2973.61 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 238111 0 0 0 292310 5051 0 0 20 0 1 0 58821447 2049417216 395109 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 500346 395109 1344 243 0 496595 0
Current children cumulated CPU time: 2973.61 s
Current children cumulated vsize: 2001384 KiB
Current children cumulated memory: 1580436 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.04 5/250 58728
/proc/meminfo: memFree=107682384/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2001384 memory=1580436 CPUtime=3033.43 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 238111 0 0 0 298224 5119 0 0 20 0 1 0 58821447 2049417216 395109 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 500346 395109 1344 243 0 496595 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 2001384 KiB
Current children cumulated memory: 1580436 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.12 4.04 5/250 58730
/proc/meminfo: memFree=107667572/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2001384 memory=1580436 CPUtime=3093.24 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 238146 0 0 0 304152 5172 0 0 20 0 1 0 58821447 2049417216 395109 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 500346 395109 1344 243 0 496595 0
Current children cumulated CPU time: 3093.24 s
Current children cumulated vsize: 2001384 KiB
Current children cumulated memory: 1580436 KiB
[startup+3162.3 s]
/proc/loadavg: 4.67 4.27 4.09 5/250 58732
/proc/meminfo: memFree=107632344/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2007056 memory=1599892 CPUtime=3153.05 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 240489 0 0 0 310079 5226 0 0 20 0 1 0 58821447 2055225344 399973 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 501764 399973 1344 243 0 498013 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 2007056 KiB
Current children cumulated memory: 1599892 KiB
[startup+3222.3 s]
/proc/loadavg: 4.48 4.31 4.12 5/250 58734
/proc/meminfo: memFree=107631336/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2005736 memory=1598832 CPUtime=3212.85 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 240489 0 0 0 315968 5317 0 0 20 0 1 0 58821447 2053873664 399708 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 501434 399708 1344 243 0 497683 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 2005736 KiB
Current children cumulated memory: 1598832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.28 4.12 5/250 58736
/proc/meminfo: memFree=107591412/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2005736 memory=1598832 CPUtime=3272.67 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 240489 0 0 0 321887 5380 0 0 20 0 1 0 58821447 2053873664 399708 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 501434 399708 1344 243 0 497683 0
Current children cumulated CPU time: 3272.67 s
Current children cumulated vsize: 2005736 KiB
Current children cumulated memory: 1598832 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.24 4.11 5/250 58738
/proc/meminfo: memFree=107546792/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2005736 memory=1598832 CPUtime=3332.48 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 240492 0 0 0 327810 5438 0 0 20 0 1 0 58821447 2053873664 399708 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 501434 399708 1344 243 0 497683 0
Current children cumulated CPU time: 3332.48 s
Current children cumulated vsize: 2005736 KiB
Current children cumulated memory: 1598832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.21 4.10 5/250 58740
/proc/meminfo: memFree=107547016/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2006248 memory=1599216 CPUtime=3392.28 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 240623 0 0 0 333742 5486 0 0 20 0 1 0 58821447 2054397952 399804 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 501562 399804 1344 243 0 497811 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 2006248 KiB
Current children cumulated memory: 1599216 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.20 4.10 5/250 58742
/proc/meminfo: memFree=107540228/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2008560 memory=1611904 CPUtime=3452.1 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 242316 0 0 0 339662 5548 0 0 20 0 1 0 58821447 2056765440 402976 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 502140 402976 1344 243 0 498389 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 2008560 KiB
Current children cumulated memory: 1611904 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.10 5/249 58746
/proc/meminfo: memFree=107539828/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2008560 memory=1611904 CPUtime=3511.91 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 242316 0 0 0 345575 5616 0 0 20 0 1 0 58821447 2056765440 402976 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 502140 402976 1344 243 0 498389 0
Current children cumulated CPU time: 3511.91 s
Current children cumulated vsize: 2008560 KiB
Current children cumulated memory: 1611904 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/250 58753
/proc/meminfo: memFree=107474692/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2008560 memory=1611904 CPUtime=3571.72 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 242316 0 0 0 351496 5676 0 0 20 0 1 0 58821447 2056765440 402976 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 502140 402976 1344 243 0 498389 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 2008560 KiB
Current children cumulated memory: 1611904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.09 4.16 4.09 4/248 58755
/proc/meminfo: memFree=108427048/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2008560 memory=1611904 CPUtime=3600.03 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 242316 0 0 0 354300 5703 0 0 20 0 1 0 58821447 2056765440 402976 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 502140 402976 1344 243 0 498389 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2008560 KiB
Current children cumulated memory: 1611904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.74 s]
# the end of solver process 58557 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3543.01 s, system=57.0716 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.09 4.16 4.09 4/248 58755
/proc/meminfo: memFree=108427048/131382120 swapFree=33010160/33010684
[pid=58557] ppid=58554 vsize=2008560 memory=1611904 CPUtime=3600.03 cores=4,6
/proc/58557/stat : 58557 (pb-oll-rs) R 58554 58557 58477 0 -1 4194304 242316 0 0 0 354300 5703 0 0 20 0 1 0 58821447 2056765440 402976 18446744073709551615 4218880 5211445 140727686428016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 38195200 140727686437276 140727686437353 140727686437353 140727686442955 0
/proc/58557/statm: 502140 402976 1344 243 0 498389 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2008560 KiB
Current children cumulated memory: 1611904 KiB
Child status: 0
Real time (s): 3610.74
CPU time (s): 3600.08
CPU user time (s): 3543.01
CPU system time (s): 57.0716
CPU usage (%): 99.7049
Max. virtual memory (cumulated for all children) (KiB): 2008560
Max. memory (cumulated for all children) (KiB): 1611904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3543.01
system time used= 57.0716
maximum resident set size= 1612160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242330
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= 284
involuntary context switches= 2087
# summary of solver processes directly reported to runsolver:
# pid: 58557
# total CPU time (s): 3600.08
# total CPU user time (s): 3543.01
# total CPU system time (s): 57.0716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4526 second user time and 38.6727 second system time
The end
Begin job on nodeC008 at 2025-07-02 06:43:43
IDJOB=4502872
IDBENCH=155400
IDSOLVER=3345
FILE ID=nodeC008/4502872-1751431423
RUNJOBID= nodeC008-1751431423-58520
SLURM_JOB_ID= 9598379
Free space on /tmp= 432588 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4502872-1751431423/watcher-4502872-1751431423 -o /tmp/evaluation-result-4502872-1751431423/solver-4502872-1751431423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751431423-58520 --watchdog 3760 pb-oll-rs HOME/instance-4502872-1751431423.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=1449718274
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.050
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.209
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.283
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.603
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.375
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129198552 kB
MemAvailable: 129929604 kB
Buffers: 2144 kB
Cached: 1528176 kB
SwapCached: 16 kB
Active: 303436 kB
Inactive: 1309656 kB
Active(anon): 64068 kB
Inactive(anon): 36628 kB
Active(file): 239368 kB
Inactive(file): 1273028 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 173168 kB
Writeback: 0 kB
AnonPages: 86208 kB
Mapped: 104572 kB
Shmem: 17920 kB
KReclaimable: 116568 kB
Slab: 200324 kB
SReclaimable: 116568 kB
SUnreclaim: 83756 kB
KernelStack: 4000 kB
PageTables: 2888 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 370100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432156 MiB
End job on nodeC008 at 2025-07-02 07:43:54