Trace number 4484201

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-SYM 2025-06-09? (TO) 3600.07 3607.81

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.01	c initialize IPBHS solver
0.00/0.01	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.01	c optimizer = "gurobi"
0.00/0.01	c pbsolver = "roundingsat"
0.00/0.01	c use separate pbsolver for SIS
0.00/0.01	c load symmetries from file ""
0.00/0.01	c set time limit for symmetry computation to 100 seconds.
0.00/0.01	c set interchangeable summation variable limit to 3
0.00/0.01	c enable explicit+compact SCL
0.00/0.01	c set sym compact max subset size to 5
0.00/0.01	c set explicit symmetry matrix usage to 1
0.00/0.01	c sym budget explicit to 100
0.00/0.01	c sym budget explicit lits to 6000
0.00/0.01	c sym budget compact to 100
0.00/0.01	c sym budget compact lits to 6000
0.00/0.01	c sym budget common to 0
0.00/0.01	c sym budget common lits to 0
0.00/0.01	c set sym generation to 's'
0.00/0.01	c set abstraction set creation to 10 iterations without LB change
0.00/0.01	c set abstraction set inputs to 0
0.00/0.01	c set abstraction set cluster min size to 2
0.00/0.01	c set abstraction set cluster max size to 100000000
0.00/0.01	c set abstraction set cluster activation limit to 2
0.00/0.01	c enable abstraction set require equal cost
0.00/0.01	c set abstraction set assumptions to 0
0.00/0.01	c set abstraction set constraint type to 0
0.00/0.01	c set abstract core extraction strategy to b
0.00/0.01	c set core extraction strategy to 2
0.00/0.01	c set core extraction shuffles 10
0.00/0.01	c set cores per iteration to 5
0.00/0.01	c set optimizer bound usage strategy to 2
0.00/0.01	c set optimizer max non-optimal iterations to 1000
0.00/0.01	c set small core cardinality limit to 2
0.00/0.01	c set max coef in cores to 1000000000
0.00/0.01	c set core processing techniques to 4095
0.00/0.01	c set SIS iterations to 5
0.00/0.01	c set SIS budget abs to 1000
0.00/0.01	c set SIS budget rel to 0.05
0.08/0.12	c limit for coefficient in constraints and objective to 1000000000
0.08/0.12	c will solve HOME/instance-4484201-1751283062.opb
0.08/0.12	Searching graph automorphisms with time limit: 100
0.08/0.17	c [0.09] will start solving
447.78/448.84	c [0.16] solve iteration 1, LB=-3212, UB=368568
447.78/448.84	c [0.3] solve iteration 2, LB=909, UB=9437
447.78/448.84	c [0.73] solve iteration 3, LB=938, UB=963
447.78/448.84	c [1.15] solve iteration 4, LB=938, UB=963
447.78/448.84	c [4.36] solve iteration 5, LB=938, UB=958
447.78/448.84	c [12.63] solve iteration 6, LB=938, UB=958
447.78/448.84	c [17.68] solve iteration 7, LB=938, UB=958
447.78/448.84	c [23.42] solve iteration 8, LB=938, UB=958
447.78/448.84	c [24.03] solve iteration 9, LB=938, UB=957
447.78/448.84	c [24.57] solve iteration 10, LB=938, UB=952
447.78/448.84	c [25.14] solve iteration 11, LB=938, UB=952
447.78/448.84	c [25.69] solve iteration 12, LB=938, UB=950
447.78/448.84	c [29.11] solve iteration 13, LB=938, UB=950
447.78/448.84	c [29.73] solve iteration 14, LB=938, UB=950
447.78/448.84	c [33.59] solve iteration 15, LB=938, UB=950
447.78/448.84	c [39.93] solve iteration 16, LB=938, UB=950
447.78/448.84	c [46.03] solve iteration 17, LB=938, UB=950
447.78/448.84	c [54.65] solve iteration 18, LB=938, UB=950
447.78/448.84	c [55.35] solve iteration 19, LB=938, UB=950
447.78/448.84	c [59.19] solve iteration 20, LB=938, UB=950
447.78/448.84	c [64.78] solve iteration 21, LB=938, UB=950
447.78/448.84	c [65.54] solve iteration 22, LB=938, UB=950
447.78/448.84	c [74.86] solve iteration 23, LB=938, UB=950
447.78/448.84	c [77.41] solve iteration 24, LB=938, UB=950
447.78/448.84	c [79.01] solve iteration 25, LB=938, UB=950
447.78/448.84	c [81.43] solve iteration 26, LB=938, UB=948
447.78/448.84	c [86.32] solve iteration 27, LB=938, UB=948
447.78/448.84	c [93.9] solve iteration 28, LB=938, UB=948
447.78/448.84	c [95.35] solve iteration 29, LB=938, UB=948
447.78/448.84	c [98.64] solve iteration 30, LB=938, UB=948
447.78/448.84	c [99.48] solve iteration 31, LB=938, UB=948
447.78/448.84	c [105.64] solve iteration 32, LB=938, UB=948
447.78/448.84	c [121.2] solve iteration 33, LB=938, UB=948
447.78/448.84	c [122.2] solve iteration 34, LB=938, UB=948
447.78/448.84	c [127.5] solve iteration 35, LB=938, UB=948
447.78/448.84	c [128.39] solve iteration 36, LB=938, UB=948
447.78/448.84	c [129.96] solve iteration 37, LB=938, UB=948
447.78/448.84	c [138.25] solve iteration 38, LB=938, UB=948
447.78/448.84	c [139.12] solve iteration 39, LB=938, UB=948
447.78/448.84	c [140.39] solve iteration 40, LB=938, UB=948
447.78/448.84	c [141.6] solve iteration 41, LB=938, UB=948
447.78/448.84	c [143.01] solve iteration 42, LB=938, UB=948
447.78/448.84	c [157.79] solve iteration 43, LB=938, UB=948
447.78/448.84	c [160.59] solve iteration 44, LB=938, UB=947
447.78/448.84	c [163.06] solve iteration 45, LB=938, UB=947
447.78/448.84	c [164.2] solve iteration 46, LB=938, UB=947
447.78/448.84	c [165.18] solve iteration 47, LB=938, UB=945
447.78/448.84	c [186.01] solve iteration 48, LB=938, UB=945
447.78/448.84	c [189.3] solve iteration 49, LB=938, UB=945
447.78/448.84	c [190.08] solve iteration 50, LB=938, UB=945
447.78/448.84	c [194.29] solve iteration 51, LB=938, UB=945
447.78/448.84	c [198.6] solve iteration 52, LB=938, UB=945
447.78/448.84	c [222.98] solve iteration 53, LB=938, UB=945
447.78/448.84	c [224.27] solve iteration 54, LB=938, UB=945
447.78/448.84	c [227.97] solve iteration 55, LB=938, UB=945
447.78/448.84	c [229.03] solve iteration 56, LB=938, UB=945
447.78/448.84	c [230.08] solve iteration 57, LB=938, UB=945
447.78/448.84	c [250.04] solve iteration 58, LB=938, UB=945
447.78/448.84	c [257.39] solve iteration 59, LB=938, UB=945
447.78/448.84	c [262.35] solve iteration 60, LB=938, UB=945
447.78/448.84	c [263.44] solve iteration 61, LB=938, UB=945
447.78/448.84	c [267.19] solve iteration 62, LB=938, UB=945
447.78/448.84	c [296.59] solve iteration 63, LB=938, UB=945
447.78/448.84	c [297.86] solve iteration 64, LB=938, UB=945
447.78/448.84	c [299.89] solve iteration 65, LB=938, UB=945
447.78/448.84	c [301.19] solve iteration 66, LB=938, UB=945
447.78/448.84	c [302.42] solve iteration 67, LB=938, UB=945
447.78/448.84	c [314.29] solve iteration 68, LB=938, UB=945
447.78/448.84	c [315.47] solve iteration 69, LB=938, UB=945
447.78/448.84	c [318.46] solve iteration 70, LB=938, UB=945
447.78/448.84	c [319.6] solve iteration 71, LB=938, UB=945
447.78/448.84	c [324.05] solve iteration 72, LB=938, UB=945
447.78/448.84	c [339.7] solve iteration 73, LB=938, UB=945
447.78/448.84	c [340.93] solve iteration 74, LB=938, UB=945
447.78/448.84	c [348.79] solve iteration 75, LB=938, UB=945
447.78/448.84	c [350.09] solve iteration 76, LB=938, UB=945
447.78/448.84	c [356.69] solve iteration 77, LB=938, UB=945
447.78/448.84	c [366.73] solve iteration 78, LB=938, UB=945
447.78/448.84	c [368.23] solve iteration 79, LB=938, UB=945
447.78/448.84	c [371.04] solve iteration 80, LB=938, UB=945
447.78/448.84	c [373.72] solve iteration 81, LB=938, UB=945
447.78/448.84	c [377.64] solve iteration 82, LB=938, UB=945
447.78/448.84	c [391.74] solve iteration 83, LB=938, UB=945
447.78/448.84	c [393.23] solve iteration 84, LB=938, UB=945
447.78/448.84	c [397.79] solve iteration 85, LB=938, UB=945
447.78/448.84	c [402.55] solve iteration 86, LB=938, UB=945
447.78/448.84	c [408.11] solve iteration 87, LB=938, UB=945
447.78/448.84	c [427.88] solve iteration 88, LB=938, UB=945
447.78/448.84	c [429.62] solve iteration 89, LB=938, UB=945
447.78/448.84	c [434.43] solve iteration 90, LB=938, UB=945
447.78/448.84	c [442.27] solve iteration 91, LB=938, UB=945
1592.45/1596.18	c [445.2] solve iteration 92, LB=938, UB=945
1592.45/1596.18	c [466.15] solve iteration 93, LB=938, UB=945
1592.45/1596.18	c [468.2] solve iteration 94, LB=938, UB=945
1592.45/1596.18	c [475.11] solve iteration 95, LB=938, UB=945
1592.45/1596.18	c [476.97] solve iteration 96, LB=938, UB=945
1592.45/1596.18	c [478.93] solve iteration 97, LB=938, UB=945
1592.45/1596.18	c [495.55] solve iteration 98, LB=938, UB=945
1592.45/1596.18	c [499.37] solve iteration 99, LB=938, UB=945
1592.45/1596.18	c [502] solve iteration 100, LB=938, UB=945
1592.45/1596.18	c [504.27] solve iteration 101, LB=938, UB=945
1592.45/1596.18	c [506.82] solve iteration 102, LB=938, UB=945
1592.45/1596.18	c [532.5] solve iteration 103, LB=938, UB=945
1592.45/1596.18	c [534.34] solve iteration 104, LB=938, UB=945
1592.45/1596.18	c [536.42] solve iteration 105, LB=938, UB=945
1592.45/1596.18	c [538.54] solve iteration 106, LB=938, UB=945
1592.45/1596.18	c [540.58] solve iteration 107, LB=938, UB=945
1592.45/1596.18	c [557.63] solve iteration 108, LB=938, UB=945
1592.45/1596.18	c [560.01] solve iteration 109, LB=938, UB=945
1592.45/1596.18	c [562.93] solve iteration 110, LB=938, UB=945
1592.45/1596.18	c [568.07] solve iteration 111, LB=938, UB=945
1592.45/1596.18	c [570.18] solve iteration 112, LB=938, UB=945
1592.45/1596.18	c [587.64] solve iteration 113, LB=938, UB=945
1592.45/1596.18	c [592.58] solve iteration 114, LB=938, UB=945
1592.45/1596.18	c [598.09] solve iteration 115, LB=938, UB=945
1592.45/1596.18	c [601.41] solve iteration 116, LB=938, UB=945
1592.45/1596.18	c [604.16] solve iteration 117, LB=938, UB=945
1592.45/1596.18	c [628.75] solve iteration 118, LB=938, UB=945
1592.45/1596.18	c [631.42] solve iteration 119, LB=938, UB=945
1592.45/1596.18	c [633.88] solve iteration 120, LB=938, UB=945
1592.45/1596.18	c [636.93] solve iteration 121, LB=938, UB=945
1592.45/1596.18	c [642.35] solve iteration 122, LB=938, UB=945
1592.45/1596.18	c [663.81] solve iteration 123, LB=938, UB=945
1592.45/1596.18	c [666.55] solve iteration 124, LB=938, UB=945
1592.45/1596.18	c [669.52] solve iteration 125, LB=938, UB=945
1592.45/1596.18	c [672.15] solve iteration 126, LB=938, UB=945
1592.45/1596.18	c [674.69] solve iteration 127, LB=938, UB=945
1592.45/1596.18	c [714.56] solve iteration 128, LB=938, UB=945
1592.45/1596.18	c [720.23] solve iteration 129, LB=938, UB=945
1592.45/1596.18	c [723.12] solve iteration 130, LB=938, UB=945
1592.45/1596.18	c [726.66] solve iteration 131, LB=938, UB=945
1592.45/1596.18	c [732.31] solve iteration 132, LB=938, UB=945
1592.45/1596.18	c [772.97] solve iteration 133, LB=938, UB=945
1592.45/1596.18	c [779.29] solve iteration 134, LB=938, UB=945
1592.45/1596.18	c [784.93] solve iteration 135, LB=938, UB=945
1592.45/1596.18	c [789.31] solve iteration 136, LB=938, UB=945
1592.45/1596.18	c [792.21] solve iteration 137, LB=938, UB=945
1592.45/1596.18	c [831.82] solve iteration 138, LB=938, UB=945
1592.45/1596.18	c [837.28] solve iteration 139, LB=938, UB=945
1592.45/1596.18	c [841.08] solve iteration 140, LB=938, UB=945
1592.45/1596.18	c [846.49] solve iteration 141, LB=938, UB=945
1592.45/1596.18	c [850.02] solve iteration 142, LB=938, UB=945
1592.45/1596.18	c [883.52] solve iteration 143, LB=938, UB=945
1592.45/1596.18	c [886.79] solve iteration 144, LB=938, UB=945
1592.45/1596.18	c [892.34] solve iteration 145, LB=938, UB=945
1592.45/1596.18	c [897.16] solve iteration 146, LB=938, UB=945
1592.45/1596.18	c [900.58] solve iteration 147, LB=938, UB=945
1592.45/1596.18	c [951.11] solve iteration 148, LB=938, UB=945
1592.45/1596.18	c [954.37] solve iteration 149, LB=938, UB=945
1592.45/1596.18	c [960.61] solve iteration 150, LB=938, UB=945
1592.45/1596.18	c [964.71] solve iteration 151, LB=938, UB=945
1592.45/1596.18	c [968.16] solve iteration 152, LB=938, UB=945
1592.45/1596.18	c [1003.98] solve iteration 153, LB=938, UB=945
1592.45/1596.18	c [1009.26] solve iteration 154, LB=938, UB=945
1592.45/1596.18	c [1012.64] solve iteration 155, LB=938, UB=945
1592.45/1596.18	c [1020.65] solve iteration 156, LB=938, UB=945
1592.45/1596.18	c [1028.81] solve iteration 157, LB=938, UB=945
1592.45/1596.18	c [1070.39] solve iteration 158, LB=938, UB=945
1592.45/1596.18	c [1073.81] solve iteration 159, LB=938, UB=945
1592.45/1596.18	c [1080.01] solve iteration 160, LB=938, UB=945
1592.45/1596.18	c [1087.3] solve iteration 161, LB=938, UB=945
1592.45/1596.18	c [1093.57] solve iteration 162, LB=938, UB=945
1592.45/1596.18	c [1155.34] solve iteration 163, LB=938, UB=945
1592.45/1596.18	c [1159.28] solve iteration 164, LB=938, UB=945
1592.45/1596.18	c [1168.52] solve iteration 165, LB=938, UB=945
1592.45/1596.18	c [1172.24] solve iteration 166, LB=938, UB=945
1592.45/1596.18	c [1175.99] solve iteration 167, LB=938, UB=945
1592.45/1596.18	c [1254.46] solve iteration 168, LB=938, UB=945
1592.45/1596.18	c [1259.37] solve iteration 169, LB=938, UB=945
1592.45/1596.18	c [1265.52] solve iteration 170, LB=938, UB=945
1592.45/1596.18	c [1269.81] solve iteration 171, LB=938, UB=945
1592.45/1596.18	c [1278.52] solve iteration 172, LB=938, UB=945
1592.45/1596.18	c [1438.1] solve iteration 173, LB=938, UB=945
1592.45/1596.18	c [1446.28] solve iteration 174, LB=938, UB=945
1592.45/1596.18	c [1453.23] solve iteration 175, LB=938, UB=945
1592.45/1596.18	c [1458.24] solve iteration 176, LB=938, UB=945
1592.45/1596.18	c [1467.91] solve iteration 177, LB=938, UB=945
1592.45/1596.18	c [15

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: 63665 MiB (62824 MiB free)
  memory of node 1: 64507 MiB (63554 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484201-1751283062/watcher-4484201-1751283062 -o /tmp/evaluation-result-4484201-1751283062/solver-4484201-1751283062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751279452-40313 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4484201-1751283062.opb --max-coef 1000000000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=40687, runsolver pid=40677

[startup+0.10006 s]*
/proc/loadavg: 3.92 4.05 4.08 6/259 40697
/proc/meminfo: memFree=129040388/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=109892 memory=34036 CPUtime=0.08 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 6403 0 0 0 6 2 0 0 20 0 2 0 43983876 112529408 8509 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 27473 8509 2336 641 0 9956 0
[pid=40687/tid=40696] ppid=40677 vsize=109892 memory=4026532379 CPUtime=0 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 43983883 112529408 8541 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 109892 KiB
Current children cumulated memory: 34036 KiB

[startup+0.205396 s]*
/proc/loadavg: 3.92 4.05 4.08 4/259 40702
/proc/meminfo: memFree=128571344/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=114348 memory=39052 CPUtime=0.18 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 7900 0 0 0 16 2 0 0 20 0 2 0 43983876 117092352 9763 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 28587 9763 2368 641 0 11070 0
[pid=40687/tid=40696] ppid=40677 vsize=114348 memory=5289312096770601499 CPUtime=0 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 43983883 117092352 9763 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 114348 KiB
Current children cumulated memory: 39052 KiB

[startup+0.305354 s]*
/proc/loadavg: 3.92 4.05 4.08 5/258 40702
/proc/meminfo: memFree=128071740/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=120296 memory=45808 CPUtime=0.28 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 8736 0 2 0 25 3 0 0 20 0 2 0 43983876 123183104 11452 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 30074 11452 3136 641 0 12557 0
[pid=40687/tid=40696] ppid=40677 vsize=120296 memory=-7675384534132095430 CPUtime=0 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 43983883 123183104 11452 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 120296 KiB
Current children cumulated memory: 45808 KiB

[startup+0.700146 s]
/proc/loadavg: 3.92 4.05 4.08 2/259 40727
/proc/meminfo: memFree=129336984/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=141820 memory=66068 CPUtime=0.67 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 14543 0 6 0 63 4 0 0 20 0 2 0 43983876 145223680 16517 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 35455 16517 3840 641 0 17938 0
[pid=40687/tid=40696] ppid=40677 vsize=141820 memory=10752 CPUtime=0 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 43983883 145223680 16517 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 141820 KiB
Current children cumulated memory: 66068 KiB

[startup+1.50015 s]
/proc/loadavg: 3.92 4.05 4.08 3/254 40757
/proc/meminfo: memFree=129349480/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=141292 memory=69884 CPUtime=1.47 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 15495 0 6 0 139 8 0 0 20 0 2 0 43983876 144683008 17471 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 35323 17471 3840 641 0 17806 0
[pid=40687/tid=40696] ppid=40677 vsize=141292 memory=10752 CPUtime=0 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 43983883 144683008 17471 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 141292 KiB
Current children cumulated memory: 69884 KiB

[startup+3.1057 s]
/proc/loadavg: 3.92 4.05 4.08 4/267 40857
/proc/meminfo: memFree=128359228/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=141292 memory=69884 CPUtime=3.07 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 16771 0 6 0 297 10 0 0 20 0 2 0 43983876 144683008 17471 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 35323 17471 3840 641 0 17806 0
[pid=40687/tid=40696] ppid=40677 vsize=141292 memory=-7675384534132095430 CPUtime=0 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 43983883 144683008 17471 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 141292 KiB
Current children cumulated memory: 69884 KiB

[startup+6.30014 s]
/proc/loadavg: 3.93 4.05 4.08 4/265 41008
/proc/meminfo: memFree=127829324/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=145044 memory=67716 CPUtime=6.25 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 26379 0 6 0 612 13 0 0 20 0 2 0 43983876 148525056 16929 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 36261 16929 3840 641 0 18744 0
[pid=40687/tid=40696] ppid=40677 vsize=145044 memory=-7675384534132095430 CPUtime=0 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 43983883 148525056 16929 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 145044 KiB
Current children cumulated memory: 67716 KiB

[startup+12.7001 s]
/proc/loadavg: 3.85 4.04 4.07 5/270 41257
/proc/meminfo: memFree=127265812/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=145044 memory=70560 CPUtime=12.64 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 29838 0 6 0 1246 18 0 0 20 0 2 0 43983876 148525056 17640 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 36261 17640 3840 641 0 18744 0
[pid=40687/tid=40696] ppid=40677 vsize=145044 memory=-7675384534132095430 CPUtime=0 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 43983883 148525056 17640 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 145044 KiB
Current children cumulated memory: 70560 KiB

[startup+25.5001 s]
/proc/loadavg: 3.97 4.05 4.08 5/270 41257
/proc/meminfo: memFree=126964632/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=181620 memory=115200 CPUtime=25.4 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 57881 0 6 0 2503 37 0 0 20 0 2 0 43983876 185978880 28800 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 45405 28800 3840 641 0 27888 0
[pid=40687/tid=40696] ppid=40677 vsize=181620 memory=10752 CPUtime=0 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 2 0 43983883 185978880 28800 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 181620 KiB
Current children cumulated memory: 115200 KiB

[startup+51.1053 s]
/proc/loadavg: 3.98 4.05 4.07 5/271 41259
/proc/meminfo: memFree=126723084/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=264276 memory=149316 CPUtime=50.95 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 72164 0 6 0 5031 64 0 0 20 0 2 0 43983876 270618624 37329 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 66069 37329 3840 641 0 48552 0
[pid=40687/tid=40696] ppid=40677 vsize=264276 memory=17920 CPUtime=0 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 14 0 0 0 0 0 0 0 20 0 2 0 43983883 270618624 37329 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 264276 KiB
Current children cumulated memory: 149316 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.05 4.07 5/271 41261
/proc/meminfo: memFree=126730420/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=336248 memory=221828 CPUtime=102.04 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 88804 0 6 0 10077 127 0 0 20 0 2 0 43983876 344317952 55457 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 84062 55457 3840 641 0 66545 0
[pid=40687/tid=40696] ppid=40677 vsize=336248 memory=220908 CPUtime=0.02 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 14 0 0 0 1 1 0 0 20 0 2 0 43983883 344317952 55457 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 221828 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.06 4.07 5/270 41263
/proc/meminfo: memFree=126689356/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=383436 memory=270672 CPUtime=161.92 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 120513 0 6 0 15981 211 0 0 20 0 2 0 43983876 392638464 67668 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 95859 67668 3840 641 0 78342 0
[pid=40687/tid=40696] ppid=40677 vsize=383436 memory=242636 CPUtime=0.05 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 14 0 0 0 2 3 0 0 20 0 2 0 43983883 392638464 67668 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 383436 KiB
Current children cumulated memory: 270672 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.06 4.07 5/269 41265
/proc/meminfo: memFree=126635592/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=389620 memory=311168 CPUtime=221.81 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 155717 0 6 0 21909 272 0 0 20 0 2 0 43983876 398970880 77792 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 97405 77792 3840 641 0 79888 0
[pid=40687/tid=40696] ppid=40677 vsize=389620 memory=302420 CPUtime=0.08 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 15 0 0 0 3 5 0 0 20 0 2 0 43983883 398970880 77792 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 389620 KiB
Current children cumulated memory: 311168 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.06 4.07 5/270 41268
/proc/meminfo: memFree=126591780/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=459324 memory=339172 CPUtime=281.67 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 176165 0 6 0 27836 331 0 0 20 0 2 0 43983876 470347776 84793 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 114831 84793 3840 641 0 97314 0
[pid=40687/tid=40696] ppid=40677 vsize=459324 memory=352556 CPUtime=0.11 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 17 0 0 0 4 7 0 0 20 0 2 0 43983883 470347776 84793 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 459324 KiB

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

/proc/meminfo: memFree=125207228/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1042780 memory=925036 CPUtime=2975.61 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1519174 0 6 0 294972 2589 0 0 20 0 2 0 43983876 1067806720 231259 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 260695 231259 3840 641 0 243178 0
[pid=40687/tid=40696] ppid=40677 vsize=1042780 memory=925036 CPUtime=1.65 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 42 0 0 0 47 118 0 0 20 0 2 0 43983883 1067806720 231259 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 2975.61 s
Current children cumulated vsize: 1042780 KiB
Current children cumulated memory: 925036 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 41413
/proc/meminfo: memFree=125288064/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1061348 memory=900136 CPUtime=3035.51 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1553488 0 6 0 300909 2642 0 0 20 0 2 0 43983876 1086820352 225034 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 265337 225034 3840 641 0 247820 0
[pid=40687/tid=40696] ppid=40677 vsize=1061348 memory=14592 CPUtime=1.68 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 42 0 0 0 48 120 0 0 20 0 2 0 43983883 1086820352 225034 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3035.51 s
Current children cumulated vsize: 1061348 KiB
Current children cumulated memory: 900136 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 41416
/proc/meminfo: memFree=125258104/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1081604 memory=914352 CPUtime=3095.41 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1561166 0 6 0 306873 2668 0 0 20 0 2 0 43983876 1107562496 228588 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 270401 228588 3840 641 0 252884 0
[pid=40687/tid=40696] ppid=40677 vsize=1081604 memory=925036 CPUtime=1.72 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 43 0 0 0 49 123 0 0 20 0 2 0 43983883 1107562496 228588 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3095.41 s
Current children cumulated vsize: 1081604 KiB
Current children cumulated memory: 914352 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 41418
/proc/meminfo: memFree=125238008/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1081604 memory=914352 CPUtime=3155.32 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1561179 0 6 0 312849 2683 0 0 20 0 2 0 43983876 1107562496 228588 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 270401 228588 3840 641 0 252884 0
[pid=40687/tid=40696] ppid=40677 vsize=1081604 memory=925036 CPUtime=1.76 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 43 0 0 0 51 125 0 0 20 0 2 0 43983883 1107562496 228588 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3155.32 s
Current children cumulated vsize: 1081604 KiB
Current children cumulated memory: 914352 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 41420
/proc/meminfo: memFree=125106848/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1081604 memory=914352 CPUtime=3215.21 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1561190 0 6 0 318813 2708 0 0 20 0 2 0 43983876 1107562496 228588 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 270401 228588 3840 641 0 252884 0
[pid=40687/tid=40696] ppid=40677 vsize=1081604 memory=14592 CPUtime=1.81 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 43 0 0 0 52 129 0 0 20 0 2 0 43983883 1107562496 228588 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3215.21 s
Current children cumulated vsize: 1081604 KiB
Current children cumulated memory: 914352 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 41422
/proc/meminfo: memFree=125099508/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1081604 memory=914352 CPUtime=3275.12 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1561192 0 6 0 324785 2727 0 0 20 0 2 0 43983876 1107562496 228588 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 270401 228588 3840 641 0 252884 0
[pid=40687/tid=40696] ppid=40677 vsize=1081604 memory=914352 CPUtime=1.84 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 43 0 0 0 53 131 0 0 20 0 2 0 43983883 1107562496 228588 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3275.12 s
Current children cumulated vsize: 1081604 KiB
Current children cumulated memory: 914352 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/268 41425
/proc/meminfo: memFree=125156788/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1080980 memory=894876 CPUtime=3335.01 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1601590 0 6 0 330737 2764 0 0 20 0 2 0 43983876 1106923520 223719 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 270245 223719 3840 641 0 252728 0
[pid=40687/tid=40696] ppid=40677 vsize=1080980 memory=12416 CPUtime=1.88 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 43 0 0 0 54 134 0 0 20 0 2 0 43983883 1106923520 223719 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3335.01 s
Current children cumulated vsize: 1080980 KiB
Current children cumulated memory: 894876 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 41427
/proc/meminfo: memFree=125136668/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1080980 memory=894876 CPUtime=3394.9 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1601592 0 6 0 336701 2789 0 0 20 0 2 0 43983876 1106923520 223719 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 270245 223719 3840 641 0 252728 0
[pid=40687/tid=40696] ppid=40677 vsize=1080980 memory=12416 CPUtime=1.92 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 44 0 0 0 56 136 0 0 20 0 2 0 43983883 1106923520 223719 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3394.9 s
Current children cumulated vsize: 1080980 KiB
Current children cumulated memory: 894876 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 41430
/proc/meminfo: memFree=125108084/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1080980 memory=894876 CPUtime=3454.8 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1601592 0 6 0 342672 2808 0 0 20 0 2 0 43983876 1106923520 223719 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 270245 223719 3840 641 0 252728 0
[pid=40687/tid=40696] ppid=40677 vsize=1080980 memory=12416 CPUtime=1.96 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 44 0 0 0 57 139 0 0 20 0 2 0 43983883 1106923520 223719 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3454.8 s
Current children cumulated vsize: 1080980 KiB
Current children cumulated memory: 894876 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 41439
/proc/meminfo: memFree=125085292/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1080980 memory=894876 CPUtime=3514.7 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1601832 0 6 0 348614 2856 0 0 20 0 2 0 43983876 1106923520 223719 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 270245 223719 3840 641 0 252728 0
[pid=40687/tid=40696] ppid=40677 vsize=1080980 memory=14592 CPUtime=2 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 44 0 0 0 58 142 0 0 20 0 2 0 43983883 1106923520 223719 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3514.7 s
Current children cumulated vsize: 1080980 KiB
Current children cumulated memory: 894876 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 41442
/proc/meminfo: memFree=125130560/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1090300 memory=895900 CPUtime=3574.59 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1648529 0 6 0 354555 2904 0 0 20 0 2 0 43983876 1116467200 223975 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 272575 223975 3840 641 0 255058 0
[pid=40687/tid=40696] ppid=40677 vsize=1090300 memory=17920 CPUtime=2.03 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 47 0 0 0 59 144 0 0 20 0 2 0 43983883 1116467200 223975 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3574.59 s
Current children cumulated vsize: 1090300 KiB
Current children cumulated memory: 895900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.8 s]
/proc/loadavg: 4.13 4.09 4.09 5/269 41443
/proc/meminfo: memFree=125109252/131249996 swapFree=33010684/33010684
[pid=40687] ppid=40677 vsize=1090300 memory=895900 CPUtime=3600.05 cores=1,3
/proc/40687/stat : 40687 (ipbhs_gurobi) R 40677 40687 40301 0 -1 4194304 1648682 0 6 0 357094 2911 0 0 20 0 2 0 43983876 1116467200 223975 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
/proc/40687/statm: 272575 223975 3840 641 0 255058 0
[pid=40687/tid=40696] ppid=40677 vsize=1090300 memory=5632 CPUtime=2.04 cores=1,3
/proc/40687/task/40696/stat : 40696 (ipbhs_gurobi) S 40677 40687 40301 0 -1 4194368 47 0 0 0 59 145 0 0 20 0 2 0 43983883 1116467200 223975 18446744073709551615 94519249489920 94519252114973 140731916440560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94519252733848 94519252766810 94519283646464 140731916446091 140731916446215 140731916446215 140731916451817 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1090300 KiB
Current children cumulated memory: 895900 KiB

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

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

# cumulated CPU time of all completed processes:  user=3570.95 s, system=29.1157 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.81
CPU time (s): 3600.07
CPU user time (s): 3570.95
CPU system time (s): 29.1157
CPU usage (%): 99.7854
Max. virtual memory (cumulated for all children) (KiB): 1257540
Max. memory (cumulated for all children) (KiB): 1008972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.95
system time used= 29.1157
maximum resident set size= 1008972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1648682
page faults= 6
swaps= 0
block input operations= 488
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358846
involuntary context switches= 6204


# summary of solver processes directly reported to runsolver:
#   pid: 40687
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3570.95
#   total CPU system time (s): 29.1157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48576 second user time and 15.1529 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-30 13:31:02
IDJOB=4484201
IDBENCH=146652
IDSOLVER=3334
FILE ID=nodeC021/4484201-1751283062
RUNJOBID= nodeC021-1751279452-40313
SLURM_JOB_ID= 9594215
Free space on /tmp= 432932 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 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 --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484201-1751283062/watcher-4484201-1751283062 -o /tmp/evaluation-result-4484201-1751283062/solver-4484201-1751283062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751279452-40313 --watchdog 3760  ./ipbhs_gurobi --sym-cores-compact HOME/instance-4484201-1751283062.opb --max-coef 1000000000

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1003207593

nodeC021 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.769
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.56
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		: 3700.000
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.56
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		: 3599.848
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.56
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		: 3599.776
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.56
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.881
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.56
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.847
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.56
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		: 3599.759
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.56
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.948
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129411240 kB
MemAvailable:   129768608 kB
Buffers:            3280 kB
Cached:          1164660 kB
SwapCached:            0 kB
Active:           347288 kB
Inactive:         896796 kB
Active(anon):      94204 kB
Inactive(anon):        0 kB
Active(file):     253084 kB
Inactive(file):   896796 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            118948 kB
Writeback:             0 kB
AnonPages:         78592 kB
Mapped:           103680 kB
Shmem:             18060 kB
KReclaimable:      93052 kB
Slab:             180000 kB
SReclaimable:      93052 kB
SUnreclaim:        86948 kB
KernelStack:        4208 kB
PageTables:         3196 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     349784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432824 MiB
End job on nodeC021 at 2025-06-30 14:31:10