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