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