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