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