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