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