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