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