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