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