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