(1,28) (3,11) (4,16) (5,24) (6,19) (7,30) (8,14) (9,12) (10,26) (13,27) (15,17) (18,20) (21,22) (23,25) 
nodes: 11998  conflicts: 58  modelTime: 956  solveTime: 34785  totalTime: 35752  modelSize: 72262  readTime: 11 size: 14