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