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