(1,22) (2,23) (3,4) (5,29) (6,18) (7,21) (8,26) (9,15) (10,12) (11,13) (14,19) (16,30) (17,27) (20,24) (25,28) 
nodes: 312446  conflicts: 26  modelTime: 958  solveTime: 1906246  totalTime: 1907370  modelSize: 72263  readTime: 166 size: 15