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