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