(1,21) (2,22) (3,4) (5,8) (7,9) (10,24) (11,15) (12,27) (13,19) (14,23) (17,28) (18,20) (25,29) (26,30) 
nodes: 3800  conflicts: 75  modelTime: 1388  solveTime: 20465  totalTime: 21874  modelSize: 72262  readTime: 21 size: 14