Trace number 4521064

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

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
MD5SUM83591af43c3da6ede4007c8e5a8d776b
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 benchmark-1892
Best CPU time to get the best result obtained on this benchmark3584.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3741
Total number of constraints423980
Number of constraints which are clauses423980
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 3153
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 3153
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3153
Number of bits of the biggest sum of numbers12
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:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01	c optimizer = "scip"
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
2.17/2.25	c limit for coefficient in constraints and objective to 1000000000
2.17/2.25	c will solve HOME/instance-4521064-1751569886.opb
2.17/2.25	c [0] will start solving
1239.71/1244.36	c [0.57] solve iteration 1, LB=-3153, UB=1
1239.71/1244.36	c [318.78] solve iteration 2, LB=-2102, UB=-1862

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521064-1751569886/watcher-4521064-1751569886 -o /tmp/evaluation-result-4521064-1751569886/solver-4521064-1751569886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751566271-89204 --watchdog 3760 ./ipbhs_scip HOME/instance-4521064-1751569886.opb --optimizer scip --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

Current StackSize limit: 8192 KiB

solver pid=90257, runsolver pid=90253

[startup+0.10012 s]*
/proc/loadavg: 4.24 4.15 4.14 5/252 90258
/proc/meminfo: memFree=118399384/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=1729944 memory=363424 CPUtime=0.09 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 1029 0 0 0 2 7 0 0 20 0 1 0 72667859 1771462656 90856 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 432486 90856 1600 2790 0 425911 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1729944 KiB
Current children cumulated memory: 363424 KiB

[startup+0.213628 s]*
/proc/loadavg: 4.24 4.15 4.14 5/252 90258
/proc/meminfo: memFree=117997976/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=1729944 memory=764832 CPUtime=0.21 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 1225 0 0 0 5 16 0 0 20 0 1 0 72667859 1771462656 191208 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 432486 191208 1600 2790 0 425911 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 1729944 KiB
Current children cumulated memory: 764832 KiB

[startup+0.313641 s]*
/proc/loadavg: 4.24 4.15 4.14 5/252 90258
/proc/meminfo: memFree=117645972/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=1729944 memory=1115040 CPUtime=0.31 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 1396 0 0 0 7 24 0 0 20 0 1 0 72667859 1771462656 278760 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 432486 278760 1600 2790 0 425911 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 1729944 KiB
Current children cumulated memory: 1115040 KiB

[startup+0.700324 s]
/proc/loadavg: 4.24 4.15 4.14 5/252 90258
/proc/meminfo: memFree=117023380/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=1753888 memory=1717880 CPUtime=0.68 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 7991 0 0 0 30 38 0 0 20 0 1 0 72667859 1795981312 429470 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 438472 429470 1600 2790 0 431897 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1753888 KiB
Current children cumulated memory: 1717880 KiB

[startup+1.50029 s]
/proc/loadavg: 4.24 4.15 4.14 5/252 90258
/proc/meminfo: memFree=116991372/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=1810004 memory=1773964 CPUtime=1.48 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 18346 0 0 0 87 61 0 0 20 0 1 0 72667859 1853444096 443491 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 452501 443491 1696 2790 0 445926 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1810004 KiB
Current children cumulated memory: 1773964 KiB

[startup+3.11312 s]
/proc/loadavg: 4.22 4.14 4.14 5/252 90258
/proc/meminfo: memFree=116751900/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=2045052 memory=2021668 CPUtime=3.09 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 70724 0 0 0 179 130 0 0 20 0 1 0 72667859 2094133248 505417 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 511263 505417 3168 2790 0 504688 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2045052 KiB
Current children cumulated memory: 2021668 KiB

