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