Trace number 4509180

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-SCIP 2025-06-09? (TO) 3600.11 3608.81

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
MD5SUM77cfb75a57ffdbd7a405571baa0b4678
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 benchmark61
Best CPU time to get the best result obtained on this benchmark3585.55
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables91392
Total number of constraints1684
Number of constraints which are clauses713
Number of constraints which are cardinality constraints (but not clauses)713
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint714
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 264142
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 882426
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c initialize IPBHS solver
0.00/0.00	c IPBHS 0.0.0 beta (8d0f613-dirty, Jun  3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.00	c optimizer = "scip"
0.00/0.00	c pbsolver = "roundingsat"
0.00/0.00	c use separate pbsolver for SIS
0.00/0.00	c load symmetries from file ""
0.00/0.00	c set time limit for symmetry computation to 100 seconds.
0.00/0.00	c set interchangeable summation variable limit to 3
0.00/0.00	c set sym compact max subset size to 5
0.00/0.00	c set explicit symmetry matrix usage to 1
0.00/0.00	c sym budget explicit to 100
0.00/0.00	c sym budget explicit lits to 6000
0.00/0.00	c sym budget compact to 100
0.00/0.00	c sym budget compact lits to 6000
0.00/0.00	c sym budget common to 0
0.00/0.00	c sym budget common lits to 0
0.00/0.00	c set sym generation to 's'
0.00/0.00	c set abstraction set creation to 10 iterations without LB change
0.00/0.00	c set abstraction set inputs to 0
0.00/0.00	c set abstraction set cluster min size to 2
0.00/0.00	c set abstraction set cluster max size to 100000000
0.00/0.00	c set abstraction set cluster activation limit to 2
0.00/0.00	c enable abstraction set require equal cost
0.00/0.00	c set abstraction set assumptions to 0
0.00/0.00	c set abstraction set constraint type to 0
0.00/0.00	c set abstract core extraction strategy to b
0.00/0.00	c set core extraction strategy to 2
0.00/0.00	c set core extraction shuffles 10
0.00/0.00	c set cores per iteration to 5
0.00/0.00	c set optimizer bound usage strategy to 2
0.00/0.00	c set optimizer max non-optimal iterations to 1000
0.00/0.00	c set small core cardinality limit to 2
0.00/0.00	c set max coef in cores to 1000000000
0.00/0.00	c set core processing techniques to 4095
0.00/0.00	c set SIS iterations to 5
0.00/0.00	c set SIS budget abs to 1000
0.00/0.00	c set SIS budget rel to 0.05
0.30/0.31	c limit for coefficient in constraints and objective to 1000000000
0.30/0.31	c will solve HOME/instance-4509180-1751506620.opb
0.30/0.31	c [0] will start solving
0.59/0.66	c [0.34] solve iteration 1, LB=0, UB=129

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (53479 MiB free)
  memory of node 1: 64465 MiB (51383 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509180-1751506620/watcher-4509180-1751506620 -o /tmp/evaluation-result-4509180-1751506620/solver-4509180-1751506620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751497501-69559 --watchdog 3760 ./ipbhs_scip HOME/instance-4509180-1751506620.opb --optimizer scip --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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=70830, runsolver pid=70827

[startup+0.100062 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 70831
/proc/meminfo: memFree=107367568/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=57940 memory=23036 CPUtime=0.09 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 4859 0 0 0 9 0 0 0 20 0 1 0 66340674 59330560 5759 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 14485 5759 1600 2790 0 7910 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57940 KiB
Current children cumulated memory: 23036 KiB

[startup+0.205816 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 70831
/proc/meminfo: memFree=107331152/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=94856 memory=63016 CPUtime=0.2 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 12441 0 0 0 18 2 0 0 20 0 1 0 66340674 97132544 15754 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 23714 15754 1696 2790 0 17139 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 94856 KiB
Current children cumulated memory: 63016 KiB

[startup+0.305982 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 70831
/proc/meminfo: memFree=107317480/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=104732 memory=77860 CPUtime=0.3 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 15404 0 0 0 27 3 0 0 20 0 1 0 66340674 107245568 19465 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 26183 19465 3008 2790 0 19608 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104732 KiB
Current children cumulated memory: 77860 KiB

[startup+0.700188 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 70831
/proc/meminfo: memFree=107317480/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=114008 memory=87844 CPUtime=0.68 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 17252 0 0 0 64 4 0 0 20 0 1 0 66340674 116744192 21961 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 28502 21961 3680 2790 0 21927 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 114008 KiB
Current children cumulated memory: 87844 KiB

[startup+1.50019 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 70831
/proc/meminfo: memFree=107309668/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=120204 memory=95420 CPUtime=1.48 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 18594 0 0 0 142 6 0 0 20 0 1 0 66340674 123088896 23855 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 30051 23855 3744 2790 0 23476 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120204 KiB
Current children cumulated memory: 95420 KiB

[startup+3.10543 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 70831
/proc/meminfo: memFree=107297280/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=133796 memory=106656 CPUtime=3.08 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 20361 0 0 0 297 11 0 0 20 0 1 0 66340674 137007104 26664 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 33449 26664 3744 2790 0 26874 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 133796 KiB
Current children cumulated memory: 106656 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 70831
/proc/meminfo: memFree=107283292/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=147272 memory=116620 CPUtime=6.27 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 21334 0 0 0 616 11 0 0 20 0 1 0 66340674 150806528 29155 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 36818 29155 3744 2790 0 30243 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 147272 KiB
Current children cumulated memory: 116620 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 70831
/proc/meminfo: memFree=107258756/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=169228 memory=138200 CPUtime=12.66 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 22641 0 0 0 1253 13 0 0 20 0 1 0 66340674 173289472 34550 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 42307 34550 3744 2790 0 35732 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 169228 KiB
Current children cumulated memory: 138200 KiB

[startup+25.5001 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 70831
/proc/meminfo: memFree=107141476/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=272232 memory=212660 CPUtime=25.43 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 29523 0 0 0 2515 28 0 0 20 0 1 0 66340674 278765568 53165 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 68058 53165 3744 2790 0 61483 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 272232 KiB
Current children cumulated memory: 212660 KiB

[startup+51.1055 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 70832
/proc/meminfo: memFree=107069540/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=316532 memory=264600 CPUtime=50.97 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 40446 0 0 0 5039 58 0 0 20 0 1 0 66340674 324128768 66150 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 79133 66150 3744 2790 0 72558 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 316532 KiB
Current children cumulated memory: 264600 KiB

[startup+102.3 s]
/proc/loadavg: 4.34 4.15 4.11 5/266 70833
/proc/meminfo: memFree=106995556/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=399976 memory=345880 CPUtime=102.03 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 60776 0 0 0 10079 124 0 0 20 0 1 0 66340674 409575424 86470 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 99994 86470 3744 2790 0 93419 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 399976 KiB
Current children cumulated memory: 345880 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 4.16 4.11 5/267 70839
/proc/meminfo: memFree=106882128/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=459640 memory=431784 CPUtime=161.87 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 75643 0 0 0 16005 182 0 0 20 0 1 0 66340674 470671360 107946 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 114910 107946 3744 2790 0 108335 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 459640 KiB
Current children cumulated memory: 431784 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/267 70841
/proc/meminfo: memFree=106708596/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=626180 memory=546180 CPUtime=221.73 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 97125 0 0 0 21936 237 0 0 20 0 1 0 66340674 641208320 136545 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 156545 136545 3744 2790 0 149970 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 626180 KiB
Current children cumulated memory: 546180 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/266 70843
/proc/meminfo: memFree=106572680/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=709012 memory=662780 CPUtime=281.58 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 116071 0 0 0 27908 250 0 0 20 0 1 0 66340674 726028288 165695 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 177253 165695 3744 2790 0 170678 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 709012 KiB
Current children cumulated memory: 662780 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 70845
/proc/meminfo: memFree=106467856/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=866772 memory=710004 CPUtime=341.43 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 122758 0 0 0 33845 298 0 0 20 0 1 0 66340674 887574528 177501 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 216693 177501 3744 2790 0 210118 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 866772 KiB
Current children cumulated memory: 710004 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 70847
/proc/meminfo: memFree=106381772/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=893300 memory=736116 CPUtime=401.28 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 129276 0 0 0 39783 345 0 0 20 0 1 0 66340674 914739200 184029 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 223325 184029 3744 2790 0 216750 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 893300 KiB
Current children cumulated memory: 736116 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 70849
/proc/meminfo: memFree=106355076/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=922004 memory=778888 CPUtime=461.14 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 136389 0 0 0 45752 362 0 0 20 0 1 0 66340674 944132096 194722 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 230501 194722 3744 2790 0 223926 0

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

Current children cumulated memory: 2069576 KiB

[startup+2862.3 s]
/proc/loadavg: 1.16 1.74 2.51 2/247 71078
/proc/meminfo: memFree=111045180/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2227620 memory=2117064 CPUtime=2855.21 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 388242 0 0 0 284216 1305 0 0 20 0 1 0 66340674 2281082880 529266 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 556905 529266 3744 2790 0 550330 0
Current children cumulated CPU time: 2855.21 s
Current children cumulated vsize: 2227620 KiB
Current children cumulated memory: 2117064 KiB

[startup+2922.3 s]
/proc/loadavg: 1.11 1.62 2.41 2/246 71080
/proc/meminfo: memFree=110987752/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2230584 memory=2127176 CPUtime=2915.08 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 388884 0 0 0 290160 1348 0 0 20 0 1 0 66340674 2284118016 531794 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 557646 531794 3744 2790 0 551071 0
Current children cumulated CPU time: 2915.08 s
Current children cumulated vsize: 2230584 KiB
Current children cumulated memory: 2127176 KiB

[startup+2982.3 s]
/proc/loadavg: 1.08 1.52 2.33 2/246 71082
/proc/meminfo: memFree=110974212/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2235396 memory=2136264 CPUtime=2974.95 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 390154 0 0 0 296125 1370 0 0 20 0 1 0 66340674 2289045504 534066 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 558849 534066 3744 2790 0 552274 0
Current children cumulated CPU time: 2974.95 s
Current children cumulated vsize: 2235396 KiB
Current children cumulated memory: 2136264 KiB

[startup+3042.3 s]
/proc/loadavg: 1.14 1.45 2.25 2/245 71088
/proc/meminfo: memFree=110937548/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2269448 memory=2168648 CPUtime=3034.83 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 397234 0 0 0 302106 1377 0 0 20 0 1 0 66340674 2323914752 542162 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 567362 542162 3744 2790 0 560787 0
Current children cumulated CPU time: 3034.83 s
Current children cumulated vsize: 2269448 KiB
Current children cumulated memory: 2168648 KiB

[startup+3102.3 s]
/proc/loadavg: 1.05 1.37 2.17 2/245 71091
/proc/meminfo: memFree=110918648/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2290292 memory=2194504 CPUtime=3094.69 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 402721 0 0 0 308086 1383 0 0 20 0 1 0 66340674 2345259008 548626 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 572573 548626 3744 2790 0 565998 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 2290292 KiB
Current children cumulated memory: 2194504 KiB

[startup+3162.3 s]
/proc/loadavg: 1.14 1.33 2.11 2/246 71094
/proc/meminfo: memFree=110789432/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2677976 memory=2315452 CPUtime=3154.55 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 412445 0 0 0 314060 1395 0 0 20 0 1 0 66340674 2742247424 578863 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 669494 578863 3744 2790 0 662919 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 2677976 KiB
Current children cumulated memory: 2315452 KiB

[startup+3222.3 s]
/proc/loadavg: 1.11 1.28 2.04 2/247 71099
/proc/meminfo: memFree=110730868/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2748092 memory=2378940 CPUtime=3214.4 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 437159 0 0 0 320027 1413 0 0 20 0 1 0 66340674 2814046208 594735 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 687023 594735 3744 2790 0 680448 0
Current children cumulated CPU time: 3214.4 s
Current children cumulated vsize: 2748092 KiB
Current children cumulated memory: 2378940 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.24 1.98 2/247 71102
/proc/meminfo: memFree=110713312/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2748092 memory=2398012 CPUtime=3274.27 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 437163 0 0 0 325974 1453 0 0 20 0 1 0 66340674 2814046208 599503 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 687023 599503 3744 2790 0 680448 0
Current children cumulated CPU time: 3274.27 s
Current children cumulated vsize: 2748092 KiB
Current children cumulated memory: 2398012 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.21 1.92 2/247 71104
/proc/meminfo: memFree=110702484/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2750108 memory=2409660 CPUtime=3334.13 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 437670 0 0 0 331924 1489 0 0 20 0 1 0 66340674 2816110592 602415 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 687527 602415 3744 2790 0 680952 0
Current children cumulated CPU time: 3334.13 s
Current children cumulated vsize: 2750108 KiB
Current children cumulated memory: 2409660 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.19 1.86 2/247 71106
/proc/meminfo: memFree=110687084/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2752832 memory=2422716 CPUtime=3394 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 438349 0 0 0 337867 1533 0 0 20 0 1 0 66340674 2818899968 605679 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 688208 605679 3744 2790 0 681633 0
Current children cumulated CPU time: 3394 s
Current children cumulated vsize: 2752832 KiB
Current children cumulated memory: 2422716 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.17 1.81 2/246 71109
/proc/meminfo: memFree=110672328/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2753908 memory=2436284 CPUtime=3453.88 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 438651 0 0 0 343818 1570 0 0 20 0 1 0 66340674 2820001792 609071 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 688477 609071 3744 2790 0 681902 0
Current children cumulated CPU time: 3453.88 s
Current children cumulated vsize: 2753908 KiB
Current children cumulated memory: 2436284 KiB

[startup+3522.3 s]
/proc/loadavg: 1.06 1.15 1.76 2/246 71111
/proc/meminfo: memFree=110657220/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2759948 memory=2454076 CPUtime=3513.74 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 440125 0 0 0 349788 1586 0 0 20 0 1 0 66340674 2826186752 613519 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 689987 613519 3744 2790 0 683412 0
Current children cumulated CPU time: 3513.74 s
Current children cumulated vsize: 2759948 KiB
Current children cumulated memory: 2454076 KiB

[startup+3582.3 s]
/proc/loadavg: 1.06 1.13 1.72 2/246 71114
/proc/meminfo: memFree=110652512/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2760828 memory=2454844 CPUtime=3573.64 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 440348 0 0 0 355776 1588 0 0 20 0 1 0 66340674 2827087872 613711 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 690207 613711 3744 2790 0 683632 0
Current children cumulated CPU time: 3573.64 s
Current children cumulated vsize: 2760828 KiB
Current children cumulated memory: 2454844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 1.10 1.14 1.70 2/246 71114
/proc/meminfo: memFree=110648480/131249996 swapFree=33010160/33010684
[pid=70830] ppid=70827 vsize=2761552 memory=2455740 CPUtime=3600.09 cores=0,2
/proc/70830/stat : 70830 (ipbhs_scip) R 70827 70830 69549 0 -1 4194304 440912 0 0 0 358420 1589 0 0 20 0 1 0 66340674 2827829248 613935 18446744073709551615 94613287047168 94613298473565 140733102679136 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94613300609240 94613300654258 94613329752064 140733102684562 140733102684681 140733102684681 140733102690283 0
/proc/70830/statm: 690388 613935 3744 2790 0 683813 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2761552 KiB
Current children cumulated memory: 2455740 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.21 s, system=15.9049 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): 3608.81
CPU time (s): 3600.11
CPU user time (s): 3584.21
CPU system time (s): 15.9049
CPU usage (%): 99.7589
Max. virtual memory (cumulated for all children) (KiB): 2761552
Max. memory (cumulated for all children) (KiB): 2455740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.21
system time used= 15.9049
maximum resident set size= 2455740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440912
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= 186
involuntary context switches= 8091


# summary of solver processes directly reported to runsolver:
#   pid: 70830
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3584.21
#   total CPU system time (s): 15.9049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1291 second user time and 14.9848 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-03 03:37:00
IDJOB=4509180
IDBENCH=158601
IDSOLVER=3335
FILE ID=nodeC032/4509180-1751506620
RUNJOBID= nodeC032-1751497501-69559
SLURM_JOB_ID= 9598573
Free space on /tmp= 430356 MiB

SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509180-1751506620/watcher-4509180-1751506620 -o /tmp/evaluation-result-4509180-1751506620/solver-4509180-1751506620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751497501-69559 --watchdog 3760  ./ipbhs_scip HOME/instance-4509180-1751506620.opb --optimizer scip --max-coef 1000000000

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

MD5SUM BENCH= 77cfb75a57ffdbd7a405571baa0b4678
RANDOM SEED=1674792404

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.284
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.021
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.827
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3572.301
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.852
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.812
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3552.389
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3693.548
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        107379664 kB
MemAvailable:   123974012 kB
Buffers:            2728 kB
Cached:         17273836 kB
SwapCached:           20 kB
Active:          6034468 kB
Inactive:       16905920 kB
Active(anon):    5678748 kB
Inactive(anon):     3124 kB
Active(file):     355720 kB
Inactive(file): 16902796 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             73648 kB
Writeback:             0 kB
AnonPages:       5666196 kB
Mapped:           136916 kB
Shmem:             18048 kB
KReclaimable:     350144 kB
Slab:             443300 kB
SReclaimable:     350144 kB
SUnreclaim:        93156 kB
KernelStack:        4304 kB
PageTables:        14864 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6551264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3428352 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430500 MiB
End job on nodeC032 at 2025-07-03 04:37:09