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