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