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