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