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