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