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