(1,18) (2,27) (3,25) (4,21) (7,19) (9,28) (12,30) (13,17) (14,20) (15,24) 
nodes: 1166  conflicts: 86  modelTime: 663  solveTime: 1190  totalTime: 1859  modelSize: 41292  readTime: 6 size: 10