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