Trace number 4490903

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? 3597.27 3608.83

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
MD5SUM4b13a1c6e78c10f4c6bdd1964b8d7c16
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 benchmark114
Best CPU time to get the best result obtained on this benchmark72001.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2470
Total number of constraints4744
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4744
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1357
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.03	c Presolving by SCIP...
498.40/500.30	c Encoding OPB into MaxSAT...
498.40/500.31	c This is the PBCProcessor based on SCIP solver.
501.18/503.14	c Solving by WMaxCDCL...
3597.22/3608.81	c Rebuilding OPB solution...
3597.22/3608.81	c This is the PBCProcessor based on SCIP solver.
3597.22/3608.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: 63837 MiB (62953 MiB free)
  memory of node 1: 64465 MiB (63344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490903-1751375927/watcher-4490903-1751375927 -o /tmp/evaluation-result-4490903-1751375927/solver-4490903-1751375927 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751371805-46592 --watchdog 3760 HOME/opbsolver HOME/instance-4490903-1751375927.opb 3600 31000 HOME HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
solver pid=47204, runsolver pid=47201
Current StackSize limit: 8192 KiB


[startup+0.100035 s]*
/proc/loadavg: 4.11 4.13 4.15 5/253 47208
/proc/meminfo: memFree=129329876/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=21008 memory=4736 CPUtime=0.06 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 660 0 0 0 6 0 0 0 20 0 1 0 53271486 21512192 1184 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 5252 1184 640 2826 0 1864 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 25200 KiB
Current children cumulated memory: 7680 KiB

[startup+0.213395 s]*
/proc/loadavg: 4.11 4.13 4.15 5/253 47208
/proc/meminfo: memFree=129297872/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=71476 memory=58752 CPUtime=0.17 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 12542 0 0 0 13 4 0 0 20 0 1 0 53271486 73191424 14688 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 17869 14688 2400 2826 0 14481 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 75668 KiB
Current children cumulated memory: 61696 KiB

[startup+0.312442 s]*
/proc/loadavg: 4.11 4.13 4.15 5/253 47208
/proc/meminfo: memFree=129296108/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=72016 memory=59136 CPUtime=0.27 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 12611 0 0 0 23 4 0 0 20 0 1 0 53271486 73744384 14784 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 18004 14784 2432 2826 0 14616 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76208 KiB
Current children cumulated memory: 62080 KiB

[startup+0.700389 s]
/proc/loadavg: 4.11 4.13 4.15 5/253 47208
/proc/meminfo: memFree=129286028/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=119340 memory=99428 CPUtime=0.64 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 24138 0 0 0 56 8 0 0 20 0 1 0 53271486 122204160 24857 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 29835 24857 2528 2826 0 26447 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 123532 KiB
Current children cumulated memory: 102372 KiB

[startup+1.50042 s]
/proc/loadavg: 4.11 4.13 4.15 5/253 47208
/proc/meminfo: memFree=129226308/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=156996 memory=129228 CPUtime=1.44 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 32458 0 0 0 134 10 0 0 20 0 1 0 53271486 160763904 32307 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 39249 32307 2656 2826 0 35861 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 161188 KiB
Current children cumulated memory: 132172 KiB

[startup+3.11316 s]
/proc/loadavg: 4.10 4.13 4.15 5/253 47208
/proc/meminfo: memFree=129202560/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=187572 memory=158888 CPUtime=3.04 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 41283 0 0 0 293 11 0 0 20 0 1 0 53271486 192073728 39722 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 46893 39722 2688 2826 0 43505 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 191764 KiB
Current children cumulated memory: 161832 KiB

[startup+6.3004 s]
/proc/loadavg: 4.10 4.13 4.15 5/253 47208
/proc/meminfo: memFree=129166712/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=212488 memory=185128 CPUtime=6.22 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 47847 0 0 0 609 13 0 0 20 0 1 0 53271486 217587712 46282 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 53122 46282 2688 2826 0 49734 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 216680 KiB
Current children cumulated memory: 188072 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.12 4.15 5/254 47259
/proc/meminfo: memFree=129228856/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=222664 memory=195260 CPUtime=12.6 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 53081 0 0 0 1246 14 0 0 20 0 1 0 53271486 228007936 48815 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 55666 48815 2688 2826 0 52278 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 226856 KiB
Current children cumulated memory: 198204 KiB

[startup+25.5005 s]
/proc/loadavg: 4.07 4.12 4.15 5/255 47565
/proc/meminfo: memFree=129369324/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=223272 memory=196032 CPUtime=25.36 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 57426 0 0 0 2521 15 0 0 20 0 1 0 53271486 228630528 49008 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 55818 49008 2688 2826 0 52430 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 227464 KiB
Current children cumulated memory: 198976 KiB

[startup+51.1131 s]
/proc/loadavg: 4.17 4.14 4.15 5/255 47768
/proc/meminfo: memFree=129120732/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=249296 memory=222904 CPUtime=50.88 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 65013 0 0 0 5072 16 0 0 20 0 1 0 53271486 255279104 55726 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 62324 55726 2688 2826 0 58936 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 253488 KiB
Current children cumulated memory: 225848 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/255 47770
/proc/meminfo: memFree=129004004/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=258128 memory=239032 CPUtime=101.89 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 67180 0 0 0 10172 17 0 0 20 0 1 0 53271486 264323072 59758 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 64532 59758 2688 2826 0 61144 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 262320 KiB
Current children cumulated memory: 241976 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/255 47772
/proc/meminfo: memFree=128905516/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=285880 memory=267192 CPUtime=161.68 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 74324 0 0 0 16149 19 0 0 20 0 1 0 53271486 292741120 66798 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 71470 66798 2688 2826 0 68082 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 290072 KiB
Current children cumulated memory: 270136 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/256 47777
/proc/meminfo: memFree=128695024/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 261 232 0 0 0 0 0 0 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47208] ppid=47204 vsize=359032 memory=341312 CPUtime=221.47 cores=4,6
/proc/47208/stat : 47208 (pbcpreprocessor) R 47204 47204 46581 0 -1 4194304 93161 0 0 0 22125 22 0 0 20 0 1 0 53271486 367648768 85328 18446744073709551615 4198400 15773533 140720753133680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 33792000 140720753142084 140720753142238 140720753142238 140720753147845 0
/proc/47208/statm: 89758 85328 2688 2826 0 86370 0
Current children cumulated CPU time: 221.47 s

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

