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