Trace number 4504878

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.1 3602.22

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_2_mh_ic.opb
MD5SUM5a166d04cd3e9d201c89375e6d39e5e9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2333311
Best CPU time to get the best result obtained on this benchmark72002.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126385
Total number of constraints286973
Number of constraints which are clauses201180
Number of constraints which are cardinality constraints (but not clauses)43
Number of constraints which are nor clauses,nor cardinality constraints85750
Minimum length of a constraint2
Maximum length of a constraint1820
Number of terms in the objective function 46445
Biggest coefficient in the objective function 141420761
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 32708356419
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 141420761
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 32708356419
Number of bits of the biggest sum of numbers35
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.37	c initialize IPBHS solver
0.00/0.37	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.37	c optimizer = "gurobi"
0.00/0.37	c pbsolver = "roundingsat"
0.00/0.37	c use separate pbsolver for SIS
0.00/0.37	c load symmetries from file ""
0.00/0.37	c set time limit for symmetry computation to 100 seconds.
0.00/0.37	c set interchangeable summation variable limit to 3
0.00/0.37	c set sym compact max subset size to 5
0.00/0.37	c set explicit symmetry matrix usage to 1
0.00/0.37	c sym budget explicit to 100
0.00/0.37	c sym budget explicit lits to 6000
0.00/0.37	c sym budget compact to 100
0.00/0.37	c sym budget compact lits to 6000
0.00/0.37	c sym budget common to 0
0.00/0.37	c sym budget common lits to 0
0.00/0.37	c set sym generation to 's'
0.00/0.37	c set abstraction set creation to 10 iterations without LB change
0.00/0.37	c set abstraction set inputs to 0
0.00/0.37	c set abstraction set cluster min size to 2
0.00/0.37	c set abstraction set cluster max size to 100000000
0.00/0.37	c set abstraction set cluster activation limit to 2
0.00/0.37	c enable abstraction set require equal cost
0.00/0.37	c set abstraction set assumptions to 0
0.00/0.37	c set abstraction set constraint type to 0
0.00/0.37	c set abstract core extraction strategy to b
0.00/0.37	c set core extraction strategy to 2
0.00/0.37	c set core extraction shuffles 10
0.00/0.37	c set cores per iteration to 5
0.00/0.37	c set optimizer bound usage strategy to 2
0.00/0.37	c set optimizer max non-optimal iterations to 1000
0.00/0.37	c set small core cardinality limit to 2
0.00/0.37	c set max coef in cores to 1000000000
0.00/0.37	c set core processing techniques to 4095
0.00/0.37	c set SIS iterations to 5
0.00/0.37	c set SIS budget abs to 1000
0.00/0.37	c set SIS budget rel to 0.05
2.42/2.82	c limit for coefficient in constraints and objective to 1000000000
2.42/2.82	c will solve HOME/instance-4504878-1751475537.opb
2.42/2.82	c [0.1] will start solving

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: 63837 MiB (60504 MiB free)
  memory of node 1: 64465 MiB (63389 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504878-1751475537/watcher-4504878-1751475537 -o /tmp/evaluation-result-4504878-1751475537/solver-4504878-1751475537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751475537-67133 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4504878-1751475537.opb --max-coef 1000000000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
solver pid=67178, runsolver pid=67170
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 0.95 1.46 2.30 3/247 67183
/proc/meminfo: memFree=126875852/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=50352 memory=256 CPUtime=0 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) D 67170 67178 67122 0 -1 4194304 72 0 3 0 0 0 0 0 20 0 1 0 63233180 51560448 64 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 12588 64 64 641 0 208 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 50352 KiB
Current children cumulated memory: 256 KiB

[startup+0.214117 s]*
/proc/loadavg: 0.95 1.46 2.30 4/247 67183
/proc/meminfo: memFree=126874616/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=61524 memory=1920 CPUtime=0 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) D 67170 67178 67122 0 -1 4194304 167 0 6 0 0 0 0 0 20 0 1 0 63233180 63000576 480 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 15381 480 448 641 0 249 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 61524 KiB
Current children cumulated memory: 1920 KiB

