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