(1,18) (2,25) (3,16) (4,24) (5,23) (6,26) (7,30) (8,21) (9,22) (10,20) (11,27) (12,29) (14,17) (15,28) 
nodes: 8851  conflicts: 42  modelTime: 658  solveTime: 11874  totalTime: 12539  modelSize: 41299  readTime: 7 size: 14