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