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