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