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