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