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