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