(1,27) (2,16) (3,18) (5,25) (6,20) (7,23) (8,21) (9,30) (10,17) (11,29) (12,24) (13,22) (14,19) (15,26) 
nodes: 1643  conflicts: 43  modelTime: 657  solveTime: 2166  totalTime: 2829  modelSize: 41293  readTime: 6 size: 14