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