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