(1,9) (2,14) (3,7) (4,28) (5,21) (6,29) (8,20) (10,30) (11,26) (12,13) (15,17) (16,19) (18,27) (22,23) (24,25) 
nodes: 15593  conflicts: 32  modelTime: 1030  solveTime: 88920  totalTime: 89969  modelSize: 72266  readTime: 19 size: 15