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