(1,24) (2,11) (3,18) (4,10) (5,12) (6,29) (7,22) (8,25) (9,16) (13,17) (14,19) (15,20) (21,30) (23,27) (26,28) 
nodes: 14412  conflicts: 43  modelTime: 1748  solveTime: 72438  totalTime: 74206  modelSize: 72265  readTime: 20 size: 15