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