(1,25) (3,21) (4,6) (5,16) (7,24) (8,22) (9,18) (10,17) (11,14) (12,26) (13,15) (20,23) (27,29) (28,30) 
nodes: 312614  conflicts: 33  modelTime: 1122  solveTime: 1195495  totalTime: 1196637  modelSize: 72262  readTime: 20 size: 14