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