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