(1,15) (2,29) (3,23) (4,20) (5,13) (6,25) (7,26) (8,19) (9,27) (10,22) (11,28) (12,14) (16,30) (17,24) (18,21) 
nodes: 921438  conflicts: 10  modelTime: 1017  solveTime: 4352375  totalTime: 4353446  modelSize: 72264  readTime: 53 size: 15