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