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