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.48/1.56 c [STEP] preprocessing with Papilo
1.88/1.92 c Papilo could not simplify the problem
1.88/1.92 c [STEP] solving with SCIP
301.29/302.38 c [STEP] preprocessing done, loading into solver
301.68/302.75 c [STEP] solving
301.68/302.75 c #variables 5049 #constraints 65280
301.68/302.75 c SMALL=int, LARGE=long long
301.68/302.75 d SCIPUB 40
301.68/302.75 c bounds - >= 0 @ 300.754
301.68/302.75 c stratification level: 0
302.18/303.28 c bounds - >= 1 @ 300.8
302.18/303.28 c bounds - >= 2 @ 300.801
302.18/303.28 c bounds - >= 3 @ 300.802
302.18/303.28 c bounds - >= 4 @ 300.804
302.18/303.28 c bounds - >= 5 @ 300.807
302.18/303.28 c bounds - >= 6 @ 300.809
302.18/303.28 c bounds - >= 7 @ 300.81
302.18/303.28 c bounds - >= 8 @ 300.812
302.18/303.28 c bounds - >= 9 @ 300.813
302.18/303.28 c bounds - >= 10 @ 300.816
302.18/303.28 c bounds - >= 11 @ 300.817
302.18/303.28 c bounds - >= 12 @ 300.82
302.18/303.28 c bounds - >= 13 @ 300.821
302.18/303.28 c bounds - >= 14 @ 300.822
302.18/303.28 c bounds - >= 15 @ 300.824
302.18/303.28 c bounds - >= 16 @ 300.826
302.18/303.28 c bounds - >= 17 @ 300.828
302.18/303.28 c bounds - >= 18 @ 300.838
302.18/303.28 c bounds - >= 19 @ 300.841
302.18/303.28 c bounds - >= 20 @ 300.844
302.18/303.28 c bounds - >= 21 @ 300.847
302.18/303.28 c finalizing WCE round: reformulating cores
593.64/595.64 c #Conflicts: 1000 | #Constraints: 66304
593.64/595.64 c #Conflicts: 2000 | #Constraints: 67308
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 3000 | #Constraints: 67295
593.64/595.64 c #Conflicts: 4000 | #Constraints: 68297
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 5000 | #Constraints: 67709
593.64/595.64 c #Conflicts: 6000 | #Constraints: 68711
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 7000 | #Constraints: 67715
593.64/595.64 c #Conflicts: 8000 | #Constraints: 68717
593.64/595.64 c #Conflicts: 9000 | #Constraints: 69721
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 10000 | #Constraints: 68429
593.64/595.64 c #Conflicts: 11000 | #Constraints: 69431
593.64/595.64 c #Conflicts: 12000 | #Constraints: 70433
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 13000 | #Constraints: 68892
593.64/595.64 c #Conflicts: 14000 | #Constraints: 69894
593.64/595.64 c #Conflicts: 15000 | #Constraints: 70896
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 16000 | #Constraints: 69125
593.64/595.64 c #Conflicts: 17000 | #Constraints: 70127
593.64/595.64 c #Conflicts: 18000 | #Constraints: 71129
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c bounds 39 >= 21 @ 334.098
593.64/595.64 c bounds 39 >= 22 @ 334.105
593.64/595.64 c bounds 39 >= 23 @ 334.111
593.64/595.64 c bounds 39 >= 24 @ 334.114
593.64/595.64 c bounds 39 >= 25 @ 334.119
593.64/595.64 c bounds 39 >= 26 @ 334.133
593.64/595.64 c bounds 39 >= 27 @ 334.152
593.64/595.64 c #Conflicts: 19000 | #Constraints: 69205
593.64/595.64 c #Conflicts: 20000 | #Constraints: 70205
593.64/595.64 c #Conflicts: 21000 | #Constraints: 71205
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 22000 | #Constraints: 68992
593.64/595.64 c #Conflicts: 23000 | #Constraints: 69992
593.64/595.64 c #Conflicts: 24000 | #Constraints: 70992
593.64/595.64 c #Conflicts: 25000 | #Constraints: 71992
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 26000 | #Constraints: 69593
593.64/595.64 c #Conflicts: 27000 | #Constraints: 70593
593.64/595.64 c #Conflicts: 28000 | #Constraints: 71593
593.64/595.64 c #Conflicts: 29000 | #Constraints: 72593
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 30000 | #Constraints: 69990
593.64/595.64 c #Conflicts: 31000 | #Constraints: 70990
593.64/595.64 c #Conflicts: 32000 | #Constraints: 71990
593.64/595.64 c #Conflicts: 33000 | #Constraints: 72990
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 34000 | #Constraints: 70187
593.64/595.64 c #Conflicts: 35000 | #Constraints: 71187
593.64/595.64 c #Conflicts: 36000 | #Constraints: 72187
593.64/595.64 c #Conflicts: 37000 | #Constraints: 73187
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 38000 | #Constraints: 70192
593.64/595.64 c #Conflicts: 39000 | #Constraints: 71192
593.64/595.64 c #Conflicts: 40000 | #Constraints: 72192
593.64/595.64 c #Conflicts: 41000 | #Constraints: 73192
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 42000 | #Constraints: 69992
593.64/595.64 c #Conflicts: 43000 | #Constraints: 70992
593.64/595.64 c #Conflicts: 44000 | #Constraints: 71992
593.64/595.64 c #Conflicts: 45000 | #Constraints: 72992
593.64/595.64 c #Conflicts: 46000 | #Constraints: 73992
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 47000 | #Constraints: 70593
593.64/595.64 c #Conflicts: 48000 | #Constraints: 71593
593.64/595.64 c #Conflicts: 49000 | #Constraints: 72593
593.64/595.64 c #Conflicts: 50000 | #Constraints: 73593
593.64/595.64 c #Conflicts: 51000 | #Constraints: 74593
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 52000 | #Constraints: 70991
593.64/595.64 c #Conflicts: 53000 | #Constraints: 71991
593.64/595.64 c #Conflicts: 54000 | #Constraints: 72991
593.64/595.64 c #Conflicts: 55000 | #Constraints: 73991
593.64/595.64 c #Conflicts: 56000 | #Constraints: 74991
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 57000 | #Constraints: 71191
593.64/595.64 c #Conflicts: 58000 | #Constraints: 72191
593.64/595.64 c #Conflicts: 59000 | #Constraints: 73191
593.64/595.64 c #Conflicts: 60000 | #Constraints: 74191
593.64/595.64 c #Conflicts: 61000 | #Constraints: 75191
593.64/595.64 c INPROCESSING
593.64/595.64 c GARBAGE COLLECT
593.64/595.64 c #Conflicts: 62000 | #Constraints: 71183
593.64/595.64 c #Conflicts: 63000 | #Constraints: 72183
593.64/595.64 c #Conflicts: 64000 | #Constraints: 73183
593.64/595.64 c #Conflicts: 65000 | #Constraints: 74183
1219.38/1223.45 c #Conflicts: 66000 | #Constraints: 75183
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 67000 | #Constraints: 70990
1219.38/1223.45 c #Conflicts: 68000 | #Constraints: 71990
1219.38/1223.45 c #Conflicts: 69000 | #Constraints: 72990
1219.38/1223.45 c #Conflicts: 70000 | #Constraints: 73990
1219.38/1223.45 c #Conflicts: 71000 | #Constraints: 74990
1219.38/1223.45 c #Conflicts: 72000 | #Constraints: 75990
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 73000 | #Constraints: 71590
1219.38/1223.45 c #Conflicts: 74000 | #Constraints: 72590
1219.38/1223.45 c #Conflicts: 75000 | #Constraints: 73590
1219.38/1223.45 c #Conflicts: 76000 | #Constraints: 74590
1219.38/1223.45 c #Conflicts: 77000 | #Constraints: 75590
1219.38/1223.45 c #Conflicts: 78000 | #Constraints: 76590
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 79000 | #Constraints: 71990
1219.38/1223.45 c #Conflicts: 80000 | #Constraints: 72990
1219.38/1223.45 c #Conflicts: 81000 | #Constraints: 73990
1219.38/1223.45 c #Conflicts: 82000 | #Constraints: 74990
1219.38/1223.45 c #Conflicts: 83000 | #Constraints: 75990
1219.38/1223.45 c #Conflicts: 84000 | #Constraints: 76990
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 85000 | #Constraints: 72192
1219.38/1223.45 c #Conflicts: 86000 | #Constraints: 73192
1219.38/1223.45 c #Conflicts: 87000 | #Constraints: 74192
1219.38/1223.45 c #Conflicts: 88000 | #Constraints: 75192
1219.38/1223.45 c #Conflicts: 89000 | #Constraints: 76192
1219.38/1223.45 c #Conflicts: 90000 | #Constraints: 77192
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 91000 | #Constraints: 72193
1219.38/1223.45 c #Conflicts: 92000 | #Constraints: 73193
1219.38/1223.45 c #Conflicts: 93000 | #Constraints: 74193
1219.38/1223.45 c #Conflicts: 94000 | #Constraints: 75193
1219.38/1223.45 c #Conflicts: 95000 | #Constraints: 76193
1219.38/1223.45 c #Conflicts: 96000 | #Constraints: 77193
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 97000 | #Constraints: 71991
1219.38/1223.45 c #Conflicts: 98000 | #Constraints: 72991
1219.38/1223.45 c #Conflicts: 99000 | #Constraints: 73991
1219.38/1223.45 c #Conflicts: 100000 | #Constraints: 74991
1219.38/1223.45 c #Conflicts: 101000 | #Constraints: 75991
1219.38/1223.45 c #Conflicts: 102000 | #Constraints: 76991
1219.38/1223.45 c #Conflicts: 103000 | #Constraints: 77991
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 104000 | #Constraints: 72594
1219.38/1223.45 c #Conflicts: 105000 | #Constraints: 73594
1219.38/1223.45 c #Conflicts: 106000 | #Constraints: 74594
1219.38/1223.45 c #Conflicts: 107000 | #Constraints: 75594
1219.38/1223.45 c #Conflicts: 108000 | #Constraints: 76594
1219.38/1223.45 c #Conflicts: 109000 | #Constraints: 77594
1219.38/1223.45 c #Conflicts: 110000 | #Constraints: 78594
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 111000 | #Constraints: 72995
1219.38/1223.45 c #Conflicts: 112000 | #Constraints: 73995
1219.38/1223.45 c #Conflicts: 113000 | #Constraints: 74995
1219.38/1223.45 c #Conflicts: 114000 | #Constraints: 75995
1219.38/1223.45 c #Conflicts: 115000 | #Constraints: 76995
1219.38/1223.45 c #Conflicts: 116000 | #Constraints: 77995
1219.38/1223.45 c #Conflicts: 117000 | #Constraints: 78995
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 118000 | #Constraints: 73196
1219.38/1223.45 c #Conflicts: 119000 | #Constraints: 74196
1219.38/1223.45 c #Conflicts: 120000 | #Constraints: 75196
1219.38/1223.45 c #Conflicts: 121000 | #Constraints: 76196
1219.38/1223.45 c #Conflicts: 122000 | #Constraints: 77196
1219.38/1223.45 c #Conflicts: 123000 | #Constraints: 78196
1219.38/1223.45 c #Conflicts: 124000 | #Constraints: 79196
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 125000 | #Constraints: 73200
1219.38/1223.45 c #Conflicts: 126000 | #Constraints: 74200
1219.38/1223.45 c #Conflicts: 127000 | #Constraints: 75200
1219.38/1223.45 c #Conflicts: 128000 | #Constraints: 76200
1219.38/1223.45 c #Conflicts: 129000 | #Constraints: 77200
1219.38/1223.45 c #Conflicts: 130000 | #Constraints: 78200
1219.38/1223.45 c #Conflicts: 131000 | #Constraints: 79200
1219.38/1223.45 c INPROCESSING
1219.38/1223.45 c GARBAGE COLLECT
1219.38/1223.45 c #Conflicts: 132000 | #Constraints: 73000
1219.38/1223.45 c #Conflicts: 133000 | #Constraints: 74000
1219.38/1223.45 c #Conflicts: 134000 | #Constraints: 75000
1219.38/1223.45 c #Conflicts: 135000 | #Constraints: 76000
1219.38/1223.45 c #Conflicts: 136000 | #Constraints: 77000
2063.80/2070.69 c #Conflicts: 137000 | #Constraints: 78000
2063.80/2070.69 c #Conflicts: 138000 | #Constraints: 79000
2063.80/2070.69 c #Conflicts: 139000 | #Constraints: 80000
2063.80/2070.69 c INPROCESSING
2063.80/2070.69 c GARBAGE COLLECT
2063.80/2070.69 c #Conflicts: 140000 | #Constraints: 73599
2063.80/2070.69 c #Conflicts: 141000 | #Constraints: 74599
2063.80/2070.69 c #Conflicts: 142000 | #Constraints: 75599
2063.80/2070.69 c #Conflicts: 143000 | #Constraints: 76599
2063.80/2070.69 c #Conflicts: 144000 | #Constraints: 77599
2063.80/2070.69 c #Conflicts: 145000 | #Constraints: 78599
2063.80/2070.69 c #Conflicts: 146000 | #Constraints: 79599
2063.80/2070.69 c #Conflicts: 147000 | #Constraints: 80599
2063.80/2070.69 c INPROCESSING
2063.80/2070.69 c GARBAGE COLLECT
2063.80/2070.69 c #Conflicts: 148000 | #Constraints: 74002
2063.80/2070.69 c #Conflicts: 149000 | #Constraints: 75002
2063.80/2070.69 c #Conflicts: 150000 | #Constraints: 76002
2063.80/2070.69 c #Conflicts: 151000 | #Constraints: 77002
2063.80/2070.69 c #Conflicts: 152000 | #Constraints: 78002
2063.80/2070.69 c #Conflicts: 153000 | #Constraints: 79002
2063.80/2070.69 c #Conflicts: 154000 | #Constraints: 80002
2063.80/2070.69 c #Conflicts: 155000 | #Constraints: 81002
2063.80/2070.69 c INPROCESSING
2063.80/2070.69 c GARBAGE COLLECT
2063.80/2070.69 c #Conflicts: 156000 | #Constraints: 74198
2063.80/2070.69 c #Conflicts: 157000 | #Constraints: 75198
2063.80/2070.69 c #Conflicts: 158000 | #Constraints: 76198
2063.80/2070.69 c #Conflicts: 159000 | #Constraints: 77198
2063.80/2070.69 c #Conflicts: 160000 | #Constraints: 78198
2063.80/2070.69 c #Conflicts: 161000 | #Constraints: 79198
2063.80/2070.69 c #Conflicts: 162000 | #Constraints: 80198
2063.80/2070.69 c #Conflicts: 163000 | #Constraints: 81198
2063.80/2070.69 c INPROCESSING
2063.80/2070.69 c GARBAGE COLLECT
2063.80/2070.69 c #Conflicts: 164000 | #Constraints: 74198
2063.80/2070.69 c #Conflicts: 165000 | #Constraints: 75198
2063.80/2070.69 c #Conflicts: 166000 | #Constraints: 76198
2063.80/2070.69 c #Conflicts: 167000 | #Constraints: 77198
2063.80/2070.69 c #Conflicts: 168000 | #Constraints: 78198
2063.80/2070.69 c #Conflicts: 169000 | #Constraints: 79198
2063.80/2070.69 c #Conflicts: 170000 | #Constraints: 80198
2063.80/2070.69 c #Conflicts: 171000 | #Constraints: 81198
2063.80/2070.69 c INPROCESSING
2063.80/2070.69 c GARBAGE COLLECT
2063.80/2070.69 c #Conflicts: 172000 | #Constraints: 73996
2063.80/2070.69 c #Conflicts: 173000 | #Constraints: 74996
2063.80/2070.69 c #Conflicts: 174000 | #Constraints: 75996
2063.80/2070.69 c #Conflicts: 175000 | #Constraints: 76996
2063.80/2070.69 c #Conflicts: 176000 | #Constraints: 77996
2063.80/2070.69 c #Conflicts: 177000 | #Constraints: 78996
2063.80/2070.69 c #Conflicts: 178000 | #Constraints: 79996
2063.80/2070.69 c #Conflicts: 179000 | #Constraints: 80996
2063.80/2070.69 c #Conflicts: 180000 | #Constraints: 81996
2063.80/2070.69 c INPROCESSING
2063.80/2070.69 c GARBAGE COLLECT
2063.80/2070.69 c #Conflicts: 181000 | #Constraints: 74598
2063.80/2070.69 c #Conflicts: 182000 | #Constraints: 75598
2063.80/2070.69 c #Conflicts: 183000 | #Constraints: 76598
2063.80/2070.69 c #Conflicts: 184000 | #Constraints: 77598
2063.80/2070.69 c #Conflicts: 185000 | #Constraints: 78598
2063.80/2070.69 c #Conflicts: 186000 | #Constraints: 79598
2063.80/2070.69 c #Conflicts: 187000 | #Constraints: 80598
2063.80/2070.69 c #Conflicts: 188000 | #Constraints: 81598
2063.80/2070.69 c #Conflicts: 189000 | #Constraints: 82598
2063.80/2070.69 c INPROCESSING
2063.80/2070.69 c GARBAGE COLLECT
2063.80/2070.69 c #Conflicts: 190000 | #Constraints: 74997
2063.80/2070.69 c #Conflicts: 191000 | #Constraints: 75997
2063.80/2070.69 c #Conflicts: 192000 | #Constraints: 76997
2063.80/2070.69 c #Conflicts: 193000 | #Constraints: 77997
2063.80/2070.69 c #Conflicts: 194000 | #Constraints: 78997
2063.80/2070.69 c #Conflicts: 195000 | #Constraints: 79997
2063.80/2070.69 c #Conflicts: 196000 | #Constraints: 80997
2063.80/2070.69 c #Conflicts: 197000 | #Constraints: 81997
2063.80/2070.69 c #Conflicts: 198000 | #Constraints: 82997
2063.80/2070.69 c INPROCESSING
2063.80/2070.69 c GARBAGE COLLECT
2063.80/2070.69 c #Conflicts: 199000 | #Constraints: 75198
2063.80/2070.69 c #Conflicts: 200000 | #Constraints: 76198
2063.80/2070.69 c #Conflicts: 201000 | #Constraints: 77198
2063.80/2070.69 c #Conflicts: 202000 | #Constraints: 78198
2063.80/2070.69 c #Conflicts: 203000 | #Constraints: 79198
2063.80/2070.69 c #Conflicts: 204000 | #Constraints: 80198
2063.80/2070.69 c #Conflicts: 205000 | #Constraints: 81198
2063.80/2070.69 c #Conflicts: 206000 | #Constraints: 82198
2063.80/2070.69 c #Conflicts: 207000 | #Constraints: 83198
2063.80/2070.69 c INPROCESSING
2063.80/2070.69 c GARBAGE COLLECT
2063.80/2070.69 c #Conflicts: 208000 | #Constraints: 75190
2063.80/2070.69 c #Conflicts: 209000 | #Constraints: 76190
2063.80/2070.69 c #Conflicts: 210000 | #Constraints: 77190
3202.61/3213.17 c #Conflicts: 211000 | #Constraints: 78190
3202.61/3213.17 c #Conflicts: 212000 | #Constraints: 79190
3202.61/3213.17 c #Conflicts: 213000 | #Constraints: 80190
3202.61/3213.17 c #Conflicts: 214000 | #Constraints: 81190
3202.61/3213.17 c #Conflicts: 215000 | #Constraints: 82190
3202.61/3213.17 c #Conflicts: 216000 | #Constraints: 83190
3202.61/3213.17 c INPROCESSING
3202.61/3213.17 c GARBAGE COLLECT
3202.61/3213.17 c #Conflicts: 217000 | #Constraints: 74998
3202.61/3213.17 c #Conflicts: 218000 | #Constraints: 75998
3202.61/3213.17 c #Conflicts: 219000 | #Constraints: 76998
3202.61/3213.17 c #Conflicts: 220000 | #Constraints: 77998
3202.61/3213.17 c #Conflicts: 221000 | #Constraints: 78998
3202.61/3213.17 c #Conflicts: 222000 | #Constraints: 79998
3202.61/3213.17 c #Conflicts: 223000 | #Constraints: 80998
3202.61/3213.17 c #Conflicts: 224000 | #Constraints: 81998
3202.61/3213.17 c #Conflicts: 225000 | #Constraints: 82998
3202.61/3213.17 c #Conflicts: 226000 | #Constraints: 83998
3202.61/3213.17 c INPROCESSING
3202.61/3213.17 c GARBAGE COLLECT
3202.61/3213.17 c #Conflicts: 227000 | #Constraints: 75597
3202.61/3213.17 c #Conflicts: 228000 | #Constraints: 76597
3202.61/3213.17 c #Conflicts: 229000 | #Constraints: 77597
3202.61/3213.17 c #Conflicts: 230000 | #Constraints: 78597
3202.61/3213.17 c #Conflicts: 231000 | #Constraints: 79597
3202.61/3213.17 c #Conflicts: 232000 | #Constraints: 80597
3202.61/3213.17 c #Conflicts: 233000 | #Constraints: 81597
3202.61/3213.17 c #Conflicts: 234000 | #Constraints: 82597
3202.61/3213.17 c #Conflicts: 235000 | #Constraints: 83597
3202.61/3213.17 c #Conflicts: 236000 | #Constraints: 84597
3202.61/3213.17 c INPROCESSING
3202.61/3213.17 c GARBAGE COLLECT
3202.61/3213.17 c #Conflicts: 237000 | #Constraints: 75995
3202.61/3213.17 c #Conflicts: 238000 | #Constraints: 76995
3202.61/3213.17 c #Conflicts: 239000 | #Constraints: 77995
3202.61/3213.17 c #Conflicts: 240000 | #Constraints: 78995
3202.61/3213.17 c #Conflicts: 241000 | #Constraints: 79995
3202.61/3213.17 c #Conflicts: 242000 | #Constraints: 80995
3202.61/3213.17 c #Conflicts: 243000 | #Constraints: 81995
3202.61/3213.17 c #Conflicts: 244000 | #Constraints: 82995
3202.61/3213.17 c #Conflicts: 245000 | #Constraints: 83995
3202.61/3213.17 c #Conflicts: 246000 | #Constraints: 84995
3202.61/3213.17 c INPROCESSING
3202.61/3213.17 c GARBAGE COLLECT
3202.61/3213.17 c #Conflicts: 247000 | #Constraints: 76193
3202.61/3213.17 c #Conflicts: 248000 | #Constraints: 77193
3202.61/3213.17 c #Conflicts: 249000 | #Constraints: 78193
3202.61/3213.17 c #Conflicts: 250000 | #Constraints: 79193
3202.61/3213.17 c #Conflicts: 251000 | #Constraints: 80193
3202.61/3213.17 c #Conflicts: 252000 | #Constraints: 81193
3202.61/3213.17 c #Conflicts: 253000 | #Constraints: 82193
3202.61/3213.17 c #Conflicts: 254000 | #Constraints: 83193
3202.61/3213.17 c #Conflicts: 255000 | #Constraints: 84193
3202.61/3213.17 c #Conflicts: 256000 | #Constraints: 85193
3202.61/3213.17 c INPROCESSING
3202.61/3213.17 c GARBAGE COLLECT
3202.61/3213.17 c #Conflicts: 257000 | #Constraints: 76200
3202.61/3213.17 c #Conflicts: 258000 | #Constraints: 77200
3202.61/3213.17 c #Conflicts: 259000 | #Constraints: 78200
3202.61/3213.17 c #Conflicts: 260000 | #Constraints: 79200
3202.61/3213.17 c #Conflicts: 261000 | #Constraints: 80200
3202.61/3213.17 c #Conflicts: 262000 | #Constraints: 81200
3202.61/3213.17 c #Conflicts: 263000 | #Constraints: 82200
3202.61/3213.17 c #Conflicts: 264000 | #Constraints: 83200
3202.61/3213.17 c #Conflicts: 265000 | #Constraints: 84200
3202.61/3213.17 c #Conflicts: 266000 | #Constraints: 85200
3202.61/3213.17 c INPROCESSING
3202.61/3213.17 c GARBAGE COLLECT
3202.61/3213.17 c #Conflicts: 267000 | #Constraints: 76001
3202.61/3213.17 c #Conflicts: 268000 | #Constraints: 77001
3202.61/3213.17 c #Conflicts: 269000 | #Constraints: 78001
3202.61/3213.17 c #Conflicts: 270000 | #Constraints: 79001
3202.61/3213.17 c #Conflicts: 271000 | #Constraints: 80001
3202.61/3213.17 c #Conflicts: 272000 | #Constraints: 81001
3202.61/3213.17 c #Conflicts: 273000 | #Constraints: 82001
3202.61/3213.17 c #Conflicts: 274000 | #Constraints: 83001
3202.61/3213.17 c #Conflicts: 275000 | #Constraints: 84001
3202.61/3213.17 c #Conflicts: 276000 | #Constraints: 85001
3202.61/3213.17 c #Conflicts: 277000 | #Constraints: 86001
3202.61/3213.17 c INPROCESSING
3202.61/3213.17 c GARBAGE COLLECT
3202.61/3213.17 c #Conflicts: 278000 | #Constraints: 76604
3202.61/3213.17 c #Conflicts: 279000 | #Constraints: 77604
3202.61/3213.17 c #Conflicts: 280000 | #Constraints: 78604
3202.61/3213.17 c #Conflicts: 281000 | #Constraints: 79604
3202.61/3213.17 c #Conflicts: 282000 | #Constraints: 80604
3202.61/3213.17 c #Conflicts: 283000 | #Constraints: 81604
3202.61/3213.17 c #Conflicts: 284000 | #Constraints: 82604
3600.02/3611.80 c #Conflicts: 285000 | #Constraints: 83604
3600.02/3611.80 c #Conflicts: 286000 | #Constraints: 84604
3600.02/3611.80 c #Conflicts: 287000 | #Constraints: 85604
3600.02/3611.80 c #Conflicts: 288000 | #Constraints: 86604
3600.02/3611.80 c INPROCESSING
3600.02/3611.80 c GARBAGE COLLECT
3600.02/3611.80 c #Conflicts: 289000 | #Constraints: 77003
3600.02/3611.80 c #Conflicts: 290000 | #Constraints: 78003
3600.02/3611.80 c #Conflicts: 291000 | #Constraints: 79003
3600.02/3611.80 c #Conflicts: 292000 | #Constraints: 80003
3600.02/3611.80 c #Conflicts: 293000 | #Constraints: 81003
3600.02/3611.80 c #Conflicts: 294000 | #Constraints: 82003
3600.02/3611.80 c #Conflicts: 295000 | #Constraints: 83003
3600.02/3611.80 c #Conflicts: 296000 | #Constraints: 84003
3600.02/3611.80 c #Conflicts: 297000 | #Constraints: 85003
3600.02/3611.80 c #Conflicts: 298000 | #Constraints: 86003
3600.02/3611.80 c #Conflicts: 299000 | #Constraints: 87003
3600.02/3611.80 c INPROCESSING
3600.02/3611.80 c GARBAGE COLLECT
3600.02/3611.80 c #Conflicts: 300000 | #Constraints: 77205
3600.02/3611.80 c #Conflicts: 301000 | #Constraints: 78205
3600.02/3611.80 c #Conflicts: 302000 | #Constraints: 79205
3600.02/3611.80 c #Conflicts: 303000 | #Constraints: 80205
3600.02/3611.80 c #Conflicts: 304000 | #Constraints: 81205
3600.02/3611.80 c #Conflicts: 305000 | #Constraints: 82205
3600.02/3611.80 c #Conflicts: 306000 | #Constraints: 83205
3600.02/3611.80 c Program interrupted by user.
3600.02/3611.80 c cpu time 3473.56 s
3600.02/3611.80 c deterministic time 151273380511 1.51e+11
3600.02/3611.80 c optimization time 147.541 s
3600.02/3611.80 c total solve time 3025.26 s
3600.02/3611.80 c core-guided solve time 3025.26 s
3600.02/3611.80 c propagation time 2720.65 s
3600.02/3611.80 c conflict analysis time 280.078 s
3600.02/3611.80 c propagations 158528068
3600.02/3611.80 c resolve steps 1379021
3600.02/3611.80 c decisions 164288069
3600.02/3611.80 c conflicts 306907
3600.02/3611.80 c restarts 755
3600.02/3611.80 c inprocessing phases 46
3600.02/3611.80 c input clauses 65299
3600.02/3611.80 c input cardinalities 67
3600.02/3611.80 c input general constraints 39
3600.02/3611.80 c input average constraint length 39.85
3600.02/3611.80 c input average constraint degree 1.18
3600.02/3611.80 c learned clauses 2469
3600.02/3611.80 c learned cardinalities 1856
3600.02/3611.80 c learned general constraints 302582
3600.02/3611.80 c learned average constraint length 3997.77
3600.02/3611.80 c learned average constraint degree 16722.86
3600.02/3611.80 c watched constraints 21657
3600.02/3611.80 c counting constraints 280964
3600.02/3611.80 c gcd simplifications 100
3600.02/3611.80 c detected cardinalities 15
3600.02/3611.80 c weakened non-implied lits 14243169
3600.02/3611.80 c weakened non-implying lits 399
3600.02/3611.80 c original variables 5048
3600.02/3611.80 c clausal propagations 3195593
3600.02/3611.80 c cardinality propagations 787806
3600.02/3611.80 c watched propagations 1832196
3600.02/3611.80 c counting propagations 150939158
3600.02/3611.80 c watch lookups 47664831968
3600.02/3611.80 c watch backjump lookups 47175890176
3600.02/3611.80 c watch checks 32611692042
3600.02/3611.80 c propagation checks 20573837727
3600.02/3611.80 c constraint additions 2601194244
3600.02/3611.80 c trail pops 323118216
3600.02/3611.80 c formula constraints 65280
3600.02/3611.80 c learned constraints 306907
3600.02/3611.80 c bound constraints 29
3600.02/3611.80 c core-guided constraints 96
3600.02/3611.80 c encountered formula constraints 600031
3600.02/3611.80 c encountered learned constraints 969555
3600.02/3611.80 c encountered bound constraints 33
3600.02/3611.80 c encountered core-guided constraints 116309
3600.02/3611.80 c LP total time 0 s
3600.02/3611.80 c LP solve time 0 s
3600.02/3611.80 c LP constraints added 0
3600.02/3611.80 c LP constraints removed 0
3600.02/3611.80 c LP pivots internal 0
3600.02/3611.80 c LP pivots root 0
3600.02/3611.80 c LP calls 0
3600.02/3611.80 c LP optimalities 0
3600.02/3611.80 c LP no pivot count 0
3600.02/3611.80 c LP infeasibilities 0
3600.02/3611.80 c LP valid Farkas constraints 0
3600.02/3611.80 c LP learned Farkas constraints 0
3600.02/3611.80 c LP basis resets 0
3600.02/3611.80 c LP cycling count 0
3600.02/3611.80 c LP singular count 0
3600.02/3611.80 c LP no primal count 0
3600.02/3611.80 c LP no farkas count 0
3600.02/3611.80 c LP other issue count 0
3600.02/3611.80 c LP Gomory cuts 0
3600.02/3611.80 c LP learned cuts 0
3600.02/3611.80 c LP deleted cuts 0
3600.02/3611.80 c LP encountered Gomory constraints 0
3600.02/3611.80 c LP encountered Farkas constraints 0
3600.02/3611.80 c LP encountered learned Farkas constraints 0
3600.02/3611.80 c CG auxiliary variables introduced 39
3600.02/3611.80 c CG solutions found 1
3600.02/3611.80 c CG cores constructed 27
3600.02/3611.80 c CG core cardinality constraints returned 0
3600.02/3611.80 c CG unit cores 0
3600.02/3611.80 c CG single cores 27
3600.02/3611.80 c CG blocks removed during cardinality reduction 0
3600.02/3611.80 c CG first core best 0
3600.02/3611.80 c CG decision core best 0
3600.02/3611.80 c CG core reduction tie 0
3600.02/3611.80 c CG core degree average 1.00
3600.02/3611.80 c CG core slack average 49.33
3600.02/3611.80 c CG exhausted 0
3600.02/3611.80 c CG exhaust time 32.8539 s
3600.02/3611.80 c CG trimmed 0
3600.02/3611.80 c CG trim time 0.004301 s
3600.02/3611.80 c CG minimized 0
3600.02/3611.80 c CG minimize time 0 s
3600.02/3611.80 c CG am1 prop time 0.013731 s
3600.02/3611.80 c CG # am1s reformulated 0
3600.02/3611.80 c CG lower bound derived from am1s 0
3600.02/3611.80 c CG # clausal cores 27
3600.02/3611.80 c CG # cardinality cores 0
3600.02/3611.80 c CG # pb cores 0
3600.02/3611.80 c CG # pb reforms 0
3600.02/3611.80 c CG # cores discarded because of pb reform 0
3600.02/3611.80 d LOWERBOUND 27
3600.02/3611.80 d NCORES 27
3600.02/3611.80 d NPBCORES 0
3600.02/3611.80 d NPBREFORM 0
3600.02/3611.80 d NTRIMMED 0
3600.02/3611.80 d NEXHAUSTED 0
3600.02/3611.80 d NAM1S 0
3600.02/3611.80 d AM1LB 0
3600.02/3611.80 c [Papilo Statistics]
3600.02/3611.80 c prepro time 0.363095s
3600.02/3611.80 c # tsx applied 0
3600.02/3611.80 c # tsx conflicts 0
3600.02/3611.80 c # bound changes 0
3600.02/3611.80 c # side changes 0
3600.02/3611.80 c # coef changes 0
3600.02/3611.80 c # rounds 1
3600.02/3611.80 c # deted vars 0
3600.02/3611.80 c # deted constrs 0
3600.02/3611.80 c # consecutive rounds of only bound changes 0
3600.02/3611.80 c [STEP] postprocessing with Papilo
3600.02/3611.82 o 39
3600.02/3611.82 s SATISFIABLE
3600.02/3611.82 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: 63931 MiB (61864 MiB free)
memory of node 1: 64510 MiB (62608 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454917-1721473439/watcher-4454917-1721473439 -o /tmp/evaluation-result-4454917-1721473439/solver-4454917-1721473439 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721469837-1064028 --watchdog 3760 mixed-bag HOME/instance-4454917-1721473439.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1066103, runsolver pid=1066100
[startup+0.100608 s]*
/proc/loadavg: 4.23 4.14 4.07 5/251 1066114
/proc/meminfo: memFree=127414668/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=85648 memory=14876 CPUtime=0.09 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 2454 0 0 0 9 0 0 0 20 0 1 0 199504123 87703552 3719 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 21412 3719 1617 3002 0 5700 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85648 KiB
Current children cumulated memory: 14876 KiB
[startup+0.205435 s]*
/proc/loadavg: 4.23 4.14 4.07 5/257 1066125
/proc/meminfo: memFree=127368160/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=93840 memory=23240 CPUtime=0.2 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 3038 0 0 0 20 0 0 0 20 0 1 0 199504123 96092160 5810 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 23460 5810 1617 3002 0 7748 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93840 KiB
Current children cumulated memory: 23240 KiB
[startup+0.305599 s]*
/proc/loadavg: 4.23 4.14 4.07 6/257 1066125
/proc/meminfo: memFree=127330720/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=110224 memory=27664 CPUtime=0.3 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 3621 0 0 0 29 1 0 0 20 0 1 0 199504123 112869376 6916 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 27556 6916 1617 3002 0 11844 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110224 KiB
Current children cumulated memory: 27664 KiB
[startup+0.700221 s]
/proc/loadavg: 4.23 4.14 4.07 5/257 1066125
/proc/meminfo: memFree=127183908/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=142992 memory=53156 CPUtime=0.69 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 4395 0 0 0 67 2 0 0 20 0 1 0 199504123 146423808 13289 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 35748 13289 1617 3002 0 20036 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 142992 KiB
Current children cumulated memory: 53156 KiB
[startup+1.50024 s]
/proc/loadavg: 4.23 4.14 4.07 5/257 1066125
/proc/meminfo: memFree=126846532/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=327544 memory=208440 CPUtime=1.48 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 7464 0 0 0 142 6 0 0 20 0 1 0 199504123 335405056 52110 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 81886 52110 1633 3002 0 66174 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 327544 KiB
Current children cumulated memory: 208440 KiB
[startup+3.10538 s]
/proc/loadavg: 4.21 4.14 4.07 5/257 1066127
/proc/meminfo: memFree=125419952/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=901368 memory=718300 CPUtime=3.08 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 119720 0 0 0 279 29 0 0 20 0 1 0 199504123 923000832 179575 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 225342 179575 3746 3002 0 209091 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 901368 KiB
Current children cumulated memory: 718300 KiB
[startup+6.30021 s]
/proc/loadavg: 4.21 4.14 4.07 5/257 1066127
/proc/meminfo: memFree=123135952/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=1544752 memory=1310252 CPUtime=6.26 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 180468 0 0 0 571 55 0 0 20 0 1 0 199504123 1581826048 327563 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 386188 327563 3778 3002 0 369937 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1544752 KiB
Current children cumulated memory: 1310252 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.15 4.08 5/257 1066128
/proc/meminfo: memFree=120212512/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2491428 memory=2192956 CPUtime=12.65 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 200897 0 0 0 1190 75 0 0 20 0 1 0 199504123 2551222272 548239 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 622857 548239 3794 3002 0 606606 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2491428 KiB
Current children cumulated memory: 2192956 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.15 4.07 5/257 1066130
/proc/meminfo: memFree=114823040/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2476264 memory=2217484 CPUtime=25.4 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 226266 0 0 0 2456 84 0 0 20 0 1 0 199504123 2535694336 554371 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 619066 554371 3857 3002 0 602815 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2476264 KiB
Current children cumulated memory: 2217484 KiB
[startup+51.1056 s]
/proc/loadavg: 4.28 4.17 4.08 5/257 1066133
/proc/meminfo: memFree=110128660/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2476264 memory=2218108 CPUtime=50.93 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 226407 0 0 0 5007 86 0 0 20 0 1 0 199504123 2535694336 554527 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 619066 554527 4001 3002 0 602815 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2476264 KiB
Current children cumulated memory: 2218108 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.17 4.09 5/255 1066143
/proc/meminfo: memFree=101515536/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2476264 memory=2218108 CPUtime=101.94 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 226516 0 0 0 10107 87 0 0 20 0 1 0 199504123 2535694336 554527 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 619066 554527 4001 3002 0 602815 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 2476264 KiB
Current children cumulated memory: 2218108 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.17 4.09 5/255 1066153
/proc/meminfo: memFree=99571604/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2493012 memory=2235012 CPUtime=161.74 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 227847 0 0 0 16083 91 0 0 20 0 1 0 199504123 2552844288 558753 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 623253 558753 4017 3002 0 607002 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2493012 KiB
Current children cumulated memory: 2235012 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.17 4.09 5/255 1066164
/proc/meminfo: memFree=87723492/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2493012 memory=2235012 CPUtime=221.54 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 227994 0 0 0 22062 92 0 0 20 0 1 0 199504123 2552844288 558753 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 623253 558753 4017 3002 0 607002 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 2493012 KiB
Current children cumulated memory: 2235012 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.13 4.09 5/254 1066220
/proc/meminfo: memFree=116636468/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2510304 memory=2235392 CPUtime=281.36 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 228311 0 0 0 28042 94 0 0 20 0 1 0 199504123 2570551296 558848 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 627576 558848 4017 3002 0 611325 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 2510304 KiB
Current children cumulated memory: 2235392 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/254 1066230
/proc/meminfo: memFree=122589368/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=1534308 memory=1433592 CPUtime=341.16 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 234976 0 0 0 33602 514 0 0 20 0 1 0 199504123 1571131392 358398 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 383577 358398 4193 3002 0 367326 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 1534308 KiB
Current children cumulated memory: 1433592 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 1066247
/proc/meminfo: memFree=122216844/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=1666568 memory=1470456 CPUtime=400.97 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 235564 0 0 0 39084 1013 0 0 20 0 1 0 199504123 1706565632 367614 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 416642 367614 4193 3002 0 400391 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1666568 KiB
Current children cumulated memory: 1470456 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 1066258
/proc/meminfo: memFree=122035272/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=1666568 memory=1493076 CPUtime=460.77 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 235634 0 0 0 44672 1405 0 0 20 0 1 0 199504123 1706565632 373269 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 416642 373269 4193 3002 0 400391 0
################
# More data... #
################
Current children cumulated memory: 1921216 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 1067307
/proc/meminfo: memFree=116175428/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2274488 memory=1921216 CPUtime=2852.96 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 258003 0 0 0 274618 10678 0 0 20 0 1 0 199504123 2329075712 480304 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 568622 480304 4193 3002 0 552371 0
Current children cumulated CPU time: 2852.96 s
Current children cumulated vsize: 2274488 KiB
Current children cumulated memory: 1921216 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 1067318
/proc/meminfo: memFree=116082928/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2274488 memory=1921216 CPUtime=2912.77 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 258411 0 0 0 280466 10811 0 0 20 0 1 0 199504123 2329075712 480304 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 568622 480304 4193 3002 0 552371 0
Current children cumulated CPU time: 2912.77 s
Current children cumulated vsize: 2274488 KiB
Current children cumulated memory: 1921216 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1067328
/proc/meminfo: memFree=115970296/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2289340 memory=1942272 CPUtime=2972.57 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 260974 0 0 0 286258 10999 0 0 20 0 1 0 199504123 2344284160 485568 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 572335 485568 4193 3002 0 556084 0
Current children cumulated CPU time: 2972.57 s
Current children cumulated vsize: 2289340 KiB
Current children cumulated memory: 1942272 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1067340
/proc/meminfo: memFree=115969384/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2289340 memory=1942272 CPUtime=3032.37 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 261414 0 0 0 292076 11161 0 0 20 0 1 0 199504123 2344284160 485568 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 572335 485568 4193 3002 0 556084 0
Current children cumulated CPU time: 3032.37 s
Current children cumulated vsize: 2289340 KiB
Current children cumulated memory: 1942272 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 1067734
/proc/meminfo: memFree=115864188/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2290648 memory=1942984 CPUtime=3092.17 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 262055 0 0 0 297934 11283 0 0 20 0 1 0 199504123 2345623552 485746 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 572662 485746 4193 3002 0 556411 0
Current children cumulated CPU time: 3092.17 s
Current children cumulated vsize: 2290648 KiB
Current children cumulated memory: 1942984 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 1067744
/proc/meminfo: memFree=115673172/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2306492 memory=1967012 CPUtime=3151.96 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 264934 0 0 0 303714 11482 0 0 20 0 1 0 199504123 2361847808 491753 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 576623 491753 4193 3002 0 560372 0
Current children cumulated CPU time: 3151.96 s
Current children cumulated vsize: 2306492 KiB
Current children cumulated memory: 1967012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 1067755
/proc/meminfo: memFree=115573292/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2306492 memory=1967012 CPUtime=3211.77 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 265453 0 0 0 309530 11647 0 0 20 0 1 0 199504123 2361847808 491753 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 576623 491753 4193 3002 0 560372 0
Current children cumulated CPU time: 3211.77 s
Current children cumulated vsize: 2306492 KiB
Current children cumulated memory: 1967012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1067935
/proc/meminfo: memFree=115426600/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2306492 memory=1968172 CPUtime=3271.58 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 266104 0 0 0 315381 11777 0 0 20 0 1 0 199504123 2361847808 492043 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 576623 492043 4193 3002 0 560372 0
Current children cumulated CPU time: 3271.58 s
Current children cumulated vsize: 2306492 KiB
Current children cumulated memory: 1968172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/257 1067945
/proc/meminfo: memFree=115406856/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2314428 memory=1985880 CPUtime=3331.39 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 268074 0 0 0 321191 11948 0 0 20 0 1 0 199504123 2369974272 496470 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 578607 496470 4193 3002 0 562356 0
Current children cumulated CPU time: 3331.39 s
Current children cumulated vsize: 2314428 KiB
Current children cumulated memory: 1985880 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/259 1067961
/proc/meminfo: memFree=115365796/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2314428 memory=1985880 CPUtime=3391.2 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 268751 0 0 0 327010 12110 0 0 20 0 1 0 199504123 2369974272 496470 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 578607 496470 4193 3002 0 562356 0
Current children cumulated CPU time: 3391.2 s
Current children cumulated vsize: 2314428 KiB
Current children cumulated memory: 1985880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/260 1067983
/proc/meminfo: memFree=115319164/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2314428 memory=1986808 CPUtime=3451.01 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 269376 0 0 0 332860 12241 0 0 20 0 1 0 199504123 2369974272 496702 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 578607 496702 4193 3002 0 562356 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 2314428 KiB
Current children cumulated memory: 1986808 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/260 1067993
/proc/meminfo: memFree=115222488/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2326460 memory=2011148 CPUtime=3510.81 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 271916 0 0 0 338668 12413 0 0 20 0 1 0 199504123 2382295040 502787 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 581615 502787 4193 3002 0 565364 0
Current children cumulated CPU time: 3510.81 s
Current children cumulated vsize: 2326460 KiB
Current children cumulated memory: 2011148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 1068003
/proc/meminfo: memFree=115217800/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2326460 memory=2015016 CPUtime=3570.62 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 272582 0 0 0 344480 12582 0 0 20 0 1 0 199504123 2382295040 503754 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 581615 503754 4193 3002 0 565364 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 2326460 KiB
Current children cumulated memory: 2015016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 1068054
/proc/meminfo: memFree=120014716/131524600 swapFree=131071996/131071996
[pid=1066103] ppid=1066100 vsize=2326460 memory=2024552 CPUtime=3600.02 cores=0,2
/proc/1066103/stat : 1066103 (mixed-bag) R 1066100 1066103 1064017 0 -1 4194304 273087 0 0 0 347355 12647 0 0 20 0 1 0 199504123 2382295040 506138 134679101440 4194304 16488053 140736302131008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 38748160 140736302138389 140736302138466 140736302138466 140736302145483 0
/proc/1066103/statm: 581615 506138 4193 3002 0 565364 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2326460 KiB
Current children cumulated memory: 2024552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.85 s]
# the end of solver process 1066103 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3473.57 s, system=126.504 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.85
CPU time (s): 3600.08
CPU user time (s): 3473.57
CPU system time (s): 126.504
CPU usage (%): 99.6741
Max. virtual memory (cumulated for all children) (KiB): 2523612
Max. memory (cumulated for all children) (KiB): 2245520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3473.57
system time used= 126.504
maximum resident set size= 2280132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275939
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= 92
involuntary context switches= 24682
# summary of solver processes directly reported to runsolver:
# pid: 1066103
# total CPU time (s): 3600.08
# total CPU user time (s): 3473.57
# total CPU system time (s): 126.504
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73271 second user time and 15.6099 second system time
The end
Begin job on nodeC015 at 2024-07-20 13:04:11
IDJOB=4454917
IDBENCH=155403
IDSOLVER=3083
FILE ID=nodeC015/4454917-1721473439
RUNJOBID= nodeC015-1721469837-1064028
SLURM_JOB_ID= 7545730
Free space on /tmp= 889408 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454917-1721473439/watcher-4454917-1721473439 -o /tmp/evaluation-result-4454917-1721473439/solver-4454917-1721473439 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721469837-1064028 --watchdog 3760 mixed-bag HOME/instance-4454917-1721473439.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=572936669
nodeC015.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 : 3670.062
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3687.069
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.376
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3653.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.032
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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.247
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3608.782
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3668.670
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127476488 kB
MemAvailable: 129507116 kB
Buffers: 567196 kB
Cached: 2291672 kB
SwapCached: 0 kB
Active: 1785164 kB
Inactive: 1613356 kB
Active(anon): 1516 kB
Inactive(anon): 584376 kB
Active(file): 1783648 kB
Inactive(file): 1028980 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 727748 kB
Writeback: 0 kB
AnonPages: 538164 kB
Mapped: 110492 kB
Shmem: 45912 kB
KReclaimable: 115292 kB
Slab: 228524 kB
SReclaimable: 115292 kB
SUnreclaim: 113232 kB
KernelStack: 3824 kB
PageTables: 9892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1151940 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 372736 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: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889884 MiB
End job on nodeC015 at 2024-07-20 14:04:23