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