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