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