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