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