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