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