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