(1,21) (2,19) (3,28) (4,6) (5,18) (7,20) (8,25) (9,10) (11,24) (12,14) (13,30) (15,29) (22,27) (23,26) 
nodes: 239685  conflicts: 27  modelTime: 1732  solveTime: 1004107  totalTime: 1005858  modelSize: 72263  readTime: 19 size: 14