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