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