(1,6) (2,16) (3,24) (4,21) (5,30) (7,27) (8,29) (9,14) (10,11) (12,17) (13,19) (15,26) (18,22) (20,28) (23,25) 
nodes: 433185  conflicts: 15  modelTime: 1405  solveTime: 2173225  totalTime: 2174646  modelSize: 72264  readTime: 16 size: 15