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