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