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