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