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