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