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