(1,21) (2,23) (3,16) (4,19) (5,27) (6,20) (7,12) (8,11) (9,18) (10,24) (13,28) (14,30) (15,22) (26,29) 
nodes: 15256  conflicts: 78  modelTime: 983  solveTime: 60388  totalTime: 61382  modelSize: 72263  readTime: 11 size: 14