[startup+0.312473 s]*
/proc/loadavg: 0.95 1.46 2.30 3/250 67186
/proc/meminfo: memFree=126874372/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=61616 memory=4992 CPUtime=0 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) D 67170 67178 67122 0 -1 4194304 356 0 21 0 0 0 0 0 20 0 1 0 63233180 63094784 1248 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 15404 1248 1056 641 0 161 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 61616 KiB
Current children cumulated memory: 4992 KiB

[startup+0.700286 s]
/proc/loadavg: 0.95 1.46 2.30 6/253 67193
/proc/meminfo: memFree=126259156/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=99420 memory=31320 CPUtime=0.33 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 5462 0 25 0 30 3 0 0 20 0 1 0 63233180 101806080 7830 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 24855 7830 1600 641 0 9612 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 99420 KiB
Current children cumulated memory: 31320 KiB

[startup+1.50029 s]
/proc/loadavg: 0.95 1.46 2.30 6/253 67193
/proc/meminfo: memFree=125036208/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=162596 memory=91484 CPUtime=1.12 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 16085 0 25 0 101 11 0 0 20 0 1 0 63233180 166498304 22871 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 40649 22871 1696 641 0 25406 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 162596 KiB
Current children cumulated memory: 91484 KiB

[startup+3.11233 s]
/proc/loadavg: 0.95 1.46 2.30 5/256 67196
/proc/meminfo: memFree=124716380/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=292540 memory=201152 CPUtime=2.72 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 33964 0 25 0 209 63 0 0 20 0 2 0 63233180 299560960 50288 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 73135 50288 2272 641 0 55618 0
[pid=67178/tid=67196] ppid=67170 vsize=292540 memory=14352 CPUtime=0 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 63233452 299560960 50288 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 292540 KiB
Current children cumulated memory: 201152 KiB

[startup+6.30029 s]
/proc/loadavg: 1.19 1.51 2.31 6/257 67197
/proc/meminfo: memFree=124388076/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=632812 memory=511348 CPUtime=5.9 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 112676 0 28 0 486 104 0 0 20 0 2 0 63233180 647999488 127837 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 158203 127837 3520 641 0 140686 0
[pid=67178/tid=67196] ppid=67170 vsize=632812 memory=207168 CPUtime=0 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 63233452 647999488 127837 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 632812 KiB
Current children cumulated memory: 511348 KiB

[startup+12.7003 s]
/proc/loadavg: 1.42 1.55 2.32 6/257 67197
/proc/meminfo: memFree=123875572/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=639244 memory=521204 CPUtime=12.26 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 128090 0 37 0 1112 114 0 0 20 0 2 0 63233180 654585856 130301 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 159811 130301 3744 641 0 142294 0
[pid=67178/tid=67196] ppid=67170 vsize=639244 memory=521204 CPUtime=0 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 63233452 654585856 130301 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 639244 KiB
Current children cumulated memory: 521204 KiB

[startup+25.5003 s]
/proc/loadavg: 1.99 1.67 2.35 6/257 67197
/proc/meminfo: memFree=123583688/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=639244 memory=521204 CPUtime=25.05 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 139140 0 37 0 2364 141 0 0 20 0 2 0 63233180 654585856 130301 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 159811 130301 3744 641 0 142294 0
[pid=67178/tid=67196] ppid=67170 vsize=639244 memory=521204 CPUtime=0.02 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 7 0 0 0 0 2 0 0 20 0 2 0 63233452 654585856 130301 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 25.05 s
Current children cumulated vsize: 639244 KiB
Current children cumulated memory: 521204 KiB

