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