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