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