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