(2,28) (3,23) (4,24) (5,17) (6,19) (7,21) (8,20) (9,27) (10,16) (11,22) (12,25) (13,30) (14,18) (15,29) 
nodes: 1482  conflicts: 38  modelTime: 659  solveTime: 2047  totalTime: 2714  modelSize: 41292  readTime: 7 size: 14