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