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