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