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