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