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