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