(1,13) (2,11) (5,12) (6,15) (7,17) (8,18) (10,14) 
nodes: 181  conflicts: 42  modelTime: 720  solveTime: 607  totalTime: 1334  modelSize: 20646  readTime: 6 size: 7