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