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