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