[startup+51.1129 s]
/proc/loadavg: 2.94 1.92 2.41 6/257 67198
/proc/meminfo: memFree=123806500/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=639244 memory=521204 CPUtime=50.64 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 140136 0 37 0 4870 194 0 0 20 0 2 0 63233180 654585856 130301 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 159811 130301 3744 641 0 142294 0
[pid=67178/tid=67196] ppid=67170 vsize=639244 memory=-7531269346173681343 CPUtime=0.05 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 8 0 0 0 1 4 0 0 20 0 2 0 63233452 654585856 130301 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 50.64 s
Current children cumulated vsize: 639244 KiB
Current children cumulated memory: 521204 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 2.24 2.50 6/257 67200
/proc/meminfo: memFree=124192020/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=639244 memory=521588 CPUtime=101.8 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 152624 0 37 0 9881 299 0 0 20 0 2 0 63233180 654585856 130397 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 159811 130397 3744 641 0 142294 0
[pid=67178/tid=67196] ppid=67170 vsize=639244 memory=14352 CPUtime=0.12 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 12 0 0 0 4 8 0 0 20 0 2 0 63233452 654585856 130397 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 639244 KiB
Current children cumulated memory: 521588 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.60 2.60 6/255 67213
/proc/meminfo: memFree=124315232/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=639244 memory=524148 CPUtime=161.76 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 153117 0 37 0 15748 428 0 0 20 0 2 0 63233180 654585856 131037 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 159811 131037 3744 641 0 142294 0
[pid=67178/tid=67196] ppid=67170 vsize=639244 memory=523764 CPUtime=0.19 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 12 0 0 0 6 13 0 0 20 0 2 0 63233452 654585856 131037 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 639244 KiB
Current children cumulated memory: 524148 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.88 2.70 6/255 67215
/proc/meminfo: memFree=124232932/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=639244 memory=525428 CPUtime=221.73 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 153628 0 37 0 21613 560 0 0 20 0 2 0 63233180 654585856 131357 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 159811 131357 3744 641 0 142294 0
[pid=67178/tid=67196] ppid=67170 vsize=639244 memory=525300 CPUtime=0.26 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 13 0 0 0 7 19 0 0 20 0 2 0 63233452 654585856 131357 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 639244 KiB
Current children cumulated memory: 525428 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.10 2.79 6/256 67220
/proc/meminfo: memFree=124209416/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=650920 memory=528200 CPUtime=281.7 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 162083 0 37 0 27475 695 0 0 20 0 2 0 63233180 666542080 132050 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 162730 132050 3744 641 0 145213 0
[pid=67178/tid=67196] ppid=67170 vsize=650920 memory=526068 CPUtime=0.34 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 16 0 0 0 10 24 0 0 20 0 2 0 63233452 666542080 132050 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 281.7 s
Current children cumulated vsize: 650920 KiB
Current children cumulated memory: 528200 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.29 2.88 6/254 67222
/proc/meminfo: memFree=123704676/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=650920 memory=528200 CPUtime=341.67 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 162285 0 37 0 33334 833 0 0 20 0 2 0 63233180 666542080 132050 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 162730 132050 3744 641 0 145213 0
[pid=67178/tid=67196] ppid=67170 vsize=650920 memory=526068 CPUtime=0.42 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 17 0 0 0 12 30 0 0 20 0 2 0 63233452 666542080 132050 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 341.67 s

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

/proc/meminfo: memFree=121465208/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=719768 memory=599176 CPUtime=2980.5 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 259167 0 37 0 290003 8047 0 0 20 0 2 0 63233180 737042432 149794 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 179942 149794 3744 641 0 162425 0
[pid=67178/tid=67196] ppid=67170 vsize=719768 memory=14352 CPUtime=3.96 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 39 0 0 0 119 277 0 0 20 0 2 0 63233452 737042432 149794 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 2980.5 s
Current children cumulated vsize: 719768 KiB
Current children cumulated memory: 599176 KiB

