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