(1,14) (2,15) (3,13) (4,21) (5,20) (6,10) (7,18) (8,27) (9,16) (11,24) (12,26) (17,19) (22,30) (28,29) 
nodes: 61643  conflicts: 86  modelTime: 1705  solveTime: 233353  totalTime: 235078  modelSize: 72263  readTime: 20 size: 14