/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 163874 0 0 0 282974 64 0 0 20 0 1 0 53321799 1031286784 221262 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 251779 221262 448 424 0 251234 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 1011308 KiB
Current children cumulated memory: 887992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/254 47962
/proc/meminfo: memFree=126479216/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1037936 memory=888888 CPUtime=2890.18 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164328 0 0 0 288953 65 0 0 20 0 1 0 53321799 1062846464 222222 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 259484 222222 448 424 0 258939 0
Current children cumulated CPU time: 3391.41 s
Current children cumulated vsize: 1042128 KiB
Current children cumulated memory: 891832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/254 47964
/proc/meminfo: memFree=126476708/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1037936 memory=894172 CPUtime=2949.98 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164630 0 0 0 294932 66 0 0 20 0 1 0 53321799 1062846464 223543 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 259484 223543 448 424 0 258939 0
Current children cumulated CPU time: 3451.21 s
Current children cumulated vsize: 1042128 KiB
Current children cumulated memory: 897116 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 47966
/proc/meminfo: memFree=126463680/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1037936 memory=902364 CPUtime=3009.78 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164638 0 0 0 300912 66 0 0 20 0 1 0 53321799 1062846464 225591 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 259484 225591 448 424 0 258939 0
Current children cumulated CPU time: 3511.01 s
Current children cumulated vsize: 1042128 KiB
Current children cumulated memory: 905308 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 47968
/proc/meminfo: memFree=126472880/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1037936 memory=906460 CPUtime=3069.58 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164778 0 0 0 306892 66 0 0 20 0 1 0 53321799 1062846464 226615 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 259484 226615 448 424 0 258939 0
Current children cumulated CPU time: 3570.81 s
Current children cumulated vsize: 1042128 KiB
Current children cumulated memory: 909404 KiB

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

# cumulated CPU time of all completed processes:  user=3595.2 s, system=2.07127 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.09 5/254 47968
/proc/meminfo: memFree=126468784/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1037936 memory=908508 CPUtime=3071.29 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164786 0 0 0 307063 66 0 0 20 0 1 0 53321799 1062846464 227127 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 259484 227127 448 424 0 258939 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 1042128 KiB
Current children cumulated memory: 911452 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.09 4.09 5/254 47968
/proc/meminfo: memFree=126478984/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1007116 memory=874808 CPUtime=3084.03 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164921 0 0 0 308336 67 0 0 20 0 1 0 53321799 1031286784 218702 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 251779 218702 448 424 0 251234 0
Current children cumulated CPU time: 3585.26 s
Current children cumulated vsize: 1011308 KiB
Current children cumulated memory: 877752 KiB

