(1,14) (2,16) (3,28) (4,15) (5,6) (7,21) (8,19) (9,27) (10,22) (11,26) (12,20) (13,30) (17,18) (23,29) (24,25) 
nodes: 2139  conflicts: 2  modelTime: 941  solveTime: 12658  totalTime: 13632  modelSize: 72338  readTime: 33 size: 15