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