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