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