Trace number 4505062

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.08 3606.22

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
MD5SUM1a585859cd518f3581f5f80c37fe0c7b
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 benchmark14659783
Best CPU time to get the best result obtained on this benchmark72002.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables125200
Total number of constraints250157
Number of constraints which are clauses120150
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints130000
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 7400
Biggest coefficient in the objective function 99897344
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 45563322036
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 99897344
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 45563322036
Number of bits of the biggest sum of numbers36
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
1.85/1.98	c limit for coefficient in constraints and objective to 1000000000
1.85/1.98	c will solve HOME/instance-4505062-1751479145.opb
1.85/1.98	c [0.09] 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 (62190 MiB free)
  memory of node 1: 64465 MiB (63238 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=67561, runsolver pid=67558

[startup+0.100068 s]*
/proc/loadavg: 4.09 4.20 4.14 4/247 67568
/proc/meminfo: memFree=128434748/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=87944 memory=21648 CPUtime=0.09 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 3018 0 0 0 8 1 0 0 20 0 1 0 63593983 90054656 5412 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 21986 5412 1632 641 0 6743 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87944 KiB
Current children cumulated memory: 21648 KiB

[startup+0.213243 s]*
/proc/loadavg: 4.09 4.20 4.14 4/247 67572
/proc/meminfo: memFree=128427844/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=96700 memory=29280 CPUtime=0.2 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 4422 0 0 0 18 2 0 0 20 0 1 0 63593983 99020800 7320 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 24175 7320 1632 641 0 8932 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 96700 KiB
Current children cumulated memory: 29280 KiB

[startup+0.313419 s]*
/proc/loadavg: 4.09 4.20 4.14 4/252 67586
/proc/meminfo: memFree=128426920/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=100704 memory=33632 CPUtime=0.3 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 5504 0 0 0 27 3 0 0 20 0 1 0 63593983 103120896 8408 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 25176 8408 1632 641 0 9933 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100704 KiB
Current children cumulated memory: 33632 KiB

[startup+0.700286 s]
/proc/loadavg: 4.09 4.20 4.14 5/250 67597
/proc/meminfo: memFree=128472036/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=120608 memory=54324 CPUtime=0.67 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 9915 0 0 0 62 5 0 0 20 0 1 0 63593983 123502592 13581 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 30152 13581 1632 641 0 14909 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 120608 KiB
Current children cumulated memory: 54324 KiB

[startup+1.50024 s]
/proc/loadavg: 4.09 4.20 4.14 5/249 67603
/proc/meminfo: memFree=128398500/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=198188 memory=136660 CPUtime=1.45 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 23764 0 0 0 112 33 0 0 20 0 1 0 63593983 202944512 34165 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 49547 34165 1728 641 0 34304 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 198188 KiB
Current children cumulated memory: 136660 KiB

[startup+3.11297 s]
/proc/loadavg: 4.16 4.21 4.15 5/252 67645
/proc/meminfo: memFree=127040340/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=339028 memory=260456 CPUtime=3.05 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 71149 0 0 0 244 61 0 0 20 0 2 0 63593983 347164672 65114 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 84757 65114 3520 641 0 67240 0
[pid=67561/tid=67608] ppid=67558 vsize=339028 memory=198340509722 CPUtime=0 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 63594171 347164672 65114 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 339028 KiB
Current children cumulated memory: 260456 KiB

[startup+6.30033 s]
/proc/loadavg: 4.16 4.21 4.15 5/255 67655
/proc/meminfo: memFree=126392368/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=339516 memory=260712 CPUtime=6.23 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 78717 0 0 0 547 76 0 0 20 0 2 0 63593983 347664384 65178 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 84879 65178 3520 641 0 67362 0
[pid=67561/tid=67608] ppid=67558 vsize=339516 memory=2688 CPUtime=0 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 63594171 347664384 65178 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 339516 KiB
Current children cumulated memory: 260712 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.21 4.14 5/255 67655
/proc/meminfo: memFree=124863676/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=340540 memory=261864 CPUtime=12.62 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 93433 0 0 0 1159 103 0 0 20 0 2 0 63593983 348712960 65466 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 85135 65466 3520 641 0 67618 0
[pid=67561/tid=67608] ppid=67558 vsize=340540 memory=2688 CPUtime=0.01 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 9 0 0 0 0 1 0 0 20 0 2 0 63594171 348712960 65466 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 340540 KiB
Current children cumulated memory: 261864 KiB

[startup+25.5004 s]
/proc/loadavg: 4.19 4.21 4.15 5/257 67657
/proc/meminfo: memFree=122607572/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=355132 memory=269220 CPUtime=25.4 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 111286 0 0 0 2376 164 0 0 20 0 2 0 63593983 363655168 67305 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 88783 67305 3520 641 0 71266 0
[pid=67561/tid=67608] ppid=67558 vsize=355132 memory=14352 CPUtime=0.02 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 12 0 0 0 0 2 0 0 20 0 2 0 63594171 363655168 67305 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 355132 KiB
Current children cumulated memory: 269220 KiB

[startup+51.1129 s]
/proc/loadavg: 4.27 4.23 4.15 5/257 67658
/proc/meminfo: memFree=122966272/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=360956 memory=281180 CPUtime=50.99 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 119630 0 0 0 4817 282 0 0 20 0 2 0 63593983 369618944 70295 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 90239 70295 3520 641 0 72722 0
[pid=67561/tid=67608] ppid=67558 vsize=360956 memory=278180 CPUtime=0.07 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 14 0 0 0 2 5 0 0 20 0 2 0 63594171 369618944 70295 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 360956 KiB
Current children cumulated memory: 281180 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.22 4.16 5/255 67659
/proc/meminfo: memFree=122866520/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=400784 memory=318624 CPUtime=102.12 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 147593 0 0 0 9716 496 0 0 20 0 2 0 63593983 410402816 79656 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 100196 79656 3520 641 0 82679 0
[pid=67561/tid=67608] ppid=67558 vsize=400784 memory=14352 CPUtime=0.15 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 19 0 0 0 4 11 0 0 20 0 2 0 63594171 410402816 79656 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 400784 KiB
Current children cumulated memory: 318624 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.21 4.16 5/256 67673
/proc/meminfo: memFree=122854824/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=447580 memory=347212 CPUtime=162.04 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 153622 0 0 0 15482 722 0 0 20 0 2 0 63593983 458321920 86803 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 111895 86803 3520 641 0 94378 0
[pid=67561/tid=67608] ppid=67558 vsize=447580 memory=328680 CPUtime=0.24 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 20 0 0 0 7 17 0 0 20 0 2 0 63594171 458321920 86803 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 162.04 s
Current children cumulated vsize: 447580 KiB
Current children cumulated memory: 347212 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/256 67675
/proc/meminfo: memFree=122792400/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=464168 memory=371888 CPUtime=221.98 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 160813 0 0 0 21241 957 0 0 20 0 2 0 63593983 475308032 92972 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 116042 92972 3520 641 0 98525 0
[pid=67561/tid=67608] ppid=67558 vsize=464168 memory=371888 CPUtime=0.34 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 20 0 0 0 10 24 0 0 20 0 2 0 63594171 475308032 92972 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 221.98 s
Current children cumulated vsize: 464168 KiB
Current children cumulated memory: 371888 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/257 67680
/proc/meminfo: memFree=122753540/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=475040 memory=382768 CPUtime=281.9 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 163611 0 0 0 27002 1188 0 0 20 0 2 0 63593983 486440960 95692 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 118760 95692 3520 641 0 101243 0
[pid=67561/tid=67608] ppid=67558 vsize=475040 memory=378288 CPUtime=0.43 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 20 0 0 0 12 31 0 0 20 0 2 0 63594171 486440960 95692 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 281.9 s
Current children cumulated vsize: 475040 KiB
Current children cumulated memory: 382768 KiB

[startup+342.3 s]
/proc/loadavg: 4.73 4.34 4.21 5/255 67682
/proc/meminfo: memFree=122701032/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=483092 memory=392240 CPUtime=341.82 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 165752 0 0 0 32775 1407 0 0 20 0 2 0 63593983 494686208 98060 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 120773 98060 3520 641 0 103256 0
[pid=67561/tid=67608] ppid=67558 vsize=483092 memory=378288 CPUtime=0.53 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 21 0 0 0 15 38 0 0 20 0 2 0 63594171 494686208 98060 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 341.82 s

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

/proc/meminfo: memFree=118822068/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=842228 memory=728704 CPUtime=2977.36 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 466786 0 0 0 292100 5636 0 0 20 0 2 0 63593983 862441472 182176 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 210557 182176 3520 641 0 193040 0
[pid=67561/tid=67608] ppid=67558 vsize=842228 memory=-7531269346039593663 CPUtime=4.86 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 66 0 0 0 144 342 0 0 20 0 2 0 63594171 862441472 182176 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 2977.36 s
Current children cumulated vsize: 842228 KiB
Current children cumulated memory: 728704 KiB

[startup+3042.3 s]
/proc/loadavg: 4.72 4.33 4.22 5/256 67857
/proc/meminfo: memFree=118753308/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=842228 memory=728704 CPUtime=3037.24 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 470060 0 0 0 298074 5650 0 0 20 0 2 0 63593983 862441472 182176 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 210557 182176 3520 641 0 193040 0
[pid=67561/tid=67608] ppid=67558 vsize=842228 memory=728704 CPUtime=4.96 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 67 0 0 0 147 349 0 0 20 0 2 0 63594171 862441472 182176 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3037.24 s
Current children cumulated vsize: 842228 KiB
Current children cumulated memory: 728704 KiB

[startup+3102.3 s]
/proc/loadavg: 4.34 4.30 4.22 5/256 67860
/proc/meminfo: memFree=118714328/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=842888 memory=729344 CPUtime=3097.12 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 488576 0 0 0 304038 5674 0 0 20 0 2 0 63593983 863117312 182336 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 210722 182336 3520 641 0 193205 0
[pid=67561/tid=67608] ppid=67558 vsize=842888 memory=14352 CPUtime=5.06 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 69 0 0 0 150 356 0 0 20 0 2 0 63594171 863117312 182336 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3097.12 s
Current children cumulated vsize: 842888 KiB
Current children cumulated memory: 729344 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.29 4.22 5/254 67862
/proc/meminfo: memFree=118675120/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=842888 memory=729344 CPUtime=3157.01 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 504985 0 0 0 310005 5696 0 0 20 0 2 0 63593983 863117312 182336 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 210722 182336 3520 641 0 193205 0
[pid=67561/tid=67608] ppid=67558 vsize=842888 memory=729344 CPUtime=5.15 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 70 0 0 0 153 362 0 0 20 0 2 0 63594171 863117312 182336 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3157.01 s
Current children cumulated vsize: 842888 KiB
Current children cumulated memory: 729344 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.25 4.20 5/253 67864
/proc/meminfo: memFree=118549312/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=845716 memory=736128 CPUtime=3216.89 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 524159 0 0 0 315977 5712 0 0 20 0 2 0 63593983 866013184 184032 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 211429 184032 3520 641 0 193912 0
[pid=67561/tid=67608] ppid=67558 vsize=845716 memory=736128 CPUtime=5.25 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 73 0 0 0 157 368 0 0 20 0 2 0 63594171 866013184 184032 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3216.89 s
Current children cumulated vsize: 845716 KiB
Current children cumulated memory: 736128 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.22 4.19 5/254 67869
/proc/meminfo: memFree=118520956/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=845716 memory=736128 CPUtime=3276.77 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 525836 0 0 0 321944 5733 0 0 20 0 2 0 63593983 866013184 184032 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 211429 184032 3520 641 0 193912 0
[pid=67561/tid=67608] ppid=67558 vsize=845716 memory=14352 CPUtime=5.35 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 73 0 0 0 160 375 0 0 20 0 2 0 63594171 866013184 184032 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3276.77 s
Current children cumulated vsize: 845716 KiB
Current children cumulated memory: 736128 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/254 67871
/proc/meminfo: memFree=118497504/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=845716 memory=736128 CPUtime=3336.65 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 532822 0 0 0 327918 5747 0 0 20 0 2 0 63593983 866013184 184032 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 211429 184032 3520 641 0 193912 0
[pid=67561/tid=67608] ppid=67558 vsize=845716 memory=14352 CPUtime=5.45 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 73 0 0 0 163 382 0 0 20 0 2 0 63594171 866013184 184032 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3336.65 s
Current children cumulated vsize: 845716 KiB
Current children cumulated memory: 736128 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.17 4.17 5/254 67873
/proc/meminfo: memFree=118391304/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=845716 memory=736128 CPUtime=3396.54 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 532872 0 0 0 333894 5760 0 0 20 0 2 0 63593983 866013184 184032 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 211429 184032 3520 641 0 193912 0
[pid=67561/tid=67608] ppid=67558 vsize=845716 memory=736128 CPUtime=5.55 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 74 0 0 0 167 388 0 0 20 0 2 0 63594171 866013184 184032 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3396.54 s
Current children cumulated vsize: 845716 KiB
Current children cumulated memory: 736128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/255 67880
/proc/meminfo: memFree=118333724/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=977976 memory=771000 CPUtime=3456.42 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 533675 0 0 0 339860 5782 0 0 20 0 2 0 63593983 1001447424 192750 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 244494 192750 3520 641 0 226977 0
[pid=67561/tid=67608] ppid=67558 vsize=977976 memory=736128 CPUtime=5.64 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 74 0 0 0 169 395 0 0 20 0 2 0 63594171 1001447424 192750 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3456.42 s
Current children cumulated vsize: 977976 KiB
Current children cumulated memory: 771000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/255 67882
/proc/meminfo: memFree=118314604/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=979428 memory=774456 CPUtime=3516.31 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 547689 0 0 0 345831 5800 0 0 20 0 2 0 63593983 1002934272 193614 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 244857 193614 3520 641 0 227340 0
[pid=67561/tid=67608] ppid=67558 vsize=979428 memory=774456 CPUtime=5.74 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 76 0 0 0 171 403 0 0 20 0 2 0 63594171 1002934272 193614 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3516.31 s
Current children cumulated vsize: 979428 KiB
Current children cumulated memory: 774456 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/254 67884
/proc/meminfo: memFree=118336320/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=979428 memory=774456 CPUtime=3576.19 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 550027 0 0 0 351792 5827 0 0 20 0 2 0 63593983 1002934272 193614 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 244857 193614 3520 641 0 227340 0
[pid=67561/tid=67608] ppid=67558 vsize=979428 memory=14352 CPUtime=5.84 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 77 0 0 0 174 410 0 0 20 0 2 0 63594171 1002934272 193614 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3576.19 s
Current children cumulated vsize: 979428 KiB
Current children cumulated memory: 774456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.2 s]
/proc/loadavg: 4.11 4.15 4.17 5/254 67884
/proc/meminfo: memFree=118335704/131382116 swapFree=33009904/33010684
[pid=67561] ppid=67558 vsize=979428 memory=774456 CPUtime=3600.05 cores=1,3
/proc/67561/stat : 67561 (ipbhs_gurobi) R 67558 67561 67122 0 -1 4194304 550306 0 0 0 354172 5833 0 0 20 0 2 0 63593983 1002934272 193614 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
/proc/67561/statm: 244857 193614 3520 641 0 227340 0
[pid=67561/tid=67608] ppid=67558 vsize=979428 memory=245635481903 CPUtime=5.88 cores=1,3
/proc/67561/task/67608/stat : 67608 (ipbhs_gurobi) S 67558 67561 67122 0 -1 4194368 78 0 0 0 176 412 0 0 20 0 2 0 63594171 1002934272 193614 18446744073709551615 94187713839104 94187716464157 140725404071184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94187717083032 94187717115994 94187739627520 140725404080543 140725404080647 140725404080647 140725404086249 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 979428 KiB
Current children cumulated memory: 774456 KiB

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

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

