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