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