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