(1,23) (2,16) (3,6) (4,8) (5,19) (7,26) (9,14) (10,30) (11,15) (12,18) (13,24) (17,29) (20,21) (22,25) (27,28) 
nodes: 18994  conflicts: 6  modelTime: 926  solveTime: 115842  totalTime: 116894  modelSize: 72338  readTime: 126 size: 15