Trace number 4489569

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
WMaxCDCL-SCIP 2025-06-21? 3598.36 3607.83

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
MD5SUMfd0e2798224bd891f728fecfed3c6d1b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark236
Best CPU time to get the best result obtained on this benchmark12722.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495618
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495618
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c Presolving by SCIP...
0.00/0.03	c Encoding OPB into MaxSAT...
0.00/0.03	c This is the PBCProcessor based on SCIP solver.
1.25/1.37	c Solving by WMaxCDCL...
3598.31/3607.81	c Rebuilding OPB solution...
3598.31/3607.81	c This is the PBCProcessor based on SCIP solver.
3598.31/3607.81	s UNKNOWN

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489569-1751355968/watcher-4489569-1751355968 -o /tmp/evaluation-result-4489569-1751355968/solver-4489569-1751355968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751352359-47953 --watchdog 3760 HOME/opbsolver HOME/instance-4489569-1751355968.opb 3600 31000 HOME HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 4.28 4.14 4.10 5/268 48430
/proc/meminfo: memFree=129682568/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 348 652 0 0 0 0 0 0 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48426] ppid=48417 vsize=35052 memory=18476 CPUtime=0.06 cores=1,3
/proc/48426/stat : 48426 (pbcpreprocessor) R 48417 48417 47938 0 -1 4194304 4314 0 0 0 6 0 0 0 20 0 1 0 51219341 35893248 4619 18446744073709551615 4198400 15773533 140732019889392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 17968456 18061744 53514240 140732019894448 140732019894750 140732019894750 140732019900357 0
/proc/48426/statm: 8796 4619 640 2826 0 5408 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 39244 KiB
Current children cumulated memory: 21420 KiB

[startup+0.205503 s]*
/proc/loadavg: 4.28 4.14 4.10 5/271 48441
/proc/meminfo: memFree=129599852/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 348 652 0 0 0 0 0 0 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48426] ppid=48417 vsize=60960 memory=44276 CPUtime=0.16 cores=1,3
/proc/48426/stat : 48426 (pbcpreprocessor) R 48417 48417 47938 0 -1 4194304 11004 0 0 0 15 1 0 0 20 0 1 0 51219341 62423040 11069 18446744073709551615 4198400 15773533 140732019889392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 17968456 18061744 53514240 140732019894448 140732019894750 140732019894750 140732019900357 0
/proc/48426/statm: 15240 11069 640 2826 0 11852 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 65152 KiB
Current children cumulated memory: 47220 KiB

[startup+0.305418 s]*
/proc/loadavg: 4.28 4.14 4.10 5/271 48441
/proc/meminfo: memFree=129513920/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 348 652 0 0 0 0 0 0 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48426] ppid=48417 vsize=82872 memory=66292 CPUtime=0.27 cores=1,3
/proc/48426/stat : 48426 (pbcpreprocessor) R 48417 48417 47938 0 -1 4194304 16504 0 0 0 24 3 0 0 20 0 1 0 51219341 84860928 16573 18446744073709551615 4198400 15773533 140732019889392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 17968456 18061744 53514240 140732019894448 140732019894750 140732019894750 140732019900357 0
/proc/48426/statm: 20718 16573 640 2826 0 17330 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 87064 KiB
Current children cumulated memory: 69236 KiB

[startup+0.700221 s]
/proc/loadavg: 4.28 4.14 4.10 5/271 48441
/proc/meminfo: memFree=129329200/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 348 652 0 0 0 0 0 0 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48426] ppid=48417 vsize=186748 memory=155460 CPUtime=0.65 cores=1,3
/proc/48426/stat : 48426 (pbcpreprocessor) R 48417 48417 47938 0 -1 4194304 34182 0 0 0 59 6 0 0 20 0 1 0 51219341 191229952 38865 18446744073709551615 4198400 15773533 140732019889392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 17968456 18061744 53514240 140732019894448 140732019894750 140732019894750 140732019900357 0
/proc/48426/statm: 46687 38865 672 2826 0 43299 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 158404 KiB

[startup+1.5002 s]
/proc/loadavg: 4.28 4.14 4.10 5/271 48441
/proc/meminfo: memFree=129111828/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3.10562 s]
/proc/loadavg: 4.28 4.14 4.10 5/271 48449
/proc/meminfo: memFree=129303492/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=59820 memory=50476 CPUtime=1.71 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 11761 0 0 0 169 2 0 0 20 0 1 0 51219476 61255680 12619 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 14955 12619 448 424 0 14410 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 64012 KiB
Current children cumulated memory: 53420 KiB

[startup+6.30019 s]
/proc/loadavg: 4.26 4.14 4.10 5/271 48449
/proc/meminfo: memFree=129238256/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=108652 memory=98856 CPUtime=4.9 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 14773 0 0 0 486 4 0 0 20 0 1 0 51219476 111259648 24714 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 27163 24714 448 424 0 26618 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 112844 KiB
Current children cumulated memory: 101800 KiB

