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