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