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