[startup+3603.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 47968
/proc/meminfo: memFree=126478984/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1007116 memory=874808 CPUtime=3090.41 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164921 0 0 0 308974 67 0 0 20 0 1 0 53321799 1031286784 218702 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 251779 218702 448 424 0 251234 0
Current children cumulated CPU time: 3591.64 s
Current children cumulated vsize: 1011308 KiB
Current children cumulated memory: 877752 KiB

[startup+3606.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 47968
/proc/meminfo: memFree=126478984/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1007116 memory=876856 CPUtime=3093.6 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164922 0 0 0 309293 67 0 0 20 0 1 0 53321799 1031286784 219214 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 251779 219214 448 424 0 251234 0
Current children cumulated CPU time: 3594.83 s
Current children cumulated vsize: 1011308 KiB
Current children cumulated memory: 879800 KiB

[startup+3608 s]*
/proc/loadavg: 4.10 4.09 4.09 5/254 47968
/proc/meminfo: memFree=126478984/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1007116 memory=876856 CPUtime=3095.21 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164922 0 0 0 309454 67 0 0 20 0 1 0 53321799 1031286784 219214 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 251779 219214 448 424 0 251234 0
Current children cumulated CPU time: 3596.44 s
Current children cumulated vsize: 1011308 KiB
Current children cumulated memory: 879800 KiB

[startup+3608.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 47968
/proc/meminfo: memFree=126478984/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1007116 memory=876856 CPUtime=3095.59 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164922 0 0 0 309492 67 0 0 20 0 1 0 53321799 1031286784 219214 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 251779 219214 448 424 0 251234 0
Current children cumulated CPU time: 3596.82 s
Current children cumulated vsize: 1011308 KiB
Current children cumulated memory: 879800 KiB

[startup+3608.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 47968
/proc/meminfo: memFree=126478984/131382120 swapFree=33010416/33010684
[pid=47204] ppid=47201 vsize=4192 memory=2944 CPUtime=501.23 cores=4,6
/proc/47204/stat : 47204 (opbsolver) S 47201 47204 46581 0 -1 4194304 407 139052 0 0 0 0 49986 137 20 0 1 0 53271483 4292608 736 18446744073709551615 94750492291072 94750493185605 140729513218912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94750493424656 94750493472400 94750495645696 140729513224478 140729513224681 140729513224681 140729513230283 0
/proc/47204/statm: 1048 736 672 219 0 110 0
[pid=47795] ppid=47204 vsize=1007116 memory=876856 CPUtime=3095.99 cores=4,6
/proc/47795/stat : 47795 (wmaxcdcl) R 47204 47204 46581 0 -1 4194304 164922 0 0 0 309532 67 0 0 20 0 1 0 53321799 1031286784 219214 18446744073709551615 4198400 5932793 140726188848912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 22867968 140726188853595 140726188853740 140726188853740 140726188859340 0
/proc/47795/statm: 251779 219214 448 424 0 251234 0
Current children cumulated CPU time: 3597.22 s
Current children cumulated vsize: 1011308 KiB
Current children cumulated memory: 879800 KiB

Child status: 0

Real time (s): 3608.83
CPU time (s): 3597.27
CPU user time (s): 3595.2
CPU system time (s): 2.07127
CPU usage (%): 99.6798
Max. virtual memory (cumulated for all children) (KiB): 1091448
Max. memory (cumulated for all children) (KiB): 959320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.2
system time used= 2.07127
maximum resident set size= 956376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 73696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 644
involuntary context switches= 1869


# summary of solver processes directly reported to runsolver:
#   pid: 47204
#   total CPU time (s): 3597.27
#   total CPU user time (s): 3595.2
#   total CPU system time (s): 2.07127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5594 second user time and 37.6666 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-01 15:18:47
IDJOB=4490903
IDBENCH=147630
IDSOLVER=3374
FILE ID=nodeC002/4490903-1751375927
RUNJOBID= nodeC002-1751371805-46592
SLURM_JOB_ID= 9598199
Free space on /tmp= 432984 MiB

SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490903-1751375927/watcher-4490903-1751375927 -o /tmp/evaluation-result-4490903-1751375927/solver-4490903-1751375927 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751371805-46592 --watchdog 3760  HOME/opbsolver HOME/instance-4490903-1751375927.opb 3600 31000 HOME HOME

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

MD5SUM BENCH= 4b13a1c6e78c10f4c6bdd1964b8d7c16
RANDOM SEED=788001261

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129329860 kB
MemAvailable:   129203392 kB
Buffers:            2128 kB
Cached:           682712 kB
SwapCached:           28 kB
Active:          1139500 kB
Inactive:         380780 kB
Active(anon):     846980 kB
Inactive(anon):     6404 kB
Active(file):     292520 kB
Inactive(file):   374376 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21540 kB
Writeback:             0 kB
AnonPages:        838500 kB
Mapped:           108528 kB
Shmem:             17932 kB
KReclaimable:      92528 kB
Slab:             176460 kB
SReclaimable:      92528 kB
SUnreclaim:        83932 kB
KernelStack:        3984 kB
PageTables:         4952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1276128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    538624 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432860 MiB
End job on nodeC002 at 2025-07-01 16:18:56