(1,25) (2,26) (3,27) (4,29) (5,28) (6,20) (7,30) (8,15) (9,13) (10,11) (12,19) (14,21) (16,18) (17,24) (22,23) 
nodes: 8912  conflicts: 36  modelTime: 1038  solveTime: 35264  totalTime: 36312  modelSize: 72262  readTime: 10 size: 15