[startup+3042.3 s]
/proc/loadavg: 4.24 4.15 4.09 6/256 67353
/proc/meminfo: memFree=121482624/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=723560 memory=603016 CPUtime=3040.48 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 268767 0 37 0 295822 8226 0 0 20 0 2 0 63233180 740925440 150754 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 180890 150754 3744 641 0 163373 0
[pid=67178/tid=67196] ppid=67170 vsize=723560 memory=602376 CPUtime=4.04 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 39 0 0 0 121 283 0 0 20 0 2 0 63233452 740925440 150754 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3040.48 s
Current children cumulated vsize: 723560 KiB
Current children cumulated memory: 603016 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.15 4.09 6/256 67354
/proc/meminfo: memFree=121266028/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=727904 memory=607368 CPUtime=3100.45 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 270824 0 37 0 301646 8399 0 0 20 0 2 0 63233180 745373696 151842 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 181976 151842 3744 641 0 164459 0
[pid=67178/tid=67196] ppid=67170 vsize=727904 memory=2888 CPUtime=4.12 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 40 0 0 0 123 289 0 0 20 0 2 0 63233452 745373696 151842 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3100.45 s
Current children cumulated vsize: 727904 KiB
Current children cumulated memory: 607368 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.09 6/255 67356
/proc/meminfo: memFree=121239444/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=731232 memory=610568 CPUtime=3160.41 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 272010 0 37 0 307471 8570 0 0 20 0 2 0 63233180 748781568 152642 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 182808 152642 3744 641 0 165291 0
[pid=67178/tid=67196] ppid=67170 vsize=731232 memory=14352 CPUtime=4.2 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 40 0 0 0 126 294 0 0 20 0 2 0 63233452 748781568 152642 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3160.41 s
Current children cumulated vsize: 731232 KiB
Current children cumulated memory: 610568 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/255 67358
/proc/meminfo: memFree=121441728/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=734324 memory=613640 CPUtime=3220.39 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 273163 0 37 0 313297 8742 0 0 20 0 2 0 63233180 751947776 153410 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 183581 153410 3744 641 0 166064 0
[pid=67178/tid=67196] ppid=67170 vsize=734324 memory=14352 CPUtime=4.28 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 41 0 0 0 128 300 0 0 20 0 2 0 63233452 751947776 153410 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3220.39 s
Current children cumulated vsize: 734324 KiB
Current children cumulated memory: 613640 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/256 67363
/proc/meminfo: memFree=117049476/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=737168 memory=616584 CPUtime=3280.36 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 274211 0 37 0 319127 8909 0 0 20 0 2 0 63233180 754860032 154146 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 184292 154146 3744 641 0 166775 0
[pid=67178/tid=67196] ppid=67170 vsize=737168 memory=616328 CPUtime=4.36 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 41 0 0 0 131 305 0 0 20 0 2 0 63233452 754860032 154146 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3280.36 s
Current children cumulated vsize: 737168 KiB
Current children cumulated memory: 616584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/254 67365
/proc/meminfo: memFree=117311124/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=740376 memory=619784 CPUtime=3340.33 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 275187 0 37 0 324946 9087 0 0 20 0 2 0 63233180 758145024 154946 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 185094 154946 3744 641 0 167577 0
[pid=67178/tid=67196] ppid=67170 vsize=740376 memory=14352 CPUtime=4.46 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 42 0 0 0 133 313 0 0 20 0 2 0 63233452 758145024 154946 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3340.33 s
Current children cumulated vsize: 740376 KiB
Current children cumulated memory: 619784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.39 4.17 4.11 6/256 67369
/proc/meminfo: memFree=117981444/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=743716 memory=623112 CPUtime=3400.29 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 285621 0 37 0 330764 9265 0 0 20 0 2 0 63233180 761565184 155778 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 185929 155778 3744 641 0 168412 0
[pid=67178/tid=67196] ppid=67170 vsize=743716 memory=622984 CPUtime=4.56 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 42 0 0 0 136 320 0 0 20 0 2 0 63233452 761565184 155778 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3400.29 s
Current children cumulated vsize: 743716 KiB
Current children cumulated memory: 623112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.61 4.29 4.16 6/256 67375
/proc/meminfo: memFree=117682452/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=747352 memory=626824 CPUtime=3460.26 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 296408 0 37 0 336584 9442 0 0 20 0 2 0 63233180 765288448 156706 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 186838 156706 3744 641 0 169321 0
[pid=67178/tid=67196] ppid=67170 vsize=747352 memory=14352 CPUtime=4.66 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 42 0 0 0 139 327 0 0 20 0 2 0 63233452 765288448 156706 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3460.26 s
Current children cumulated vsize: 747352 KiB
Current children cumulated memory: 626824 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.25 4.15 6/256 67377
/proc/meminfo: memFree=117655652/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=751536 memory=632960 CPUtime=3520.22 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 298959 0 37 0 342401 9621 0 0 20 0 2 0 63233180 769572864 158240 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 187884 158240 3744 641 0 170367 0
[pid=67178/tid=67196] ppid=67170 vsize=751536 memory=628872 CPUtime=4.75 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 43 0 0 0 142 333 0 0 20 0 2 0 63233452 769572864 158240 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3520.22 s
Current children cumulated vsize: 751536 KiB
Current children cumulated memory: 632960 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.22 4.15 6/256 67379
/proc/meminfo: memFree=117932808/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=756224 memory=639688 CPUtime=3580.19 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 300987 0 37 0 348218 9801 0 0 20 0 2 0 63233180 774373376 159922 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 189056 159922 3744 641 0 171539 0
[pid=67178/tid=67196] ppid=67170 vsize=756224 memory=638792 CPUtime=4.84 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 43 0 0 0 144 340 0 0 20 0 2 0 63233452 774373376 159922 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3580.19 s
Current children cumulated vsize: 756224 KiB
Current children cumulated memory: 639688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.2 s]
/proc/loadavg: 4.09 4.20 4.14 6/256 67380
/proc/meminfo: memFree=117805680/131382116 swapFree=33009904/33010684
[pid=67178] ppid=67170 vsize=757828 memory=641352 CPUtime=3600.07 cores=4,6
/proc/67178/stat : 67178 (ipbhs_gurobi) R 67170 67178 67122 0 -1 4194304 301591 0 37 0 350151 9856 0 0 20 0 2 0 63233180 776015872 160338 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
/proc/67178/statm: 189457 160338 3744 641 0 171940 0
[pid=67178/tid=67196] ppid=67170 vsize=757828 memory=1792 CPUtime=4.87 cores=4,6
/proc/67178/task/67196/stat : 67196 (ipbhs_gurobi) S 67170 67178 67122 0 -1 4194368 43 0 0 0 145 342 0 0 20 0 2 0 63233452 776015872 160338 18446744073709551615 94617646391296 94617649016349 140724853105376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94617649635224 94617649668186 94617654976512 140724853111199 140724853111303 140724853111303 140724853116905 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 757828 KiB
Current children cumulated memory: 641352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3501.52 s, system=98.5807 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): 3602.22
CPU time (s): 3600.1
CPU user time (s): 3501.52
CPU system time (s): 98.5807
CPU usage (%): 99.9413
Max. virtual memory (cumulated for all children) (KiB): 757828
Max. memory (cumulated for all children) (KiB): 641352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3501.52
system time used= 98.5807
maximum resident set size= 641352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301591
page faults= 37
swaps= 0
block input operations= 2664
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356627
involuntary context switches= 3499


