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