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