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