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