(1,5) (2,19) (3,29) (4,21) (6,10) (7,27) (8,14) (9,18) (11,22) (12,13) (15,16) (17,28) (20,26) (23,30) (24,25) 
nodes: 60896  conflicts: 33  modelTime: 1700  solveTime: 261598  totalTime: 263316  modelSize: 72275  readTime: 18 size: 15