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