Trace number 4497454

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.01 3609.81

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
MD5SUMf414edaa70e04e6c4234549a55f077d1
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 benchmark23
Best CPU time to get the best result obtained on this benchmark3600.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
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 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
Number of bits of the biggest sum of numbers11
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.59/0.67	c limit for coefficient in constraints and objective to 1000000000
0.59/0.67	c will solve HOME/instance-4497454-1751393030.opb
0.59/0.67	c [0.02] will start solving

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497454-1751393030/watcher-4497454-1751393030 -o /tmp/evaluation-result-4497454-1751393030/solver-4497454-1751393030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751385318-55462 --watchdog 3760 ./ipbhs_scip HOME/instance-4497454-1751393030.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
Starting watchdog thread
solver pid=57565, runsolver pid=57562
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.10 4.13 4.13 5/265 57566
/proc/meminfo: memFree=116977708/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=56764 memory=21120 CPUtime=0.08 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 4293 0 0 0 8 0 0 0 20 0 1 0 54982432 58126336 5280 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 14191 5280 1536 2790 0 7616 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 56764 KiB
Current children cumulated memory: 21120 KiB

[startup+0.205479 s]*
/proc/loadavg: 4.10 4.13 4.13 5/265 57566
/proc/meminfo: memFree=116970148/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=71148 memory=38872 CPUtime=0.19 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 7324 0 0 0 16 3 0 0 20 0 1 0 54982432 72855552 9718 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 17787 9718 1664 2790 0 11212 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71148 KiB
Current children cumulated memory: 38872 KiB

[startup+0.305413 s]*
/proc/loadavg: 4.10 4.13 4.13 5/265 57566
/proc/meminfo: memFree=116966116/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=75352 memory=42968 CPUtime=0.29 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 8355 0 0 0 23 6 0 0 20 0 1 0 54982432 77160448 10742 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 18838 10742 1664 2790 0 12263 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75352 KiB
Current children cumulated memory: 42968 KiB

[startup+0.700174 s]
/proc/loadavg: 4.10 4.13 4.13 5/265 57566
/proc/meminfo: memFree=116955208/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=189588 memory=163352 CPUtime=0.68 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 35364 0 0 0 45 23 0 0 20 0 1 0 54982432 194138112 40838 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 47397 40838 3328 2790 0 40822 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 189588 KiB
Current children cumulated memory: 163352 KiB

[startup+1.50017 s]
/proc/loadavg: 4.09 4.13 4.13 5/265 57566
/proc/meminfo: memFree=116786116/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=270216 memory=235032 CPUtime=1.47 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 53131 0 0 0 118 29 0 0 20 0 1 0 54982432 276701184 58758 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 67554 58758 3488 2790 0 60979 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 270216 KiB
Current children cumulated memory: 235032 KiB

[startup+3.1046 s]
/proc/loadavg: 4.09 4.13 4.13 5/265 57566
/proc/meminfo: memFree=116788088/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=270216 memory=235032 CPUtime=3.08 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 53133 0 0 0 278 30 0 0 20 0 1 0 54982432 276701184 58758 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 67554 58758 3488 2790 0 60979 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 270216 KiB
Current children cumulated memory: 235032 KiB

[startup+6.3001 s]
/proc/loadavg: 4.08 4.13 4.13 5/265 57566
/proc/meminfo: memFree=116776108/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=284688 memory=253592 CPUtime=6.26 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 57714 0 0 0 591 35 0 0 20 0 1 0 54982432 291520512 63398 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 71172 63398 3552 2790 0 64597 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 284688 KiB
Current children cumulated memory: 253592 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.13 4.13 5/265 57566
/proc/meminfo: memFree=116766840/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=307964 memory=271052 CPUtime=12.64 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 59000 0 0 0 1224 40 0 0 20 0 1 0 54982432 315355136 67763 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 76991 67763 3552 2790 0 70416 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 307964 KiB
Current children cumulated memory: 271052 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.12 4.13 5/265 57567
/proc/meminfo: memFree=116760660/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=326932 memory=281464 CPUtime=25.41 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 59048 0 0 0 2495 46 0 0 20 0 1 0 54982432 334778368 70366 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 81733 70366 3552 2790 0 75158 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 326932 KiB
Current children cumulated memory: 281464 KiB

