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