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