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