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