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