0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
1.38/1.48 c [STEP] preprocessing with Papilo
1.78/1.84 c Papilo could not simplify the problem
1.78/1.84 c [STEP] solving with SCIP
301.36/302.29 c [STEP] preprocessing done, loading into solver
301.76/302.67 c [STEP] solving
301.76/302.67 c #variables 5049 #constraints 65280
301.76/302.68 c SMALL=int, LARGE=long long
301.76/302.68 c bounds - >= 0 @ 300.897
301.76/302.68 c stratification level: 0
302.36/303.26 c bounds - >= 1 @ 300.948
302.36/303.26 c bounds - >= 2 @ 300.95
302.36/303.26 c bounds - >= 3 @ 300.951
302.36/303.26 c bounds - >= 4 @ 300.952
302.36/303.26 c bounds - >= 5 @ 300.956
302.36/303.26 c bounds - >= 6 @ 300.959
302.36/303.26 c bounds - >= 7 @ 300.96
302.36/303.26 c bounds - >= 8 @ 300.96
302.36/303.26 c bounds - >= 9 @ 300.963
302.36/303.26 c bounds - >= 10 @ 300.964
302.36/303.26 c bounds - >= 11 @ 300.966
302.36/303.26 c bounds - >= 12 @ 300.968
302.36/303.26 c bounds - >= 13 @ 300.97
302.36/303.26 c bounds - >= 14 @ 300.972
302.36/303.26 c bounds - >= 15 @ 300.973
302.36/303.26 c bounds - >= 16 @ 300.976
302.36/303.26 c bounds - >= 17 @ 300.978
302.36/303.26 c bounds - >= 18 @ 300.987
302.36/303.26 c bounds - >= 19 @ 300.99
302.36/303.26 c bounds - >= 20 @ 300.996
302.36/303.26 c bounds - >= 21 @ 301.002
302.36/303.26 c finalizing WCE round: reformulating cores
593.66/595.21 c #Conflicts: 1000 | #Constraints: 66304
593.66/595.21 c #Conflicts: 2000 | #Constraints: 67308
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 3000 | #Constraints: 67295
593.66/595.21 c #Conflicts: 4000 | #Constraints: 68297
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 5000 | #Constraints: 67709
593.66/595.21 c #Conflicts: 6000 | #Constraints: 68711
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 7000 | #Constraints: 67715
593.66/595.21 c #Conflicts: 8000 | #Constraints: 68717
593.66/595.21 c #Conflicts: 9000 | #Constraints: 69721
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 10000 | #Constraints: 68429
593.66/595.21 c #Conflicts: 11000 | #Constraints: 69431
593.66/595.21 c #Conflicts: 12000 | #Constraints: 70433
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 13000 | #Constraints: 68892
593.66/595.21 c #Conflicts: 14000 | #Constraints: 69894
593.66/595.21 c #Conflicts: 15000 | #Constraints: 70896
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 16000 | #Constraints: 69125
593.66/595.21 c #Conflicts: 17000 | #Constraints: 70127
593.66/595.21 c #Conflicts: 18000 | #Constraints: 71129
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c bounds 39 >= 21 @ 334.117
593.66/595.21 c bounds 39 >= 22 @ 334.122
593.66/595.21 c bounds 39 >= 23 @ 334.128
593.66/595.21 c bounds 39 >= 24 @ 334.132
593.66/595.21 c bounds 39 >= 25 @ 334.133
593.66/595.21 c bounds 39 >= 26 @ 334.147
593.66/595.21 c bounds 39 >= 27 @ 334.165
593.66/595.21 c #Conflicts: 19000 | #Constraints: 69205
593.66/595.21 c #Conflicts: 20000 | #Constraints: 70205
593.66/595.21 c #Conflicts: 21000 | #Constraints: 71205
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 22000 | #Constraints: 68992
593.66/595.21 c #Conflicts: 23000 | #Constraints: 69992
593.66/595.21 c #Conflicts: 24000 | #Constraints: 70992
593.66/595.21 c #Conflicts: 25000 | #Constraints: 71992
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 26000 | #Constraints: 69593
593.66/595.21 c #Conflicts: 27000 | #Constraints: 70593
593.66/595.21 c #Conflicts: 28000 | #Constraints: 71593
593.66/595.21 c #Conflicts: 29000 | #Constraints: 72593
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 30000 | #Constraints: 69990
593.66/595.21 c #Conflicts: 31000 | #Constraints: 70990
593.66/595.21 c #Conflicts: 32000 | #Constraints: 71990
593.66/595.21 c #Conflicts: 33000 | #Constraints: 72990
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 34000 | #Constraints: 70187
593.66/595.21 c #Conflicts: 35000 | #Constraints: 71187
593.66/595.21 c #Conflicts: 36000 | #Constraints: 72187
593.66/595.21 c #Conflicts: 37000 | #Constraints: 73187
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 38000 | #Constraints: 70192
593.66/595.21 c #Conflicts: 39000 | #Constraints: 71192
593.66/595.21 c #Conflicts: 40000 | #Constraints: 72192
593.66/595.21 c #Conflicts: 41000 | #Constraints: 73192
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 42000 | #Constraints: 69992
593.66/595.21 c #Conflicts: 43000 | #Constraints: 70992
593.66/595.21 c #Conflicts: 44000 | #Constraints: 71992
593.66/595.21 c #Conflicts: 45000 | #Constraints: 72992
593.66/595.21 c #Conflicts: 46000 | #Constraints: 73992
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 47000 | #Constraints: 70593
593.66/595.21 c #Conflicts: 48000 | #Constraints: 71593
593.66/595.21 c #Conflicts: 49000 | #Constraints: 72593
593.66/595.21 c #Conflicts: 50000 | #Constraints: 73593
593.66/595.21 c #Conflicts: 51000 | #Constraints: 74593
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 52000 | #Constraints: 70991
593.66/595.21 c #Conflicts: 53000 | #Constraints: 71991
593.66/595.21 c #Conflicts: 54000 | #Constraints: 72991
593.66/595.21 c #Conflicts: 55000 | #Constraints: 73991
593.66/595.21 c #Conflicts: 56000 | #Constraints: 74991
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 57000 | #Constraints: 71191
593.66/595.21 c #Conflicts: 58000 | #Constraints: 72191
593.66/595.21 c #Conflicts: 59000 | #Constraints: 73191
593.66/595.21 c #Conflicts: 60000 | #Constraints: 74191
593.66/595.21 c #Conflicts: 61000 | #Constraints: 75191
593.66/595.21 c INPROCESSING
593.66/595.21 c GARBAGE COLLECT
593.66/595.21 c #Conflicts: 62000 | #Constraints: 71183
593.66/595.21 c #Conflicts: 63000 | #Constraints: 72183
593.66/595.21 c #Conflicts: 64000 | #Constraints: 73183
593.66/595.21 c #Conflicts: 65000 | #Constraints: 74183
1221.35/1224.45 c #Conflicts: 66000 | #Constraints: 75183
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 67000 | #Constraints: 70990
1221.35/1224.45 c #Conflicts: 68000 | #Constraints: 71990
1221.35/1224.45 c #Conflicts: 69000 | #Constraints: 72990
1221.35/1224.45 c #Conflicts: 70000 | #Constraints: 73990
1221.35/1224.45 c #Conflicts: 71000 | #Constraints: 74990
1221.35/1224.45 c #Conflicts: 72000 | #Constraints: 75990
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 73000 | #Constraints: 71590
1221.35/1224.45 c #Conflicts: 74000 | #Constraints: 72590
1221.35/1224.45 c #Conflicts: 75000 | #Constraints: 73590
1221.35/1224.45 c #Conflicts: 76000 | #Constraints: 74590
1221.35/1224.45 c #Conflicts: 77000 | #Constraints: 75590
1221.35/1224.45 c #Conflicts: 78000 | #Constraints: 76590
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 79000 | #Constraints: 71990
1221.35/1224.45 c #Conflicts: 80000 | #Constraints: 72990
1221.35/1224.45 c #Conflicts: 81000 | #Constraints: 73990
1221.35/1224.45 c #Conflicts: 82000 | #Constraints: 74990
1221.35/1224.45 c #Conflicts: 83000 | #Constraints: 75990
1221.35/1224.45 c #Conflicts: 84000 | #Constraints: 76990
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 85000 | #Constraints: 72192
1221.35/1224.45 c #Conflicts: 86000 | #Constraints: 73192
1221.35/1224.45 c #Conflicts: 87000 | #Constraints: 74192
1221.35/1224.45 c #Conflicts: 88000 | #Constraints: 75192
1221.35/1224.45 c #Conflicts: 89000 | #Constraints: 76192
1221.35/1224.45 c #Conflicts: 90000 | #Constraints: 77192
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 91000 | #Constraints: 72193
1221.35/1224.45 c #Conflicts: 92000 | #Constraints: 73193
1221.35/1224.45 c #Conflicts: 93000 | #Constraints: 74193
1221.35/1224.45 c #Conflicts: 94000 | #Constraints: 75193
1221.35/1224.45 c #Conflicts: 95000 | #Constraints: 76193
1221.35/1224.45 c #Conflicts: 96000 | #Constraints: 77193
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 97000 | #Constraints: 71991
1221.35/1224.45 c #Conflicts: 98000 | #Constraints: 72991
1221.35/1224.45 c #Conflicts: 99000 | #Constraints: 73991
1221.35/1224.45 c #Conflicts: 100000 | #Constraints: 74991
1221.35/1224.45 c #Conflicts: 101000 | #Constraints: 75991
1221.35/1224.45 c #Conflicts: 102000 | #Constraints: 76991
1221.35/1224.45 c #Conflicts: 103000 | #Constraints: 77991
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 104000 | #Constraints: 72594
1221.35/1224.45 c #Conflicts: 105000 | #Constraints: 73594
1221.35/1224.45 c #Conflicts: 106000 | #Constraints: 74594
1221.35/1224.45 c #Conflicts: 107000 | #Constraints: 75594
1221.35/1224.45 c #Conflicts: 108000 | #Constraints: 76594
1221.35/1224.45 c #Conflicts: 109000 | #Constraints: 77594
1221.35/1224.45 c #Conflicts: 110000 | #Constraints: 78594
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 111000 | #Constraints: 72995
1221.35/1224.45 c #Conflicts: 112000 | #Constraints: 73995
1221.35/1224.45 c #Conflicts: 113000 | #Constraints: 74995
1221.35/1224.45 c #Conflicts: 114000 | #Constraints: 75995
1221.35/1224.45 c #Conflicts: 115000 | #Constraints: 76995
1221.35/1224.45 c #Conflicts: 116000 | #Constraints: 77995
1221.35/1224.45 c #Conflicts: 117000 | #Constraints: 78995
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 118000 | #Constraints: 73196
1221.35/1224.45 c #Conflicts: 119000 | #Constraints: 74196
1221.35/1224.45 c #Conflicts: 120000 | #Constraints: 75196
1221.35/1224.45 c #Conflicts: 121000 | #Constraints: 76196
1221.35/1224.45 c #Conflicts: 122000 | #Constraints: 77196
1221.35/1224.45 c #Conflicts: 123000 | #Constraints: 78196
1221.35/1224.45 c #Conflicts: 124000 | #Constraints: 79196
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 125000 | #Constraints: 73200
1221.35/1224.45 c #Conflicts: 126000 | #Constraints: 74200
1221.35/1224.45 c #Conflicts: 127000 | #Constraints: 75200
1221.35/1224.45 c #Conflicts: 128000 | #Constraints: 76200
1221.35/1224.45 c #Conflicts: 129000 | #Constraints: 77200
1221.35/1224.45 c #Conflicts: 130000 | #Constraints: 78200
1221.35/1224.45 c #Conflicts: 131000 | #Constraints: 79200
1221.35/1224.45 c INPROCESSING
1221.35/1224.45 c GARBAGE COLLECT
1221.35/1224.45 c #Conflicts: 132000 | #Constraints: 73000
1221.35/1224.45 c #Conflicts: 133000 | #Constraints: 74000
1221.35/1224.45 c #Conflicts: 134000 | #Constraints: 75000
1221.35/1224.45 c #Conflicts: 135000 | #Constraints: 76000
1221.35/1224.45 c #Conflicts: 136000 | #Constraints: 77000
2073.00/2078.26 c #Conflicts: 137000 | #Constraints: 78000
2073.00/2078.26 c #Conflicts: 138000 | #Constraints: 79000
2073.00/2078.26 c #Conflicts: 139000 | #Constraints: 80000
2073.00/2078.26 c INPROCESSING
2073.00/2078.26 c GARBAGE COLLECT
2073.00/2078.26 c #Conflicts: 140000 | #Constraints: 73599
2073.00/2078.26 c #Conflicts: 141000 | #Constraints: 74599
2073.00/2078.26 c #Conflicts: 142000 | #Constraints: 75599
2073.00/2078.26 c #Conflicts: 143000 | #Constraints: 76599
2073.00/2078.26 c #Conflicts: 144000 | #Constraints: 77599
2073.00/2078.26 c #Conflicts: 145000 | #Constraints: 78599
2073.00/2078.26 c #Conflicts: 146000 | #Constraints: 79599
2073.00/2078.26 c #Conflicts: 147000 | #Constraints: 80599
2073.00/2078.26 c INPROCESSING
2073.00/2078.26 c GARBAGE COLLECT
2073.00/2078.26 c #Conflicts: 148000 | #Constraints: 74002
2073.00/2078.26 c #Conflicts: 149000 | #Constraints: 75002
2073.00/2078.26 c #Conflicts: 150000 | #Constraints: 76002
2073.00/2078.26 c #Conflicts: 151000 | #Constraints: 77002
2073.00/2078.26 c #Conflicts: 152000 | #Constraints: 78002
2073.00/2078.26 c #Conflicts: 153000 | #Constraints: 79002
2073.00/2078.26 c #Conflicts: 154000 | #Constraints: 80002
2073.00/2078.26 c #Conflicts: 155000 | #Constraints: 81002
2073.00/2078.26 c INPROCESSING
2073.00/2078.26 c GARBAGE COLLECT
2073.00/2078.26 c #Conflicts: 156000 | #Constraints: 74198
2073.00/2078.26 c #Conflicts: 157000 | #Constraints: 75198
2073.00/2078.26 c #Conflicts: 158000 | #Constraints: 76198
2073.00/2078.26 c #Conflicts: 159000 | #Constraints: 77198
2073.00/2078.26 c #Conflicts: 160000 | #Constraints: 78198
2073.00/2078.26 c #Conflicts: 161000 | #Constraints: 79198
2073.00/2078.26 c #Conflicts: 162000 | #Constraints: 80198
2073.00/2078.26 c #Conflicts: 163000 | #Constraints: 81198
2073.00/2078.26 c INPROCESSING
2073.00/2078.26 c GARBAGE COLLECT
2073.00/2078.26 c #Conflicts: 164000 | #Constraints: 74198
2073.00/2078.26 c #Conflicts: 165000 | #Constraints: 75198
2073.00/2078.26 c #Conflicts: 166000 | #Constraints: 76198
2073.00/2078.26 c #Conflicts: 167000 | #Constraints: 77198
2073.00/2078.26 c #Conflicts: 168000 | #Constraints: 78198
2073.00/2078.26 c #Conflicts: 169000 | #Constraints: 79198
2073.00/2078.26 c #Conflicts: 170000 | #Constraints: 80198
2073.00/2078.26 c #Conflicts: 171000 | #Constraints: 81198
2073.00/2078.26 c INPROCESSING
2073.00/2078.26 c GARBAGE COLLECT
2073.00/2078.26 c #Conflicts: 172000 | #Constraints: 73996
2073.00/2078.26 c #Conflicts: 173000 | #Constraints: 74996
2073.00/2078.26 c #Conflicts: 174000 | #Constraints: 75996
2073.00/2078.26 c #Conflicts: 175000 | #Constraints: 76996
2073.00/2078.26 c #Conflicts: 176000 | #Constraints: 77996
2073.00/2078.26 c #Conflicts: 177000 | #Constraints: 78996
2073.00/2078.26 c #Conflicts: 178000 | #Constraints: 79996
2073.00/2078.26 c #Conflicts: 179000 | #Constraints: 80996
2073.00/2078.26 c #Conflicts: 180000 | #Constraints: 81996
2073.00/2078.26 c INPROCESSING
2073.00/2078.26 c GARBAGE COLLECT
2073.00/2078.26 c #Conflicts: 181000 | #Constraints: 74598
2073.00/2078.26 c #Conflicts: 182000 | #Constraints: 75598
2073.00/2078.26 c #Conflicts: 183000 | #Constraints: 76598
2073.00/2078.26 c #Conflicts: 184000 | #Constraints: 77598
2073.00/2078.26 c #Conflicts: 185000 | #Constraints: 78598
2073.00/2078.26 c #Conflicts: 186000 | #Constraints: 79598
2073.00/2078.26 c #Conflicts: 187000 | #Constraints: 80598
2073.00/2078.26 c #Conflicts: 188000 | #Constraints: 81598
2073.00/2078.26 c #Conflicts: 189000 | #Constraints: 82598
2073.00/2078.26 c INPROCESSING
2073.00/2078.26 c GARBAGE COLLECT
2073.00/2078.26 c #Conflicts: 190000 | #Constraints: 74997
2073.00/2078.26 c #Conflicts: 191000 | #Constraints: 75997
2073.00/2078.26 c #Conflicts: 192000 | #Constraints: 76997
2073.00/2078.26 c #Conflicts: 193000 | #Constraints: 77997
2073.00/2078.26 c #Conflicts: 194000 | #Constraints: 78997
2073.00/2078.26 c #Conflicts: 195000 | #Constraints: 79997
2073.00/2078.26 c #Conflicts: 196000 | #Constraints: 80997
2073.00/2078.26 c #Conflicts: 197000 | #Constraints: 81997
2073.00/2078.26 c #Conflicts: 198000 | #Constraints: 82997
2073.00/2078.26 c INPROCESSING
2073.00/2078.26 c GARBAGE COLLECT
2073.00/2078.26 c #Conflicts: 199000 | #Constraints: 75198
2073.00/2078.26 c #Conflicts: 200000 | #Constraints: 76198
2073.00/2078.26 c #Conflicts: 201000 | #Constraints: 77198
2073.00/2078.26 c #Conflicts: 202000 | #Constraints: 78198
2073.00/2078.26 c #Conflicts: 203000 | #Constraints: 79198
2073.00/2078.26 c #Conflicts: 204000 | #Constraints: 80198
2073.00/2078.26 c #Conflicts: 205000 | #Constraints: 81198
2073.00/2078.26 c #Conflicts: 206000 | #Constraints: 82198
2073.00/2078.26 c #Conflicts: 207000 | #Constraints: 83198
2073.00/2078.26 c INPROCESSING
2073.00/2078.26 c GARBAGE COLLECT
2073.00/2078.26 c #Conflicts: 208000 | #Constraints: 75190
2073.00/2078.26 c #Conflicts: 209000 | #Constraints: 76190
2073.00/2078.26 c #Conflicts: 210000 | #Constraints: 77190
3213.33/3221.31 c #Conflicts: 211000 | #Constraints: 78190
3213.33/3221.31 c #Conflicts: 212000 | #Constraints: 79190
3213.33/3221.31 c #Conflicts: 213000 | #Constraints: 80190
3213.33/3221.31 c #Conflicts: 214000 | #Constraints: 81190
3213.33/3221.31 c #Conflicts: 215000 | #Constraints: 82190
3213.33/3221.31 c #Conflicts: 216000 | #Constraints: 83190
3213.33/3221.31 c INPROCESSING
3213.33/3221.31 c GARBAGE COLLECT
3213.33/3221.31 c #Conflicts: 217000 | #Constraints: 74998
3213.33/3221.31 c #Conflicts: 218000 | #Constraints: 75998
3213.33/3221.31 c #Conflicts: 219000 | #Constraints: 76998
3213.33/3221.31 c #Conflicts: 220000 | #Constraints: 77998
3213.33/3221.31 c #Conflicts: 221000 | #Constraints: 78998
3213.33/3221.31 c #Conflicts: 222000 | #Constraints: 79998
3213.33/3221.31 c #Conflicts: 223000 | #Constraints: 80998
3213.33/3221.31 c #Conflicts: 224000 | #Constraints: 81998
3213.33/3221.31 c #Conflicts: 225000 | #Constraints: 82998
3213.33/3221.31 c #Conflicts: 226000 | #Constraints: 83998
3213.33/3221.31 c INPROCESSING
3213.33/3221.31 c GARBAGE COLLECT
3213.33/3221.31 c #Conflicts: 227000 | #Constraints: 75597
3213.33/3221.31 c #Conflicts: 228000 | #Constraints: 76597
3213.33/3221.31 c #Conflicts: 229000 | #Constraints: 77597
3213.33/3221.31 c #Conflicts: 230000 | #Constraints: 78597
3213.33/3221.31 c #Conflicts: 231000 | #Constraints: 79597
3213.33/3221.31 c #Conflicts: 232000 | #Constraints: 80597
3213.33/3221.31 c #Conflicts: 233000 | #Constraints: 81597
3213.33/3221.31 c #Conflicts: 234000 | #Constraints: 82597
3213.33/3221.31 c #Conflicts: 235000 | #Constraints: 83597
3213.33/3221.31 c #Conflicts: 236000 | #Constraints: 84597
3213.33/3221.31 c INPROCESSING
3213.33/3221.31 c GARBAGE COLLECT
3213.33/3221.31 c #Conflicts: 237000 | #Constraints: 75995
3213.33/3221.31 c #Conflicts: 238000 | #Constraints: 76995
3213.33/3221.31 c #Conflicts: 239000 | #Constraints: 77995
3213.33/3221.31 c #Conflicts: 240000 | #Constraints: 78995
3213.33/3221.31 c #Conflicts: 241000 | #Constraints: 79995
3213.33/3221.31 c #Conflicts: 242000 | #Constraints: 80995
3213.33/3221.31 c #Conflicts: 243000 | #Constraints: 81995
3213.33/3221.31 c #Conflicts: 244000 | #Constraints: 82995
3213.33/3221.31 c #Conflicts: 245000 | #Constraints: 83995
3213.33/3221.31 c #Conflicts: 246000 | #Constraints: 84995
3213.33/3221.31 c INPROCESSING
3213.33/3221.31 c GARBAGE COLLECT
3213.33/3221.31 c #Conflicts: 247000 | #Constraints: 76193
3213.33/3221.31 c #Conflicts: 248000 | #Constraints: 77193
3213.33/3221.31 c #Conflicts: 249000 | #Constraints: 78193
3213.33/3221.31 c #Conflicts: 250000 | #Constraints: 79193
3213.33/3221.31 c #Conflicts: 251000 | #Constraints: 80193
3213.33/3221.31 c #Conflicts: 252000 | #Constraints: 81193
3213.33/3221.31 c #Conflicts: 253000 | #Constraints: 82193
3213.33/3221.31 c #Conflicts: 254000 | #Constraints: 83193
3213.33/3221.31 c #Conflicts: 255000 | #Constraints: 84193
3213.33/3221.31 c #Conflicts: 256000 | #Constraints: 85193
3213.33/3221.31 c INPROCESSING
3213.33/3221.31 c GARBAGE COLLECT
3213.33/3221.31 c #Conflicts: 257000 | #Constraints: 76200
3213.33/3221.31 c #Conflicts: 258000 | #Constraints: 77200
3213.33/3221.31 c #Conflicts: 259000 | #Constraints: 78200
3213.33/3221.31 c #Conflicts: 260000 | #Constraints: 79200
3213.33/3221.31 c #Conflicts: 261000 | #Constraints: 80200
3213.33/3221.31 c #Conflicts: 262000 | #Constraints: 81200
3213.33/3221.31 c #Conflicts: 263000 | #Constraints: 82200
3213.33/3221.31 c #Conflicts: 264000 | #Constraints: 83200
3213.33/3221.31 c #Conflicts: 265000 | #Constraints: 84200
3213.33/3221.31 c #Conflicts: 266000 | #Constraints: 85200
3213.33/3221.31 c INPROCESSING
3213.33/3221.31 c GARBAGE COLLECT
3213.33/3221.31 c #Conflicts: 267000 | #Constraints: 76001
3213.33/3221.31 c #Conflicts: 268000 | #Constraints: 77001
3213.33/3221.31 c #Conflicts: 269000 | #Constraints: 78001
3213.33/3221.31 c #Conflicts: 270000 | #Constraints: 79001
3213.33/3221.31 c #Conflicts: 271000 | #Constraints: 80001
3213.33/3221.31 c #Conflicts: 272000 | #Constraints: 81001
3213.33/3221.31 c #Conflicts: 273000 | #Constraints: 82001
3213.33/3221.31 c #Conflicts: 274000 | #Constraints: 83001
3213.33/3221.31 c #Conflicts: 275000 | #Constraints: 84001
3213.33/3221.31 c #Conflicts: 276000 | #Constraints: 85001
3213.33/3221.31 c #Conflicts: 277000 | #Constraints: 86001
3213.33/3221.31 c INPROCESSING
3213.33/3221.31 c GARBAGE COLLECT
3213.33/3221.31 c #Conflicts: 278000 | #Constraints: 76604
3213.33/3221.31 c #Conflicts: 279000 | #Constraints: 77604
3213.33/3221.31 c #Conflicts: 280000 | #Constraints: 78604
3213.33/3221.31 c #Conflicts: 281000 | #Constraints: 79604
3213.33/3221.31 c #Conflicts: 282000 | #Constraints: 80604
3213.33/3221.31 c #Conflicts: 283000 | #Constraints: 81604
3213.33/3221.31 c #Conflicts: 284000 | #Constraints: 82604
3600.00/3608.90 c #Conflicts: 285000 | #Constraints: 83604
3600.00/3608.90 c #Conflicts: 286000 | #Constraints: 84604
3600.00/3608.90 c #Conflicts: 287000 | #Constraints: 85604
3600.00/3608.90 c #Conflicts: 288000 | #Constraints: 86604
3600.00/3608.90 c INPROCESSING
3600.00/3608.90 c GARBAGE COLLECT
3600.00/3608.90 c #Conflicts: 289000 | #Constraints: 77003
3600.00/3608.90 c #Conflicts: 290000 | #Constraints: 78003
3600.00/3608.90 c #Conflicts: 291000 | #Constraints: 79003
3600.00/3608.90 c #Conflicts: 292000 | #Constraints: 80003
3600.00/3608.90 c #Conflicts: 293000 | #Constraints: 81003
3600.00/3608.90 c #Conflicts: 294000 | #Constraints: 82003
3600.00/3608.90 c #Conflicts: 295000 | #Constraints: 83003
3600.00/3608.90 c #Conflicts: 296000 | #Constraints: 84003
3600.00/3608.90 c #Conflicts: 297000 | #Constraints: 85003
3600.00/3608.90 c #Conflicts: 298000 | #Constraints: 86003
3600.00/3608.90 c #Conflicts: 299000 | #Constraints: 87003
3600.00/3608.90 c INPROCESSING
3600.00/3608.90 c GARBAGE COLLECT
3600.00/3608.90 c #Conflicts: 300000 | #Constraints: 77205
3600.00/3608.90 c #Conflicts: 301000 | #Constraints: 78205
3600.00/3608.90 c #Conflicts: 302000 | #Constraints: 79205
3600.00/3608.90 c #Conflicts: 303000 | #Constraints: 80205
3600.00/3608.90 c #Conflicts: 304000 | #Constraints: 81205
3600.00/3608.90 c #Conflicts: 305000 | #Constraints: 82205
3600.00/3608.90 c #Conflicts: 306000 | #Constraints: 83205
3600.00/3608.90 c Program interrupted by user.
3600.00/3608.90 c cpu time 3475.63 s
3600.00/3608.90 c deterministic time 150553709713 1.51e+11
3600.00/3608.90 c optimization time 133.53 s
3600.00/3608.90 c total solve time 3041.2 s
3600.00/3608.90 c core-guided solve time 3041.2 s
3600.00/3608.90 c propagation time 2729.08 s
3600.00/3608.90 c conflict analysis time 275.243 s
3600.00/3608.90 c propagations 158109753
3600.00/3608.90 c resolve steps 1375183
3600.00/3608.90 c decisions 163882457
3600.00/3608.90 c conflicts 306134
3600.00/3608.90 c restarts 752
3600.00/3608.90 c inprocessing phases 46
3600.00/3608.90 c input clauses 65299
3600.00/3608.90 c input cardinalities 67
3600.00/3608.90 c input general constraints 39
3600.00/3608.90 c input average constraint length 39.85
3600.00/3608.90 c input average constraint degree 1.18
3600.00/3608.90 c learned clauses 2469
3600.00/3608.90 c learned cardinalities 1856
3600.00/3608.90 c learned general constraints 301809
3600.00/3608.90 c learned average constraint length 3997.20
3600.00/3608.90 c learned average constraint degree 16711.29
3600.00/3608.90 c watched constraints 21604
3600.00/3608.90 c counting constraints 280244
3600.00/3608.90 c gcd simplifications 100
3600.00/3608.90 c detected cardinalities 15
3600.00/3608.90 c weakened non-implied lits 14243169
3600.00/3608.90 c weakened non-implying lits 399
3600.00/3608.90 c original variables 5048
3600.00/3608.90 c clausal propagations 3187524
3600.00/3608.90 c cardinality propagations 787451
3600.00/3608.90 c watched propagations 1827307
3600.00/3608.90 c counting propagations 150534156
3600.00/3608.90 c watch lookups 47436049837
3600.00/3608.90 c watch backjump lookups 46948476035
3600.00/3608.90 c watch checks 32439536760
3600.00/3608.90 c propagation checks 20491803277
3600.00/3608.90 c constraint additions 2593557372
3600.00/3608.90 c trail pops 322294221
3600.00/3608.90 c formula constraints 65280
3600.00/3608.90 c learned constraints 306134
3600.00/3608.90 c bound constraints 29
3600.00/3608.90 c core-guided constraints 96
3600.00/3608.90 c encountered formula constraints 598616
3600.00/3608.90 c encountered learned constraints 966654
3600.00/3608.90 c encountered bound constraints 33
3600.00/3608.90 c encountered core-guided constraints 116014
3600.00/3608.90 c LP total time 0 s
3600.00/3608.90 c LP solve time 0 s
3600.00/3608.90 c LP constraints added 0
3600.00/3608.90 c LP constraints removed 0
3600.00/3608.90 c LP pivots internal 0
3600.00/3608.90 c LP pivots root 0
3600.00/3608.90 c LP calls 0
3600.00/3608.90 c LP optimalities 0
3600.00/3608.90 c LP no pivot count 0
3600.00/3608.90 c LP infeasibilities 0
3600.00/3608.90 c LP valid Farkas constraints 0
3600.00/3608.90 c LP learned Farkas constraints 0
3600.00/3608.90 c LP basis resets 0
3600.00/3608.90 c LP cycling count 0
3600.00/3608.90 c LP singular count 0
3600.00/3608.90 c LP no primal count 0
3600.00/3608.90 c LP no farkas count 0
3600.00/3608.90 c LP other issue count 0
3600.00/3608.90 c LP Gomory cuts 0
3600.00/3608.90 c LP learned cuts 0
3600.00/3608.90 c LP deleted cuts 0
3600.00/3608.90 c LP encountered Gomory constraints 0
3600.00/3608.90 c LP encountered Farkas constraints 0
3600.00/3608.90 c LP encountered learned Farkas constraints 0
3600.00/3608.90 c CG auxiliary variables introduced 39
3600.00/3608.90 c CG solutions found 1
3600.00/3608.90 c CG cores constructed 27
3600.00/3608.90 c CG core cardinality constraints returned 0
3600.00/3608.90 c CG unit cores 0
3600.00/3608.90 c CG single cores 27
3600.00/3608.90 c CG blocks removed during cardinality reduction 0
3600.00/3608.90 c CG first core best 0
3600.00/3608.90 c CG decision core best 0
3600.00/3608.90 c CG core reduction tie 0
3600.00/3608.90 c CG core degree average 1.00
3600.00/3608.90 c CG core slack average 49.33
3600.00/3608.90 c CG exhausted 0
3600.00/3608.90 c CG exhaust time 32.6953 s
3600.00/3608.90 c CG trimmed 0
3600.00/3608.90 c CG trim time 0.004579 s
3600.00/3608.90 c CG minimized 0
3600.00/3608.90 c CG minimize time 0 s
3600.00/3608.90 c CG am1 prop time 0.016739 s
3600.00/3608.90 c CG # am1s reformulated 0
3600.00/3608.90 c CG lower bound derived from am1s 0
3600.00/3608.90 c CG # clausal cores 27
3600.00/3608.90 c CG # cardinality cores 0
3600.00/3608.90 c CG # pb cores 0
3600.00/3608.90 c CG # pb reforms 0
3600.00/3608.90 c CG # cores discarded because of pb reform 0
3600.00/3608.90 d LOWERBOUND 27
3600.00/3608.90 d NCORES 27
3600.00/3608.90 d NPBCORES 0
3600.00/3608.90 d NPBREFORM 0
3600.00/3608.90 d NTRIMMED 0
3600.00/3608.90 d NEXHAUSTED 0
3600.00/3608.90 d NAM1S 0
3600.00/3608.90 d AM1LB 0
3600.00/3608.90 c [STEP] postprocessing with Papilo
3600.00/3608.92 o 39
3600.00/3608.92 s SATISFIABLE
3600.00/3608.92 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62501 MiB free)
memory of node 1: 64473 MiB (62504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435659-1721131483/watcher-4435659-1721131483 -o /tmp/evaluation-result-4435659-1721131483/solver-4435659-1721131483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850377 --watchdog 3760 mixed-bag HOME/instance-4435659-1721131483.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=852449, runsolver pid=852446
[startup+0.100578 s]*
/proc/loadavg: 4.14 4.12 4.13 5/252 852450
/proc/meminfo: memFree=127960704/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=85640 memory=14976 CPUtime=0.09 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 2491 0 0 0 9 0 0 0 20 0 1 0 165315021 87695360 3744 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 21410 3744 1629 3002 0 5700 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85640 KiB
Current children cumulated memory: 14976 KiB
[startup+0.205538 s]*
/proc/loadavg: 4.14 4.12 4.13 5/252 852450
/proc/meminfo: memFree=127972684/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=93832 memory=23340 CPUtime=0.2 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 3056 0 0 0 20 0 0 0 20 0 1 0 165315021 96083968 5835 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 23458 5835 1629 3002 0 7748 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93832 KiB
Current children cumulated memory: 23340 KiB
[startup+0.305452 s]*
/proc/loadavg: 4.14 4.12 4.13 5/252 852450
/proc/meminfo: memFree=127859780/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=110216 memory=29812 CPUtime=0.3 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 3638 0 0 0 29 1 0 0 20 0 1 0 165315021 112861184 7453 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 27554 7453 1629 3002 0 11844 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110216 KiB
Current children cumulated memory: 29812 KiB
[startup+0.70022 s]
/proc/loadavg: 4.13 4.12 4.13 5/252 852450
/proc/meminfo: memFree=127669616/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=142984 memory=53256 CPUtime=0.69 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 4420 0 0 0 67 2 0 0 20 0 1 0 165315021 146415616 13314 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 35746 13314 1629 3002 0 20036 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 142984 KiB
Current children cumulated memory: 53256 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.12 4.13 5/250 852450
/proc/meminfo: memFree=127329848/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=377936 memory=240656 CPUtime=1.48 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 11078 0 0 0 138 10 0 0 20 0 1 0 165315021 387006464 60164 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 94484 60164 1735 3002 0 78235 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 377936 KiB
Current children cumulated memory: 240656 KiB
[startup+3.10552 s]
/proc/loadavg: 4.13 4.12 4.13 5/256 852461
/proc/meminfo: memFree=125856040/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=901360 memory=740388 CPUtime=3.09 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 119597 0 0 0 280 29 0 0 20 0 1 0 165315021 922992640 185097 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 225340 185097 3775 3002 0 209091 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 901360 KiB
Current children cumulated memory: 740388 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.12 4.13 5/256 852463
/proc/meminfo: memFree=123669840/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=1544744 memory=1309736 CPUtime=6.27 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 180341 0 0 0 574 53 0 0 20 0 1 0 165315021 1581817856 327434 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 386186 327434 3807 3002 0 369937 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1544744 KiB
Current children cumulated memory: 1309736 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.13 5/256 852463
/proc/meminfo: memFree=121019304/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2491420 memory=2191592 CPUtime=12.66 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 201678 0 0 0 1191 75 0 0 20 0 1 0 165315021 2551214080 547898 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 622855 547898 3823 3002 0 606606 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2491420 KiB
Current children cumulated memory: 2191592 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.13 5/256 852464
/proc/meminfo: memFree=117556776/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2476256 memory=2220304 CPUtime=25.43 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 226444 0 0 0 2459 84 0 0 20 0 1 0 165315021 2535686144 555076 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 619064 555076 4010 3002 0 602815 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2476256 KiB
Current children cumulated memory: 2220304 KiB
[startup+51.1058 s]
/proc/loadavg: 4.12 4.12 4.13 5/256 852469
/proc/meminfo: memFree=112250068/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2476256 memory=2220304 CPUtime=50.96 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 226550 0 0 0 5012 84 0 0 20 0 1 0 165315021 2535686144 555076 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 619064 555076 4010 3002 0 602815 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2476256 KiB
Current children cumulated memory: 2220304 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/254 852477
/proc/meminfo: memFree=104227832/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2476256 memory=2220368 CPUtime=102 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 226688 0 0 0 10115 85 0 0 20 0 1 0 165315021 2535686144 555092 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 619064 555092 4026 3002 0 602815 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2476256 KiB
Current children cumulated memory: 2220368 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/254 852489
/proc/meminfo: memFree=102108868/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2493004 memory=2237272 CPUtime=161.82 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 228003 0 0 0 16094 88 0 0 20 0 1 0 165315021 2552836096 559318 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 623251 559318 4042 3002 0 607002 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2493004 KiB
Current children cumulated memory: 2237272 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/254 852545
/proc/meminfo: memFree=114923092/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2493004 memory=2237272 CPUtime=221.65 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 228182 0 0 0 22077 88 0 0 20 0 1 0 165315021 2552836096 559318 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 623251 559318 4042 3002 0 607002 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2493004 KiB
Current children cumulated memory: 2237272 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/254 852555
/proc/meminfo: memFree=114582004/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2510296 memory=2237548 CPUtime=281.5 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 228497 0 0 0 28062 88 0 0 20 0 1 0 165315021 2570543104 559387 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 627574 559387 4042 3002 0 611325 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 2510296 KiB
Current children cumulated memory: 2237548 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/257 852570
/proc/meminfo: memFree=119536396/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=1534300 memory=1435636 CPUtime=341.36 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 235152 0 0 0 33620 516 0 0 20 0 1 0 165315021 1571123200 358909 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 383575 358909 4217 3002 0 367326 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1534300 KiB
Current children cumulated memory: 1435636 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/257 852581
/proc/meminfo: memFree=119226860/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=1666560 memory=1472476 CPUtime=401.22 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 235741 0 0 0 39118 1004 0 0 20 0 1 0 165315021 1706557440 368119 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 416640 368119 4217 3002 0 400391 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 1666560 KiB
Current children cumulated memory: 1472476 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/257 852591
/proc/meminfo: memFree=119065344/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=1666560 memory=1495088 CPUtime=461.08 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 235813 0 0 0 44713 1395 0 0 20 0 1 0 165315021 1706557440 373772 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 416640 373772 4217 3002 0 400391 0
################
# More data... #
################
Current children cumulated memory: 1922648 KiB
[startup+2922.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/256 853650
/proc/meminfo: memFree=115276100/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2274480 memory=1922648 CPUtime=2915.04 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 258433 0 0 0 280871 10633 0 0 20 0 1 0 165315021 2329067520 480662 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 568620 480662 4217 3002 0 552371 0
Current children cumulated CPU time: 2915.04 s
Current children cumulated vsize: 2274480 KiB
Current children cumulated memory: 1922648 KiB
[startup+2982.3 s]
/proc/loadavg: 4.42 4.21 4.13 5/256 853661
/proc/meminfo: memFree=115136480/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2289332 memory=1943660 CPUtime=2974.89 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 260868 0 0 0 286670 10819 0 0 20 0 1 0 165315021 2344275968 485915 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 572333 485915 4217 3002 0 556084 0
Current children cumulated CPU time: 2974.89 s
Current children cumulated vsize: 2289332 KiB
Current children cumulated memory: 1943660 KiB
[startup+3042.3 s]
/proc/loadavg: 4.34 4.23 4.14 5/256 854055
/proc/meminfo: memFree=114855084/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2289332 memory=1943660 CPUtime=3034.75 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 261274 0 0 0 292493 10982 0 0 20 0 1 0 165315021 2344275968 485915 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 572333 485915 4217 3002 0 556084 0
Current children cumulated CPU time: 3034.75 s
Current children cumulated vsize: 2289332 KiB
Current children cumulated memory: 1943660 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/256 854065
/proc/meminfo: memFree=114655860/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2289332 memory=1943660 CPUtime=3094.61 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 261654 0 0 0 298352 11109 0 0 20 0 1 0 165315021 2344275968 485915 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 572333 485915 4217 3002 0 556084 0
Current children cumulated CPU time: 3094.61 s
Current children cumulated vsize: 2289332 KiB
Current children cumulated memory: 1943660 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.16 4.12 5/257 854077
/proc/meminfo: memFree=114566988/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2306484 memory=1968360 CPUtime=3154.46 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 264558 0 0 0 304155 11291 0 0 20 0 1 0 165315021 2361839616 492090 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 576621 492090 4217 3002 0 560372 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 2306484 KiB
Current children cumulated memory: 1968360 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.18 4.13 5/257 854255
/proc/meminfo: memFree=114462968/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2306484 memory=1968360 CPUtime=3214.32 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 264817 0 0 0 309984 11448 0 0 20 0 1 0 165315021 2361839616 492090 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 576621 492090 4217 3002 0 560372 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 2306484 KiB
Current children cumulated memory: 1968360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.43 4.25 4.16 5/257 854265
/proc/meminfo: memFree=114413184/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2306484 memory=1968360 CPUtime=3274.18 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 265219 0 0 0 315838 11580 0 0 20 0 1 0 165315021 2361839616 492090 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 576621 492090 4217 3002 0 560372 0
Current children cumulated CPU time: 3274.18 s
Current children cumulated vsize: 2306484 KiB
Current children cumulated memory: 1968360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.22 4.15 5/258 854279
/proc/meminfo: memFree=114224404/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2314420 memory=1986044 CPUtime=3334.04 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 266833 0 0 0 321654 11750 0 0 20 0 1 0 165315021 2369966080 496511 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 578605 496511 4217 3002 0 562356 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 2314420 KiB
Current children cumulated memory: 1986044 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.14 5/258 854301
/proc/meminfo: memFree=114124336/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2314420 memory=1986044 CPUtime=3393.89 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 267190 0 0 0 327469 11920 0 0 20 0 1 0 165315021 2369966080 496511 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 578605 496511 4217 3002 0 562356 0
Current children cumulated CPU time: 3393.89 s
Current children cumulated vsize: 2314420 KiB
Current children cumulated memory: 1986044 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.17 4.14 5/257 854311
/proc/meminfo: memFree=114123884/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2314420 memory=1986044 CPUtime=3453.75 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 267525 0 0 0 333323 12052 0 0 20 0 1 0 165315021 2369966080 496511 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 578605 496511 4217 3002 0 562356 0
Current children cumulated CPU time: 3453.75 s
Current children cumulated vsize: 2314420 KiB
Current children cumulated memory: 1986044 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.15 4.13 5/256 854322
/proc/meminfo: memFree=113852292/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2326452 memory=2010420 CPUtime=3513.6 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 270777 0 0 0 339160 12200 0 0 20 0 1 0 165315021 2382286848 502605 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 581613 502605 4217 3002 0 565364 0
Current children cumulated CPU time: 3513.6 s
Current children cumulated vsize: 2326452 KiB
Current children cumulated memory: 2010420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/256 854333
/proc/meminfo: memFree=113851884/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2326452 memory=2010420 CPUtime=3573.46 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 271134 0 0 0 344972 12374 0 0 20 0 1 0 165315021 2382286848 502605 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 581613 502605 4217 3002 0 565364 0
Current children cumulated CPU time: 3573.46 s
Current children cumulated vsize: 2326452 KiB
Current children cumulated memory: 2010420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.11 4.14 4.13 5/253 854352
/proc/meminfo: memFree=116549656/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2326452 memory=2010420 CPUtime=3600 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 271222 0 0 0 347562 12438 0 0 20 0 1 0 165315021 2382286848 502605 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 581613 502605 4217 3002 0 565364 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2326452 KiB
Current children cumulated memory: 2010420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.97 s]
# the end of solver process 852449 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3475.64 s, system=124.435 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.11 4.14 4.13 5/253 854352
/proc/meminfo: memFree=116549656/131524600 swapFree=131071996/131071996
[pid=852449] ppid=852446 vsize=2326452 memory=2010420 CPUtime=3600 cores=4,6
/proc/852449/stat : 852449 (mixed-bag) R 852446 852449 850366 0 -1 4194304 271222 0 0 0 347562 12438 0 0 20 0 1 0 165315021 2382286848 502605 134679101440 4194304 16487941 140728981109584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 25128960 140728981111831 140728981111908 140728981111908 140728981118923 0
/proc/852449/statm: 581613 502605 4217 3002 0 565364 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2326452 KiB
Current children cumulated memory: 2010420 KiB
Child status: 0
Real time (s): 3608.97
CPU time (s): 3600.08
CPU user time (s): 3475.64
CPU system time (s): 124.435
CPU usage (%): 99.7537
Max. virtual memory (cumulated for all children) (KiB): 2538352
Max. memory (cumulated for all children) (KiB): 2276260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3475.64
system time used= 124.435
maximum resident set size= 2282404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274046
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= 11
involuntary context switches= 1508
# summary of solver processes directly reported to runsolver:
# pid: 852449
# total CPU time (s): 3600.08
# total CPU user time (s): 3475.64
# total CPU system time (s): 124.435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98543 second user time and 18.0396 second system time
The end
Begin job on nodeC027 at 2024-07-16 14:04:56
IDJOB=4435659
IDBENCH=155403
IDSOLVER=3066
FILE ID=nodeC027/4435659-1721131483
RUNJOBID= nodeC027-1721127883-850377
SLURM_JOB_ID= 7505687
Free space on /tmp= 889532 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435659-1721131483/watcher-4435659-1721131483 -o /tmp/evaluation-result-4435659-1721131483/solver-4435659-1721131483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850377 --watchdog 3760 mixed-bag HOME/instance-4435659-1721131483.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=2057914835
nodeC027.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 : 3672.026
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
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 : 3689.227
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.29
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 : 3612.775
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
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.382
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.29
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 : 3674.358
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
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 : 3689.249
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.29
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 : 3640.028
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
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 : 3600.411
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128014296 kB
MemAvailable: 129317448 kB
Buffers: 400684 kB
Cached: 1734064 kB
SwapCached: 0 kB
Active: 730604 kB
Inactive: 2174680 kB
Active(anon): 1528 kB
Inactive(anon): 807428 kB
Active(file): 729076 kB
Inactive(file): 1367252 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 595980 kB
Writeback: 300 kB
AnonPages: 769392 kB
Mapped: 109204 kB
Shmem: 37720 kB
KReclaimable: 93296 kB
Slab: 198500 kB
SReclaimable: 93296 kB
SUnreclaim: 105204 kB
KernelStack: 3888 kB
PageTables: 10692 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1145224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61664 kB
HardwareCorrupted: 0 kB
AnonHugePages: 661504 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: 193236 kB
DirectMap2M: 15308800 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 889876 MiB
End job on nodeC027 at 2024-07-16 15:05:05