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