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