(1,22) (2,11) (3,16) (4,19) (5,14) (6,26) (7,10) (9,21) (12,15) (13,20) (17,24) (18,25) (23,30) (27,29) 
nodes: 21393  conflicts: 18  modelTime: 972  solveTime: 130720  totalTime: 131725  modelSize: 72266  readTime: 33 size: 14