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