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