(1,2) (3,10) (4,27) (6,19) (7,26) (8,15) (9,22) (11,30) (12,14) (13,29) (16,25) (17,21) (20,24) (23,28) 
nodes: 1628  conflicts: 74  modelTime: 1368  solveTime: 7597  totalTime: 8985  modelSize: 72266  readTime: 20 size: 14