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