Trace number 4489858

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.12 3609.05

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
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 benchmark220
Best CPU time to get the best result obtained on this benchmark3586.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 497468
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 497468
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 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
3.17/3.27	c limit for coefficient in constraints and objective to 1000000000
3.17/3.27	c will solve HOME/instance-4489858-1751355075.opb
3.17/3.27	c [0] 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 (62236 MiB free)
  memory of node 1: 64465 MiB (62939 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489858-1751355075/watcher-4489858-1751355075 -o /tmp/evaluation-result-4489858-1751355075/solver-4489858-1751355075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751347857-43766 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4489858-1751355075.opb --max-coef 1000000000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=44532, runsolver pid=44529
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 4.20 4.18 4.14 4/248 44539
/proc/meminfo: memFree=128164720/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=76216 memory=12140 CPUtime=0.09 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 2197 0 0 0 8 1 0 0 20 0 1 0 51186434 78045184 3035 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 19054 3035 1664 641 0 3811 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76216 KiB
Current children cumulated memory: 12140 KiB

[startup+0.210602 s]*
/proc/loadavg: 4.20 4.18 4.14 5/247 44542
/proc/meminfo: memFree=128146424/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=81152 memory=17028 CPUtime=0.2 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 3558 0 0 0 19 1 0 0 20 0 1 0 51186434 83099648 4257 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 20288 4257 1664 641 0 5045 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81152 KiB
Current children cumulated memory: 17028 KiB

[startup+0.312323 s]*
/proc/loadavg: 4.20 4.18 4.14 4/246 44549
/proc/meminfo: memFree=128139876/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=88516 memory=21256 CPUtime=0.3 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 4860 0 0 0 28 2 0 0 20 0 1 0 51186434 90640384 5314 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 22129 5314 1664 641 0 6886 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88516 KiB
Current children cumulated memory: 21256 KiB

[startup+0.700331 s]
/proc/loadavg: 4.20 4.18 4.14 5/248 44561
/proc/meminfo: memFree=128152232/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=106808 memory=35440 CPUtime=0.67 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 7396 0 0 0 64 3 0 0 20 0 1 0 51186434 109371392 8860 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 26702 8860 1664 641 0 11459 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 35440 KiB

[startup+1.50031 s]
/proc/loadavg: 4.20 4.18 4.14 5/246 44562
/proc/meminfo: memFree=127977588/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=153024 memory=81744 CPUtime=1.48 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 14818 0 0 0 129 19 0 0 20 0 1 0 51186434 156696576 20436 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 38256 20436 1760 641 0 23013 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 153024 KiB
Current children cumulated memory: 81744 KiB

[startup+3.11264 s]
/proc/loadavg: 4.20 4.18 4.14 5/253 44573
/proc/meminfo: memFree=127224868/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=238836 memory=156240 CPUtime=3.08 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 26279 0 0 0 213 95 0 0 20 0 1 0 51186434 244568064 39060 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 59709 39060 1760 641 0 44466 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 238836 KiB
Current children cumulated memory: 156240 KiB

[startup+6.30031 s]
/proc/loadavg: 4.19 4.17 4.14 5/255 44575
/proc/meminfo: memFree=126740532/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=446920 memory=346420 CPUtime=6.27 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 46653 0 0 0 438 189 0 0 20 0 2 0 51186434 457646080 86605 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 111730 86605 2368 641 0 94213 0
[pid=44532/tid=44574] ppid=44529 vsize=446920 memory=6644 CPUtime=0 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 51186760 457646080 86605 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 446920 KiB
Current children cumulated memory: 346420 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.17 4.14 5/255 44575
/proc/meminfo: memFree=125169276/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=1931480 memory=843500 CPUtime=12.65 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 140157 0 0 0 1038 227 0 0 20 0 2 0 51186434 1977835520 210875 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 482870 210875 3168 641 0 465353 0
[pid=44532/tid=44574] ppid=44529 vsize=1931480 memory=789284 CPUtime=0 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 51186760 1977835520 210875 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1931480 KiB
Current children cumulated memory: 843500 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.16 4.14 5/255 44576
/proc/meminfo: memFree=125263136/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=1797832 memory=753128 CPUtime=25.44 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 200003 0 0 0 2303 241 0 0 20 0 2 0 51186434 1840979968 188282 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 449458 188282 3808 641 0 431941 0
[pid=44532/tid=44574] ppid=44529 vsize=1797832 memory=753128 CPUtime=0.01 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 7 0 0 0 0 1 0 0 20 0 2 0 51186760 1840979968 188282 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 1797832 KiB
Current children cumulated memory: 753128 KiB

[startup+51.1128 s]
/proc/loadavg: 4.16 4.16 4.14 5/255 44576
/proc/meminfo: memFree=125541572/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=1797832 memory=753512 CPUtime=51 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 205524 0 0 0 4858 242 0 0 20 0 2 0 51186434 1840979968 188378 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 449458 188378 3840 641 0 431941 0
[pid=44532/tid=44574] ppid=44529 vsize=1797832 memory=753512 CPUtime=0.04 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 9 0 0 0 1 3 0 0 20 0 2 0 51186760 1840979968 188378 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1797832 KiB
Current children cumulated memory: 753512 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.17 4.14 5/256 44716
/proc/meminfo: memFree=125681664/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=1808000 memory=762376 CPUtime=102.08 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 223069 0 0 0 9963 245 0 0 20 0 2 0 51186434 1851392000 190594 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 452000 190594 3840 641 0 434483 0
[pid=44532/tid=44574] ppid=44529 vsize=1808000 memory=762376 CPUtime=0.09 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 15 0 0 0 2 7 0 0 20 0 2 0 51186760 1851392000 190594 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 1808000 KiB
Current children cumulated memory: 762376 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/256 44763
/proc/meminfo: memFree=125605320/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=1808000 memory=762376 CPUtime=161.95 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 232286 0 0 0 15947 248 0 0 20 0 2 0 51186434 1851392000 190594 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 452000 190594 3840 641 0 434483 0
[pid=44532/tid=44574] ppid=44529 vsize=1808000 memory=762376 CPUtime=0.14 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 19 0 0 0 3 11 0 0 20 0 2 0 51186760 1851392000 190594 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 1808000 KiB
Current children cumulated memory: 762376 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/256 44765
/proc/meminfo: memFree=125572472/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=1828432 memory=782600 CPUtime=221.81 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 248671 0 0 0 21928 253 0 0 20 0 2 0 51186434 1872314368 195650 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 457108 195650 3840 641 0 439591 0
[pid=44532/tid=44574] ppid=44529 vsize=1828432 memory=762376 CPUtime=0.2 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 21 0 0 0 5 15 0 0 20 0 2 0 51186760 1872314368 195650 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 1828432 KiB
Current children cumulated memory: 782600 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/256 44767
/proc/meminfo: memFree=125554488/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=1836816 memory=788872 CPUtime=281.67 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 263689 0 0 0 27911 256 0 0 20 0 2 0 51186434 1880899584 197218 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 459204 197218 3840 641 0 441687 0
[pid=44532/tid=44574] ppid=44529 vsize=1836816 memory=784520 CPUtime=0.25 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 23 0 0 0 7 18 0 0 20 0 2 0 51186760 1880899584 197218 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 1836816 KiB
Current children cumulated memory: 788872 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/255 44815
/proc/meminfo: memFree=125797168/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=1836816 memory=788872 CPUtime=341.52 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 274579 0 0 0 33893 259 0 0 20 0 2 0 51186434 1880899584 197218 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 459204 197218 3840 641 0 441687 0
[pid=44532/tid=44574] ppid=44529 vsize=1836816 memory=784520 CPUtime=0.31 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 25 0 0 0 8 23 0 0 20 0 2 0 51186760 1880899584 197218 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 1836816 KiB
Current children cumulated memory: 788872 KiB

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

/proc/meminfo: memFree=122695372/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2265460 memory=1220240 CPUtime=2974.93 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1449276 0 0 0 296991 502 0 0 20 0 2 0 51186434 2319831040 305060 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 566365 305060 3840 641 0 548848 0
[pid=44532/tid=44574] ppid=44529 vsize=2265460 memory=1220240 CPUtime=2.68 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 87 0 0 0 72 196 0 0 20 0 2 0 51186760 2319831040 305060 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 2974.93 s
Current children cumulated vsize: 2265460 KiB
Current children cumulated memory: 1220240 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 45094
/proc/meminfo: memFree=122649760/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2285784 memory=1239184 CPUtime=3034.77 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1488703 0 0 0 302967 510 0 0 20 0 2 0 51186434 2340642816 309796 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 571446 309796 3840 641 0 553929 0
[pid=44532/tid=44574] ppid=44529 vsize=2285784 memory=1239184 CPUtime=2.74 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 89 0 0 0 74 200 0 0 20 0 2 0 51186760 2340642816 309796 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 2285784 KiB
Current children cumulated memory: 1239184 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/254 45096
/proc/meminfo: memFree=122636656/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2298732 memory=1250704 CPUtime=3094.62 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1497370 0 0 0 308949 513 0 0 20 0 2 0 51186434 2353901568 312676 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 574683 312676 3840 641 0 557166 0
[pid=44532/tid=44574] ppid=44529 vsize=2298732 memory=1239440 CPUtime=2.8 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 89 0 0 0 76 204 0 0 20 0 2 0 51186760 2353901568 312676 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3094.62 s
Current children cumulated vsize: 2298732 KiB
Current children cumulated memory: 1250704 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 45098
/proc/meminfo: memFree=122582980/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2315016 memory=1266428 CPUtime=3154.47 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1509762 0 0 0 314930 517 0 0 20 0 2 0 51186434 2370576384 316607 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 578754 316607 3840 641 0 561237 0
[pid=44532/tid=44574] ppid=44529 vsize=2315016 memory=1239440 CPUtime=2.85 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 91 0 0 0 77 208 0 0 20 0 2 0 51186760 2370576384 316607 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3154.47 s
Current children cumulated vsize: 2315016 KiB
Current children cumulated memory: 1266428 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 45100
/proc/meminfo: memFree=122562064/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2315016 memory=1270140 CPUtime=3214.32 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1575654 0 0 0 320906 526 0 0 20 0 2 0 51186434 2370576384 317535 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 578754 317535 3840 641 0 561237 0
[pid=44532/tid=44574] ppid=44529 vsize=2315016 memory=1239440 CPUtime=2.9 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 93 0 0 0 78 212 0 0 20 0 2 0 51186760 2370576384 317535 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 2315016 KiB
Current children cumulated memory: 1270140 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 45102
/proc/meminfo: memFree=122553432/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2317616 memory=1272444 CPUtime=3274.17 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1640882 0 0 0 326881 536 0 0 20 0 2 0 51186434 2373238784 318111 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 579404 318111 3840 641 0 561887 0
[pid=44532/tid=44574] ppid=44529 vsize=2317616 memory=3200 CPUtime=2.95 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 95 0 0 0 79 216 0 0 20 0 2 0 51186760 2373238784 318111 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3274.17 s
Current children cumulated vsize: 2317616 KiB
Current children cumulated memory: 1272444 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 45104
/proc/meminfo: memFree=122507568/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2333740 memory=1287804 CPUtime=3334.01 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1706237 0 0 0 332854 547 0 0 20 0 2 0 51186434 2389749760 321951 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 583435 321951 3840 641 0 565918 0
[pid=44532/tid=44574] ppid=44529 vsize=2333740 memory=14464 CPUtime=3.01 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 95 0 0 0 80 221 0 0 20 0 2 0 51186760 2389749760 321951 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3334.01 s
Current children cumulated vsize: 2333740 KiB
Current children cumulated memory: 1287804 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 45107
/proc/meminfo: memFree=122480096/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2336148 memory=1291516 CPUtime=3393.86 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1749627 0 0 0 338831 555 0 0 20 0 2 0 51186434 2392215552 322879 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 584037 322879 3840 641 0 566520 0
[pid=44532/tid=44574] ppid=44529 vsize=2336148 memory=1289596 CPUtime=3.06 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 97 0 0 0 82 224 0 0 20 0 2 0 51186760 2392215552 322879 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 2336148 KiB
Current children cumulated memory: 1291516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 45112
/proc/meminfo: memFree=122452296/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2350852 memory=1303804 CPUtime=3453.71 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1795681 0 0 0 344808 563 0 0 20 0 2 0 51186434 2407272448 325951 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 587713 325951 3840 641 0 570196 0
[pid=44532/tid=44574] ppid=44529 vsize=2350852 memory=17664 CPUtime=3.12 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 97 0 0 0 84 228 0 0 20 0 2 0 51186760 2407272448 325951 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3453.71 s
Current children cumulated vsize: 2350852 KiB
Current children cumulated memory: 1303804 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 45119
/proc/meminfo: memFree=122407420/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2361176 memory=1314684 CPUtime=3513.56 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1808339 0 0 0 350789 567 0 0 20 0 2 0 51186434 2417844224 328671 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 590294 328671 3840 641 0 572777 0
[pid=44532/tid=44574] ppid=44529 vsize=2361176 memory=1303804 CPUtime=3.17 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 97 0 0 0 85 232 0 0 20 0 2 0 51186760 2417844224 328671 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 2361176 KiB
Current children cumulated memory: 1314684 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 45121
/proc/meminfo: memFree=122362780/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2369224 memory=1323644 CPUtime=3573.41 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1814072 0 0 0 356771 570 0 0 20 0 2 0 51186434 2426085376 330911 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 592306 330911 3840 641 0 574789 0
[pid=44532/tid=44574] ppid=44529 vsize=2369224 memory=11264 CPUtime=3.22 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 97 0 0 0 87 235 0 0 20 0 2 0 51186760 2426085376 330911 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 2369224 KiB
Current children cumulated memory: 1323644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 3.92 4.06 4.08 3/242 45183
/proc/meminfo: memFree=126806032/131382120 swapFree=33010416/33010684
[pid=44532] ppid=44529 vsize=2381160 memory=1335164 CPUtime=3600.07 cores=0,2
/proc/44532/stat : 44532 (ipbhs_gurobi) R 44529 44532 43756 0 -1 4194304 1818468 0 0 0 359434 573 0 0 20 0 2 0 51186434 2438307840 333791 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
/proc/44532/statm: 595290 333791 3840 641 0 577773 0
[pid=44532/tid=44574] ppid=44529 vsize=2381160 memory=-7675384534115712961 CPUtime=3.25 cores=0,2
/proc/44532/task/44574/stat : 44574 (ipbhs_gurobi) S 44529 44532 43756 0 -1 4194368 97 0 0 0 88 237 0 0 20 0 2 0 51186760 2438307840 333791 18446744073709551615 93886077812736 93886080437789 140732108287136 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93886081056664 93886081089626 93886087254016 140732108294559 140732108294663 140732108294663 140732108300265 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2381160 KiB
Current children cumulated memory: 1335164 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.35 s, system=5.76506 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): 3609.05
CPU time (s): 3600.12
CPU user time (s): 3594.35
CPU system time (s): 5.76506
CPU usage (%): 99.7525
Max. virtual memory (cumulated for all children) (KiB): 2993592
Max. memory (cumulated for all children) (KiB): 1335164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.35
system time used= 5.76506
maximum resident set size= 1335164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1818468
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357837
involuntary context switches= 8368


