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