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