[startup+12.7001 s]
/proc/loadavg: 4.24 4.14 4.10 5/271 48449
/proc/meminfo: memFree=129316364/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=71300 memory=66220 CPUtime=11.28 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 14784 0 0 0 1124 4 0 0 20 0 1 0 51219476 73011200 16555 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 17825 16555 448 424 0 17280 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 75492 KiB
Current children cumulated memory: 69164 KiB

[startup+25.5001 s]
/proc/loadavg: 4.18 4.13 4.10 5/271 48450
/proc/meminfo: memFree=129228036/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=120328 memory=111104 CPUtime=24.05 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 15799 0 0 0 2400 5 0 0 20 0 1 0 51219476 123215872 27776 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 30082 27776 448 424 0 29537 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 124520 KiB
Current children cumulated memory: 114048 KiB

[startup+51.1046 s]
/proc/loadavg: 4.18 4.14 4.10 5/270 48450
/proc/meminfo: memFree=129096216/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=170116 memory=140212 CPUtime=49.59 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 16947 0 0 0 4954 5 0 0 20 0 1 0 51219476 174198784 35053 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 42529 35053 448 424 0 41984 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 174308 KiB
Current children cumulated memory: 143156 KiB

[startup+102.3 s]
/proc/loadavg: 4.49 4.23 4.13 5/271 48457
/proc/meminfo: memFree=128807676/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=220204 memory=189364 CPUtime=100.66 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 17501 0 0 0 10059 7 0 0 20 0 1 0 51219476 225488896 47341 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 55051 47341 448 424 0 54506 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 224396 KiB
Current children cumulated memory: 192308 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 4.21 4.13 5/271 48459
/proc/meminfo: memFree=128961512/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=220204 memory=189532 CPUtime=160.51 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 18692 0 0 0 16042 9 0 0 20 0 1 0 51219476 225488896 47383 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 55051 47383 448 424 0 54506 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 224396 KiB
Current children cumulated memory: 192476 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.19 4.12 5/271 48461
/proc/meminfo: memFree=128718504/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=308128 memory=241564 CPUtime=220.36 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 21056 0 0 0 22026 10 0 0 20 0 1 0 51219476 315523072 60391 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 77032 60391 448 424 0 76487 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 312320 KiB
Current children cumulated memory: 244508 KiB

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

/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 119645 0 0 0 333088 130 0 0 20 0 1 0 51219476 535928832 123623 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 130842 123623 448 424 0 130297 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 527560 KiB
Current children cumulated memory: 497436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 48622
/proc/meminfo: memFree=127259772/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=604756 memory=544316 CPUtime=3391.99 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 120366 0 0 0 339068 131 0 0 20 0 1 0 51219476 619270144 136079 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 151189 136079 448 424 0 150644 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 608948 KiB
Current children cumulated memory: 547260 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 48624
/proc/meminfo: memFree=127419372/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=737016 memory=605568 CPUtime=3451.83 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 120868 0 0 0 345050 133 0 0 20 0 1 0 51219476 754704384 151392 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 184254 151392 448 424 0 183709 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 741208 KiB
Current children cumulated memory: 608512 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 48626
/proc/meminfo: memFree=127222624/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=737016 memory=664960 CPUtime=3511.68 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 120898 0 0 0 351034 134 0 0 20 0 1 0 51219476 754704384 166240 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 184254 166240 448 424 0 183709 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 741208 KiB
Current children cumulated memory: 667904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 48628
/proc/meminfo: memFree=127621408/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=523368 memory=504732 CPUtime=3571.54 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 121429 0 0 0 357016 138 0 0 20 0 1 0 51219476 535928832 126183 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 130842 126183 448 424 0 130297 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 527560 KiB
Current children cumulated memory: 507676 KiB

[startup+3607.83 s]
# the end of solver process 48417 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3596.49 s, system=1.86679 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.12 4.10 5/267 48628
/proc/meminfo: memFree=127613476/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=523368 memory=506780 CPUtime=3573.24 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 121430 0 0 0 357186 138 0 0 20 0 1 0 51219476 535928832 126695 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 130842 126695 448 424 0 130297 0
Current children cumulated CPU time: 3574.58 s
Current children cumulated vsize: 527560 KiB
Current children cumulated memory: 509724 KiB

[startup+3596.8 s]
/proc/loadavg: 4.22 4.13 4.10 5/267 48629
/proc/meminfo: memFree=127572532/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=523368 memory=512924 CPUtime=3586 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 121434 0 0 0 358462 138 0 0 20 0 1 0 51219476 535928832 128231 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 130842 128231 448 424 0 130297 0
Current children cumulated CPU time: 3587.34 s
Current children cumulated vsize: 527560 KiB
Current children cumulated memory: 515868 KiB

[startup+3603.2 s]
/proc/loadavg: 4.20 4.13 4.10 5/267 48629
/proc/meminfo: memFree=127543860/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=523368 memory=514972 CPUtime=3592.38 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 121435 0 0 0 359100 138 0 0 20 0 1 0 51219476 535928832 128743 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 130842 128743 448 424 0 130297 0
Current children cumulated CPU time: 3593.72 s
Current children cumulated vsize: 527560 KiB
Current children cumulated memory: 517916 KiB

