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