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