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