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