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