(1,20) (2,3) (5,25) (6,16) (7,30) (8,9) (10,26) (11,15) (12,22) (13,29) (14,19) (17,23) (18,24) (27,28) 
nodes: 91036  conflicts: 33  modelTime: 1713  solveTime: 332409  totalTime: 334142  modelSize: 72262  readTime: 20 size: 14