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