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