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