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