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