(1,30) (2,24) (3,28) (4,22) (5,25) (6,23) (7,16) (8,18) (9,27) (10,20) (11,29) (12,17) (13,19) (14,21) (15,26) 
nodes: 3427  conflicts: 12  modelTime: 1188  solveTime: 8872  totalTime: 10069  modelSize: 41293  readTime: 9 size: 15