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