# summary of solver processes directly reported to runsolver:
#   pid: 67178
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3501.52
#   total CPU system time (s): 98.5807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7859 second user time and 31.3089 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-02 18:58:57
IDJOB=4504878
IDBENCH=155700
IDSOLVER=3333
FILE ID=nodeC010/4504878-1751475537
RUNJOBID= nodeC010-1751475537-67133
SLURM_JOB_ID= 9598508
Free space on /tmp= 431904 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_2_mh_ic.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504878-1751475537/watcher-4504878-1751475537 -o /tmp/evaluation-result-4504878-1751475537/solver-4504878-1751475537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751475537-67133 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4504878-1751475537.opb --max-coef 1000000000

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

MD5SUM BENCH= 5a166d04cd3e9d201c89375e6d39e5e9
RANDOM SEED=509416995

nodeC010 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	: 0xb00001f
cpu MHz		: 1197.164
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.117
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.103
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.214
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.117
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1196.849
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.149
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1795.815
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126932480 kB
MemAvailable:   128084236 kB
Buffers:            2128 kB
Cached:          1952088 kB
SwapCached:           24 kB
Active:           621168 kB
Inactive:        1393360 kB
Active(anon):      71944 kB
Inactive(anon):     6336 kB
Active(file):     549224 kB
Inactive(file):  1387024 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            232576 kB
Writeback:            16 kB
AnonPages:         63424 kB
Mapped:           104144 kB
Shmem:             17936 kB
KReclaimable:     110272 kB
Slab:             195276 kB
SReclaimable:     110272 kB
SUnreclaim:        85004 kB
KernelStack:        3840 kB
PageTables:         2792 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     331080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 431780 MiB
End job on nodeC010 at 2025-07-02 19:59:00