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