[startup+6.30032 s]
/proc/loadavg: 4.22 4.14 4.14 5/252 90258
/proc/meminfo: memFree=116002992/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=2861012 memory=2735152 CPUtime=6.27 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 149176 0 0 0 474 153 0 0 20 0 1 0 72667859 2929676288 683788 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 715253 683788 3488 2790 0 708678 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2861012 KiB
Current children cumulated memory: 2735152 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.16 4.14 5/252 90348
/proc/meminfo: memFree=116783148/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=3216900 memory=3088144 CPUtime=12.63 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 179412 0 0 0 1099 164 0 0 20 0 1 0 72667859 3294105600 772036 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 804225 772036 3552 2790 0 797650 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3216900 KiB
Current children cumulated memory: 3088144 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.15 4.14 5/251 90393
/proc/meminfo: memFree=114066864/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=3444020 memory=3314876 CPUtime=25.39 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 217461 0 0 0 2366 173 0 0 20 0 1 0 72667859 3526676480 828719 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 861005 828719 3680 2790 0 854430 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3444020 KiB
Current children cumulated memory: 3314876 KiB

[startup+51.1136 s]
/proc/loadavg: 4.22 4.15 4.14 5/251 90393
/proc/meminfo: memFree=113836068/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=3460096 memory=3330888 CPUtime=50.91 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 217945 0 0 0 4917 174 0 0 20 0 1 0 72667859 3543138304 832722 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 865024 832722 3680 2790 0 858449 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3460096 KiB
Current children cumulated memory: 3330888 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/251 90395
/proc/meminfo: memFree=113290120/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=3481984 memory=3341512 CPUtime=101.91 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 218610 0 0 0 10016 175 0 0 20 0 1 0 72667859 3565551616 835378 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 870496 835378 3680 2790 0 863921 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 3481984 KiB
Current children cumulated memory: 3341512 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/250 90397
/proc/meminfo: memFree=113354824/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=3481984 memory=3343560 CPUtime=161.68 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 218688 0 0 0 15992 176 0 0 20 0 1 0 72667859 3565551616 835890 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 870496 835890 3680 2790 0 863921 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 3481984 KiB
Current children cumulated memory: 3343560 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/250 90399
/proc/meminfo: memFree=113352744/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=3481984 memory=3347784 CPUtime=221.46 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 218765 0 0 0 21969 177 0 0 20 0 1 0 72667859 3565551616 836946 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 870496 836946 3680 2790 0 863921 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 3481984 KiB
Current children cumulated memory: 3347784 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.11 4.12 5/251 90402
/proc/meminfo: memFree=112687460/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=3481984 memory=3351892 CPUtime=281.24 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 218810 0 0 0 27947 177 0 0 20 0 1 0 72667859 3565551616 837973 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 870496 837973 3680 2790 0 863921 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 3481984 KiB
Current children cumulated memory: 3351892 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/251 90407
/proc/meminfo: memFree=111774936/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4460276 memory=4238424 CPUtime=341.03 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 326758 0 0 0 33889 214 0 0 20 0 1 0 72667859 4567322624 1059606 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1115069 1059606 3680 2790 0 1108494 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 4460276 KiB
Current children cumulated memory: 4238424 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/251 90409
/proc/meminfo: memFree=111639236/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4497760 memory=4266072 CPUtime=400.79 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 328096 0 0 0 39864 215 0 0 20 0 1 0 72667859 4605706240 1066518 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1124440 1066518 3680 2790 0 1117865 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 4497760 KiB
Current children cumulated memory: 4266072 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/251 90411
/proc/meminfo: memFree=111640780/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4497760 memory=4268120 CPUtime=460.56 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 328145 0 0 0 45840 216 0 0 20 0 1 0 72667859 4605706240 1067030 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1124440 1067030 3680 2790 0 1117865 0
Current children cumulated CPU time: 460.56 s

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

