(1,25) (2,29) (4,24) (5,27) (6,22) (7,19) (8,20) (9,18) (10,17) (11,30) (12,16) (14,28) (15,26) 
nodes: 1864  conflicts: 49  modelTime: 658  solveTime: 2670  totalTime: 3334  modelSize: 41293  readTime: 6 size: 13