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