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