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