(1,25) (3,26) (4,28) (5,17) (6,30) (8,21) (9,24) (10,18) (11,19) (12,27) (13,22) (14,29) (15,16) 
nodes: 357  conflicts: 42  modelTime: 658  solveTime: 958  totalTime: 1622  modelSize: 41292  readTime: 6 size: 13