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