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