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