(1,4) (2,18) (3,19) (5,14) (6,29) (7,11) (8,27) (9,22) (10,28) (12,20) (13,15) (16,26) (17,21) (23,25) (24,30) 
nodes: 76074  conflicts: 54  modelTime: 1022  solveTime: 171827  totalTime: 172861  modelSize: 72262  readTime: 11 size: 15