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