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