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