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