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