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