[startup+51.1053 s]
/proc/loadavg: 4.17 4.14 4.13 5/265 57567
/proc/meminfo: memFree=116713568/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=357752 memory=301952 CPUtime=50.95 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 59577 0 0 0 5041 54 0 0 20 0 1 0 54982432 366338048 75488 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 89438 75488 3552 2790 0 82863 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 357752 KiB
Current children cumulated memory: 301952 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/265 57569
/proc/meminfo: memFree=116366096/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=362116 memory=322724 CPUtime=102 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 60703 0 0 0 10135 65 0 0 20 0 1 0 54982432 370806784 80681 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 90529 80681 3552 2790 0 83954 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 362116 KiB
Current children cumulated memory: 322724 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/264 57571
/proc/meminfo: memFree=115900224/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=413788 memory=335744 CPUtime=161.84 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 61431 0 0 0 16106 78 0 0 20 0 1 0 54982432 423718912 83936 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 103447 83936 3552 2790 0 96872 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 413788 KiB
Current children cumulated memory: 335744 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/264 57574
/proc/meminfo: memFree=115788052/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=415108 memory=339108 CPUtime=221.67 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 61751 0 0 0 22077 90 0 0 20 0 1 0 54982432 425070592 84777 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 103777 84777 3552 2790 0 97202 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 415108 KiB
Current children cumulated memory: 339108 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/264 57576
/proc/meminfo: memFree=115523724/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=422700 memory=345380 CPUtime=281.51 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 63314 0 0 0 28051 100 0 0 20 0 1 0 54982432 432844800 86345 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 105675 86345 3552 2790 0 99100 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 422700 KiB
Current children cumulated memory: 345380 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/264 57578
/proc/meminfo: memFree=115495704/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=427484 memory=360976 CPUtime=341.35 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 64659 0 0 0 34014 121 0 0 20 0 1 0 54982432 437743616 90244 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 106871 90244 3552 2790 0 100296 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 427484 KiB
Current children cumulated memory: 360976 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/264 57580
/proc/meminfo: memFree=115110848/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=428540 memory=362000 CPUtime=401.17 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 64927 0 0 0 39984 133 0 0 20 0 1 0 54982432 438824960 90500 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 107135 90500 3552 2790 0 100560 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 428540 KiB
Current children cumulated memory: 362000 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/265 57583
/proc/meminfo: memFree=114895880/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=429860 memory=363664 CPUtime=461.01 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 65360 0 0 0 45955 146 0 0 20 0 1 0 54982432 440176640 90916 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 107465 90916 3552 2790 0 100890 0
Current children cumulated CPU time: 461.01 s

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

Current children cumulated memory: 696088 KiB

