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