(2,26) (3,28) (4,16) (5,14) (6,21) (7,27) (8,11) (9,18) (10,17) (13,24) (15,23) (19,20) (22,30) (25,29) 
nodes: 2080  conflicts: 55  modelTime: 1719  solveTime: 11174  totalTime: 12914  modelSize: 72263  readTime: 21 size: 14