(1,18) (2,3) (4,9) (6,30) (7,16) (8,23) (10,19) (11,25) (12,24) (13,28) (14,22) (17,29) (20,21) (26,27) 
nodes: 44609  conflicts: 36  modelTime: 1076  solveTime: 140463  totalTime: 141550  modelSize: 72278  readTime: 11 size: 14