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