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