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