(1,16) (3,30) (4,28) (5,24) (6,19) (7,26) (8,21) (9,25) (10,20) (11,17) (13,18) (14,27) (15,29) 
nodes: 681  conflicts: 42  modelTime: 658  solveTime: 826  totalTime: 1491  modelSize: 41293  readTime: 7 size: 13