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