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