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