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