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