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