Current children cumulated memory: 4284668 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/251 90840
/proc/meminfo: memFree=112313684/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=2852.5 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 402531 0 0 0 284994 256 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 2852.5 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.15 4.17 5/250 90842
/proc/meminfo: memFree=112306252/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=2912.32 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 402631 0 0 0 290976 256 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 2912.32 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/251 90856
/proc/meminfo: memFree=112307040/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=2972.12 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 402955 0 0 0 296955 257 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 2972.12 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/251 90862
/proc/meminfo: memFree=112315100/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3031.92 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 402963 0 0 0 302935 257 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3031.92 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/251 90864
/proc/meminfo: memFree=112315868/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3091.72 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 403267 0 0 0 308914 258 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3091.72 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/250 90866
/proc/meminfo: memFree=112316744/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3151.54 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 403317 0 0 0 314896 258 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3151.54 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/250 90868
/proc/meminfo: memFree=112317192/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3211.36 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 403415 0 0 0 320877 259 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3211.36 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/250 90870
/proc/meminfo: memFree=112318468/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3271.18 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 403681 0 0 0 326858 260 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3271.18 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.14 5/251 90875
/proc/meminfo: memFree=112327572/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3330.99 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 403869 0 0 0 332839 260 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3330.99 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.13 5/251 90877
/proc/meminfo: memFree=112328264/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3390.81 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 404197 0 0 0 338821 260 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3390.81 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.13 5/251 90879
/proc/meminfo: memFree=112330520/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3450.62 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 404202 0 0 0 344802 260 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3450.62 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.13 5/251 90881
/proc/meminfo: memFree=112330704/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3510.45 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 404525 0 0 0 350784 261 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3510.45 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/251 90884
/proc/meminfo: memFree=112331792/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3570.26 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 404612 0 0 0 356764 262 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3570.26 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.08 4.10 4.12 5/251 90884
/proc/meminfo: memFree=112331800/131382112 swapFree=33005784/33010684
[pid=90257] ppid=90253 vsize=4516616 memory=4284796 CPUtime=3600.08 cores=1,3
/proc/90257/stat : 90257 (ipbhs_scip) R 90253 90257 89192 0 -1 4194304 404847 0 0 0 359745 263 0 0 20 0 1 0 72667859 4625014784 1071199 18446744073709551615 94439432179712 94439443606109 140729345615792 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94439445741784 94439445786802 94439469981696 140729345624466 140729345624585 140729345624585 140729345630187 0
/proc/90257/statm: 1129154 1071199 3712 2790 0 1122579 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4516616 KiB
Current children cumulated memory: 4284796 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.45 s, system=2.64652 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): 3612.21
CPU time (s): 3600.1
CPU user time (s): 3597.45
CPU system time (s): 2.64652
CPU usage (%): 99.6647
Max. virtual memory (cumulated for all children) (KiB): 4683192
Max. memory (cumulated for all children) (KiB): 4436824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.45
system time used= 2.64652
maximum resident set size= 4436824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404847
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= 98
involuntary context switches= 1210


# summary of solver processes directly reported to runsolver:
#   pid: 90257
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.45
#   total CPU system time (s): 2.64652

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1541 second user time and 35.492 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-03 21:11:27
IDJOB=4521064
IDBENCH=178219
IDSOLVER=3335
FILE ID=nodeC007/4521064-1751569886
RUNJOBID= nodeC007-1751566271-89204
SLURM_JOB_ID= 9598776
Free space on /tmp= 430808 MiB

SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521064-1751569886/watcher-4521064-1751569886 -o /tmp/evaluation-result-4521064-1751569886/solver-4521064-1751569886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751566271-89204 --watchdog 3760  ./ipbhs_scip HOME/instance-4521064-1751569886.opb --optimizer scip --max-coef 1000000000

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

MD5SUM BENCH= 83591af43c3da6ede4007c8e5a8d776b
RANDOM SEED=1273779329

nodeC007 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		: 3662.468
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.68
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.202
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.68
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.587
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.68
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		: 3700.000
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.68
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		: 3491.872
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.68
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		: 3691.393
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        118727064 kB
MemAvailable:   125601720 kB
Buffers:              16 kB
Cached:          7543224 kB
SwapCached:          252 kB
Active:          4481556 kB
Inactive:        7276964 kB
Active(anon):    4181068 kB
Inactive(anon):    47716 kB
Active(file):     300488 kB
Inactive(file):  7229248 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005784 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             83620 kB
Writeback:             4 kB
AnonPages:       4217248 kB
Mapped:           131052 kB
Shmem:             13504 kB
KReclaimable:     369092 kB
Slab:             458716 kB
SReclaimable:     369092 kB
SUnreclaim:        89624 kB
KernelStack:        4048 kB
PageTables:        11400 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4811628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3936256 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 430736 MiB
End job on nodeC007 at 2025-07-03 22:11:40