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