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