# summary of solver processes directly reported to runsolver:
#   pid: 44532
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3594.35
#   total CPU system time (s): 5.76506

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8864 second user time and 32.9629 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-01 09:31:16
IDJOB=4489858
IDBENCH=147565
IDSOLVER=3333
FILE ID=nodeC002/4489858-1751355075
RUNJOBID= nodeC002-1751347857-43766
SLURM_JOB_ID= 9598119
Free space on /tmp= 432820 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489858-1751355075/watcher-4489858-1751355075 -o /tmp/evaluation-result-4489858-1751355075/solver-4489858-1751355075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751347857-43766 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4489858-1751355075.opb --max-coef 1000000000

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=1177630119

nodeC002 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.530
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.81
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		: 3499.266
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.81
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		: 1596.318
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.81
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.220
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.81
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.226
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.81
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		: 1696.091
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.81
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		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.81
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		: 1197.223
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128187112 kB
MemAvailable:   128184292 kB
Buffers:            2128 kB
Cached:           806788 kB
SwapCached:           28 kB
Active:          2142696 kB
Inactive:         504864 kB
Active(anon):    1850176 kB
Inactive(anon):     6404 kB
Active(file):     292520 kB
Inactive(file):   498460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            227936 kB
Writeback:             0 kB
AnonPages:       1841736 kB
Mapped:           107144 kB
Shmem:             17932 kB
KReclaimable:      91656 kB
Slab:             174656 kB
SReclaimable:      91656 kB
SUnreclaim:        83000 kB
KernelStack:        4080 kB
PageTables:         6748 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    2174476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149352 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1757184 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432928 MiB
End job on nodeC002 at 2025-07-01 10:31:26