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