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