# cumulated CPU time of all completed processes:  user=3541.73 s, system=58.3457 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): 3606.22
CPU time (s): 3600.08
CPU user time (s): 3541.73
CPU system time (s): 58.3457
CPU usage (%): 99.8297
Max. virtual memory (cumulated for all children) (KiB): 979428
Max. memory (cumulated for all children) (KiB): 774456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3541.73
system time used= 58.3457
maximum resident set size= 774456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550306
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= 356938
involuntary context switches= 19547


# summary of solver processes directly reported to runsolver:
#   pid: 67561
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3541.73
#   total CPU system time (s): 58.3457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3542 second user time and 34.0587 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-02 19:59:05
IDJOB=4505062
IDBENCH=155733
IDSOLVER=3333
FILE ID=nodeC010/4505062-1751479145
RUNJOBID= nodeC010-1751475537-67134
SLURM_JOB_ID= 9598508
Free space on /tmp= 431876 MiB

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

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

MD5SUM BENCH= 1a585859cd518f3581f5f80c37fe0c7b
RANDOM SEED=903564425

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		: 3491.736
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.138
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.385
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		: 1596.245
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.100
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		: 1895.402
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.588
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		: 1197.630
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:        128427192 kB
MemAvailable:   129610848 kB
Buffers:            2128 kB
Cached:          1983932 kB
SwapCached:           24 kB
Active:           864032 kB
Inactive:        1413664 kB
Active(anon):     303236 kB
Inactive(anon):     6336 kB
Active(file):     560796 kB
Inactive(file):  1407328 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            191372 kB
Writeback:             4 kB
AnonPages:        294708 kB
Mapped:           113776 kB
Shmem:             17936 kB
KReclaimable:     110320 kB
Slab:             195732 kB
SReclaimable:     110320 kB
SUnreclaim:        85412 kB
KernelStack:        3936 kB
PageTables:         3372 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     599016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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= 431528 MiB
End job on nodeC010 at 2025-07-02 20:59:12