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