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