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