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