(1,28) (2,9) (3,22) (4,20) (5,29) (6,30) (7,8) (10,13) (11,19) (12,21) (14,16) (15,27) (17,24) (18,25) 
nodes: 1194  conflicts: 68  modelTime: 932  solveTime: 3543  totalTime: 4487  modelSize: 72266  readTime: 12 size: 14