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