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