(1,29) (2,20) (4,22) (5,28) (6,26) (7,18) (8,16) (9,24) (10,25) (11,27) (12,21) (13,30) (14,23) (15,17) 
nodes: 837  conflicts: 21  modelTime: 658  solveTime: 1210  totalTime: 1874  modelSize: 41298  readTime: 6 size: 14