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