loading SCIP... n: 40 m: 454 packed: 13 density: 100 nodes: 0 solverTime: 1234 buildTime: 0 solved: true 0 8 31 1 3 28 2 9 10 4 26 35 5 23 25 6 24 30 7 11 20 12 18 22 13 21 29 14 27 36 15 17 32 16 34 38 19 33 37