(1,28) (2,30) (3,13) (4,18) (5,25) (6,19) (7,17) (8,26) (9,20) (10,16) (11,22) (12,15) (14,29) (21,23) (24,27) 
nodes: 9640  conflicts: 69  modelTime: 1099  solveTime: 37134  totalTime: 38244  modelSize: 72262  readTime: 11 size: 15