[startup+2862.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 57749
/proc/meminfo: memFree=120046000/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=921132 memory=698136 CPUtime=2854.46 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 82208 0 0 0 284864 582 0 0 20 0 1 0 54982432 943239168 174534 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 230283 174534 3552 2790 0 223708 0
Current children cumulated CPU time: 2854.46 s
Current children cumulated vsize: 921132 KiB
Current children cumulated memory: 698136 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 57754
/proc/meminfo: memFree=119987964/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=922188 memory=699288 CPUtime=2914.29 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 82493 0 0 0 290832 597 0 0 20 0 1 0 54982432 944320512 174822 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 230547 174822 3552 2790 0 223972 0
Current children cumulated CPU time: 2914.29 s
Current children cumulated vsize: 922188 KiB
Current children cumulated memory: 699288 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 57761
/proc/meminfo: memFree=119926012/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=922188 memory=699288 CPUtime=2974.12 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 82493 0 0 0 296796 616 0 0 20 0 1 0 54982432 944320512 174822 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 230547 174822 3552 2790 0 223972 0
Current children cumulated CPU time: 2974.12 s
Current children cumulated vsize: 922188 KiB
Current children cumulated memory: 699288 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 57763
/proc/meminfo: memFree=119429796/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=922848 memory=699928 CPUtime=3033.96 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 82657 0 0 0 302765 631 0 0 20 0 1 0 54982432 944996352 174982 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 230712 174982 3552 2790 0 224137 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 922848 KiB
Current children cumulated memory: 699928 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 57765
/proc/meminfo: memFree=119426224/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=923112 memory=700184 CPUtime=3093.79 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 82729 0 0 0 308737 642 0 0 20 0 1 0 54982432 945266688 175046 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 230778 175046 3552 2790 0 224203 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 923112 KiB
Current children cumulated memory: 700184 KiB

[startup+3162.3 s]
/proc/loadavg: 3.94 4.06 4.08 4/259 57799
/proc/meminfo: memFree=126292028/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=924300 memory=701720 CPUtime=3153.64 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 83099 0 0 0 314715 649 0 0 20 0 1 0 54982432 946483200 175430 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 231075 175430 3552 2790 0 224500 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 924300 KiB
Current children cumulated memory: 701720 KiB

[startup+3222.3 s]
/proc/loadavg: 3.38 3.88 4.01 4/258 57801
/proc/meminfo: memFree=126266720/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=924300 memory=701720 CPUtime=3213.48 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 83099 0 0 0 320694 654 0 0 20 0 1 0 54982432 946483200 175430 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 231075 175430 3552 2790 0 224500 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 924300 KiB
Current children cumulated memory: 701720 KiB

[startup+3282.3 s]
/proc/loadavg: 3.19 3.73 3.95 4/258 57804
/proc/meminfo: memFree=126272412/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=924300 memory=701720 CPUtime=3273.33 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 83128 0 0 0 326676 657 0 0 20 0 1 0 54982432 946483200 175430 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 231075 175430 3552 2790 0 224500 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 924300 KiB
Current children cumulated memory: 701720 KiB

[startup+3342.3 s]
/proc/loadavg: 3.11 3.61 3.90 4/258 57806
/proc/meminfo: memFree=126249392/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=927096 memory=722648 CPUtime=3333.18 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 83801 0 0 0 332658 660 0 0 20 0 1 0 54982432 949346304 180662 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 231774 180662 3552 2790 0 225199 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 927096 KiB
Current children cumulated memory: 722648 KiB

[startup+3402.3 s]
/proc/loadavg: 3.14 3.53 3.85 4/258 57808
/proc/meminfo: memFree=126136324/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=931320 memory=810228 CPUtime=3393.03 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 84862 0 0 0 338639 664 0 0 20 0 1 0 54982432 953671680 202557 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 232830 202557 3552 2790 0 226255 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 931320 KiB
Current children cumulated memory: 810228 KiB

[startup+3462.3 s]
/proc/loadavg: 2.56 3.31 3.75 3/252 57851
/proc/meminfo: memFree=127029992/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=936664 memory=822992 CPUtime=3452.88 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 86218 0 0 0 344619 669 0 0 20 0 1 0 54982432 959143936 205748 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 234166 205748 3552 2790 0 227591 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 936664 KiB
Current children cumulated memory: 822992 KiB

[startup+3522.3 s]
/proc/loadavg: 2.31 3.10 3.65 3/252 57854
/proc/meminfo: memFree=126989216/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=936664 memory=824528 CPUtime=3512.74 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 86221 0 0 0 350602 672 0 0 20 0 1 0 54982432 959143936 206132 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 234166 206132 3552 2790 0 227591 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 936664 KiB
Current children cumulated memory: 824528 KiB

[startup+3582.3 s]
/proc/loadavg: 2.22 2.92 3.55 3/253 57858
/proc/meminfo: memFree=126981608/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=936664 memory=830928 CPUtime=3572.57 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 86235 0 0 0 356583 674 0 0 20 0 1 0 54982432 959143936 207732 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 234166 207732 3552 2790 0 227591 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 936664 KiB
Current children cumulated memory: 830928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 2.22 2.87 3.52 3/254 57866
/proc/meminfo: memFree=126988536/131250000 swapFree=33009904/33010684
[pid=57565] ppid=57562 vsize=938144 memory=833744 CPUtime=3600 cores=0,2
/proc/57565/stat : 57565 (ipbhs_scip) R 57562 57565 55452 0 -1 4194304 86597 0 0 0 359324 676 0 0 20 0 1 0 54982432 960659456 208436 18446744073709551615 94349921886208 94349933312605 140736987559888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94349935448280 94349935493298 94349970182144 140736987568530 140736987568649 140736987568649 140736987574251 0
/proc/57565/statm: 234536 208436 3552 2790 0 227961 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 938144 KiB
Current children cumulated memory: 833744 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.24 s, system=6.76786 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.81
CPU time (s): 3600.01
CPU user time (s): 3593.24
CPU system time (s): 6.76786
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 938144
Max. memory (cumulated for all children) (KiB): 833744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.24
system time used= 6.76786
maximum resident set size= 833744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86597
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= 93
involuntary context switches= 7910


# summary of solver processes directly reported to runsolver:
#   pid: 57565
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3593.24
#   total CPU system time (s): 6.76786

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2328 second user time and 10.8358 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-01 20:03:50
IDJOB=4497454
IDBENCH=148186
IDSOLVER=3335
FILE ID=nodeC033/4497454-1751393030
RUNJOBID= nodeC033-1751385318-55462
SLURM_JOB_ID= 9598240
Free space on /tmp= 432248 MiB

SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497454-1751393030/watcher-4497454-1751393030 -o /tmp/evaluation-result-4497454-1751393030/solver-4497454-1751393030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751385318-55462 --watchdog 3760  ./ipbhs_scip HOME/instance-4497454-1751393030.opb --optimizer scip --max-coef 1000000000

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

MD5SUM BENCH= f414edaa70e04e6c4234549a55f077d1
RANDOM SEED=1519042311

nodeC033 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		: 3600.089
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	: 7000.13
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		: 3599.987
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	: 7000.13
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.769
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	: 7000.13
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		: 3599.530
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	: 7000.13
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		: 3600.067
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	: 7000.13
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		: 3600.102
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	: 7000.13
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		: 3600.997
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	: 7000.13
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		: 3599.974
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        116994468 kB
MemAvailable:   117045412 kB
Buffers:            2128 kB
Cached:           848584 kB
SwapCached:           68 kB
Active:         12958852 kB
Inactive:         609308 kB
Active(anon):   12710988 kB
Inactive(anon):    24488 kB
Active(file):     247864 kB
Inactive(file):   584820 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             74388 kB
Writeback:             0 kB
AnonPages:      12715500 kB
Mapped:           136876 kB
Shmem:             18028 kB
KReclaimable:     115000 kB
Slab:             204024 kB
SReclaimable:     115000 kB
SUnreclaim:        89024 kB
KernelStack:        4272 kB
PageTables:        28120 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   13590960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6412288 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432336 MiB
End job on nodeC033 at 2025-07-01 21:04:00