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