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