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