(1,26) (2,24) (3,15) (4,27) (5,8) (6,30) (7,17) (9,16) (10,11) (12,13) (14,20) (18,28) (21,23) (22,29) 
nodes: 25635  conflicts: 36  modelTime: 1233  solveTime: 61656  totalTime: 62909  modelSize: 72263  readTime: 20 size: 14