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