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