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