(1,10) (2,29) (3,8) (4,28) (5,14) (6,16) (7,26) (11,19) (12,21) (13,27) (15,25) (17,24) (18,22) (23,30) 
nodes: 18155  conflicts: 62  modelTime: 1383  solveTime: 76998  totalTime: 78401  modelSize: 72262  readTime: 20 size: 14