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