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