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