0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.13 c Default LC presolving (default).
0.10/0.13 c ** Before presolving: virtualMemUsedAtLc = 119225554, getVmSize() = 103337984, SCIPgetMemUsed() = 73144958, SCIPgetMemTotal() = 79448422, SCIPgetMemExternEstim() = 39777132
0.10/0.13 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
46.64/46.80 c ** Estimated virtualMemUsedAtSolver = 249413702, getVmSize() = 367513600, SCIPgetMemUsed() = 252231006, SCIPgetMemTotal() = 334343422, SCIPgetMemExternEstim() = 39777132
46.64/46.80 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
46.64/46.80 c Original Problem :
46.64/46.80 c Problem name : instance-4446800-1721342178
46.64/46.80 c Variables : 20468 (20468 binary, 0 integer, 0 implicit integer, 0 continuous)
46.64/46.80 c Constraints : 20814
46.64/46.80 c Objective sense : minimize
46.64/46.80 c Presolved Problem :
46.64/46.80 c Variables : 18918 (18918 binary, 0 integer, 0 implicit integer, 0 continuous)
46.64/46.80 c Constraints : 19204
46.64/46.80 c Constraints : Number
46.64/46.80 c setppc : 2340
46.64/46.80 c orbitope : 1
46.64/46.80 c logicor : 16863
46.64/46.80 c ** Instance transfer method used: 0
46.64/46.85 c ** ParaScipInstance copy increased the number of variables. **
46.73/46.90 c LC is working with racing ramp-up and with rebuilding tree after racing.
46.73/46.90 c Nodes Active
46.73/46.90 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1062.22/1065.31 c 1065 2 1 1 - 0.0000 -
1067.71/1070.84 c 1071 4 3 1 - 0.0000 -
1088.65/1091.83 c 1092 7 6 1 - 0.0000 -
1095.54/1098.78 c 1099 9 8 1 - 0.0000 -
1114.50/1117.79 c 1118 10 9 1 - 0.0000 -
1121.48/1124.75 c 1125 11 10 1 - 0.0000 -
1514.32/1518.78 c 1519 12 11 1 - 0.0000 -
1636.28/1641.05 c 1641 13 12 1 - 0.0000 -
1885.91/1891.41 c 1891 14 13 1 - 0.0000 -
2069.07/2075.18 c 2075 15 14 1 - 0.0000 -
2253.41/2260.06 c 2260 16 15 1 - 0.0000 -
3590.07/3600.08 c 3600 16 15 0 - 0.0000 -
3590.17/3600.20 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.17/3600.20 c Total Time : 3600.1900
3590.17/3600.20 c solving : 3600.1900
3590.17/3600.20 c presolving : 46.6734 (included in solving)
3590.17/3600.20 c B&B Tree :
3590.17/3600.20 c nodes (total) : 1
3590.17/3600.20 c Solution :
3590.17/3600.20 c Solutions found : 0
3590.17/3600.20 c Primal Bound : -
3590.17/3600.20 c Dual Bound : +0.00000000000000e+00
3590.17/3600.20 c Gap : -
3590.28/3600.27 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61677 MiB free)
memory of node 1: 64510 MiB (61092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446800-1721342178/watcher-4446800-1721342178 -o /tmp/evaluation-result-4446800-1721342178/solver-4446800-1721342178 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000737 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446800-1721342178.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1000796, runsolver pid=1000783
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.25 4.22 4.24 8/256 1000800
/proc/meminfo: memFree=125460868/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=87052 memory=76268 CPUtime=0.1 cores=1,3
/proc/1000796/stat : 1000796 (fscip) R 1000783 1000796 1000725 0 -1 4194304 16852 0 0 0 7 3 0 0 20 0 1 0 186385190 89141248 19067 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 21763 19067 2542 3032 0 18163 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87052 KiB
Current children cumulated memory: 76268 KiB
[startup+0.206811 s]*
/proc/loadavg: 4.25 4.22 4.24 7/256 1000800
/proc/meminfo: memFree=125357640/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=113832 memory=97428 CPUtime=0.2 cores=1,3
/proc/1000796/stat : 1000796 (fscip) R 1000783 1000796 1000725 0 -1 4194304 22155 0 0 0 16 4 0 0 20 0 1 0 186385190 116563968 24357 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 28458 24357 2590 3032 0 24858 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113832 KiB
Current children cumulated memory: 97428 KiB
[startup+0.306324 s]*
/proc/loadavg: 4.25 4.22 4.24 7/256 1000800
/proc/meminfo: memFree=125267872/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=136124 memory=122216 CPUtime=0.3 cores=1,3
/proc/1000796/stat : 1000796 (fscip) R 1000783 1000796 1000725 0 -1 4194304 29223 0 0 0 25 5 0 0 20 0 1 0 186385190 139390976 30554 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 34031 30554 2638 3032 0 30431 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 136124 KiB
Current children cumulated memory: 122216 KiB
[startup+0.7002 s]
/proc/loadavg: 4.25 4.22 4.24 7/256 1000800
/proc/meminfo: memFree=125273096/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=146360 memory=133128 CPUtime=0.68 cores=1,3
/proc/1000796/stat : 1000796 (fscip) R 1000783 1000796 1000725 0 -1 4194304 34198 0 0 0 63 5 0 0 20 0 1 0 186385190 149872640 33282 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 36590 33282 2686 3032 0 32990 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 146360 KiB
Current children cumulated memory: 133128 KiB
[startup+1.50025 s]
/proc/loadavg: 4.23 4.22 4.24 8/256 1000800
/proc/meminfo: memFree=125199112/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=185100 memory=168464 CPUtime=1.49 cores=1,3
/proc/1000796/stat : 1000796 (fscip) R 1000783 1000796 1000725 0 -1 4194304 42147 0 0 0 142 7 0 0 20 0 1 0 186385190 189542400 42116 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 46275 42116 2734 3032 0 42675 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 185100 KiB
Current children cumulated memory: 168464 KiB
[startup+3.10641 s]
/proc/loadavg: 4.23 4.22 4.24 8/256 1000800
/proc/meminfo: memFree=125061916/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=190840 memory=173732 CPUtime=3.08 cores=1,3
/proc/1000796/stat : 1000796 (fscip) R 1000783 1000796 1000725 0 -1 4194304 43507 0 0 0 301 7 0 0 20 0 1 0 186385190 195420160 43433 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 47710 43433 2734 3032 0 44110 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 190840 KiB
Current children cumulated memory: 173732 KiB
[startup+6.30024 s]
/proc/loadavg: 4.29 4.23 4.25 8/256 1000802
/proc/meminfo: memFree=125058080/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=190840 memory=173732 CPUtime=6.27 cores=1,3
/proc/1000796/stat : 1000796 (fscip) R 1000783 1000796 1000725 0 -1 4194304 43507 0 0 0 619 8 0 0 20 0 1 0 186385190 195420160 43433 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 47710 43433 2734 3032 0 44110 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 190840 KiB
Current children cumulated memory: 173732 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.23 4.25 8/256 1000802
/proc/meminfo: memFree=125026308/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=200788 memory=183788 CPUtime=12.64 cores=1,3
/proc/1000796/stat : 1000796 (fscip) R 1000783 1000796 1000725 0 -1 4194304 46043 0 0 0 1256 8 0 0 20 0 1 0 186385190 205606912 45947 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 50197 45947 2734 3032 0 46597 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 200788 KiB
Current children cumulated memory: 183788 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.22 4.24 8/258 1000807
/proc/meminfo: memFree=124770152/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=201256 memory=184304 CPUtime=25.41 cores=1,3
/proc/1000796/stat : 1000796 (fscip) R 1000783 1000796 1000725 0 -1 4194304 46164 0 0 0 2532 9 0 0 20 0 1 0 186385190 206086144 46076 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 50314 46076 2734 3032 0 46714 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 201256 KiB
Current children cumulated memory: 184304 KiB
[startup+51.1064 s]
/proc/loadavg: 4.20 4.21 4.24 8/262 1000814
/proc/meminfo: memFree=124226028/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=537580 memory=439904 CPUtime=50.9 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 125504 0 0 0 5070 20 0 0 20 0 3 0 186385190 550481920 109976 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 134395 109976 2782 3032 0 130737 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=537580 memory=185360 CPUtime=4.2 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 47126 0 0 0 414 6 0 0 20 0 3 0 186389871 550481920 109976 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=537580 memory=438112 CPUtime=0 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 186389881 550481920 109976 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 537580 KiB
Current children cumulated memory: 439904 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.22 4.24 8/264 1000824
/proc/meminfo: memFree=123712656/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=669128 memory=508672 CPUtime=101.9 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 238400 0 0 0 10162 28 0 0 20 0 3 0 186385190 685187072 127168 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 167282 127168 2926 3032 0 149045 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=669128 memory=508092 CPUtime=55.2 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 159979 0 0 0 5506 14 0 0 20 0 3 0 186389871 685187072 127168 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=669128 memory=508368 CPUtime=0 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 186389881 685187072 127168 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 669128 KiB
Current children cumulated memory: 508672 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.20 4.23 7/264 1000835
/proc/meminfo: memFree=123627924/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=669128 memory=508896 CPUtime=161.7 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 254681 0 0 0 16142 28 0 0 20 0 3 0 186385190 685187072 127224 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 167282 127224 2926 3032 0 149055 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=669128 memory=44076 CPUtime=115.01 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 176239 0 0 0 11486 15 0 0 20 0 3 0 186389871 685187072 127224 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=669128 memory=508896 CPUtime=0 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 186389881 685187072 127224 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 669128 KiB
Current children cumulated memory: 508896 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.19 4.22 8/264 1000845
/proc/meminfo: memFree=123520020/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=721728 memory=584580 CPUtime=221.5 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 296324 0 0 0 22118 32 0 0 20 0 3 0 186385190 739049472 146145 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 180432 146145 2942 3032 0 168979 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=721728 memory=510244 CPUtime=174.8 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 217874 0 0 0 17462 18 0 0 20 0 3 0 186389871 739049472 146145 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=721728 memory=11588 CPUtime=0 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 186389881 739049472 146145 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 721728 KiB
Current children cumulated memory: 584580 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.21 8/266 1000860
/proc/meminfo: memFree=123492416/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=721880 memory=596632 CPUtime=281.31 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 319971 0 0 0 28097 34 0 0 20 0 3 0 186385190 739205120 149158 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 180470 149158 2942 3032 0 172057 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=721880 memory=590944 CPUtime=234.61 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 241514 0 0 0 23440 21 0 0 20 0 3 0 186389871 739205120 149158 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=721880 memory=596616 CPUtime=0 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 92 0 0 0 0 0 0 0 20 0 3 0 186389881 739205120 149158 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 721880 KiB
Current children cumulated memory: 596632 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.18 4.21 8/264 1000870
/proc/meminfo: memFree=123382172/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=721880 memory=604060 CPUtime=341.12 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 356500 0 0 0 34075 37 0 0 20 0 3 0 186385190 739205120 151015 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 180470 151015 2942 3032 0 174601 0
################
# More data... #
################
[pid=1000796] ppid=1000783 vsize=864720 memory=800084 CPUtime=3392.81 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 670872 0 0 0 339216 65 0 0 20 0 3 0 186385190 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 216180 200021 2990 3032 0 211232 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=864720 memory=800084 CPUtime=3346.06 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 591862 0 0 0 334559 47 0 0 20 0 3 0 186389871 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=864720 memory=800084 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 549 0 0 0 0 3 0 0 20 0 3 0 186389881 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 864720 KiB
Current children cumulated memory: 800084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/266 1002634
/proc/meminfo: memFree=122576844/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=864720 memory=800084 CPUtime=3452.67 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 671260 0 0 0 345202 65 0 0 20 0 3 0 186385190 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 216180 200021 2990 3032 0 211232 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=864720 memory=800084 CPUtime=3405.92 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 592240 0 0 0 340545 47 0 0 20 0 3 0 186389871 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=864720 memory=800084 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 559 0 0 0 0 3 0 0 20 0 3 0 186389881 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 864720 KiB
Current children cumulated memory: 800084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 7/266 1002644
/proc/meminfo: memFree=122576532/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=864720 memory=800084 CPUtime=3512.54 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 671506 0 0 0 351189 65 0 0 20 0 3 0 186385190 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 216180 200021 2990 3032 0 211232 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=864720 memory=800084 CPUtime=3465.79 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 592476 0 0 0 346532 47 0 0 20 0 3 0 186389871 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=864720 memory=800084 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 569 0 0 0 0 3 0 0 20 0 3 0 186389881 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 864720 KiB
Current children cumulated memory: 800084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.13 4.10 7/262 1002654
/proc/meminfo: memFree=122576260/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=864720 memory=800084 CPUtime=3572.41 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 671795 0 0 0 357176 65 0 0 20 0 3 0 186385190 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 216180 200021 2990 3032 0 211232 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=864720 memory=800084 CPUtime=3525.66 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 592759 0 0 0 352519 47 0 0 20 0 3 0 186389871 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=864720 memory=44076 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 575 0 0 0 0 3 0 0 20 0 3 0 186389881 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 864720 KiB
Current children cumulated memory: 800084 KiB
[startup+3600.28 s]
# the end of solver process 1000796 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.69 s, system=0.664961 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.13 4.10 8/262 1002656
/proc/meminfo: memFree=122576148/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=864720 memory=800084 CPUtime=3574.11 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 671795 0 0 0 357346 65 0 0 20 0 3 0 186385190 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 216180 200021 2990 3032 0 211232 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=864720 memory=2592 CPUtime=3527.36 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 592759 0 0 0 352689 47 0 0 20 0 3 0 186389871 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=864720 memory=800084 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 575 0 0 0 0 3 0 0 20 0 3 0 186389881 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3574.11 s
Current children cumulated vsize: 864720 KiB
Current children cumulated memory: 800084 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.13 4.10 8/262 1002656
/proc/meminfo: memFree=122576196/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=864720 memory=800084 CPUtime=3580.49 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 671796 0 0 0 357984 65 0 0 20 0 3 0 186385190 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 216180 200021 2990 3032 0 211232 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=864720 memory=800084 CPUtime=3533.74 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 592760 0 0 0 353327 47 0 0 20 0 3 0 186389871 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=864720 memory=11588 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 575 0 0 0 0 3 0 0 20 0 3 0 186389881 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3580.49 s
Current children cumulated vsize: 864720 KiB
Current children cumulated memory: 800084 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.12 4.10 8/262 1002657
/proc/meminfo: memFree=122576152/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=864720 memory=800084 CPUtime=3586.88 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 671954 0 0 0 358623 65 0 0 20 0 3 0 186385190 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 216180 200021 2990 3032 0 211232 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=864720 memory=0 CPUtime=3540.13 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 592915 0 0 0 353966 47 0 0 20 0 3 0 186389871 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=864720 memory=800084 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 578 0 0 0 0 3 0 0 20 0 3 0 186389881 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 864720 KiB
Current children cumulated memory: 800084 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.12 4.09 8/262 1002657
/proc/meminfo: memFree=122576168/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=864720 memory=800084 CPUtime=3588.47 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 671954 0 0 0 358782 65 0 0 20 0 3 0 186385190 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 216180 200021 2990 3032 0 211232 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=864720 memory=800084 CPUtime=3541.72 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 592915 0 0 0 354125 47 0 0 20 0 3 0 186389871 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=864720 memory=2644 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 578 0 0 0 0 3 0 0 20 0 3 0 186389881 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3588.47 s
Current children cumulated vsize: 864720 KiB
Current children cumulated memory: 800084 KiB
[startup+3599.2 s]
/proc/loadavg: 4.15 4.12 4.09 7/262 1002657
/proc/meminfo: memFree=122576176/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=864720 memory=800084 CPUtime=3589.27 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 671954 0 0 0 358862 65 0 0 20 0 3 0 186385190 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 216180 200021 2990 3032 0 211232 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=864720 memory=44076 CPUtime=3542.52 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 592915 0 0 0 354205 47 0 0 20 0 3 0 186389871 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=864720 memory=5536 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 578 0 0 0 0 3 0 0 20 0 3 0 186389881 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3589.27 s
Current children cumulated vsize: 864720 KiB
Current children cumulated memory: 800084 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.12 4.09 7/262 1002657
/proc/meminfo: memFree=122576144/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=864720 memory=800084 CPUtime=3590.07 cores=1,3
/proc/1000796/stat : 1000796 (fscip) S 1000783 1000796 1000725 0 -1 1077936128 671954 0 0 0 358942 65 0 0 20 0 3 0 186385190 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 216180 200021 2990 3032 0 211232 0
[pid=1000796/tid=1000813] ppid=1000783 vsize=864720 memory=-6881359242293251692 CPUtime=3543.32 cores=1,3
/proc/1000796/task/1000813/stat : 1000813 (fscip) R 1000783 1000796 1000725 0 -1 4194368 592915 0 0 0 354285 47 0 0 20 0 3 0 186389871 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=864720 memory=-9187040390457425350 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 578 0 0 0 0 3 0 0 20 0 3 0 186389881 885473280 200021 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3590.07 s
Current children cumulated vsize: 864720 KiB
Current children cumulated memory: 800084 KiB
[startup+3600.21 s]
/proc/loadavg: 4.15 4.12 4.09 7/262 1002657
/proc/meminfo: memFree=122576144/131524600 swapFree=131071996/131071996
[pid=1000796] ppid=1000783 vsize=806968 memory=742348 CPUtime=3590.28 cores=1,3
/proc/1000796/stat : 1000796 (fscip) R 1000783 1000796 1000725 0 -1 4194304 674386 0 0 0 358963 65 0 0 20 0 2 0 186385190 826335232 185587 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
/proc/1000796/statm: 201742 185587 2990 3032 0 196794 0
[pid=1000796/tid=1000814] ppid=1000783 vsize=806968 memory=16112 CPUtime=0.03 cores=1,3
/proc/1000796/task/1000814/stat : 1000814 (fscip) S 1000783 1000796 1000725 0 -1 1077936192 578 0 0 0 0 3 0 0 20 0 2 0 186389881 826335232 185587 134679101440 4194304 16613245 140720478856560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49922048 140720478860307 140720478860423 140720478860423 140720478867440 0
Current children cumulated CPU time: 3590.28 s
Current children cumulated vsize: 806968 KiB
Current children cumulated memory: 742348 KiB
Child status: 0
Real time (s): 3600.28
CPU time (s): 3590.36
CPU user time (s): 3589.69
CPU system time (s): 0.664961
CPU usage (%): 99.7244
Max. virtual memory (cumulated for all children) (KiB): 864720
Max. memory (cumulated for all children) (KiB): 800084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.69
system time used= 0.664961
maximum resident set size= 800084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 676810
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3614
involuntary context switches= 1594
# summary of solver processes directly reported to runsolver:
# pid: 1000796
# total CPU time (s): 3590.36
# total CPU user time (s): 3589.69
# total CPU system time (s): 0.664961
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.59543 second user time and 18.1458 second system time
The end
Begin job on nodeC029 at 2024-07-19 00:36:31
IDJOB=4446800
IDBENCH=158312
IDSOLVER=3064
FILE ID=nodeC029/4446800-1721342178
RUNJOBID= nodeC029-1721342191-1000737
SLURM_JOB_ID= 7542739
Free space on /tmp= 890064 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K172.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446800-1721342178/watcher-4446800-1721342178 -o /tmp/evaluation-result-4446800-1721342178/solver-4446800-1721342178 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000737 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446800-1721342178.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 44b1adf4a7e5c26b78f2dbc134a2606f
RANDOM SEED=500959017
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.725
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.525
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3760.688
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3702.596
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3793.244
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.737
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3607.729
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3845.257
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125718088 kB
MemAvailable: 129683836 kB
Buffers: 494476 kB
Cached: 4262564 kB
SwapCached: 0 kB
Active: 954476 kB
Inactive: 4138464 kB
Active(anon): 1360 kB
Inactive(anon): 372256 kB
Active(file): 953116 kB
Inactive(file): 3766208 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 117728 kB
Writeback: 0 kB
AnonPages: 335984 kB
Mapped: 105960 kB
Shmem: 37720 kB
KReclaimable: 172140 kB
Slab: 293440 kB
SReclaimable: 172140 kB
SUnreclaim: 121300 kB
KernelStack: 3728 kB
PageTables: 9992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 678668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC029 at 2024-07-19 01:36:31