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