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