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