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