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