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