[startup+3606.4 s]
/proc/loadavg: 4.18 4.13 4.10 5/268 48633
/proc/meminfo: memFree=127535448/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=523368 memory=514972 CPUtime=3595.58 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 121435 0 0 0 359420 138 0 0 20 0 1 0 51219476 535928832 128743 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 130842 128743 448 424 0 130297 0
Current children cumulated CPU time: 3596.92 s
Current children cumulated vsize: 527560 KiB
Current children cumulated memory: 517916 KiB

[startup+3607.2 s]
/proc/loadavg: 4.18 4.13 4.10 5/268 48633
/proc/meminfo: memFree=127531352/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=523368 memory=517020 CPUtime=3596.38 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 121436 0 0 0 359500 138 0 0 20 0 1 0 51219476 535928832 129255 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 130842 129255 448 424 0 130297 0
Current children cumulated CPU time: 3597.72 s
Current children cumulated vsize: 527560 KiB
Current children cumulated memory: 519964 KiB

[startup+3607.6 s]
/proc/loadavg: 4.18 4.13 4.10 5/268 48633
/proc/meminfo: memFree=127531352/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=523368 memory=517020 CPUtime=3596.77 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 121436 0 0 0 359539 138 0 0 20 0 1 0 51219476 535928832 129255 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 130842 129255 448 424 0 130297 0
Current children cumulated CPU time: 3598.11 s
Current children cumulated vsize: 527560 KiB
Current children cumulated memory: 519964 KiB

[startup+3607.8 s]
/proc/loadavg: 4.18 4.13 4.10 5/268 48633
/proc/meminfo: memFree=127531352/131250000 swapFree=33010684/33010684
[pid=48417] ppid=48410 vsize=4192 memory=2944 CPUtime=1.34 cores=1,3
/proc/48417/stat : 48417 (opbsolver) S 48410 48417 47938 0 -1 4194304 407 34962 0 0 0 0 87 47 20 0 1 0 51219338 4292608 736 18446744073709551615 94465312845824 94465313740357 140730290787232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94465313979408 94465314027152 94465317715968 140730290792734 140730290792937 140730290792937 140730290798539 0
/proc/48417/statm: 1048 736 672 219 0 110 0
[pid=48447] ppid=48417 vsize=523368 memory=517020 CPUtime=3596.97 cores=1,3
/proc/48447/stat : 48447 (wmaxcdcl) R 48417 48417 47938 0 -1 4194304 121436 0 0 0 359559 138 0 0 20 0 1 0 51219476 535928832 129255 18446744073709551615 4198400 5932793 140725457587392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 10448896 140725457594715 140725457594860 140725457594860 140725457600460 0
/proc/48447/statm: 130842 129255 448 424 0 130297 0
Current children cumulated CPU time: 3598.31 s
Current children cumulated vsize: 527560 KiB
Current children cumulated memory: 519964 KiB

Child status: 0

Real time (s): 3607.83
CPU time (s): 3598.36
CPU user time (s): 3596.49
CPU system time (s): 1.86679
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 885844
Max. memory (cumulated for all children) (KiB): 747016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.49
system time used= 1.86679
maximum resident set size= 780936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157146
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 579
involuntary context switches= 6973


# summary of solver processes directly reported to runsolver:
#   pid: 48417
#   total CPU time (s): 3598.36
#   total CPU user time (s): 3596.49
#   total CPU system time (s): 1.86679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79823 second user time and 14.2808 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-01 09:46:08
IDJOB=4489569
IDBENCH=147557
IDSOLVER=3374
FILE ID=nodeC028/4489569-1751355968
RUNJOBID= nodeC028-1751352359-47953
SLURM_JOB_ID= 9598145
Free space on /tmp= 432972 MiB

SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489569-1751355968/watcher-4489569-1751355968 -o /tmp/evaluation-result-4489569-1751355968/solver-4489569-1751355968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751352359-47953 --watchdog 3760  HOME/opbsolver HOME/instance-4489569-1751355968.opb 3600 31000 HOME HOME

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=1249942992

nodeC028 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.967
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.528
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.16
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		: 3600.547
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.16
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		: 3600.105
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.16
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.097
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.16
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		: 3593.113
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.16
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.085
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.16
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		: 3600.346
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129771540 kB
MemAvailable:   129755084 kB
Buffers:            3280 kB
Cached:           791100 kB
SwapCached:            0 kB
Active:           334976 kB
Inactive:         534424 kB
Active(anon):      93088 kB
Inactive(anon):        0 kB
Active(file):     241888 kB
Inactive(file):   534424 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            124868 kB
Writeback:            16 kB
AnonPages:         78084 kB
Mapped:           103564 kB
Shmem:             18068 kB
KReclaimable:      92944 kB
Slab:             179664 kB
SReclaimable:      92944 kB
SUnreclaim:        86720 kB
KernelStack:        4064 kB
PageTables:         2776 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     366748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC028 at 2025-07-01 10:46:16