Trace number 4484200

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-GUROBI 2025-06-09? (TO) 3600.06 3609.31

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMb97b9bf3767749854a32fccedb37d823
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark4.83735
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c initialize IPBHS solver
0.00/0.00	c IPBHS 0.0.0 beta (8d0f613-dirty, Jun  3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.00	c optimizer = "gurobi"
0.00/0.00	c pbsolver = "roundingsat"
0.00/0.00	c use separate pbsolver for SIS
0.00/0.00	c load symmetries from file ""
0.00/0.00	c set time limit for symmetry computation to 100 seconds.
0.00/0.00	c set interchangeable summation variable limit to 3
0.00/0.00	c set sym compact max subset size to 5
0.00/0.00	c set explicit symmetry matrix usage to 1
0.00/0.00	c sym budget explicit to 100
0.00/0.00	c sym budget explicit lits to 6000
0.00/0.00	c sym budget compact to 100
0.00/0.00	c sym budget compact lits to 6000
0.00/0.00	c sym budget common to 0
0.00/0.00	c sym budget common lits to 0
0.00/0.00	c set sym generation to 's'
0.00/0.00	c set abstraction set creation to 10 iterations without LB change
0.00/0.00	c set abstraction set inputs to 0
0.00/0.00	c set abstraction set cluster min size to 2
0.00/0.00	c set abstraction set cluster max size to 100000000
0.00/0.00	c set abstraction set cluster activation limit to 2
0.00/0.00	c enable abstraction set require equal cost
0.00/0.00	c set abstraction set assumptions to 0
0.00/0.00	c set abstraction set constraint type to 0
0.00/0.00	c set abstract core extraction strategy to b
0.00/0.00	c set core extraction strategy to 2
0.00/0.00	c set core extraction shuffles 10
0.00/0.00	c set cores per iteration to 5
0.00/0.00	c set optimizer bound usage strategy to 2
0.00/0.00	c set optimizer max non-optimal iterations to 1000
0.00/0.00	c set small core cardinality limit to 2
0.00/0.00	c set max coef in cores to 1000000000
0.00/0.00	c set core processing techniques to 4095
0.00/0.00	c set SIS iterations to 5
0.00/0.00	c set SIS budget abs to 1000
0.00/0.00	c set SIS budget rel to 0.05
0.30/0.39	c limit for coefficient in constraints and objective to 1000000000
0.30/0.39	c will solve HOME/instance-4484200-1751283698.opb
0.30/0.39	c [0] will start solving
233.18/233.91	c [0.06] solve iteration 1, LB=-3212, UB=368568
233.18/233.91	c [0.2] solve iteration 2, LB=909, UB=9437
233.18/233.91	c [0.62] solve iteration 3, LB=938, UB=963
233.18/233.91	c [0.97] solve iteration 4, LB=938, UB=962
233.18/233.91	c [1.27] solve iteration 5, LB=938, UB=962
233.18/233.91	c [1.5] solve iteration 6, LB=938, UB=957
233.18/233.91	c [1.74] solve iteration 7, LB=938, UB=957
233.18/233.91	c [3.95] solve iteration 8, LB=938, UB=955
233.18/233.91	c [4.18] solve iteration 9, LB=938, UB=955
233.18/233.91	c [4.43] solve iteration 10, LB=938, UB=954
233.18/233.91	c [4.68] solve iteration 11, LB=938, UB=954
233.18/233.91	c [4.92] solve iteration 12, LB=938, UB=954
233.18/233.91	c [8.15] solve iteration 13, LB=938, UB=954
233.18/233.91	c [8.39] solve iteration 14, LB=938, UB=948
233.18/233.91	c [8.71] solve iteration 15, LB=938, UB=948
233.18/233.91	c [8.99] solve iteration 16, LB=938, UB=948
233.18/233.91	c [9.26] solve iteration 17, LB=938, UB=948
233.18/233.91	c [12.21] solve iteration 18, LB=938, UB=947
233.18/233.91	c [12.47] solve iteration 19, LB=938, UB=947
233.18/233.91	c [12.82] solve iteration 20, LB=938, UB=947
233.18/233.91	c [13.17] solve iteration 21, LB=938, UB=947
233.18/233.91	c [13.55] solve iteration 22, LB=938, UB=947
233.18/233.91	c [17.83] solve iteration 23, LB=938, UB=945
233.18/233.91	c [18.15] solve iteration 24, LB=938, UB=945
233.18/233.91	c [18.47] solve iteration 25, LB=938, UB=945
233.18/233.91	c [18.71] solve iteration 26, LB=938, UB=945
233.18/233.91	c [18.98] solve iteration 27, LB=938, UB=945
233.18/233.91	c [25.93] solve iteration 28, LB=938, UB=945
233.18/233.91	c [26.35] solve iteration 29, LB=938, UB=945
233.18/233.91	c [26.67] solve iteration 30, LB=938, UB=945
233.18/233.91	c [27.04] solve iteration 31, LB=938, UB=945
233.18/233.91	c [27.38] solve iteration 32, LB=938, UB=945
233.18/233.91	c [41.32] solve iteration 33, LB=938, UB=945
233.18/233.91	c [41.6] solve iteration 34, LB=938, UB=945
233.18/233.91	c [41.96] solve iteration 35, LB=938, UB=945
233.18/233.91	c [42.3] solve iteration 36, LB=938, UB=945
233.18/233.91	c [42.58] solve iteration 37, LB=938, UB=945
233.18/233.91	c [55.69] solve iteration 38, LB=938, UB=945
233.18/233.91	c [56.05] solve iteration 39, LB=938, UB=945
233.18/233.91	c [56.45] solve iteration 40, LB=938, UB=945
233.18/233.91	c [56.82] solve iteration 41, LB=938, UB=945
233.18/233.91	c [57.2] solve iteration 42, LB=938, UB=945
233.18/233.91	c [66.99] solve iteration 43, LB=938, UB=945
233.18/233.91	c [67.37] solve iteration 44, LB=938, UB=945
233.18/233.91	c [67.76] solve iteration 45, LB=938, UB=945
233.18/233.91	c [68.05] solve iteration 46, LB=938, UB=945
233.18/233.91	c [68.45] solve iteration 47, LB=938, UB=945
233.18/233.91	c [77.43] solve iteration 48, LB=938, UB=945
233.18/233.91	c [77.83] solve iteration 49, LB=938, UB=945
233.18/233.91	c [78.22] solve iteration 50, LB=938, UB=945
233.18/233.91	c [78.62] solve iteration 51, LB=938, UB=945
233.18/233.91	c [79.02] solve iteration 52, LB=938, UB=945
233.18/233.91	c [86.84] solve iteration 53, LB=938, UB=945
233.18/233.91	c [87.24] solve iteration 54, LB=938, UB=945
233.18/233.91	c [87.66] solve iteration 55, LB=938, UB=945
233.18/233.91	c [88.05] solve iteration 56, LB=938, UB=945
233.18/233.91	c [88.45] solve iteration 57, LB=938, UB=945
233.18/233.91	c [109.31] solve iteration 58, LB=938, UB=945
233.18/233.91	c [109.72] solve iteration 59, LB=938, UB=945
233.18/233.91	c [110.14] solve iteration 60, LB=938, UB=945
233.18/233.91	c [110.56] solve iteration 61, LB=938, UB=945
233.18/233.91	c [110.99] solve iteration 62, LB=938, UB=945
233.18/233.91	c [129.18] solve iteration 63, LB=938, UB=944
233.18/233.91	c [129.59] solve iteration 64, LB=938, UB=944
233.18/233.91	c [130.02] solve iteration 65, LB=938, UB=944
233.18/233.91	c [130.45] solve iteration 66, LB=938, UB=944
233.18/233.91	c [130.97] solve iteration 67, LB=938, UB=944
233.18/233.91	c [148.25] solve iteration 68, LB=938, UB=944
233.18/233.91	c [148.71] solve iteration 69, LB=938, UB=944
233.18/233.91	c [149.12] solve iteration 70, LB=938, UB=944
233.18/233.91	c [149.53] solve iteration 71, LB=938, UB=944
233.18/233.91	c [149.99] solve iteration 72, LB=938, UB=944
233.18/233.91	c [166.28] solve iteration 73, LB=938, UB=944
233.18/233.91	c [166.8] solve iteration 74, LB=938, UB=944
233.18/233.91	c [167.33] solve iteration 75, LB=938, UB=944
233.18/233.91	c [167.74] solve iteration 76, LB=938, UB=944
233.18/233.91	c [168.18] solve iteration 77, LB=938, UB=944
233.18/233.91	c [190.73] solve iteration 78, LB=938, UB=944
233.18/233.91	c [191.21] solve iteration 79, LB=938, UB=944
233.18/233.91	c [191.7] solve iteration 80, LB=938, UB=944
233.18/233.91	c [192.09] solve iteration 81, LB=938, UB=944
233.18/233.91	c [192.57] solve iteration 82, LB=938, UB=944
233.18/233.91	c [202.75] solve iteration 83, LB=938, UB=944
233.18/233.91	c [203.14] solve iteration 84, LB=938, UB=944
233.18/233.91	c [203.61] solve iteration 85, LB=938, UB=944
233.18/233.91	c [204.07] solve iteration 86, LB=938, UB=944
233.18/233.91	c [204.51] solve iteration 87, LB=938, UB=944
233.18/233.91	c [227.89] solve iteration 88, LB=938, UB=944
233.18/233.91	c [228.4] solve iteration 89, LB=938, UB=944
233.18/233.91	c [228.88] solve iteration 90, LB=938, UB=944
233.18/233.91	c [229.35] solve iteration 91, LB=938, UB=944
1431.47/1435.41	c [229.91] solve iteration 92, LB=938, UB=944
1431.47/1435.41	c [254.86] solve iteration 93, LB=938, UB=944
1431.47/1435.41	c [255.27] solve iteration 94, LB=938, UB=944
1431.47/1435.41	c [255.69] solve iteration 95, LB=938, UB=944
1431.47/1435.41	c [256.1] solve iteration 96, LB=938, UB=944
1431.47/1435.41	c [256.59] solve iteration 97, LB=938, UB=944
1431.47/1435.41	c [279.04] solve iteration 98, LB=938, UB=944
1431.47/1435.41	c [279.57] solve iteration 99, LB=938, UB=944
1431.47/1435.41	c [280.14] solve iteration 100, LB=938, UB=944
1431.47/1435.41	c [280.58] solve iteration 101, LB=938, UB=944
1431.47/1435.41	c [281.18] solve iteration 102, LB=938, UB=944
1431.47/1435.41	c [313.05] solve iteration 103, LB=938, UB=944
1431.47/1435.41	c [313.58] solve iteration 104, LB=938, UB=944
1431.47/1435.41	c [314.13] solve iteration 105, LB=938, UB=944
1431.47/1435.41	c [314.66] solve iteration 106, LB=938, UB=944
1431.47/1435.41	c [315.18] solve iteration 107, LB=938, UB=944
1431.47/1435.41	c [337.26] solve iteration 108, LB=938, UB=944
1431.47/1435.41	c [337.79] solve iteration 109, LB=938, UB=944
1431.47/1435.41	c [338.33] solve iteration 110, LB=938, UB=944
1431.47/1435.41	c [338.91] solve iteration 111, LB=938, UB=944
1431.47/1435.41	c [339.48] solve iteration 112, LB=938, UB=944
1431.47/1435.41	c [380.94] solve iteration 113, LB=938, UB=944
1431.47/1435.41	c [381.51] solve iteration 114, LB=938, UB=944
1431.47/1435.41	c [382.07] solve iteration 115, LB=938, UB=944
1431.47/1435.41	c [382.6] solve iteration 116, LB=938, UB=944
1431.47/1435.41	c [383.16] solve iteration 117, LB=938, UB=944
1431.47/1435.41	c [456.38] solve iteration 118, LB=938, UB=944
1431.47/1435.41	c [456.95] solve iteration 119, LB=938, UB=944
1431.47/1435.41	c [457.44] solve iteration 120, LB=938, UB=944
1431.47/1435.41	c [458.04] solve iteration 121, LB=938, UB=944
1431.47/1435.41	c [458.62] solve iteration 122, LB=938, UB=944
1431.47/1435.41	c [506.02] solve iteration 123, LB=938, UB=944
1431.47/1435.41	c [506.71] solve iteration 124, LB=938, UB=944
1431.47/1435.41	c [507.32] solve iteration 125, LB=938, UB=944
1431.47/1435.41	c [507.93] solve iteration 126, LB=938, UB=944
1431.47/1435.41	c [508.53] solve iteration 127, LB=938, UB=944
1431.47/1435.41	c [568.29] solve iteration 128, LB=938, UB=944
1431.47/1435.41	c [568.89] solve iteration 129, LB=938, UB=944
1431.47/1435.41	c [569.48] solve iteration 130, LB=938, UB=944
1431.47/1435.41	c [569.99] solve iteration 131, LB=938, UB=944
1431.47/1435.41	c [570.57] solve iteration 132, LB=938, UB=944
1431.47/1435.41	c [639.23] solve iteration 133, LB=938, UB=944
1431.47/1435.41	c [639.83] solve iteration 134, LB=938, UB=944
1431.47/1435.41	c [640.46] solve iteration 135, LB=938, UB=944
1431.47/1435.41	c [641.09] solve iteration 136, LB=938, UB=944
1431.47/1435.41	c [641.7] solve iteration 137, LB=938, UB=944
1431.47/1435.41	c [688.26] solve iteration 138, LB=938, UB=944
1431.47/1435.41	c [689.01] solve iteration 139, LB=938, UB=944
1431.47/1435.41	c [689.62] solve iteration 140, LB=938, UB=944
1431.47/1435.41	c [690.24] solve iteration 141, LB=938, UB=944
1431.47/1435.41	c [690.86] solve iteration 142, LB=938, UB=944
1431.47/1435.41	c [755.05] solve iteration 143, LB=938, UB=944
1431.47/1435.41	c [755.66] solve iteration 144, LB=938, UB=944
1431.47/1435.41	c [756.31] solve iteration 145, LB=938, UB=944
1431.47/1435.41	c [757.07] solve iteration 146, LB=938, UB=944
1431.47/1435.41	c [757.74] solve iteration 147, LB=938, UB=944
1431.47/1435.41	c [818.25] solve iteration 148, LB=938, UB=944
1431.47/1435.41	c [818.84] solve iteration 149, LB=938, UB=944
1431.47/1435.41	c [819.45] solve iteration 150, LB=938, UB=944
1431.47/1435.41	c [820.02] solve iteration 151, LB=938, UB=944
1431.47/1435.41	c [820.7] solve iteration 152, LB=938, UB=944
1431.47/1435.41	c [909.27] solve iteration 153, LB=938, UB=944
1431.47/1435.41	c [909.94] solve iteration 154, LB=938, UB=944
1431.47/1435.41	c [910.6] solve iteration 155, LB=938, UB=944
1431.47/1435.41	c [911.3] solve iteration 156, LB=938, UB=944
1431.47/1435.41	c [911.99] solve iteration 157, LB=938, UB=944
1431.47/1435.41	c [1024.31] solve iteration 158, LB=938, UB=944
1431.47/1435.41	c [1024.97] solve iteration 159, LB=938, UB=944
1431.47/1435.41	c [1025.65] solve iteration 160, LB=938, UB=944
1431.47/1435.41	c [1026.31] solve iteration 161, LB=938, UB=944
1431.47/1435.41	c [1026.92] solve iteration 162, LB=938, UB=944
1431.47/1435.41	c [1147.77] solve iteration 163, LB=938, UB=944
1431.47/1435.41	c [1148.48] solve iteration 164, LB=938, UB=944
1431.47/1435.41	c [1149.09] solve iteration 165, LB=938, UB=944
1431.47/1435.41	c [1149.78] solve iteration 166, LB=938, UB=944
1431.47/1435.41	c [1150.42] solve iteration 167, LB=938, UB=944
1431.47/1435.41	c [1241.81] solve iteration 168, LB=938, UB=944
1431.47/1435.41	c [1242.46] solve iteration 169, LB=938, UB=944
1431.47/1435.41	c [1243.15] solve iteration 170, LB=938, UB=944
1431.47/1435.41	c [1243.85] solve iteration 171, LB=938, UB=944
1431.47/1435.41	c [1244.38] solve iteration 172, LB=938, UB=944
1431.47/1435.41	c [1338.64] solve iteration 173, LB=938, UB=944
1431.47/1435.41	c [1339.36] solve iteration 174, LB=938, UB=944
1431.47/1435.41	c [1340.04] solve iteration 175, LB=938, UB=944
1431.47/1435.41	c [1340.76] solve iteration 176, LB=938, UB=944
1431.47/1435.41	c [1341.51] solve iteration 177, LB=938, UB=944
1431.47/1435.41	c [1418.3] solve iteration 178, LB=938, UB=

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 63708 MiB (62052 MiB free)
  memory of node 1: 64465 MiB (63330 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484200-1751283698/watcher-4484200-1751283698 -o /tmp/evaluation-result-4484200-1751283698/solver-4484200-1751283698 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751279332-38620 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4484200-1751283698.opb --max-coef 1000000000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39214, runsolver pid=39211
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.07 4.11 4.09 6/267 39215
/proc/meminfo: memFree=128016696/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1481320 memory=436928 CPUtime=0.09 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 995 0 0 0 1 8 0 0 20 0 1 0 44048331 1516871680 109232 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 370330 109232 1632 641 0 355087 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1481320 KiB
Current children cumulated memory: 436928 KiB

[startup+0.205626 s]*
/proc/loadavg: 4.07 4.11 4.09 5/267 39215
/proc/meminfo: memFree=127545656/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1481320 memory=907968 CPUtime=0.19 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 1225 0 0 0 2 17 0 0 20 0 1 0 44048331 1516871680 226992 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 370330 226992 1632 641 0 355087 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 1481320 KiB
Current children cumulated memory: 907968 KiB

[startup+0.305503 s]*
/proc/loadavg: 4.07 4.11 4.09 5/267 39215
/proc/meminfo: memFree=127097176/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1481320 memory=1352384 CPUtime=0.3 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 1442 0 0 0 4 26 0 0 20 0 1 0 44048331 1516871680 338096 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 370330 338096 1632 641 0 355087 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 1481320 KiB
Current children cumulated memory: 1352384 KiB

[startup+0.700164 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 39216
/proc/meminfo: memFree=126998812/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1544260 memory=1471436 CPUtime=0.68 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 13129 0 0 0 37 31 0 0 20 0 2 0 44048331 1581322240 367859 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 386065 367859 3712 641 0 368548 0
[pid=39214/tid=39216] ppid=39211 vsize=1544260 memory=10752 CPUtime=0 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 44048370 1581322240 367859 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1544260 KiB
Current children cumulated memory: 1471436 KiB

[startup+1.50014 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 39216
/proc/meminfo: memFree=126973548/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1545848 memory=1474916 CPUtime=1.48 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 15271 0 3 0 113 35 0 0 20 0 2 0 44048331 1582948352 368729 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 386462 368729 3904 641 0 368945 0
[pid=39214/tid=39216] ppid=39211 vsize=1545848 memory=10752 CPUtime=0 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 44048370 1582948352 368729 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1545848 KiB
Current children cumulated memory: 1474916 KiB

[startup+3.10458 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 39217
/proc/meminfo: memFree=126948100/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1552448 memory=1484060 CPUtime=3.08 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 29952 0 3 0 267 41 0 0 20 0 2 0 44048331 1589706752 371015 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 388112 371015 3904 641 0 370595 0
[pid=39214/tid=39216] ppid=39211 vsize=1552448 memory=0 CPUtime=0 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 44048370 1589706752 371015 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1552448 KiB
Current children cumulated memory: 1484060 KiB

[startup+6.30014 s]
/proc/loadavg: 4.06 4.11 4.09 5/268 39217
/proc/meminfo: memFree=126925608/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1571984 memory=1507636 CPUtime=6.27 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 57321 0 3 0 577 50 0 0 20 0 2 0 44048331 1609711616 376909 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 392996 376909 3904 641 0 375479 0
[pid=39214/tid=39216] ppid=39211 vsize=1571984 memory=14344 CPUtime=0 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 14 0 0 0 0 0 0 0 20 0 2 0 44048370 1609711616 376909 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1571984 KiB
Current children cumulated memory: 1507636 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.09 5/268 39217
/proc/meminfo: memFree=126885524/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1598464 memory=1530360 CPUtime=12.65 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 97386 0 3 0 1194 71 0 0 20 0 2 0 44048331 1636827136 382590 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 399616 382590 3904 641 0 382099 0
[pid=39214/tid=39216] ppid=39211 vsize=1598464 memory=1530360 CPUtime=0 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 2 0 44048370 1636827136 382590 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1598464 KiB
Current children cumulated memory: 1530360 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.09 5/268 39217
/proc/meminfo: memFree=126847868/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1649016 memory=1573280 CPUtime=25.41 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 159705 0 3 0 2429 112 0 0 20 0 2 0 44048331 1688592384 393320 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 412254 393320 3904 641 0 394737 0
[pid=39214/tid=39216] ppid=39211 vsize=1649016 memory=14344 CPUtime=0 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 2 0 44048370 1688592384 393320 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1649016 KiB
Current children cumulated memory: 1573280 KiB

[startup+51.1054 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 39217
/proc/meminfo: memFree=126806804/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1672644 memory=1601448 CPUtime=50.93 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 228139 0 3 0 4942 151 0 0 20 0 2 0 44048331 1712787456 400362 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 418161 400362 3904 641 0 400644 0
[pid=39214/tid=39216] ppid=39211 vsize=1672644 memory=14344 CPUtime=0.01 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 37 0 0 0 0 1 0 0 20 0 2 0 44048370 1712787456 400362 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1672644 KiB
Current children cumulated memory: 1601448 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 39219
/proc/meminfo: memFree=126727792/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1783752 memory=1659844 CPUtime=101.97 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 246418 0 3 0 9980 217 0 0 20 0 2 0 44048331 1826562048 414961 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 445938 414961 3904 641 0 428421 0
[pid=39214/tid=39216] ppid=39211 vsize=1783752 memory=1659844 CPUtime=0.04 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 37 0 0 0 2 2 0 0 20 0 2 0 44048370 1826562048 414961 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1783752 KiB
Current children cumulated memory: 1659844 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 39221
/proc/meminfo: memFree=126666252/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1806648 memory=1701016 CPUtime=161.79 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 267695 0 3 0 15905 274 0 0 20 0 2 0 44048331 1850007552 425254 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 451662 425254 3904 641 0 434145 0
[pid=39214/tid=39216] ppid=39211 vsize=1806648 memory=1685692 CPUtime=0.07 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 38 0 0 0 3 4 0 0 20 0 2 0 44048370 1850007552 425254 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1806648 KiB
Current children cumulated memory: 1701016 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 39224
/proc/meminfo: memFree=126618124/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1834168 memory=1730056 CPUtime=221.61 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 350266 0 3 0 21800 361 0 0 20 0 2 0 44048331 1878188032 432514 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 458542 432514 3904 641 0 441025 0
[pid=39214/tid=39216] ppid=39211 vsize=1834168 memory=1717840 CPUtime=0.09 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 43 0 0 0 4 5 0 0 20 0 2 0 44048370 1878188032 432514 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1834168 KiB
Current children cumulated memory: 1730056 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 39226
/proc/meminfo: memFree=126618452/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1852388 memory=1745564 CPUtime=281.43 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 372193 0 3 0 27718 425 0 0 20 0 2 0 44048331 1896845312 436391 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 463097 436391 3904 641 0 445580 0
[pid=39214/tid=39216] ppid=39211 vsize=1852388 memory=1736132 CPUtime=0.12 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 43 0 0 0 6 6 0 0 20 0 2 0 44048370 1896845312 436391 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1852388 KiB
Current children cumulated memory: 1745564 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 39228
/proc/meminfo: memFree=126588516/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=1872344 memory=1764672 CPUtime=341.24 cores=5,7

################
# More data... #
################

/proc/meminfo: memFree=124982352/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2207804 memory=2063256 CPUtime=3034.43 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 727702 0 3 0 301004 2439 0 0 20 0 2 0 44048331 2260791296 515814 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 551951 515814 3904 641 0 534434 0
[pid=39214/tid=39216] ppid=39211 vsize=2207804 memory=2063256 CPUtime=1.61 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 126 0 0 0 62 99 0 0 20 0 2 0 44048370 2260791296 515814 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3034.43 s
Current children cumulated vsize: 2207804 KiB
Current children cumulated memory: 2063256 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/270 39971
/proc/meminfo: memFree=124923976/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2207804 memory=2064408 CPUtime=3094.25 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 731381 0 3 0 306967 2458 0 0 20 0 2 0 44048331 2260791296 516102 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 551951 516102 3904 641 0 534434 0
[pid=39214/tid=39216] ppid=39211 vsize=2207804 memory=10752 CPUtime=1.65 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 129 0 0 0 63 102 0 0 20 0 2 0 44048370 2260791296 516102 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3094.25 s
Current children cumulated vsize: 2207804 KiB
Current children cumulated memory: 2064408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/269 39973
/proc/meminfo: memFree=124942256/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2207804 memory=2064664 CPUtime=3154.11 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 732220 0 3 0 312893 2518 0 0 20 0 2 0 44048331 2260791296 516166 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 551951 516166 3904 641 0 534434 0
[pid=39214/tid=39216] ppid=39211 vsize=2207804 memory=2064664 CPUtime=1.68 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 130 0 0 0 64 104 0 0 20 0 2 0 44048370 2260791296 516166 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 2207804 KiB
Current children cumulated memory: 2064664 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/266 39976
/proc/meminfo: memFree=124841796/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2207804 memory=2064664 CPUtime=3213.94 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 732682 0 3 0 318822 2572 0 0 20 0 2 0 44048331 2260791296 516166 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 551951 516166 3904 641 0 534434 0
[pid=39214/tid=39216] ppid=39211 vsize=2207804 memory=2064664 CPUtime=1.71 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 131 0 0 0 65 106 0 0 20 0 2 0 44048370 2260791296 516166 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 2207804 KiB
Current children cumulated memory: 2064664 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/266 39978
/proc/meminfo: memFree=124795452/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2210576 memory=2054756 CPUtime=3273.79 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 745676 0 3 0 324758 2621 0 0 20 0 2 0 44048331 2263629824 513689 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 552644 513689 3904 641 0 535127 0
[pid=39214/tid=39216] ppid=39211 vsize=2210576 memory=2054756 CPUtime=1.74 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 135 0 0 0 66 108 0 0 20 0 2 0 44048370 2263629824 513689 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 2210576 KiB
Current children cumulated memory: 2054756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/266 39980
/proc/meminfo: memFree=124795340/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2210576 memory=2054756 CPUtime=3333.65 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 746361 0 3 0 330706 2659 0 0 20 0 2 0 44048331 2263629824 513689 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 552644 513689 3904 641 0 535127 0
[pid=39214/tid=39216] ppid=39211 vsize=2210576 memory=14344 CPUtime=1.78 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 136 0 0 0 67 111 0 0 20 0 2 0 44048370 2263629824 513689 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 2210576 KiB
Current children cumulated memory: 2054756 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/266 39982
/proc/meminfo: memFree=124787076/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2210576 memory=2056812 CPUtime=3393.51 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 746376 0 3 0 336637 2714 0 0 20 0 2 0 44048331 2263629824 514203 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 552644 514203 3904 641 0 535127 0
[pid=39214/tid=39216] ppid=39211 vsize=2210576 memory=2056812 CPUtime=1.81 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 136 0 0 0 68 113 0 0 20 0 2 0 44048370 2263629824 514203 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 2210576 KiB
Current children cumulated memory: 2056812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 39984
/proc/meminfo: memFree=124787204/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2210576 memory=2056812 CPUtime=3453.38 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 746379 0 3 0 342569 2769 0 0 20 0 2 0 44048331 2263629824 514203 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 552644 514203 3904 641 0 535127 0
[pid=39214/tid=39216] ppid=39211 vsize=2210576 memory=2056812 CPUtime=1.84 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 137 0 0 0 69 115 0 0 20 0 2 0 44048370 2263629824 514203 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 2210576 KiB
Current children cumulated memory: 2056812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 39993
/proc/meminfo: memFree=124690384/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2213324 memory=2062032 CPUtime=3513.24 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 759785 0 3 0 348505 2819 0 0 20 0 2 0 44048331 2266443776 515508 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 553331 515508 3904 641 0 535814 0
[pid=39214/tid=39216] ppid=39211 vsize=2213324 memory=14344 CPUtime=1.87 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 140 0 0 0 70 117 0 0 20 0 2 0 44048370 2266443776 515508 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3513.24 s
Current children cumulated vsize: 2213324 KiB
Current children cumulated memory: 2062032 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 39995
/proc/meminfo: memFree=124688944/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2213324 memory=2062032 CPUtime=3573.1 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 761181 0 3 0 354460 2850 0 0 20 0 2 0 44048331 2266443776 515508 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 553331 515508 3904 641 0 535814 0
[pid=39214/tid=39216] ppid=39211 vsize=2213324 memory=2062032 CPUtime=1.91 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 141 0 0 0 71 120 0 0 20 0 2 0 44048370 2266443776 515508 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 2213324 KiB
Current children cumulated memory: 2062032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 39996
/proc/meminfo: memFree=124684944/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2213324 memory=2062032 CPUtime=3600.04 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 762064 0 3 0 357146 2858 0 0 20 0 2 0 44048331 2266443776 515508 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 553331 515508 3904 641 0 535814 0
[pid=39214/tid=39216] ppid=39211 vsize=2213324 memory=2062032 CPUtime=1.93 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 142 0 0 0 72 121 0 0 20 0 2 0 44048370 2266443776 515508 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2213324 KiB
Current children cumulated memory: 2062032 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.31 s]
# the end of solver process 39214 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3571.47 s, system=28.5942 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3609.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 39996
/proc/meminfo: memFree=124684944/131249988 swapFree=33010684/33010684
[pid=39214] ppid=39211 vsize=2213324 memory=2062032 CPUtime=3600.04 cores=5,7
/proc/39214/stat : 39214 (ipbhs_gurobi) R 39211 39214 38607 0 -1 4194304 762064 0 3 0 357146 2858 0 0 20 0 2 0 44048331 2266443776 515508 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
/proc/39214/statm: 553331 515508 3904 641 0 535814 0
[pid=39214/tid=39216] ppid=39211 vsize=2213324 memory=2062032 CPUtime=1.93 cores=5,7
/proc/39214/task/39216/stat : 39216 (ipbhs_gurobi) S 39211 39214 38607 0 -1 4194368 142 0 0 0 72 121 0 0 20 0 2 0 44048370 2266443776 515508 18446744073709551615 94688265256960 94688267882013 140725772492272 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94688268500888 94688268533850 94688293621760 140725772495263 140725772495367 140725772495367 140725772500969 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2213324 KiB
Current children cumulated memory: 2062032 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.31
CPU time (s): 3600.06
CPU user time (s): 3571.47
CPU system time (s): 28.5942
CPU usage (%): 99.7438
Max. virtual memory (cumulated for all children) (KiB): 2213844
Max. memory (cumulated for all children) (KiB): 2073848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.47
system time used= 28.5942
maximum resident set size= 2073848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 762064
page faults= 3
swaps= 0
block input operations= 144
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358994
involuntary context switches= 20686


# summary of solver processes directly reported to runsolver:
#   pid: 39214
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3571.47
#   total CPU system time (s): 28.5942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33999 second user time and 15.8958 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-30 13:41:38
IDJOB=4484200
IDBENCH=146652
IDSOLVER=3333
FILE ID=nodeC031/4484200-1751283698
RUNJOBID= nodeC031-1751279332-38620
SLURM_JOB_ID= 9594213
Free space on /tmp= 432884 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484200-1751283698/watcher-4484200-1751283698 -o /tmp/evaluation-result-4484200-1751283698/solver-4484200-1751283698 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751279332-38620 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4484200-1751283698.opb --max-coef 1000000000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1301402668

nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.887
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.902
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3604.311
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3600.143
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.862
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.891
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.593
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128391888 kB
MemAvailable:   128606220 kB
Buffers:            3280 kB
Cached:          1021832 kB
SwapCached:            0 kB
Active:          1449952 kB
Inactive:         756016 kB
Active(anon):    1198920 kB
Inactive(anon):        0 kB
Active(file):     251032 kB
Inactive(file):   756016 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             59724 kB
Writeback:            40 kB
AnonPages:       1173624 kB
Mapped:           118944 kB
Shmem:             18064 kB
KReclaimable:      93048 kB
Slab:             180096 kB
SReclaimable:      93048 kB
SUnreclaim:        87048 kB
KernelStack:        4304 kB
PageTables:         5556 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1627328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    440320 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432820 MiB
End job on nodeC031 at 2025-06-30 14:41:47