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