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