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