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