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