(1,5) (2,12) (3,25) (4,29) (6,14) (7,26) (8,9) (10,11) (13,23) (15,22) (16,20) (17,24) (18,30) (19,21) (27,28) 
nodes: 380172  conflicts: 34  modelTime: 1552  solveTime: 1930267  totalTime: 1931838  modelSize: 72268  readTime: 19 size: 15