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