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