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