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