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