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