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