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