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