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