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