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