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