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